mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
2a3999049f
rdar://149882902 swift_conformsToProtocol does not properly handle nullptr values, which can currently be passed if the source type is an optional metatype. This change adds emission of a null check before calling the runtime function in these cases.
118 lines
4.4 KiB
C++
118 lines
4.4 KiB
C++
//===--- GenCast.h - Swift IR generation for dynamic casts ------*- C++ -*-===//
|
|
//
|
|
// This source file is part of the Swift.org open source project
|
|
//
|
|
// Copyright (c) 2014 - 2017 Apple Inc. and the Swift project authors
|
|
// Licensed under Apache License v2.0 with Runtime Library Exception
|
|
//
|
|
// See https://swift.org/LICENSE.txt for license information
|
|
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This file provides the private interface to the dynamic cast code.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef SWIFT_IRGEN_GENCAST_H
|
|
#define SWIFT_IRGEN_GENCAST_H
|
|
|
|
#include "swift/AST/Types.h"
|
|
|
|
namespace llvm {
|
|
class Value;
|
|
class BasicBlock;
|
|
}
|
|
|
|
namespace swift {
|
|
class SILType;
|
|
class ProtocolDecl;
|
|
enum class CastConsumptionKind : unsigned char;
|
|
class CheckedCastInstOptions;
|
|
|
|
namespace irgen {
|
|
class Address;
|
|
class IRGenFunction;
|
|
class Explosion;
|
|
|
|
/// Discriminator for checked cast modes.
|
|
enum class CheckedCastMode : uint8_t {
|
|
Unconditional,
|
|
Conditional,
|
|
};
|
|
|
|
llvm::Value *emitCheckedCast(IRGenFunction &IGF,
|
|
Address src,
|
|
CanType fromType,
|
|
Address dest,
|
|
CanType toType,
|
|
CastConsumptionKind consumptionKind,
|
|
CheckedCastMode mode,
|
|
CheckedCastInstOptions options);
|
|
|
|
void emitScalarCheckedCast(IRGenFunction &IGF, Explosion &value,
|
|
SILType sourceLoweredType,
|
|
CanType sourceFormalType,
|
|
SILType targetLoweredType,
|
|
CanType targetFormalType,
|
|
CheckedCastMode mode,
|
|
CheckedCastInstOptions options,
|
|
Explosion &out);
|
|
|
|
llvm::Value *emitFastClassCastIfPossible(
|
|
IRGenFunction &IGF, llvm::Value *instance, CanType sourceFormalType,
|
|
CanType targetFormalType, CheckedCastMode mode, bool sourceWrappedInOptional,
|
|
llvm::BasicBlock *&nilCheckBB, llvm::BasicBlock *&nilMergeBB);
|
|
|
|
/// Convert a class object to the given destination type,
|
|
/// using a runtime-checked cast.
|
|
llvm::Value *emitClassDowncast(IRGenFunction &IGF,
|
|
llvm::Value *from,
|
|
CanType toType,
|
|
CheckedCastMode mode);
|
|
|
|
/// A result of a cast generation function.
|
|
struct FailableCastResult {
|
|
/// An i1 value that's set to True if the cast succeeded.
|
|
llvm::Value *succeeded;
|
|
/// On success, this value stores the result of the cast operation.
|
|
llvm::Value *casted;
|
|
};
|
|
|
|
/// Convert the given value to the exact destination type.
|
|
FailableCastResult emitClassIdenticalCast(IRGenFunction &IGF,
|
|
llvm::Value *from,
|
|
SILType fromType,
|
|
SILType toType);
|
|
|
|
/// Emit a checked cast of a metatype.
|
|
void emitMetatypeDowncast(IRGenFunction &IGF,
|
|
llvm::Value *metatype,
|
|
CanMetatypeType toMetatype,
|
|
CheckedCastMode mode,
|
|
Explosion &ex);
|
|
|
|
/// Emit a checked cast to a class-constrained protocol or protocol
|
|
/// composition.
|
|
///
|
|
/// If a metatype kind is provided, the cast is done as a metatype cast. If
|
|
/// not, the cast is done as a class instance cast.
|
|
void emitScalarExistentialDowncast(
|
|
IRGenFunction &IGF, llvm::Value *orig, SILType srcType, SILType destType,
|
|
CheckedCastMode mode, bool sourceWrappedInOptional,
|
|
std::optional<MetatypeRepresentation> metatypeKind, Explosion &ex);
|
|
|
|
/// Emit a checked cast from a metatype to AnyObject.
|
|
llvm::Value *emitMetatypeToAnyObjectDowncast(IRGenFunction &IGF,
|
|
llvm::Value *metatypeValue,
|
|
CanAnyMetatypeType type,
|
|
CheckedCastMode mode);
|
|
|
|
/// Emit a Protocol* value referencing an ObjC protocol.
|
|
llvm::Value *emitReferenceToObjCProtocol(IRGenFunction &IGF,
|
|
ProtocolDecl *proto);
|
|
} // end namespace irgen
|
|
} // end namespace swift
|
|
|
|
#endif
|