mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
- isTypeParameter() -- check if this is an archetype or dependent interface type. - requiresClass() -- check if this is a class-constrained type parameter. The old isOpaque() check has been replaced by (isTypeParameter() && !requiresClass(moduleDecl)). This allows us to pass the ModuleDecl on down to GenericSignature::requiresClass(), enabling the use of interface types in abstraction patterns. NFC for now.
246 lines
9.0 KiB
C++
246 lines
9.0 KiB
C++
//===--- Bridging.cpp - Bridging imported Clang types to Swift ------------===//
|
|
//
|
|
// This source file is part of the Swift.org open source project
|
|
//
|
|
// Copyright (c) 2014 - 2016 Apple Inc. and the Swift project authors
|
|
// Licensed under Apache License v2.0 with Runtime Library Exception
|
|
//
|
|
// See http://swift.org/LICENSE.txt for license information
|
|
// See http://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This file defines routines relating to bridging Swift types to C types,
|
|
// working in concert with the Clang importer.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#define DEBUG_TYPE "libsil"
|
|
#include "swift/SIL/SILType.h"
|
|
#include "swift/SIL/SILModule.h"
|
|
#include "swift/AST/Decl.h"
|
|
#include "swift/AST/DiagnosticsSIL.h"
|
|
#include "swift/Basic/Fallthrough.h"
|
|
#include "clang/AST/DeclObjC.h"
|
|
#include "llvm/Support/Debug.h"
|
|
#include "llvm/Support/ErrorHandling.h"
|
|
using namespace swift;
|
|
using namespace swift::Lowering;
|
|
|
|
|
|
SILType TypeConverter::getLoweredTypeOfGlobal(VarDecl *var) {
|
|
AbstractionPattern origType = getAbstractionPattern(var);
|
|
assert(!origType.isTypeParameter());
|
|
return getLoweredType(origType, origType.getType()).getObjectType();
|
|
}
|
|
|
|
CanType TypeConverter::getBridgedInputType(SILFunctionTypeRepresentation rep,
|
|
AbstractionPattern pattern,
|
|
CanType input) {
|
|
if (auto tuple = dyn_cast<TupleType>(input)) {
|
|
SmallVector<TupleTypeElt, 4> bridgedFields;
|
|
bool changed = false;
|
|
|
|
for (unsigned i : indices(tuple->getElements())) {
|
|
auto &elt = tuple->getElement(i);
|
|
Type bridged = getLoweredBridgedType(pattern.getTupleElementType(i),
|
|
elt.getType(), rep,
|
|
TypeConverter::ForArgument);
|
|
if (!bridged) {
|
|
Context.Diags.diagnose(SourceLoc(), diag::could_not_find_bridge_type,
|
|
elt.getType());
|
|
|
|
llvm::report_fatal_error("unable to set up the ObjC bridge!");
|
|
}
|
|
|
|
CanType canBridged = bridged->getCanonicalType();
|
|
if (canBridged != CanType(elt.getType())) {
|
|
changed = true;
|
|
bridgedFields.push_back(elt.getWithType(canBridged));
|
|
} else {
|
|
bridgedFields.push_back(elt);
|
|
}
|
|
}
|
|
|
|
if (!changed)
|
|
return input;
|
|
return CanType(TupleType::get(bridgedFields, input->getASTContext()));
|
|
}
|
|
|
|
auto loweredBridgedType = getLoweredBridgedType(pattern, input, rep,
|
|
TypeConverter::ForArgument);
|
|
|
|
if (!loweredBridgedType) {
|
|
Context.Diags.diagnose(SourceLoc(), diag::could_not_find_bridge_type,
|
|
input);
|
|
|
|
llvm::report_fatal_error("unable to set up the ObjC bridge!");
|
|
}
|
|
|
|
return loweredBridgedType->getCanonicalType();
|
|
}
|
|
|
|
/// Bridge a result type.
|
|
CanType TypeConverter::getBridgedResultType(SILFunctionTypeRepresentation rep,
|
|
AbstractionPattern pattern,
|
|
CanType result,
|
|
bool suppressOptional) {
|
|
auto loweredType =
|
|
getLoweredBridgedType(pattern, result, rep,
|
|
suppressOptional
|
|
? TypeConverter::ForNonOptionalResult
|
|
: TypeConverter::ForResult);
|
|
|
|
if (!loweredType) {
|
|
Context.Diags.diagnose(SourceLoc(), diag::could_not_find_bridge_type,
|
|
result);
|
|
|
|
llvm::report_fatal_error("unable to set up the ObjC bridge!");
|
|
}
|
|
|
|
return loweredType->getCanonicalType();
|
|
}
|
|
|
|
Type TypeConverter::getLoweredBridgedType(AbstractionPattern pattern,
|
|
Type t,
|
|
SILFunctionTypeRepresentation rep,
|
|
BridgedTypePurpose purpose) {
|
|
switch (rep) {
|
|
case SILFunctionTypeRepresentation::Thick:
|
|
case SILFunctionTypeRepresentation::Thin:
|
|
case SILFunctionTypeRepresentation::Method:
|
|
case SILFunctionTypeRepresentation::WitnessMethod:
|
|
// No bridging needed for native CCs.
|
|
return t;
|
|
case SILFunctionTypeRepresentation::CFunctionPointer:
|
|
case SILFunctionTypeRepresentation::ObjCMethod:
|
|
case SILFunctionTypeRepresentation::Block:
|
|
// Map native types back to bridged types.
|
|
|
|
bool canBridgeBool = (rep == SILFunctionTypeRepresentation::ObjCMethod);
|
|
|
|
// Look through optional types.
|
|
OptionalTypeKind optKind;
|
|
if (auto valueTy = t->getAnyOptionalObjectType(optKind)) {
|
|
pattern = pattern.transformType([](CanType patternTy) {
|
|
return CanType(patternTy->getAnyOptionalObjectType());
|
|
});
|
|
auto ty = getLoweredCBridgedType(pattern, valueTy, canBridgeBool, false);
|
|
return ty ? OptionalType::get(optKind, ty) : ty;
|
|
}
|
|
return getLoweredCBridgedType(pattern, t, canBridgeBool,
|
|
purpose == ForResult);
|
|
}
|
|
};
|
|
|
|
Type TypeConverter::getLoweredCBridgedType(AbstractionPattern pattern,
|
|
Type t,
|
|
bool canBridgeBool,
|
|
bool bridgedCollectionsAreOptional) {
|
|
auto clangTy = pattern.isClangType() ? pattern.getClangType() : nullptr;
|
|
|
|
// Bridge String back to NSString.
|
|
auto nativeStringTy = getStringType();
|
|
if (nativeStringTy && t->isEqual(nativeStringTy)) {
|
|
Type bridgedTy = getNSStringType();
|
|
if (bridgedCollectionsAreOptional && clangTy)
|
|
bridgedTy = OptionalType::get(bridgedTy);
|
|
return bridgedTy;
|
|
}
|
|
|
|
// Bridge Bool back to ObjC bool, unless the original Clang type was _Bool
|
|
// or the Darwin Boolean type.
|
|
auto nativeBoolTy = getBoolType();
|
|
if (nativeBoolTy && t->isEqual(nativeBoolTy)) {
|
|
if (clangTy) {
|
|
if (clangTy->isBooleanType())
|
|
return t;
|
|
if (clangTy->isSpecificBuiltinType(clang::BuiltinType::UChar))
|
|
return getDarwinBooleanType();
|
|
}
|
|
if (clangTy || canBridgeBool)
|
|
return getObjCBoolType();
|
|
return t;
|
|
}
|
|
|
|
// Class metatypes bridge to ObjC metatypes.
|
|
if (auto metaTy = t->getAs<MetatypeType>()) {
|
|
if (metaTy->getInstanceType()->getClassOrBoundGenericClass()) {
|
|
return MetatypeType::get(metaTy->getInstanceType(),
|
|
MetatypeRepresentation::ObjC);
|
|
}
|
|
}
|
|
|
|
// ObjC-compatible existential metatypes.
|
|
if (auto metaTy = t->getAs<ExistentialMetatypeType>()) {
|
|
if (metaTy->getInstanceType()->isObjCExistentialType()) {
|
|
return ExistentialMetatypeType::get(metaTy->getInstanceType(),
|
|
MetatypeRepresentation::ObjC);
|
|
}
|
|
}
|
|
|
|
if (auto funTy = t->getAs<FunctionType>()) {
|
|
switch (funTy->getExtInfo().getSILRepresentation()) {
|
|
// Functions that are already represented as blocks or C function pointers
|
|
// don't need bridging.
|
|
case SILFunctionType::Representation::Block:
|
|
case SILFunctionType::Representation::CFunctionPointer:
|
|
case SILFunctionType::Representation::Thin:
|
|
case SILFunctionType::Representation::Method:
|
|
case SILFunctionType::Representation::ObjCMethod:
|
|
case SILFunctionType::Representation::WitnessMethod:
|
|
return t;
|
|
case SILFunctionType::Representation::Thick: {
|
|
// Thick functions (TODO: conditionally) get bridged to blocks.
|
|
// This bridging is more powerful than usual block bridging, however,
|
|
// so we use the ObjCMethod representation.
|
|
Type newInput =
|
|
getBridgedInputType(SILFunctionType::Representation::ObjCMethod,
|
|
pattern.getFunctionInputType(),
|
|
funTy->getInput()->getCanonicalType());
|
|
Type newResult =
|
|
getBridgedResultType(SILFunctionType::Representation::ObjCMethod,
|
|
pattern.getFunctionResultType(),
|
|
funTy->getResult()->getCanonicalType(),
|
|
/*non-optional*/false);
|
|
|
|
return FunctionType::get(newInput, newResult,
|
|
funTy->getExtInfo().withSILRepresentation(
|
|
SILFunctionType::Representation::Block));
|
|
}
|
|
}
|
|
}
|
|
|
|
// Array bridging.
|
|
if (auto arrayDecl = Context.getArrayDecl()) {
|
|
if (t->getAnyNominal() == arrayDecl) {
|
|
Type bridgedTy = getNSArrayType();
|
|
if (bridgedCollectionsAreOptional && clangTy)
|
|
bridgedTy = OptionalType::get(bridgedTy);
|
|
return bridgedTy;
|
|
}
|
|
}
|
|
|
|
// Dictionary bridging.
|
|
if (auto dictDecl = Context.getDictionaryDecl()) {
|
|
if (t->getAnyNominal() == dictDecl) {
|
|
Type bridgedTy = getNSDictionaryType();
|
|
if (bridgedCollectionsAreOptional && clangTy)
|
|
bridgedTy = OptionalType::get(bridgedTy);
|
|
return bridgedTy;
|
|
}
|
|
}
|
|
|
|
// Set bridging.
|
|
if (auto setDecl = Context.getSetDecl()) {
|
|
if (t->getAnyNominal() == setDecl) {
|
|
Type bridgedTy = getNSSetType();
|
|
if (bridgedCollectionsAreOptional && clangTy)
|
|
bridgedTy = OptionalType::get(bridgedTy);
|
|
return bridgedTy;
|
|
}
|
|
}
|
|
|
|
return t;
|
|
}
|