mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
bda6edb85c
`isGeneric` is a misleading name because this method checks for the existence of a `GenericParamList`, which is not implied by genericity.
2390 lines
97 KiB
C++
2390 lines
97 KiB
C++
//===--- SILGenBridging.cpp - SILGen for bridging to Clang ASTs -----------===//
|
|
//
|
|
// 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
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "ArgumentScope.h"
|
|
#include "Callee.h"
|
|
#include "ExecutorBreadcrumb.h"
|
|
#include "RValue.h"
|
|
#include "ResultPlan.h"
|
|
#include "SILGenFunction.h"
|
|
#include "SILGenFunctionBuilder.h"
|
|
#include "Scope.h"
|
|
#include "swift/AST/ConformanceLookup.h"
|
|
#include "swift/AST/DiagnosticsSIL.h"
|
|
#include "swift/AST/ExistentialLayout.h"
|
|
#include "swift/AST/ForeignErrorConvention.h"
|
|
#include "swift/AST/GenericEnvironment.h"
|
|
#include "swift/AST/ModuleLoader.h"
|
|
#include "swift/AST/NameLookupRequests.h"
|
|
#include "swift/AST/ParameterList.h"
|
|
#include "swift/AST/ProtocolConformance.h"
|
|
#include "swift/Basic/Assertions.h"
|
|
#include "swift/SIL/SILArgument.h"
|
|
#include "swift/SIL/SILUndef.h"
|
|
#include "swift/SIL/TypeLowering.h"
|
|
#include "clang/AST/DeclObjC.h"
|
|
|
|
using namespace swift;
|
|
using namespace Lowering;
|
|
|
|
/// Convert to the given formal type, assuming that the lowered type of
|
|
/// the source type is the same as its formal type. This is a reasonable
|
|
/// assumption for a wide variety of types.
|
|
static ManagedValue emitUnabstractedCast(SILGenFunction &SGF, SILLocation loc,
|
|
ManagedValue value,
|
|
CanType sourceFormalType,
|
|
CanType targetFormalType) {
|
|
SILType loweredResultTy = SGF.getLoweredType(targetFormalType);
|
|
if (value.getType() == loweredResultTy)
|
|
return value;
|
|
|
|
return SGF.emitTransformedValue(loc, value,
|
|
AbstractionPattern(sourceFormalType),
|
|
sourceFormalType,
|
|
AbstractionPattern(targetFormalType),
|
|
targetFormalType,
|
|
loweredResultTy);
|
|
}
|
|
|
|
static bool shouldBridgeThroughError(SILGenModule &SGM, CanType type,
|
|
CanType targetType) {
|
|
// Never use this logic if the target type is AnyObject.
|
|
if (targetType->isEqual(SGM.getASTContext().getAnyObjectType()))
|
|
return false;
|
|
|
|
auto errorProtocol = SGM.getASTContext().getErrorDecl();
|
|
if (!errorProtocol) return false;
|
|
|
|
// Existential types are convertible to Error if they are, or imply, Error.
|
|
if (type.isExistentialType()) {
|
|
auto layout = type->getExistentialLayout();
|
|
for (auto proto : layout.getProtocols()) {
|
|
if (proto == errorProtocol ||
|
|
proto->inheritsFrom(errorProtocol)) {
|
|
return true;
|
|
}
|
|
}
|
|
|
|
// They're also convertible to Error if they have a class bound that
|
|
// conforms to Error.
|
|
if (auto superclass = layout.getSuperclass()) {
|
|
type = superclass->getCanonicalType();
|
|
|
|
// Otherwise, they are not convertible to Error.
|
|
} else {
|
|
return false;
|
|
}
|
|
}
|
|
|
|
return (bool) lookupConformance(type, errorProtocol);
|
|
}
|
|
|
|
/// Bridge the given Swift value to its corresponding Objective-C
|
|
/// object, using the appropriate witness for the
|
|
/// _ObjectiveCBridgeable._bridgeToObjectiveC requirement.
|
|
static std::optional<ManagedValue>
|
|
emitBridgeNativeToObjectiveC(SILGenFunction &SGF, SILLocation loc,
|
|
ManagedValue swiftValue, CanType swiftValueType,
|
|
CanType bridgedType,
|
|
ProtocolConformance *conformance) {
|
|
// Find the _bridgeToObjectiveC requirement.
|
|
auto requirement = SGF.SGM.getBridgeToObjectiveCRequirement(loc);
|
|
if (!requirement)
|
|
return std::nullopt;
|
|
|
|
// Retrieve the _bridgeToObjectiveC witness.
|
|
auto witness = conformance->getWitnessDecl(requirement);
|
|
assert(witness);
|
|
|
|
// Determine the type we're bridging to.
|
|
auto objcTypeReq = SGF.SGM.getBridgedObjectiveCTypeRequirement(loc);
|
|
if (!objcTypeReq)
|
|
return std::nullopt;
|
|
|
|
Type objcType = conformance->getTypeWitness(objcTypeReq);
|
|
|
|
// Create a reference to the witness.
|
|
SILDeclRef witnessConstant(witness);
|
|
auto witnessRef = SGF.emitGlobalFunctionRef(loc, witnessConstant);
|
|
|
|
// Determine the substitutions.
|
|
auto witnessFnTy = witnessRef->getType();
|
|
|
|
// Compute the substitutions.
|
|
|
|
// FIXME: Figure out the right SubstitutionMap stuff if the witness
|
|
// has generic parameters of its own.
|
|
assert(!cast<FuncDecl>(witness)->hasGenericParamList() &&
|
|
"Generic witnesses not supported");
|
|
|
|
auto *dc = cast<FuncDecl>(witness)->getDeclContext();
|
|
auto typeSubMap = swiftValueType->getContextSubstitutionMap(dc);
|
|
|
|
// Substitute into the witness function type.
|
|
witnessFnTy = witnessFnTy.substGenericArgs(SGF.SGM.M, typeSubMap,
|
|
SGF.getTypeExpansionContext());
|
|
|
|
// We might have to re-abstract the 'self' value if it is an
|
|
// Optional.
|
|
AbstractionPattern origSelfType(witness->getInterfaceType());
|
|
origSelfType = origSelfType.getFunctionParamType(0);
|
|
|
|
ArgumentScope scope(SGF, loc);
|
|
|
|
swiftValue = SGF.emitSubstToOrigValue(loc, swiftValue,
|
|
origSelfType,
|
|
swiftValueType,
|
|
SGFContext());
|
|
|
|
// The witness may be more abstract than the concrete value we're bridging,
|
|
// for instance, if the value is a concrete instantiation of a generic type.
|
|
//
|
|
// Note that we assume that we don't ever have to reabstract the parameter.
|
|
// This is safe for now, since only nominal types currently can conform to
|
|
// protocols.
|
|
SILFunctionConventions witnessConv(witnessFnTy.castTo<SILFunctionType>(),
|
|
SGF.SGM.M);
|
|
if (witnessConv.isSILIndirect(witnessConv.getParameters()[0])
|
|
&& !swiftValue.getType().isAddress()) {
|
|
auto tmp = SGF.emitTemporaryAllocation(loc, swiftValue.getType());
|
|
swiftValue = SGF.emitManagedStoreBorrow(
|
|
loc, swiftValue.borrow(SGF, loc).getValue(), tmp);
|
|
}
|
|
|
|
// Call the witness.
|
|
SILValue bridgedValue =
|
|
SGF.B.createApply(loc, witnessRef, typeSubMap,
|
|
swiftValue.borrow(SGF, loc).getValue());
|
|
|
|
auto bridgedMV = SGF.emitManagedRValueWithCleanup(bridgedValue);
|
|
bridgedMV = scope.popPreservingValue(bridgedMV);
|
|
|
|
// The Objective-C value doesn't necessarily match the desired type.
|
|
bridgedMV = emitUnabstractedCast(SGF, loc, bridgedMV,
|
|
objcType->getCanonicalType(), bridgedType);
|
|
|
|
return bridgedMV;
|
|
}
|
|
|
|
/// Bridge the given Objective-C object to its corresponding Swift
|
|
/// value, using the appropriate witness for the
|
|
/// _ObjectiveCBridgeable._unconditionallyBridgeFromObjectiveC requirement.
|
|
static std::optional<ManagedValue>
|
|
emitBridgeObjectiveCToNative(SILGenFunction &SGF, SILLocation loc,
|
|
ManagedValue objcValue, CanType bridgedType,
|
|
ProtocolConformance *conformance) {
|
|
// Find the _unconditionallyBridgeFromObjectiveC requirement.
|
|
auto requirement =
|
|
SGF.SGM.getUnconditionallyBridgeFromObjectiveCRequirement(loc);
|
|
if (!requirement)
|
|
return std::nullopt;
|
|
|
|
// Find the _ObjectiveCType requirement.
|
|
auto objcTypeRequirement = SGF.SGM.getBridgedObjectiveCTypeRequirement(loc);
|
|
if (!objcTypeRequirement)
|
|
return std::nullopt;
|
|
|
|
// Retrieve the _unconditionallyBridgeFromObjectiveC witness.
|
|
auto witness = conformance->getWitnessDeclRef(requirement);
|
|
assert(witness);
|
|
|
|
// Retrieve the _ObjectiveCType witness.
|
|
auto objcType = conformance->getTypeWitness(objcTypeRequirement);
|
|
|
|
// Create a reference to the witness.
|
|
SILDeclRef witnessConstant(witness.getDecl());
|
|
auto witnessRef = SGF.emitGlobalFunctionRef(loc, witnessConstant);
|
|
|
|
// Determine the substitutions.
|
|
auto witnessFnTy = witnessRef->getType().castTo<SILFunctionType>();
|
|
|
|
CanType swiftValueType = conformance->getType()->getCanonicalType();
|
|
auto genericSig = witnessFnTy->getInvocationGenericSignature();
|
|
SubstitutionMap typeSubMap = witness.getSubstitutions();
|
|
|
|
// Substitute into the witness function type.
|
|
witnessFnTy = witnessFnTy->substGenericArgs(SGF.SGM.M, typeSubMap,
|
|
SGF.getTypeExpansionContext());
|
|
|
|
// The witness takes an _ObjectiveCType?, so convert to that type.
|
|
CanType desiredValueType = OptionalType::get(objcType)->getCanonicalType();
|
|
objcValue = emitUnabstractedCast(SGF, loc, objcValue, bridgedType,
|
|
desiredValueType);
|
|
|
|
// Call the witness.
|
|
auto metatypeParam = witnessFnTy->getParameters()[1];
|
|
assert(isa<MetatypeType>(metatypeParam.getInterfaceType()) &&
|
|
cast<MetatypeType>(metatypeParam.getInterfaceType()).getInstanceType()
|
|
== swiftValueType);
|
|
SILValue metatypeValue = SGF.B.createMetatype(
|
|
loc, metatypeParam.getSILStorageType(SGF.SGM.M, witnessFnTy,
|
|
SGF.getTypeExpansionContext()));
|
|
|
|
auto witnessCI =
|
|
SGF.getConstantInfo(SGF.getTypeExpansionContext(), witnessConstant);
|
|
CanType formalResultTy = witnessCI.LoweredType.getResult();
|
|
|
|
auto subs = witness.getSubstitutions();
|
|
|
|
// Set up the generic signature, since formalResultTy is an interface type.
|
|
CalleeTypeInfo calleeTypeInfo(
|
|
witnessFnTy,
|
|
AbstractionPattern(genericSig, formalResultTy),
|
|
swiftValueType);
|
|
SGFContext context;
|
|
ResultPlanPtr resultPlan =
|
|
ResultPlanBuilder::computeResultPlan(SGF, calleeTypeInfo, loc, context);
|
|
ArgumentScope argScope(SGF, loc);
|
|
RValue result = SGF.emitApply(
|
|
std::move(resultPlan), std::move(argScope), loc,
|
|
ManagedValue::forObjectRValueWithoutOwnership(witnessRef), subs,
|
|
{objcValue, ManagedValue::forObjectRValueWithoutOwnership(metatypeValue)},
|
|
calleeTypeInfo, ApplyOptions(), context, std::nullopt);
|
|
return std::move(result).getAsSingleValue(SGF, loc);
|
|
}
|
|
|
|
static ManagedValue emitBridgeBoolToObjCBool(SILGenFunction &SGF,
|
|
SILLocation loc,
|
|
ManagedValue swiftBool) {
|
|
// func _convertBoolToObjCBool(Bool) -> ObjCBool
|
|
SILValue boolToObjCBoolFn
|
|
= SGF.emitGlobalFunctionRef(loc, SGF.SGM.getBoolToObjCBoolFn());
|
|
|
|
SILValue result = SGF.B.createApply(loc, boolToObjCBoolFn,
|
|
{}, swiftBool.forward(SGF));
|
|
return SGF.emitManagedRValueWithCleanup(result);
|
|
}
|
|
|
|
static ManagedValue emitBridgeBoolToDarwinBoolean(SILGenFunction &SGF,
|
|
SILLocation loc,
|
|
ManagedValue swiftBool) {
|
|
// func _convertBoolToDarwinBoolean(Bool) -> DarwinBoolean
|
|
SILValue boolToDarwinBooleanFn
|
|
= SGF.emitGlobalFunctionRef(loc, SGF.SGM.getBoolToDarwinBooleanFn());
|
|
|
|
SILValue result = SGF.B.createApply(loc, boolToDarwinBooleanFn,
|
|
{}, swiftBool.forward(SGF));
|
|
return SGF.emitManagedRValueWithCleanup(result);
|
|
}
|
|
|
|
static ManagedValue emitBridgeBoolToWindowsBool(SILGenFunction &SGF,
|
|
SILLocation L, ManagedValue b) {
|
|
// func _convertToWindowsBool(Bool) -> WindowsBool
|
|
SILValue F = SGF.emitGlobalFunctionRef(L, SGF.SGM.getBoolToWindowsBoolFn());
|
|
SILValue R = SGF.B.createApply(L, F, {}, b.forward(SGF));
|
|
return SGF.emitManagedRValueWithCleanup(R);
|
|
}
|
|
|
|
static ManagedValue emitBridgeForeignBoolToBool(SILGenFunction &SGF,
|
|
SILLocation loc,
|
|
ManagedValue foreignBool,
|
|
SILDeclRef bridgingFnRef) {
|
|
// func _convertObjCBoolToBool(ObjCBool) -> Bool
|
|
SILValue bridgingFn = SGF.emitGlobalFunctionRef(loc, bridgingFnRef);
|
|
|
|
SILValue result = SGF.B.createApply(loc, bridgingFn, {},
|
|
foreignBool.forward(SGF));
|
|
return SGF.emitManagedRValueWithCleanup(result);
|
|
}
|
|
|
|
static ManagedValue emitManagedParameter(SILGenFunction &SGF, SILLocation loc,
|
|
SILParameterInfo param,
|
|
SILValue value) {
|
|
const TypeLowering &valueTL = SGF.getTypeLowering(value->getType());
|
|
|
|
switch (param.getConvention()) {
|
|
case ParameterConvention::Direct_Owned:
|
|
// Consume owned parameters at +1.
|
|
return SGF.emitManagedRValueWithCleanup(value, valueTL);
|
|
|
|
case ParameterConvention::Direct_Guaranteed:
|
|
// If we have a guaranteed parameter, the object should not need to be
|
|
// retained or have a cleanup.
|
|
return ManagedValue::forBorrowedObjectRValue(value);
|
|
|
|
case ParameterConvention::Direct_Unowned:
|
|
// We need to independently retain the value.
|
|
return SGF.emitManagedCopy(loc, value, valueTL);
|
|
|
|
case ParameterConvention::Indirect_Inout:
|
|
return ManagedValue::forLValue(value);
|
|
|
|
case ParameterConvention::Indirect_In_Guaranteed:
|
|
if (!value->getType().isAddress())
|
|
return ManagedValue::forBorrowedObjectRValue(value);
|
|
|
|
if (valueTL.isLoadable()) {
|
|
return SGF.B.createLoadBorrow(
|
|
loc, ManagedValue::forBorrowedAddressRValue(value));
|
|
} else {
|
|
return ManagedValue::forBorrowedAddressRValue(value);
|
|
}
|
|
|
|
case ParameterConvention::Indirect_In_CXX:
|
|
// Don't emit a cleanup if the parameter is @in_cxx.
|
|
return ManagedValue::forOwnedRValue(value, CleanupHandle::invalid());
|
|
|
|
case ParameterConvention::Indirect_In:
|
|
if (valueTL.isLoadable()) {
|
|
return SGF.emitLoad(loc, value, valueTL, SGFContext(), IsTake);
|
|
} else {
|
|
return SGF.emitManagedRValueWithCleanup(value, valueTL);
|
|
}
|
|
|
|
case ParameterConvention::Indirect_InoutAliasable:
|
|
case ParameterConvention::Pack_Guaranteed:
|
|
case ParameterConvention::Pack_Owned:
|
|
case ParameterConvention::Pack_Inout:
|
|
llvm_unreachable("unexpected convention");
|
|
}
|
|
llvm_unreachable("bad convention");
|
|
}
|
|
|
|
/// Get the type of each parameter, filtering out empty tuples.
|
|
static SmallVector<CanType, 8>
|
|
getParameterTypes(AnyFunctionType::CanParamArrayRef params,
|
|
bool hasSelfParam=false) {
|
|
SmallVector<CanType, 8> results;
|
|
for (auto n : indices(params)) {
|
|
bool isSelf = (hasSelfParam ? n == params.size() - 1 : false);
|
|
|
|
const auto ¶m = params[n];
|
|
assert(isSelf || !param.isInOut() &&
|
|
"Only the 'self' parameter can be inout in a bridging thunk");
|
|
assert(!param.isVariadic());
|
|
|
|
if (param.getPlainType()->isVoid())
|
|
continue;
|
|
results.push_back(param.getPlainType());
|
|
}
|
|
return results;
|
|
}
|
|
|
|
static CanAnyFunctionType
|
|
getBridgedBlockType(SILGenModule &SGM, CanAnyFunctionType blockType,
|
|
SILFunctionTypeRepresentation silRep) {
|
|
return SGM.Types.getBridgedFunctionType(
|
|
AbstractionPattern(blockType), blockType, Bridgeability::Full, silRep);
|
|
}
|
|
|
|
static void buildFuncToBlockInvokeBody(SILGenFunction &SGF,
|
|
SILLocation loc,
|
|
CanAnyFunctionType formalFuncType,
|
|
CanAnyFunctionType formalBlockType,
|
|
CanSILFunctionType funcTy,
|
|
CanSILFunctionType blockTy,
|
|
CanSILBlockStorageType blockStorageTy,
|
|
bool isUnretainedClosureSafe) {
|
|
Scope scope(SGF.Cleanups, CleanupLocation(loc));
|
|
SILBasicBlock *entry = &*SGF.F.begin();
|
|
SILFunctionConventions blockConv(blockTy, SGF.SGM.M);
|
|
SILFunctionConventions funcConv(funcTy, SGF.SGM.M);
|
|
|
|
// Make sure we lower the component types of the formal block type.
|
|
formalBlockType = getBridgedBlockType(SGF.SGM, formalBlockType,
|
|
blockTy->getRepresentation());
|
|
|
|
// Set up the indirect result.
|
|
SILType blockResultTy =
|
|
blockTy->getAllResultsSubstType(SGF.SGM.M, SGF.getTypeExpansionContext());
|
|
SILValue indirectResult;
|
|
if (blockTy->getNumResults() != 0) {
|
|
auto result = blockTy->getSingleResult();
|
|
if (result.getConvention() == ResultConvention::Indirect) {
|
|
indirectResult =
|
|
entry->createFunctionArgument(blockResultTy.getAddressType());
|
|
}
|
|
}
|
|
|
|
// Get the captured native function value out of the block.
|
|
auto storageAddrTy = SILType::getPrimitiveAddressType(blockStorageTy);
|
|
auto storage = entry->createFunctionArgument(storageAddrTy);
|
|
auto capture = SGF.B.createProjectBlockStorage(loc, storage);
|
|
auto &funcTL = SGF.getTypeLowering(funcTy);
|
|
auto fn = isUnretainedClosureSafe
|
|
? SGF.emitManagedLoadBorrow(loc, capture)
|
|
: SGF.emitLoad(loc, capture, funcTL, SGFContext(), IsNotTake);
|
|
|
|
// Collect the block arguments, which may have nonstandard conventions.
|
|
assert(blockTy->getParameters().size() == funcTy->getParameters().size()
|
|
&& "block and function types don't match");
|
|
|
|
auto nativeParamTypes = getParameterTypes(formalFuncType.getParams());
|
|
auto bridgedParamTypes = getParameterTypes(formalBlockType.getParams());
|
|
|
|
SmallVector<ManagedValue, 4> args;
|
|
for (unsigned i : indices(funcTy->getParameters())) {
|
|
auto ¶m = blockTy->getParameters()[i];
|
|
SILType paramTy =
|
|
blockConv.getSILType(param, SGF.getTypeExpansionContext());
|
|
SILValue v = entry->createFunctionArgument(paramTy);
|
|
ManagedValue mv;
|
|
|
|
// If the parameter is a block, we need to copy it to ensure it lives on
|
|
// the heap. The adapted closure value might outlive the block's original
|
|
// scope.
|
|
if (SGF.getSILType(param, blockTy).isBlockPointerCompatible()) {
|
|
// We still need to consume the original block if it was owned.
|
|
switch (param.getConvention()) {
|
|
case ParameterConvention::Direct_Owned:
|
|
SGF.emitManagedRValueWithCleanup(v);
|
|
break;
|
|
|
|
case ParameterConvention::Direct_Guaranteed:
|
|
case ParameterConvention::Direct_Unowned:
|
|
break;
|
|
|
|
case ParameterConvention::Indirect_In:
|
|
case ParameterConvention::Indirect_In_Guaranteed:
|
|
case ParameterConvention::Indirect_Inout:
|
|
case ParameterConvention::Indirect_InoutAliasable:
|
|
case ParameterConvention::Indirect_In_CXX:
|
|
case ParameterConvention::Pack_Guaranteed:
|
|
case ParameterConvention::Pack_Owned:
|
|
case ParameterConvention::Pack_Inout:
|
|
llvm_unreachable("indirect params to blocks not supported");
|
|
}
|
|
|
|
SILValue blockCopy = SGF.B.createCopyBlock(loc, v);
|
|
mv = SGF.emitManagedRValueWithCleanup(blockCopy);
|
|
} else {
|
|
mv = emitManagedParameter(SGF, loc, param, v);
|
|
}
|
|
|
|
CanType formalBridgedType = bridgedParamTypes[i];
|
|
CanType formalNativeType = nativeParamTypes[i];
|
|
SILType loweredNativeTy = funcTy->getParameters()[i].getSILStorageType(
|
|
SGF.SGM.M, funcTy, SGF.getTypeExpansionContext());
|
|
|
|
args.push_back(SGF.emitBridgedToNativeValue(loc, mv, formalBridgedType,
|
|
formalNativeType,
|
|
loweredNativeTy));
|
|
}
|
|
|
|
auto init = indirectResult
|
|
? SGF.useBufferAsTemporary(indirectResult,
|
|
SGF.getTypeLowering(indirectResult->getType()))
|
|
: nullptr;
|
|
|
|
CanType formalNativeResultType = formalFuncType.getResult();
|
|
CanType formalBridgedResultType = formalBlockType.getResult();
|
|
|
|
bool canEmitIntoInit =
|
|
(indirectResult &&
|
|
indirectResult->getType()
|
|
== SGF.getLoweredType(formalNativeResultType).getAddressType());
|
|
|
|
// Call the native function.
|
|
SGFContext C(canEmitIntoInit ? init.get() : nullptr);
|
|
ManagedValue result =
|
|
SGF.emitMonomorphicApply(loc, fn, args, formalNativeResultType,
|
|
formalNativeResultType, ApplyOptions(),
|
|
std::nullopt, std::nullopt, C)
|
|
.getAsSingleValue(SGF, loc);
|
|
|
|
// Bridge the result back to ObjC.
|
|
if (!canEmitIntoInit) {
|
|
result = SGF.emitNativeToBridgedValue(loc, result,
|
|
formalNativeResultType,
|
|
formalBridgedResultType,
|
|
blockResultTy,
|
|
SGFContext(init.get()));
|
|
}
|
|
|
|
SILValue resultVal;
|
|
|
|
// If we have an indirect result, make sure the result is there.
|
|
if (indirectResult) {
|
|
if (!result.isInContext()) {
|
|
init->copyOrInitValueInto(SGF, loc, result, /*isInit*/ true);
|
|
init->finishInitialization(SGF);
|
|
}
|
|
init->getManagedAddress().forward(SGF);
|
|
resultVal = SGF.B.createTuple(loc, {});
|
|
} else {
|
|
// Otherwise, return the result at +1.
|
|
resultVal = result.forward(SGF);
|
|
}
|
|
|
|
scope.pop();
|
|
|
|
SGF.B.createReturn(loc, resultVal);
|
|
}
|
|
|
|
/// Bridge a native function to a block with a thunk.
|
|
ManagedValue SILGenFunction::emitFuncToBlock(SILLocation loc,
|
|
ManagedValue fn,
|
|
CanAnyFunctionType funcType,
|
|
CanAnyFunctionType blockType,
|
|
CanSILFunctionType loweredBlockTy){
|
|
auto loweredFuncTy = fn.getType().castTo<SILFunctionType>();
|
|
|
|
// If we store a @noescape closure in a block verify that the block has not
|
|
// escaped by storing a withoutActuallyEscaping closure in the block and after
|
|
// the block is ultimately destroyed checking that the closure is uniquely
|
|
// referenced.
|
|
bool useWithoutEscapingVerification = false;
|
|
ManagedValue escaping;
|
|
if (loweredFuncTy->isNoEscape()) {
|
|
auto escapingTy = loweredFuncTy->getWithExtInfo(
|
|
loweredFuncTy->getExtInfo().withNoEscape(false));
|
|
|
|
escaping = createWithoutActuallyEscapingClosure(
|
|
loc, fn, SILType::getPrimitiveObjectType(escapingTy));
|
|
loweredFuncTy = escapingTy;
|
|
auto escapingAnyTy =
|
|
funcType.withExtInfo(funcType->getExtInfo().withNoEscape(false));
|
|
funcType = escapingAnyTy;
|
|
fn = escaping.copy(*this, loc);
|
|
useWithoutEscapingVerification = true;
|
|
} else {
|
|
// Since we are going to be storing this into memory, we need fn at +1.
|
|
fn = fn.ensurePlusOne(*this, loc);
|
|
}
|
|
|
|
// All different substitutions of a function type can share a thunk.
|
|
auto loweredFuncUnsubstTy = loweredFuncTy->getUnsubstitutedType(SGM.M);
|
|
if (loweredFuncUnsubstTy != loweredFuncTy) {
|
|
fn = B.createConvertFunction(loc, fn,
|
|
SILType::getPrimitiveObjectType(loweredFuncUnsubstTy));
|
|
}
|
|
|
|
// Build the invoke function signature. The block will capture the original
|
|
// function value.
|
|
auto fnInterfaceTy = cast<SILFunctionType>(
|
|
loweredFuncUnsubstTy->mapTypeOutOfContext()->getCanonicalType());
|
|
auto blockInterfaceTy = cast<SILFunctionType>(
|
|
loweredBlockTy->mapTypeOutOfContext()->getCanonicalType());
|
|
|
|
assert(!blockInterfaceTy->isCoroutine());
|
|
|
|
auto storageTy = SILBlockStorageType::get(loweredFuncUnsubstTy);
|
|
auto storageInterfaceTy = SILBlockStorageType::get(fnInterfaceTy);
|
|
|
|
// Build the invoke function type.
|
|
SmallVector<SILParameterInfo, 4> params;
|
|
params.push_back(SILParameterInfo(storageInterfaceTy,
|
|
ParameterConvention::Indirect_InoutAliasable));
|
|
std::copy(blockInterfaceTy->getParameters().begin(),
|
|
blockInterfaceTy->getParameters().end(),
|
|
std::back_inserter(params));
|
|
|
|
auto results = blockInterfaceTy->getResults();
|
|
auto representation = SILFunctionType::Representation::CFunctionPointer;
|
|
auto *clangFnType = getASTContext().getCanonicalClangFunctionType(
|
|
params, results.empty() ? std::optional<SILResultInfo>() : results[0],
|
|
representation);
|
|
|
|
auto extInfo = SILFunctionType::ExtInfoBuilder()
|
|
.withRepresentation(representation)
|
|
.withClangFunctionType(clangFnType)
|
|
.build();
|
|
|
|
CanGenericSignature genericSig;
|
|
GenericEnvironment *genericEnv = nullptr;
|
|
SubstitutionMap subs;
|
|
if (funcType->hasArchetype() || blockType->hasArchetype()) {
|
|
genericSig = F.getLoweredFunctionType()->getInvocationGenericSignature();
|
|
genericEnv = F.getGenericEnvironment();
|
|
|
|
subs = F.getForwardingSubstitutionMap();
|
|
|
|
// The block invoke function must be pseudogeneric. This should be OK for now
|
|
// since a bridgeable function's parameters and returns should all be
|
|
// trivially representable in ObjC so not need to exercise the type metadata.
|
|
//
|
|
// Ultimately we may need to capture generic parameters in block storage, but
|
|
// that will require a redesign of the interface to support dependent-layout
|
|
// context. Currently we don't capture anything directly into a block but a
|
|
// Swift closure, but that's totally dumb.
|
|
if (genericSig)
|
|
extInfo = extInfo.intoBuilder().withIsPseudogeneric().build();
|
|
}
|
|
|
|
auto invokeTy = SILFunctionType::get(
|
|
genericSig, extInfo, SILCoroutineKind::None,
|
|
ParameterConvention::Direct_Unowned, params,
|
|
/*yields*/ {}, blockInterfaceTy->getResults(),
|
|
blockInterfaceTy->getOptionalErrorResult(),
|
|
SubstitutionMap(), SubstitutionMap(),
|
|
getASTContext());
|
|
|
|
// Create the invoke function. Borrow the mangling scheme from reabstraction
|
|
// thunks, which is what we are in spirit.
|
|
auto thunk = SGM.getOrCreateReabstractionThunk(invokeTy,
|
|
loweredFuncUnsubstTy,
|
|
loweredBlockTy,
|
|
/*dynamicSelfType=*/CanType(),
|
|
/*global actor=*/CanType());
|
|
|
|
// Build it if necessary.
|
|
if (thunk->empty()) {
|
|
thunk->setGenericEnvironment(genericEnv);
|
|
SILGenFunction thunkSGF(SGM, *thunk, FunctionDC);
|
|
auto loc = RegularLocation::getAutoGeneratedLocation();
|
|
// Not retaining the closure in the reabstraction thunk is safe if we hold
|
|
// another reference for the is_escaping sentinel.
|
|
buildFuncToBlockInvokeBody(thunkSGF, loc, funcType, blockType,
|
|
loweredFuncUnsubstTy, loweredBlockTy, storageTy,
|
|
useWithoutEscapingVerification);
|
|
SGM.emitLazyConformancesForFunction(thunk);
|
|
}
|
|
|
|
// Form the block on the stack.
|
|
auto storageAddrTy = SILType::getPrimitiveAddressType(storageTy);
|
|
auto storage = emitTemporaryAllocation(loc, storageAddrTy);
|
|
auto capture = B.createProjectBlockStorage(loc, storage);
|
|
B.createStore(loc, fn, capture, StoreOwnershipQualifier::Init);
|
|
auto invokeFn = B.createFunctionRefFor(loc, thunk);
|
|
|
|
auto stackBlock = B.createInitBlockStorageHeader(loc, storage, invokeFn,
|
|
SILType::getPrimitiveObjectType(loweredBlockTy),
|
|
subs);
|
|
|
|
// Copy the block so we have an independent heap object we can hand off.
|
|
|
|
// If withoutActuallyEscaping verification is requested we emit a
|
|
// copy_block_without_escaping %block withoutEscaping %closure instruction.
|
|
// A mandatory SIL pass will replace this instruction by the required
|
|
// verification instruction sequence.
|
|
auto heapBlock = useWithoutEscapingVerification
|
|
? SILValue(B.createCopyBlockWithoutEscaping(
|
|
loc, stackBlock, escaping.forward(*this)))
|
|
: SILValue(B.createCopyBlock(loc, stackBlock));
|
|
return emitManagedRValueWithCleanup(heapBlock);
|
|
}
|
|
|
|
static ManagedValue emitNativeToCBridgedNonoptionalValue(SILGenFunction &SGF,
|
|
SILLocation loc,
|
|
ManagedValue v,
|
|
CanType nativeType,
|
|
CanType bridgedType,
|
|
SILType loweredBridgedTy,
|
|
SGFContext C) {
|
|
assert(loweredBridgedTy.isObject());
|
|
if (v.getType().getObjectType() == loweredBridgedTy)
|
|
return v;
|
|
|
|
// If the input is a native type with a bridged mapping, convert it.
|
|
#define BRIDGE_TYPE(BridgedModule,BridgedType, NativeModule,NativeType,Opt) \
|
|
if (nativeType == SGF.SGM.Types.get##NativeType##Type() \
|
|
&& bridgedType == SGF.SGM.Types.get##BridgedType##Type()) { \
|
|
return emitBridge##NativeType##To##BridgedType(SGF, loc, v); \
|
|
}
|
|
#include "swift/SIL/BridgedTypes.def"
|
|
|
|
// Bridge thick to Objective-C metatypes.
|
|
if (auto bridgedMetaTy = dyn_cast<AnyMetatypeType>(bridgedType)) {
|
|
if (bridgedMetaTy->hasRepresentation() &&
|
|
bridgedMetaTy->getRepresentation() == MetatypeRepresentation::ObjC) {
|
|
SILValue native = SGF.B.emitThickToObjCMetatype(loc, v.getValue(),
|
|
loweredBridgedTy);
|
|
// *NOTE*: ObjCMetatypes are trivial types. They only gain ARC semantics
|
|
// when they are converted to an object via objc_metatype_to_object.
|
|
assert(!v.hasCleanup() &&
|
|
"Metatypes are trivial and thus should not have cleanups");
|
|
return ManagedValue::forObjectRValueWithoutOwnership(native);
|
|
}
|
|
}
|
|
|
|
// Bridge native functions to blocks.
|
|
auto bridgedFTy = dyn_cast<AnyFunctionType>(bridgedType);
|
|
if (bridgedFTy && bridgedFTy->getRepresentation()
|
|
== AnyFunctionType::Representation::Block) {
|
|
auto nativeFTy = cast<AnyFunctionType>(nativeType);
|
|
|
|
if (nativeFTy->getRepresentation()
|
|
!= AnyFunctionType::Representation::Block)
|
|
return SGF.emitFuncToBlock(loc, v, nativeFTy, bridgedFTy,
|
|
loweredBridgedTy.castTo<SILFunctionType>());
|
|
}
|
|
|
|
// If the native type conforms to _ObjectiveCBridgeable, use its
|
|
// _bridgeToObjectiveC witness.
|
|
if (auto conformance =
|
|
SGF.SGM.getConformanceToObjectiveCBridgeable(loc, nativeType)) {
|
|
if (auto result = emitBridgeNativeToObjectiveC(SGF, loc, v, nativeType,
|
|
bridgedType, conformance))
|
|
return *result;
|
|
|
|
assert(SGF.SGM.getASTContext().Diags.hadAnyError() &&
|
|
"Bridging code should have complained");
|
|
return SGF.emitUndef(bridgedType);
|
|
}
|
|
|
|
// Bridge Error, or types that conform to it, to NSError.
|
|
if (shouldBridgeThroughError(SGF.SGM, nativeType, bridgedType)) {
|
|
auto errorTy = SGF.SGM.Types.getNSErrorType();
|
|
auto error = SGF.emitNativeToBridgedError(loc, v, nativeType, errorTy);
|
|
if (errorTy != bridgedType) {
|
|
error = emitUnabstractedCast(SGF, loc, error, errorTy, bridgedType);
|
|
}
|
|
return error;
|
|
}
|
|
|
|
// Fall back to dynamic Any-to-id bridging.
|
|
// The destination type should be AnyObject in this case.
|
|
assert(bridgedType->isEqual(SGF.getASTContext().getAnyObjectType()));
|
|
|
|
// Blocks bridge to id with a cast under ObjCInterop.
|
|
if (auto nativeFnType = dyn_cast<AnyFunctionType>(nativeType)) {
|
|
if (nativeFnType->getRepresentation() ==
|
|
FunctionTypeRepresentation::Block &&
|
|
SGF.getASTContext().LangOpts.EnableObjCInterop) {
|
|
return SGF.B.createBlockToAnyObject(loc, v, loweredBridgedTy);
|
|
}
|
|
}
|
|
|
|
// If the input argument is known to be an existential, save the runtime
|
|
// some work by opening it.
|
|
if (nativeType->isExistentialType()) {
|
|
auto openedType = ExistentialArchetypeType::get(nativeType);
|
|
|
|
FormalEvaluationScope scope(SGF);
|
|
|
|
v = SGF.emitOpenExistential(
|
|
loc, v, SGF.getLoweredType(openedType),
|
|
AccessKind::Read);
|
|
v = v.ensurePlusOne(SGF, loc);
|
|
|
|
nativeType = openedType;
|
|
}
|
|
|
|
// Call into the stdlib intrinsic.
|
|
if (auto bridgeAnything =
|
|
SGF.getASTContext().getBridgeAnythingToObjectiveC()) {
|
|
auto genericSig = bridgeAnything->getGenericSignature();
|
|
auto subMap = SubstitutionMap::get(
|
|
genericSig,
|
|
[&](SubstitutableType *t) -> Type {
|
|
return nativeType;
|
|
},
|
|
LookUpConformanceInModule());
|
|
|
|
// The intrinsic takes a T; reabstract to the generic abstraction
|
|
// pattern.
|
|
v = SGF.emitSubstToOrigValue(loc, v, AbstractionPattern::getOpaque(),
|
|
nativeType);
|
|
|
|
// Put the value into memory if necessary.
|
|
assert(v.getOwnershipKind() == OwnershipKind::None || v.hasCleanup());
|
|
SILModuleConventions silConv(SGF.SGM.M);
|
|
// bridgeAnything always takes an indirect argument as @in.
|
|
// Since we don't have the SIL type here, check the current SIL stage/mode
|
|
// to determine the convention.
|
|
if (v.getType().isObject() && silConv.useLoweredAddresses()) {
|
|
auto tmp = SGF.emitTemporaryAllocation(loc, v.getType());
|
|
v.forwardInto(SGF, loc, tmp);
|
|
v = SGF.emitManagedBufferWithCleanup(tmp);
|
|
}
|
|
return SGF.emitApplyOfLibraryIntrinsic(loc, bridgeAnything, subMap, v, C)
|
|
.getAsSingleValue(SGF, loc);
|
|
}
|
|
|
|
// Shouldn't get here unless the standard library is busted.
|
|
return SGF.emitUndef(loweredBridgedTy);
|
|
}
|
|
|
|
static ManagedValue emitNativeToCBridgedValue(SILGenFunction &SGF,
|
|
SILLocation loc,
|
|
ManagedValue v,
|
|
CanType nativeType,
|
|
CanType bridgedType,
|
|
SILType loweredBridgedTy,
|
|
SGFContext C = SGFContext()) {
|
|
SILType loweredNativeTy = v.getType();
|
|
if (loweredNativeTy.getObjectType() == loweredBridgedTy.getObjectType())
|
|
return v;
|
|
|
|
CanType bridgedObjectType = bridgedType.getOptionalObjectType();
|
|
CanType nativeObjectType = nativeType.getOptionalObjectType();
|
|
|
|
// Check for optional-to-optional conversions.
|
|
if (bridgedObjectType && nativeObjectType) {
|
|
auto helper = [&](SILGenFunction &SGF, SILLocation loc,
|
|
ManagedValue v, SILType loweredBridgedObjectTy,
|
|
SGFContext C) {
|
|
return emitNativeToCBridgedValue(SGF, loc, v, nativeObjectType,
|
|
bridgedObjectType,
|
|
loweredBridgedObjectTy, C);
|
|
};
|
|
return SGF.emitOptionalToOptional(loc, v, loweredBridgedTy, helper, C);
|
|
}
|
|
|
|
// Check if we need to wrap the bridged result in an optional.
|
|
if (bridgedObjectType) {
|
|
auto helper = [&](SILGenFunction &SGF, SILLocation loc, SGFContext C) {
|
|
auto loweredBridgedObjectTy = loweredBridgedTy.getOptionalObjectType();
|
|
return emitNativeToCBridgedValue(SGF, loc, v, nativeType,
|
|
bridgedObjectType,
|
|
loweredBridgedObjectTy, C);
|
|
};
|
|
return SGF.emitOptionalSome(loc, loweredBridgedTy, helper, C);
|
|
}
|
|
|
|
return emitNativeToCBridgedNonoptionalValue(SGF, loc, v, nativeType,
|
|
bridgedType, loweredBridgedTy, C);
|
|
}
|
|
|
|
ManagedValue SILGenFunction::emitNativeToBridgedValue(SILLocation loc,
|
|
ManagedValue v,
|
|
CanType nativeTy,
|
|
CanType bridgedTy,
|
|
SILType loweredBridgedTy,
|
|
SGFContext C) {
|
|
loweredBridgedTy = loweredBridgedTy.getObjectType();
|
|
return emitNativeToCBridgedValue(*this, loc, v, nativeTy, bridgedTy,
|
|
loweredBridgedTy, C);
|
|
}
|
|
|
|
static void buildBlockToFuncThunkBody(SILGenFunction &SGF,
|
|
SILLocation loc,
|
|
CanAnyFunctionType formalBlockTy,
|
|
CanAnyFunctionType formalFuncTy,
|
|
CanSILFunctionType blockTy,
|
|
CanSILFunctionType funcTy) {
|
|
// Collect the native arguments, which should all be +1.
|
|
Scope scope(SGF.Cleanups, CleanupLocation(loc));
|
|
|
|
// Make sure we lower the component types of the formal block type.
|
|
formalBlockTy =
|
|
getBridgedBlockType(SGF.SGM, formalBlockTy, blockTy->getRepresentation());
|
|
|
|
assert(blockTy->getNumParameters() == funcTy->getNumParameters()
|
|
&& "block and function types don't match");
|
|
|
|
SmallVector<ManagedValue, 4> args;
|
|
SILBasicBlock *entry = &*SGF.F.begin();
|
|
|
|
SILFunctionConventions fnConv(funcTy, SGF.SGM.M);
|
|
|
|
// Set up the indirect result slot.
|
|
SILValue indirectResult;
|
|
if (funcTy->getNumResults() != 0) {
|
|
auto result = funcTy->getSingleResult();
|
|
if (result.getConvention() == ResultConvention::Indirect) {
|
|
SILType resultTy =
|
|
fnConv.getSILType(result, SGF.getTypeExpansionContext());
|
|
indirectResult = entry->createFunctionArgument(resultTy);
|
|
}
|
|
}
|
|
|
|
auto formalBlockParams = getParameterTypes(formalBlockTy.getParams());
|
|
auto formalFuncParams = getParameterTypes(formalFuncTy.getParams());
|
|
assert(formalBlockParams.size() == blockTy->getNumParameters());
|
|
assert(formalFuncParams.size() == funcTy->getNumParameters());
|
|
|
|
// Create the arguments for the call.
|
|
for (unsigned i : indices(funcTy->getParameters())) {
|
|
auto ¶m = funcTy->getParameters()[i];
|
|
CanType formalBlockParamTy = formalBlockParams[i];
|
|
CanType formalFuncParamTy = formalFuncParams[i];
|
|
|
|
auto paramTy = fnConv.getSILType(param, SGF.getTypeExpansionContext());
|
|
SILValue v = entry->createFunctionArgument(paramTy);
|
|
|
|
// First get the managed parameter for this function.
|
|
auto mv = emitManagedParameter(SGF, loc, param, v);
|
|
|
|
SILType loweredBlockArgTy = blockTy->getParameters()[i].getSILStorageType(
|
|
SGF.SGM.M, blockTy, SGF.getTypeExpansionContext());
|
|
|
|
// Then bridge the native value to its bridged variant.
|
|
mv = SGF.emitNativeToBridgedValue(loc, mv, formalFuncParamTy,
|
|
formalBlockParamTy, loweredBlockArgTy);
|
|
|
|
// Finally change ownership if we need to. We do not need to care about the
|
|
// case of a +1 parameter being passed to a +0 function since +1 parameters
|
|
// can be "instantaneously" borrowed at the call site.
|
|
if (blockTy->getParameters()[i].isConsumedInCaller()) {
|
|
mv = mv.ensurePlusOne(SGF, loc);
|
|
}
|
|
args.push_back(mv);
|
|
}
|
|
|
|
// Add the block argument.
|
|
SILValue blockV =
|
|
entry->createFunctionArgument(SILType::getPrimitiveObjectType(blockTy));
|
|
ManagedValue block = ManagedValue::forBorrowedObjectRValue(blockV);
|
|
|
|
CanType formalResultType = formalFuncTy.getResult();
|
|
|
|
auto init = indirectResult
|
|
? SGF.useBufferAsTemporary(indirectResult,
|
|
SGF.getTypeLowering(indirectResult->getType()))
|
|
: nullptr;
|
|
|
|
// Call the block.
|
|
ManagedValue result =
|
|
SGF.emitMonomorphicApply(
|
|
loc, block, args, formalBlockTy.getResult(), formalResultType,
|
|
ApplyOptions(),
|
|
/*override CC*/ SILFunctionTypeRepresentation::Block,
|
|
/*foreign error*/ std::nullopt, SGFContext(init.get()))
|
|
.getAsSingleValue(SGF, loc);
|
|
|
|
SILValue r;
|
|
|
|
// If we have an indirect result, make sure the result is there.
|
|
if (indirectResult) {
|
|
if (!result.isInContext()) {
|
|
init->copyOrInitValueInto(SGF, loc, result, /*isInit*/ true);
|
|
init->finishInitialization(SGF);
|
|
}
|
|
init->getManagedAddress().forward(SGF);
|
|
r = SGF.B.createTuple(
|
|
loc, fnConv.getSILResultType(SGF.getTypeExpansionContext()),
|
|
ArrayRef<SILValue>());
|
|
|
|
// Otherwise, return the result at +1.
|
|
} else {
|
|
r = result.forward(SGF);
|
|
}
|
|
|
|
scope.pop();
|
|
|
|
SGF.B.createReturn(loc, r);
|
|
|
|
// Finally, verify the thunk for SIL invariants.
|
|
SGF.F.verifyIncompleteOSSA();
|
|
}
|
|
|
|
/// Bridge a native function to a block with a thunk.
|
|
ManagedValue
|
|
SILGenFunction::emitBlockToFunc(SILLocation loc,
|
|
ManagedValue block,
|
|
CanAnyFunctionType blockType,
|
|
CanAnyFunctionType funcType,
|
|
CanSILFunctionType loweredFuncTy) {
|
|
// Declare the thunk.
|
|
auto loweredBlockTy = block.getType().castTo<SILFunctionType>();
|
|
|
|
SubstitutionMap contextSubs, interfaceSubs;
|
|
GenericEnvironment *genericEnv = nullptr;
|
|
|
|
// These two are not used here -- but really, bridging thunks
|
|
// should be emitted using the formal AST type, not the lowered
|
|
// type
|
|
CanType inputSubstType, outputSubstType;
|
|
|
|
auto loweredFuncTyWithoutNoEscape = adjustFunctionType(
|
|
loweredFuncTy, loweredFuncTy->getExtInfo().withNoEscape(false),
|
|
loweredFuncTy->getWitnessMethodConformanceOrInvalid());
|
|
|
|
auto loweredFuncUnsubstTy =
|
|
loweredFuncTyWithoutNoEscape->getUnsubstitutedType(SGM.M);
|
|
|
|
CanType dynamicSelfType;
|
|
auto thunkTy = buildThunkType(loweredBlockTy, loweredFuncUnsubstTy,
|
|
inputSubstType, outputSubstType,
|
|
genericEnv, interfaceSubs, dynamicSelfType);
|
|
assert(!dynamicSelfType && "Not implemented");
|
|
|
|
auto thunk = SGM.getOrCreateReabstractionThunk(thunkTy,
|
|
loweredBlockTy,
|
|
loweredFuncUnsubstTy,
|
|
/*dynamicSelfType=*/CanType(),
|
|
/*global actor=*/CanType());
|
|
|
|
// Build it if necessary.
|
|
if (thunk->empty()) {
|
|
SILGenFunction thunkSGF(SGM, *thunk, FunctionDC);
|
|
thunk->setGenericEnvironment(genericEnv);
|
|
auto loc = RegularLocation::getAutoGeneratedLocation();
|
|
buildBlockToFuncThunkBody(thunkSGF, loc, blockType, funcType,
|
|
loweredBlockTy, loweredFuncUnsubstTy);
|
|
SGM.emitLazyConformancesForFunction(thunk);
|
|
}
|
|
|
|
CanSILFunctionType substFnTy = thunkTy;
|
|
|
|
if (thunkTy->getInvocationGenericSignature()) {
|
|
substFnTy = thunkTy->substGenericArgs(F.getModule(),
|
|
interfaceSubs,
|
|
getTypeExpansionContext());
|
|
}
|
|
|
|
// Create it in the current function.
|
|
auto thunkValue = B.createFunctionRefFor(loc, thunk);
|
|
ManagedValue thunkedFn = B.createPartialApply(
|
|
loc, thunkValue, interfaceSubs, block,
|
|
loweredFuncTy->getCalleeConvention());
|
|
|
|
if (loweredFuncUnsubstTy != loweredFuncTyWithoutNoEscape) {
|
|
thunkedFn = B.createConvertFunction(loc, thunkedFn,
|
|
SILType::getPrimitiveObjectType(loweredFuncTyWithoutNoEscape));
|
|
}
|
|
|
|
if (!loweredFuncTy->isNoEscape()) {
|
|
return thunkedFn;
|
|
}
|
|
|
|
// Handle the escaping to noescape conversion.
|
|
assert(loweredFuncTy->isNoEscape());
|
|
return B.createConvertEscapeToNoEscape(
|
|
loc, thunkedFn, SILType::getPrimitiveObjectType(loweredFuncTy));
|
|
}
|
|
|
|
static ManagedValue emitCBridgedToNativeValue(
|
|
SILGenFunction &SGF, SILLocation loc, ManagedValue v, CanType bridgedType,
|
|
SILType loweredBridgedTy, CanType nativeType, SILType loweredNativeTy,
|
|
int bridgedOptionalsToUnwrap, bool isCallResult, SGFContext C) {
|
|
assert(loweredNativeTy.isObject());
|
|
if (loweredNativeTy == loweredBridgedTy.getObjectType())
|
|
return v;
|
|
|
|
if (auto nativeObjectType = nativeType.getOptionalObjectType()) {
|
|
auto bridgedObjectType = bridgedType.getOptionalObjectType();
|
|
|
|
// Optional injection.
|
|
if (!bridgedObjectType) {
|
|
auto helper = [&](SILGenFunction &SGF, SILLocation loc, SGFContext C) {
|
|
auto loweredNativeObjectTy = loweredNativeTy.getOptionalObjectType();
|
|
return emitCBridgedToNativeValue(
|
|
SGF, loc, v, bridgedType, loweredBridgedTy, nativeObjectType,
|
|
loweredNativeObjectTy, bridgedOptionalsToUnwrap, isCallResult, C);
|
|
};
|
|
return SGF.emitOptionalSome(loc, loweredNativeTy, helper, C);
|
|
}
|
|
|
|
// Optional-to-optional.
|
|
auto helper = [=](SILGenFunction &SGF, SILLocation loc, ManagedValue v,
|
|
SILType loweredNativeObjectTy, SGFContext C) {
|
|
return emitCBridgedToNativeValue(
|
|
SGF, loc, v, bridgedObjectType,
|
|
loweredBridgedTy.getOptionalObjectType(), nativeObjectType,
|
|
loweredNativeObjectTy, bridgedOptionalsToUnwrap, isCallResult, C);
|
|
};
|
|
return SGF.emitOptionalToOptional(loc, v, loweredNativeTy, helper, C);
|
|
}
|
|
if (auto bridgedObjectType = bridgedType.getOptionalObjectType()) {
|
|
return emitCBridgedToNativeValue(
|
|
SGF, loc, v, bridgedObjectType,
|
|
loweredBridgedTy.getOptionalObjectType(), nativeType, loweredNativeTy,
|
|
bridgedOptionalsToUnwrap + 1, isCallResult, C);
|
|
}
|
|
|
|
auto unwrapBridgedOptionals = [&](ManagedValue v) {
|
|
for (int i = 0; i < bridgedOptionalsToUnwrap; ++i) {
|
|
v = SGF.emitPreconditionOptionalHasValue(loc, v,
|
|
/*implicit*/ true);
|
|
};
|
|
return v;
|
|
};
|
|
|
|
// Bridge ObjCBool, DarwinBoolean, WindowsBool to Bool when requested.
|
|
if (nativeType == SGF.SGM.Types.getBoolType()) {
|
|
if (bridgedType == SGF.SGM.Types.getObjCBoolType()) {
|
|
return emitBridgeForeignBoolToBool(SGF, loc, unwrapBridgedOptionals(v),
|
|
SGF.SGM.getObjCBoolToBoolFn());
|
|
}
|
|
if (bridgedType == SGF.SGM.Types.getDarwinBooleanType()) {
|
|
return emitBridgeForeignBoolToBool(SGF, loc, unwrapBridgedOptionals(v),
|
|
SGF.SGM.getDarwinBooleanToBoolFn());
|
|
}
|
|
if (bridgedType == SGF.SGM.Types.getWindowsBoolType()) {
|
|
return emitBridgeForeignBoolToBool(SGF, loc, unwrapBridgedOptionals(v),
|
|
SGF.SGM.getWindowsBoolToBoolFn());
|
|
}
|
|
}
|
|
|
|
// Bridge Objective-C to thick metatypes.
|
|
if (isa<AnyMetatypeType>(nativeType)) {
|
|
auto bridgedMetaTy = cast<AnyMetatypeType>(bridgedType);
|
|
if (bridgedMetaTy->hasRepresentation() &&
|
|
bridgedMetaTy->getRepresentation() == MetatypeRepresentation::ObjC) {
|
|
SILValue native = SGF.B.emitObjCToThickMetatype(
|
|
loc, unwrapBridgedOptionals(v).getValue(), loweredNativeTy);
|
|
// *NOTE*: ObjCMetatypes are trivial types. They only gain ARC semantics
|
|
// when they are converted to an object via objc_metatype_to_object.
|
|
assert(!v.hasCleanup() && "Metatypes are trivial and should not have "
|
|
"cleanups");
|
|
return ManagedValue::forUnmanagedOwnedValue(native);
|
|
}
|
|
}
|
|
|
|
// Bridge blocks back into native function types.
|
|
if (auto nativeFTy = dyn_cast<AnyFunctionType>(nativeType)) {
|
|
auto bridgedFTy = cast<AnyFunctionType>(bridgedType);
|
|
if (bridgedFTy->getRepresentation()
|
|
== AnyFunctionType::Representation::Block
|
|
&& nativeFTy->getRepresentation()
|
|
!= AnyFunctionType::Representation::Block) {
|
|
return SGF.emitBlockToFunc(loc, unwrapBridgedOptionals(v), bridgedFTy,
|
|
nativeFTy,
|
|
loweredNativeTy.castTo<SILFunctionType>());
|
|
}
|
|
}
|
|
|
|
// Bridge via _ObjectiveCBridgeable.
|
|
if (auto conformance =
|
|
SGF.SGM.getConformanceToObjectiveCBridgeable(loc, nativeType)) {
|
|
if (auto result = emitBridgeObjectiveCToNative(SGF, loc, v, bridgedType,
|
|
conformance)) {
|
|
--bridgedOptionalsToUnwrap;
|
|
return unwrapBridgedOptionals(*result);
|
|
}
|
|
|
|
assert(SGF.SGM.getASTContext().Diags.hadAnyError() &&
|
|
"Bridging code should have complained");
|
|
return SGF.emitUndef(nativeType);
|
|
}
|
|
|
|
// id-to-Any bridging.
|
|
if (nativeType->isMarkerExistential()) {
|
|
// If this is not a call result, use the normal erasure logic.
|
|
if (!isCallResult) {
|
|
return SGF.emitTransformedValue(loc, unwrapBridgedOptionals(v),
|
|
bridgedType, nativeType, C);
|
|
}
|
|
|
|
// Otherwise, we use more complicated logic that handles results that
|
|
// were unexpectedly null.
|
|
|
|
assert(bridgedType.isAnyClassReferenceType());
|
|
|
|
// Convert to AnyObject if necessary.
|
|
CanType anyObjectTy =
|
|
SGF.getASTContext().getAnyObjectType()->getCanonicalType();
|
|
if (bridgedType != anyObjectTy) {
|
|
v = SGF.emitTransformedValue(loc, unwrapBridgedOptionals(v), bridgedType,
|
|
anyObjectTy);
|
|
}
|
|
|
|
// TODO: Ever need to handle +0 values here?
|
|
assert(v.hasCleanup());
|
|
|
|
// Use a runtime call to bridge the AnyObject to Any. We do this instead of
|
|
// a simple AnyObject-to-Any upcast because the ObjC API may have returned
|
|
// a null object in spite of its annotation.
|
|
|
|
// Bitcast to Optional. This provides a barrier to the optimizer to prevent
|
|
// it from attempting to eliminate null checks.
|
|
auto optionalBridgedTy = SILType::getOptionalType(loweredBridgedTy);
|
|
auto optionalMV = SGF.B.createUncheckedBitCast(
|
|
loc, unwrapBridgedOptionals(v), optionalBridgedTy);
|
|
v = SGF.emitApplyOfLibraryIntrinsic(loc,
|
|
SGF.getASTContext().getBridgeAnyObjectToAny(),
|
|
SubstitutionMap(), optionalMV, C)
|
|
.getAsSingleValue(SGF, loc);
|
|
|
|
// Convert to the marker existential if necessary.
|
|
if (!v.isInContext()) {
|
|
auto anyType = SGF.getASTContext().getAnyExistentialType();
|
|
v = SGF.emitTransformedValue(loc, v, anyType, nativeType);
|
|
}
|
|
|
|
return v;
|
|
}
|
|
|
|
// Bridge NSError to Error.
|
|
if (bridgedType == SGF.SGM.Types.getNSErrorType())
|
|
return SGF.emitBridgedToNativeError(loc, unwrapBridgedOptionals(v));
|
|
|
|
return unwrapBridgedOptionals(v);
|
|
}
|
|
|
|
ManagedValue SILGenFunction::emitBridgedToNativeValue(SILLocation loc,
|
|
ManagedValue v,
|
|
CanType bridgedType,
|
|
CanType nativeType,
|
|
SILType loweredNativeTy,
|
|
SGFContext C,
|
|
bool isCallResult) {
|
|
loweredNativeTy = loweredNativeTy.getObjectType();
|
|
SILType loweredBridgedTy = v.getType();
|
|
return emitCBridgedToNativeValue(
|
|
*this, loc, v, bridgedType, loweredBridgedTy, nativeType, loweredNativeTy,
|
|
/*bridgedOptionalsToUnwrap=*/0, isCallResult, C);
|
|
}
|
|
|
|
/// Bridge a possibly-optional foreign error type to Error.
|
|
ManagedValue SILGenFunction::emitBridgedToNativeError(SILLocation loc,
|
|
ManagedValue bridgedError) {
|
|
// If the incoming error is non-optional, just do an existential erasure.
|
|
auto bridgedErrorTy = bridgedError.getType().getASTType();
|
|
if (!bridgedErrorTy.getOptionalObjectType()) {
|
|
auto nativeErrorTy = SILType::getExceptionType(getASTContext());
|
|
|
|
auto conformance = SGM.getNSErrorConformanceToError();
|
|
if (!conformance)
|
|
return emitUndef(nativeErrorTy);
|
|
ProtocolConformanceRef conformanceArray[] = {
|
|
ProtocolConformanceRef(conformance)
|
|
};
|
|
auto conformances = getASTContext().AllocateCopy(conformanceArray);
|
|
|
|
return B.createInitExistentialRef(loc, nativeErrorTy, bridgedErrorTy,
|
|
bridgedError, conformances);
|
|
}
|
|
|
|
// Otherwise, we need to call a runtime function to potential substitute
|
|
// a standard error for a nil NSError.
|
|
auto bridgeFn = emitGlobalFunctionRef(loc, SGM.getNSErrorToErrorFn());
|
|
auto bridgeFnType = bridgeFn->getType().castTo<SILFunctionType>();
|
|
assert(bridgeFnType->getNumResults() == 1);
|
|
assert(bridgeFnType->getResults()[0].getConvention()
|
|
== ResultConvention::Owned);
|
|
|
|
assert(bridgeFnType->getParameters()[0].getConvention()
|
|
== ParameterConvention::Direct_Guaranteed);
|
|
(void) bridgeFnType;
|
|
|
|
SILValue arg = bridgedError.getValue();
|
|
|
|
SILValue nativeError = B.createApply(loc, bridgeFn, {}, arg);
|
|
return emitManagedRValueWithCleanup(nativeError);
|
|
}
|
|
|
|
/// Bridge Error to a foreign error type.
|
|
ManagedValue SILGenFunction::emitNativeToBridgedError(SILLocation loc,
|
|
ManagedValue nativeError,
|
|
CanType nativeType,
|
|
CanType bridgedErrorType){
|
|
// Handle injections into optional.
|
|
if (auto bridgedObjectType = bridgedErrorType.getOptionalObjectType()) {
|
|
auto loweredBridgedOptionalTy =
|
|
SILType::getPrimitiveObjectType(bridgedErrorType);
|
|
return emitOptionalSome(
|
|
loc, loweredBridgedOptionalTy,
|
|
[&](SILGenFunction &SGF, SILLocation loc, SGFContext C) {
|
|
SILType loweredBridgedObjectTy =
|
|
loweredBridgedOptionalTy.getOptionalObjectType();
|
|
return emitNativeToBridgedValue(loc, nativeError, nativeType,
|
|
bridgedObjectType,
|
|
loweredBridgedObjectTy);
|
|
});
|
|
}
|
|
|
|
assert(bridgedErrorType == SGM.Types.getNSErrorType() &&
|
|
"only handling NSError for now");
|
|
|
|
// The native error might just be a value of a type that conforms to
|
|
// Error. This should be a subtyping or erasure conversion of the sort
|
|
// that we can do automatically.
|
|
// FIXME: maybe we should use a different entrypoint for this case, to
|
|
// avoid the code size and performance overhead of forming the box?
|
|
nativeError = emitUnabstractedCast(*this, loc, nativeError, nativeType,
|
|
getASTContext().getErrorExistentialType());
|
|
|
|
auto bridgeFn = emitGlobalFunctionRef(loc, SGM.getErrorToNSErrorFn());
|
|
auto bridgeFnType = bridgeFn->getType().castTo<SILFunctionType>();
|
|
assert(bridgeFnType->getNumResults() == 1);
|
|
assert(bridgeFnType->getResults()[0].getConvention()
|
|
== ResultConvention::Owned);
|
|
assert(bridgeFnType->getParameters()[0].getConvention()
|
|
== ParameterConvention::Direct_Guaranteed);
|
|
(void) bridgeFnType;
|
|
|
|
SILValue arg = nativeError.getValue();
|
|
|
|
SILValue bridgedError = B.createApply(loc, bridgeFn, {}, arg);
|
|
return emitManagedRValueWithCleanup(bridgedError);
|
|
}
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
// ObjC method thunks
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
static SILValue emitBridgeReturnValue(SILGenFunction &SGF,
|
|
SILLocation loc,
|
|
SILValue result,
|
|
CanType formalNativeTy,
|
|
CanType formalBridgedTy,
|
|
SILType loweredBridgedTy) {
|
|
Scope scope(SGF.Cleanups, CleanupLocation(loc));
|
|
|
|
ManagedValue native = SGF.emitManagedRValueWithCleanup(result);
|
|
ManagedValue bridged =
|
|
SGF.emitNativeToBridgedValue(loc, native, formalNativeTy, formalBridgedTy,
|
|
loweredBridgedTy);
|
|
return bridged.forward(SGF);
|
|
}
|
|
|
|
/// Take an argument at +0 and bring it to +1.
|
|
static SILValue emitObjCUnconsumedArgument(SILGenFunction &SGF,
|
|
SILLocation loc,
|
|
SILValue arg) {
|
|
auto &lowering = SGF.getTypeLowering(arg->getType());
|
|
// If arg is non-trivial and has an address type, make a +1 copy and operate
|
|
// on that.
|
|
if (!lowering.isTrivial() && arg->getType().isAddress() &&
|
|
SGF.useLoweredAddresses()) {
|
|
auto tmp = SGF.emitTemporaryAllocation(loc, arg->getType().getObjectType());
|
|
SGF.B.createCopyAddr(loc, arg, tmp, IsNotTake, IsInitialization);
|
|
return tmp;
|
|
}
|
|
|
|
return lowering.emitCopyValue(SGF.B, loc, arg);
|
|
}
|
|
|
|
static CanAnyFunctionType substGenericArgs(CanAnyFunctionType fnType,
|
|
SubstitutionMap subs) {
|
|
if (auto genericFnType = dyn_cast<GenericFunctionType>(fnType)) {
|
|
return cast<FunctionType>(genericFnType->substGenericArgs(subs)
|
|
->getCanonicalType());
|
|
}
|
|
return fnType;
|
|
}
|
|
|
|
/// Bridge argument types and adjust retain count conventions for an ObjC thunk.
|
|
static SILFunctionType *
|
|
emitObjCThunkArguments(SILGenFunction &SGF, SILLocation loc, SILDeclRef thunk,
|
|
SmallVectorImpl<SILValue> &args,
|
|
SILValue &foreignErrorSlot, SILValue &foreignAsyncSlot,
|
|
std::optional<ForeignErrorConvention> foreignError,
|
|
std::optional<ForeignAsyncConvention> foreignAsync,
|
|
CanType &nativeFormalResultTy,
|
|
CanType &bridgedFormalResultTy) {
|
|
SILDeclRef native = thunk.asForeign(false);
|
|
|
|
auto subs = SGF.F.getForwardingSubstitutionMap();
|
|
|
|
auto objcInfo =
|
|
SGF.SGM.Types.getConstantInfo(SGF.getTypeExpansionContext(), thunk);
|
|
auto objcFnTy = objcInfo.SILFnType->substGenericArgs(
|
|
SGF.SGM.M, subs, SGF.getTypeExpansionContext());
|
|
auto objcFormalFnTy = substGenericArgs(objcInfo.LoweredType, subs);
|
|
|
|
auto swiftInfo =
|
|
SGF.SGM.Types.getConstantInfo(SGF.getTypeExpansionContext(), native);
|
|
auto swiftFnTy = swiftInfo.SILFnType->substGenericArgs(
|
|
SGF.SGM.M, subs, SGF.getTypeExpansionContext());
|
|
auto swiftFormalFnTy = substGenericArgs(swiftInfo.LoweredType, subs);
|
|
SILFunctionConventions swiftConv(swiftFnTy, SGF.SGM.M);
|
|
|
|
SmallVector<ManagedValue, 8> bridgedArgs;
|
|
bridgedArgs.reserve(objcFnTy->getParameters().size());
|
|
|
|
auto bridgedFormalTypes = getParameterTypes(objcFormalFnTy.getParams());
|
|
bridgedFormalResultTy = objcFormalFnTy.getResult();
|
|
|
|
auto nativeFormalTypes = getParameterTypes(swiftFormalFnTy.getParams());
|
|
nativeFormalResultTy = swiftFormalFnTy.getResult();
|
|
|
|
// Emit the other arguments, taking ownership of arguments if necessary.
|
|
auto inputs = objcFnTy->getParameters();
|
|
auto nativeInputs = swiftFnTy->getParameters();
|
|
auto fnConv = SGF.silConv.getFunctionConventions(swiftFnTy);
|
|
bool nativeInputsHasImplicitIsolatedParam = false;
|
|
if (auto param = swiftFnTy->maybeGetIsolatedParameter())
|
|
nativeInputsHasImplicitIsolatedParam = param->hasOption(SILParameterInfo::ImplicitLeading);
|
|
assert(nativeInputs.size() - unsigned(nativeInputsHasImplicitIsolatedParam) == bridgedFormalTypes.size());
|
|
assert(nativeInputs.size() - unsigned(nativeInputsHasImplicitIsolatedParam) == nativeFormalTypes.size());
|
|
assert(inputs.size() ==
|
|
nativeInputs.size() + unsigned(foreignError.has_value())
|
|
+ unsigned(foreignAsync.has_value()) -
|
|
unsigned(nativeInputsHasImplicitIsolatedParam));
|
|
|
|
for (unsigned i = 0, e = inputs.size(); i < e; ++i) {
|
|
SILType argTy = SGF.getSILType(inputs[i], objcFnTy);
|
|
SILValue arg = SGF.F.begin()->createFunctionArgument(argTy);
|
|
|
|
// If this parameter is the foreign error or completion slot, pull it out.
|
|
// It does not correspond to a native argument.
|
|
if (foreignError && i == foreignError->getErrorParameterIndex()) {
|
|
foreignErrorSlot = arg;
|
|
continue;
|
|
}
|
|
|
|
if (foreignAsync && i == foreignAsync->completionHandlerParamIndex()) {
|
|
// Copy the block.
|
|
foreignAsyncSlot = SGF.B.createCopyBlock(loc, arg);
|
|
// If the argument is consumed, we're still responsible for releasing the
|
|
// original.
|
|
if (inputs[i].isConsumedInCallee())
|
|
SGF.emitManagedRValueWithCleanup(arg);
|
|
continue;
|
|
}
|
|
|
|
// If the argument is a block, copy it.
|
|
if (argTy.isBlockPointerCompatible()) {
|
|
auto copy = SGF.B.createCopyBlock(loc, arg);
|
|
// If the argument is consumed, we're still responsible for releasing the
|
|
// original.
|
|
if (inputs[i].isConsumedInCallee())
|
|
SGF.emitManagedRValueWithCleanup(arg);
|
|
arg = copy;
|
|
}
|
|
// Convert the argument to +1 if necessary.
|
|
else if (!inputs[i].isConsumedInCallee()) {
|
|
arg = emitObjCUnconsumedArgument(SGF, loc, arg);
|
|
}
|
|
|
|
auto managedArg = SGF.emitManagedRValueWithCleanup(arg);
|
|
|
|
bridgedArgs.push_back(managedArg);
|
|
}
|
|
|
|
assert(bridgedArgs.size()
|
|
+ unsigned(foreignError.has_value())
|
|
+ unsigned(foreignAsync.has_value())
|
|
== objcFnTy->getParameters().size() &&
|
|
"objc inputs don't match number of arguments?!");
|
|
assert(bridgedArgs.size() == swiftFnTy->getParameters().size() - bool(nativeInputsHasImplicitIsolatedParam) &&
|
|
"swift inputs don't match number of arguments?!");
|
|
assert((foreignErrorSlot || !foreignError) &&
|
|
"didn't find foreign error slot");
|
|
|
|
// Bridge the input types.
|
|
assert(bridgedArgs.size() == nativeInputs.size() - bool(nativeInputsHasImplicitIsolatedParam));
|
|
for (unsigned i = 0, size = bridgedArgs.size(); i < size; ++i) {
|
|
// Consider the bridged values to be "call results" since they're coming
|
|
// from potentially nil-unsound ObjC callers.
|
|
ManagedValue native = SGF.emitBridgedToNativeValue(
|
|
loc, bridgedArgs[i], bridgedFormalTypes[i], nativeFormalTypes[i],
|
|
swiftFnTy->getParameters()[i].getSILStorageType(
|
|
SGF.SGM.M, swiftFnTy, SGF.getTypeExpansionContext()),
|
|
SGFContext(),
|
|
/*isCallResult*/ true);
|
|
SILValue argValue;
|
|
|
|
// This can happen if the value is resilient in the calling convention
|
|
// but not resilient locally.
|
|
if (fnConv.isSILIndirect(nativeInputs[i]) &&
|
|
!native.getType().isAddress()) {
|
|
auto buf = SGF.emitTemporaryAllocation(loc, native.getType());
|
|
native.forwardInto(SGF, loc, buf);
|
|
native = SGF.emitManagedBufferWithCleanup(buf);
|
|
} else if (!fnConv.isSILIndirect(nativeInputs[i]) &&
|
|
native.getType().isAddress() && SGF.useLoweredAddresses()) {
|
|
// Load the value if the argument has an address type and the native
|
|
// function expects the argument to be passed directly.
|
|
native = SGF.emitManagedLoadCopy(loc, native.getValue());
|
|
}
|
|
|
|
if (nativeInputs[i].isConsumedInCaller()) {
|
|
argValue = native.forward(SGF);
|
|
} else if (nativeInputs[i].isGuaranteedInCaller()) {
|
|
argValue = native.borrow(SGF, loc).getUnmanagedValue();
|
|
} else {
|
|
argValue = native.getValue();
|
|
}
|
|
|
|
args.push_back(argValue);
|
|
}
|
|
|
|
return objcFnTy;
|
|
}
|
|
|
|
SILFunction *SILGenFunction::emitNativeAsyncToForeignThunk(SILDeclRef thunk) {
|
|
assert(thunk.isForeign);
|
|
assert(thunk.hasAsync());
|
|
SILDeclRef native = thunk.asForeign(false);
|
|
|
|
// Use the same generic environment as the native entry point.
|
|
F.setGenericEnvironment(SGM.Types.getConstantGenericEnvironment(native));
|
|
|
|
// Collect the arguments and make copies of them we can absorb into the
|
|
// closure.
|
|
auto subs = F.getForwardingSubstitutionMap();
|
|
SmallVector<SILValue, 4> closureArgs;
|
|
auto objcInfo =
|
|
SGM.Types.getConstantInfo(getTypeExpansionContext(), thunk);
|
|
auto objcFnTy = objcInfo.SILFnType->substGenericArgs(
|
|
SGM.M, subs, getTypeExpansionContext());
|
|
auto loc = thunk.getAsRegularLocation();
|
|
loc.markAutoGenerated();
|
|
|
|
Scope scope(*this, loc);
|
|
|
|
for (auto input : objcFnTy->getParameters()) {
|
|
SILType argTy = getSILType(input, objcFnTy);
|
|
SILValue arg = F.begin()->createFunctionArgument(argTy);
|
|
// Copy block arguments.
|
|
if (argTy.isBlockPointerCompatible()) {
|
|
auto argCopy = B.createCopyBlock(loc, arg);
|
|
// If the argument is consumed, we're still responsible for releasing the
|
|
// original.
|
|
if (input.isConsumedInCallee())
|
|
emitManagedRValueWithCleanup(arg);
|
|
arg = argCopy;
|
|
} else if (!input.isConsumedInCallee()) {
|
|
arg = emitObjCUnconsumedArgument(*this, loc, arg);
|
|
}
|
|
auto managedArg = emitManagedRValueWithCleanup(arg);
|
|
closureArgs.push_back(managedArg.forward(*this));
|
|
}
|
|
|
|
// Create the closure implementation function. It has the same signature,
|
|
// but is swiftcc and async.
|
|
auto closureExtInfo = objcFnTy->getExtInfo().intoBuilder()
|
|
.withRepresentation(SILFunctionTypeRepresentation::Thin)
|
|
.withAsync()
|
|
.withSendable()
|
|
.build();
|
|
auto closureTy = objcInfo.SILFnType->getWithExtInfo(closureExtInfo);
|
|
|
|
SmallString<64> closureName(F.getName().begin(), F.getName().end());
|
|
// Trim off the thunk suffix and mangle this like a closure nested inside the
|
|
// thunk (which it sorta is)
|
|
char thunkSuffix[2] = {closureName.pop_back_val(),
|
|
closureName.pop_back_val()};
|
|
assert(thunkSuffix[1] == 'T'
|
|
&& thunkSuffix[0] == 'o'
|
|
&& "not an objc thunk?");
|
|
closureName += "yyYacfU_"; // closure with type () async -> ()
|
|
closureName.push_back(thunkSuffix[1]);
|
|
closureName.push_back(thunkSuffix[0]);
|
|
|
|
SILGenFunctionBuilder fb(SGM);
|
|
auto closure = fb.getOrCreateSharedFunction(
|
|
loc, closureName, closureTy, IsBare, IsNotTransparent,
|
|
F.getSerializedKind(), ProfileCounter(), IsThunk, IsNotDynamic,
|
|
IsNotDistributed, IsNotRuntimeAccessible);
|
|
|
|
auto closureRef = B.createFunctionRef(loc, closure);
|
|
|
|
auto closureVal = B.createPartialApply(loc, closureRef, subs,
|
|
closureArgs,
|
|
ParameterConvention::Direct_Guaranteed);
|
|
auto closureMV = emitManagedRValueWithCleanup(closureVal);
|
|
// Pass the closure on to the intrinsic to spawn it on a task.
|
|
auto spawnTask = SGM.getRunTaskForBridgedAsyncMethod();
|
|
emitApplyOfLibraryIntrinsic(loc, spawnTask, {}, closureMV, SGFContext());
|
|
|
|
scope.pop();
|
|
|
|
// Return void to the immediate caller.
|
|
B.createReturn(loc, SILUndef::get(&F, SGM.Types.getEmptyTupleType()));
|
|
|
|
return closure;
|
|
}
|
|
|
|
void SILGenFunction::emitNativeToForeignThunk(SILDeclRef thunk) {
|
|
assert(thunk.isForeign);
|
|
SILDeclRef native = thunk.asForeign(false);
|
|
|
|
if (thunk.hasDecl()) {
|
|
if (thunk.getDecl()->requiresUnavailableDeclABICompatibilityStubs())
|
|
emitApplyOfUnavailableCodeReached();
|
|
}
|
|
|
|
// If we're calling a native non-designated class initializer, we have to
|
|
// discard the `self` object we were given, since
|
|
// Swift convenience initializers only have allocating entry points that
|
|
// create whole new objects.
|
|
bool isInitializingToAllocatingInitThunk = false;
|
|
if (native.kind == SILDeclRef::Kind::Initializer) {
|
|
if (auto ctor = dyn_cast<ConstructorDecl>(native.getDecl())) {
|
|
if (!ctor->isDesignatedInit() && !ctor->isObjC()) {
|
|
isInitializingToAllocatingInitThunk = true;
|
|
native = SILDeclRef(ctor, SILDeclRef::Kind::Allocator);
|
|
}
|
|
}
|
|
}
|
|
|
|
// Use the same generic environment as the native entry point.
|
|
// We need to set this before we can call things like
|
|
// F.getForwardingSubstitutionMap().
|
|
F.setGenericEnvironment(SGM.Types.getConstantGenericEnvironment(native));
|
|
|
|
auto nativeInfo = getConstantInfo(getTypeExpansionContext(), native);
|
|
auto subs = F.getForwardingSubstitutionMap();
|
|
auto substTy = nativeInfo.SILFnType->substGenericArgs(
|
|
SGM.M, subs, getTypeExpansionContext());
|
|
SILFunctionConventions substConv(substTy, SGM.M);
|
|
|
|
auto loc = thunk.getAsRegularLocation();
|
|
loc.markAutoGenerated();
|
|
Scope scope(Cleanups, CleanupLocation(loc));
|
|
|
|
std::optional<ActorIsolation> isolation;
|
|
if (F.isAsync()) {
|
|
if (thunk.hasDecl())
|
|
isolation = getActorIsolation(thunk.getDecl());
|
|
} else if (getASTContext()
|
|
.LangOpts.isDynamicActorIsolationCheckingEnabled()) {
|
|
if (thunk.hasDecl()) {
|
|
isolation = getActorIsolation(thunk.getDecl());
|
|
} else if (auto globalActor = nativeInfo.FormalType->getGlobalActor()) {
|
|
isolation = ActorIsolation::forGlobalActor(globalActor);
|
|
}
|
|
}
|
|
|
|
// A hop/check is only needed in the thunk if it is global-actor isolated.
|
|
// Native, instance-isolated async methods will hop in the prologue.
|
|
if (isolation && isolation->isGlobalActor()) {
|
|
if (F.isAsync()) {
|
|
// Hop to the actor for the method's actor constraint.
|
|
// Note that, since an async native-to-foreign thunk only ever runs in a
|
|
// task purpose-built for running the Swift async code triggering the
|
|
// completion handler, there is no need for us to hop back to the existing
|
|
// executor, since the task will end after we invoke the completion handler.
|
|
emitPrologGlobalActorHop(loc, isolation->getGlobalActor());
|
|
} else {
|
|
emitPreconditionCheckExpectedExecutor(loc, *isolation, std::nullopt);
|
|
}
|
|
}
|
|
|
|
std::optional<ForeignErrorConvention> foreignError;
|
|
std::optional<ForeignAsyncConvention> foreignAsync;
|
|
|
|
// Find the foreign error and async conventions if we have one.
|
|
if (thunk.hasDecl()) {
|
|
if (auto func = dyn_cast<AbstractFunctionDecl>(thunk.getDecl())) {
|
|
foreignError = func->getForeignErrorConvention();
|
|
foreignAsync = func->getForeignAsyncConvention();
|
|
}
|
|
}
|
|
|
|
// If we are bridging a Swift method with Any return value(s), create a
|
|
// stack allocation to hold the result(s), since Any is address-only.
|
|
SmallVector<SILValue, 4> args;
|
|
SILFunctionConventions funcConv = F.getConventions();
|
|
bool needsBridging = true;
|
|
if (substConv.hasIndirectSILResults()) {
|
|
for (auto result : substConv.getResults()) {
|
|
if (!substConv.isSILIndirect(result)) {
|
|
continue;
|
|
}
|
|
|
|
if (!foreignAsync && funcConv.hasIndirectSILResults()) {
|
|
auto resultTy =
|
|
funcConv.getSingleSILResultType(getTypeExpansionContext());
|
|
assert(substConv.getSingleSILResultType(getTypeExpansionContext()) ==
|
|
resultTy);
|
|
args.push_back(F.begin()->createFunctionArgument(resultTy));
|
|
needsBridging = false;
|
|
break;
|
|
}
|
|
|
|
args.push_back(emitTemporaryAllocation(
|
|
loc, substConv.getSILType(result, getTypeExpansionContext())));
|
|
}
|
|
}
|
|
|
|
// Now, enter a cleanup used for bridging the arguments. Note that if we
|
|
// have an indirect result, it must be outside of this scope, otherwise
|
|
// we will deallocate it too early.
|
|
Scope argScope(Cleanups, CleanupLocation(loc));
|
|
|
|
// See if our native function has an implicitly isolated parameter. In such a
|
|
// case, we need to pass in the isolation.
|
|
if (auto isolatedParameter = substTy->maybeGetIsolatedParameter();
|
|
isolatedParameter && isolatedParameter->hasOption(SILParameterInfo::ImplicitLeading)) {
|
|
assert(F.isAsync() && "Can only be async");
|
|
assert(isolation && "No isolation?!");
|
|
auto value = [&]() -> SILValue {
|
|
switch (isolation->getKind()) {
|
|
case ActorIsolation::Unspecified:
|
|
case ActorIsolation::Nonisolated:
|
|
case ActorIsolation::NonisolatedUnsafe:
|
|
case ActorIsolation::CallerIsolationInheriting:
|
|
return emitNonIsolatedIsolation(loc).getValue();
|
|
case ActorIsolation::ActorInstance:
|
|
llvm::report_fatal_error("Should never see this");
|
|
case ActorIsolation::GlobalActor:
|
|
return emitLoadGlobalActorExecutor(isolation->getGlobalActor());
|
|
case ActorIsolation::Erased:
|
|
llvm::report_fatal_error("Should never see this");
|
|
}
|
|
}();
|
|
args.push_back(B.convertToImplicitActor(loc, value));
|
|
}
|
|
|
|
// Bridge the arguments.
|
|
SILValue foreignErrorSlot;
|
|
SILValue foreignAsyncSlot;
|
|
CanType nativeFormalResultType, bridgedFormalResultType;
|
|
auto objcFnTy = emitObjCThunkArguments(*this, loc, thunk, args,
|
|
foreignErrorSlot, foreignAsyncSlot,
|
|
foreignError, foreignAsync,
|
|
nativeFormalResultType,
|
|
bridgedFormalResultType);
|
|
|
|
// Throw away the partially-initialized `self` value we were given if we're
|
|
// bridging from an initializing to allocating entry point.
|
|
if (isInitializingToAllocatingInitThunk) {
|
|
auto oldSelf = args.pop_back_val();
|
|
auto oldSelfTy = B.createValueMetatype(loc,
|
|
SILType::getPrimitiveObjectType(
|
|
CanMetatypeType::get(oldSelf->getType().getASTType(),
|
|
MetatypeRepresentation::Thick)),
|
|
oldSelf);
|
|
|
|
B.createDeallocPartialRef(loc, oldSelf, oldSelfTy);
|
|
|
|
// Pass the dynamic type on to the native allocating initializer.
|
|
args.push_back(oldSelfTy);
|
|
native = SILDeclRef(native.getDecl(), SILDeclRef::Kind::Allocator);
|
|
}
|
|
|
|
SILFunctionConventions objcConv(CanSILFunctionType(objcFnTy), SGM.M);
|
|
SILFunctionConventions nativeConv(CanSILFunctionType(nativeInfo.SILFnType),
|
|
SGM.M);
|
|
auto swiftResultTy = F.mapTypeIntoContext(
|
|
nativeConv.getSILResultType(getTypeExpansionContext()));
|
|
auto objcResultTy = objcConv.getSILResultType(getTypeExpansionContext());
|
|
|
|
// Call the native entry point.
|
|
SILValue nativeFn = emitGlobalFunctionRef(loc, native, nativeInfo);
|
|
|
|
SILValue result;
|
|
|
|
CanSILFunctionType completionTy;
|
|
bool completionIsOptional = false;
|
|
if (foreignAsyncSlot) {
|
|
completionTy = foreignAsyncSlot->getType().getAs<SILFunctionType>();
|
|
if (!completionTy) {
|
|
completionTy = foreignAsyncSlot->getType().getOptionalObjectType()
|
|
.castTo<SILFunctionType>();
|
|
completionIsOptional = true;
|
|
}
|
|
}
|
|
|
|
// Helper function to take ownership of the completion handler from the
|
|
// foreign async slot, and unwrap it if it's in an optional.
|
|
auto consumeAndUnwrapCompletionBlock = [&](SILValue &completionBlock,
|
|
SILBasicBlock *&doneBBOrNull) {
|
|
auto completionBlockMV = emitManagedRValueWithCleanup(foreignAsyncSlot);
|
|
|
|
// If the completion handler argument is nullable, and the caller gave us
|
|
// no completion handler, discard the result.
|
|
completionBlock = completionBlockMV.borrow(*this, loc).getValue();
|
|
doneBBOrNull = nullptr;
|
|
if (completionIsOptional) {
|
|
doneBBOrNull = createBasicBlock();
|
|
auto hasCompletionBB = createBasicBlock();
|
|
auto noCompletionBB = createBasicBlock();
|
|
|
|
std::pair<EnumElementDecl *, SILBasicBlock *> dests[] = {
|
|
{getASTContext().getOptionalSomeDecl(), hasCompletionBB},
|
|
{getASTContext().getOptionalNoneDecl(), noCompletionBB},
|
|
};
|
|
|
|
auto *switchEnum =
|
|
B.createSwitchEnum(loc, completionBlock, nullptr, dests);
|
|
|
|
B.emitBlock(noCompletionBB);
|
|
B.createBranch(loc, doneBBOrNull);
|
|
|
|
B.emitBlock(hasCompletionBB);
|
|
completionBlock = switchEnum->createOptionalSomeResult();
|
|
}
|
|
};
|
|
|
|
auto pushErrorFlag = [&](bool hasError,
|
|
SmallVectorImpl<SILValue> &completionHandlerArgs) {
|
|
bool errorFlagIsZeroOnError = foreignAsync->completionHandlerFlagIsErrorOnZero();
|
|
auto errorFlagIndex = foreignAsync->completionHandlerFlagParamIndex();
|
|
auto errorFlagTy = completionTy->getParameters()[*errorFlagIndex]
|
|
.getSILStorageInterfaceType();
|
|
|
|
auto errorFlag = emitWrapIntegerLiteral(loc, errorFlagTy,
|
|
hasError ^ errorFlagIsZeroOnError);
|
|
|
|
completionHandlerArgs.push_back(errorFlag);
|
|
};
|
|
|
|
// Helper function to pass a native async function's result as arguments to
|
|
// the ObjC completion handler block.
|
|
auto passResultToCompletionHandler = [&](SILValue result) -> SILValue {
|
|
Scope completionArgScope(*this, loc);
|
|
|
|
SmallVector<SILValue, 2> completionHandlerArgs;
|
|
|
|
auto asyncResult = emitManagedRValueWithCleanup(result);
|
|
|
|
SILValue completionBlock;
|
|
SILBasicBlock *doneBB;
|
|
consumeAndUnwrapCompletionBlock(completionBlock, doneBB);
|
|
|
|
auto pushArg = [&](ManagedValue arg,
|
|
CanType nativeFormalTy,
|
|
SILParameterInfo param) {
|
|
auto bridgedTy = param.getInterfaceType();
|
|
auto bridgedArg = emitNativeToBridgedValue(loc,
|
|
arg.borrow(*this, loc), nativeFormalTy,
|
|
bridgedTy,
|
|
SILType::getPrimitiveObjectType(bridgedTy));
|
|
completionHandlerArgs.push_back(bridgedArg.getValue());
|
|
};
|
|
|
|
Scope completionArgDestructureScope(*this, loc);
|
|
|
|
auto errorParamIndex = foreignAsync->completionHandlerErrorParamIndex();
|
|
auto errorFlagIndex = foreignAsync->completionHandlerFlagParamIndex();
|
|
auto pushErrorPlaceholder = [&]{
|
|
auto errorArgTy = completionTy->getParameters()[*errorParamIndex]
|
|
.getSILStorageInterfaceType();
|
|
|
|
// Error type must be optional. We pass nil for a successful return
|
|
auto none = B.createOptionalNone(loc, errorArgTy);
|
|
completionHandlerArgs.push_back(none);
|
|
};
|
|
|
|
unsigned numResults
|
|
= completionTy->getParameters().size() - errorParamIndex.has_value()
|
|
- errorFlagIndex.has_value();
|
|
|
|
if (numResults == 1) {
|
|
for (unsigned i = 0; i < completionTy->getNumParameters(); ++i) {
|
|
if (errorParamIndex && *errorParamIndex == i) {
|
|
pushErrorPlaceholder();
|
|
continue;
|
|
}
|
|
if (errorFlagIndex && *errorFlagIndex == i) {
|
|
pushErrorFlag(/*has error*/ false, completionHandlerArgs);
|
|
continue;
|
|
}
|
|
|
|
// Use the indirect return argument if the result is indirect.
|
|
if (substConv.hasIndirectSILResults()) {
|
|
pushArg(emitManagedRValueWithCleanup(args[0]),
|
|
nativeFormalResultType,
|
|
completionTy->getParameters()[i]);
|
|
} else {
|
|
pushArg(asyncResult,
|
|
nativeFormalResultType,
|
|
completionTy->getParameters()[i]);
|
|
}
|
|
}
|
|
} else {
|
|
// A tuple return maps to multiple completion handler parameters.
|
|
auto formalTuple = cast<TupleType>(nativeFormalResultType);
|
|
|
|
unsigned indirectResultI = 0;
|
|
unsigned directResultI = 0;
|
|
|
|
auto directResults = substConv.getDirectSILResults();
|
|
auto hasMultipleDirectResults
|
|
= !directResults.empty() &&
|
|
std::next(directResults.begin()) != directResults.end();
|
|
|
|
for (unsigned paramI : indices(completionTy->getParameters())) {
|
|
if (errorParamIndex && paramI == *errorParamIndex) {
|
|
pushErrorPlaceholder();
|
|
continue;
|
|
}
|
|
if (errorFlagIndex && paramI == *errorFlagIndex) {
|
|
pushErrorFlag(/*has error*/ false, completionHandlerArgs);
|
|
continue;
|
|
}
|
|
auto elementI = paramI - (errorParamIndex && paramI > *errorParamIndex)
|
|
- (errorFlagIndex && paramI > *errorFlagIndex);
|
|
auto param = completionTy->getParameters()[paramI];
|
|
auto formalTy = formalTuple.getElementType(elementI);
|
|
ManagedValue argPiece;
|
|
|
|
auto result = substConv.getResults()[elementI];
|
|
if (substConv.isSILIndirect(result)) {
|
|
// Take the arg piece from the indirect return arguments.
|
|
argPiece = emitManagedRValueWithCleanup(args[indirectResultI++]);
|
|
} else if (hasMultipleDirectResults) {
|
|
// Take the arg piece from one of the tuple elements of the direct
|
|
// result tuple from the apply.
|
|
argPiece = B.createTupleExtract(loc, asyncResult, directResultI++);
|
|
} else {
|
|
// Take the entire direct result from the apply as the arg piece.
|
|
argPiece = asyncResult;
|
|
}
|
|
|
|
pushArg(argPiece, formalTy, param);
|
|
}
|
|
}
|
|
// Pass the bridged results on to the completion handler.
|
|
B.createApply(loc, completionBlock, {}, completionHandlerArgs);
|
|
completionArgDestructureScope.pop();
|
|
|
|
if (doneBB) {
|
|
B.createBranch(loc, doneBB);
|
|
B.emitBlock(doneBB);
|
|
}
|
|
|
|
// The immediate function result is an empty tuple.
|
|
return SILUndef::get(&F, SGM.Types.getEmptyTupleType());
|
|
};
|
|
|
|
// If the function we're calling isn't actually polymorphic, drop the
|
|
// substitutions. This should only happen in concrete specializations.
|
|
if (subs && !nativeFn->getType().castTo<SILFunctionType>()->isPolymorphic()) {
|
|
assert(subs.getGenericSignature()->areAllParamsConcrete());
|
|
subs = SubstitutionMap();
|
|
}
|
|
|
|
if (!substTy->hasErrorResult()) {
|
|
// Create the apply.
|
|
result = B.createApply(loc, nativeFn, subs, args);
|
|
|
|
// Leave the argument cleanup scope immediately. This isn't really
|
|
// necessary; it just limits lifetimes a little bit more.
|
|
argScope.pop();
|
|
|
|
// Now bridge the return value.
|
|
// If this is an async method, we forward the results of the async call to
|
|
// the completion handler.
|
|
if (foreignAsync) {
|
|
result = passResultToCompletionHandler(result);
|
|
} else {
|
|
if (needsBridging) {
|
|
if (substConv.hasIndirectSILResults()) {
|
|
assert(substTy->getNumResults() == 1);
|
|
result = args[0];
|
|
}
|
|
result = emitBridgeReturnValue(*this, loc, result, nativeFormalResultType,
|
|
bridgedFormalResultType, objcResultTy);
|
|
}
|
|
}
|
|
} else {
|
|
SILBasicBlock *contBB = createBasicBlock();
|
|
SILBasicBlock *errorBB = createBasicBlock();
|
|
SILBasicBlock *normalBB = createBasicBlock();
|
|
B.createTryApply(loc, nativeFn, subs, args, normalBB, errorBB);
|
|
|
|
// Emit the non-error destination.
|
|
{
|
|
B.emitBlock(normalBB);
|
|
SILValue nativeResult =
|
|
normalBB->createPhiArgument(swiftResultTy, OwnershipKind::Owned);
|
|
|
|
if (foreignAsync) {
|
|
// If the function is async, pass the results as the success argument(s)
|
|
// to the completion handler, with a nil error.
|
|
passResultToCompletionHandler(nativeResult);
|
|
B.createBranch(loc, contBB);
|
|
} else {
|
|
if (substConv.hasIndirectSILResults()) {
|
|
assert(substTy->getNumResults() == 1);
|
|
nativeResult = args[0];
|
|
}
|
|
// In this branch, the eventual return value is mostly created
|
|
// by bridging the native return value, but we may need to
|
|
// adjust it slightly.
|
|
SILValue bridgedResult =
|
|
emitBridgeReturnValueForForeignError(loc, nativeResult,
|
|
nativeFormalResultType,
|
|
bridgedFormalResultType,
|
|
objcResultTy,
|
|
foreignErrorSlot, *foreignError);
|
|
B.createBranch(loc, contBB, bridgedResult);
|
|
}
|
|
}
|
|
|
|
// Emit the error destination.
|
|
{
|
|
B.emitBlock(errorBB);
|
|
|
|
SILValue nativeError = errorBB->createPhiArgument(
|
|
substConv.getSILErrorType(getTypeExpansionContext()),
|
|
OwnershipKind::Owned);
|
|
|
|
if (foreignAsync) {
|
|
// If the function is async, pass the bridged error along to the
|
|
// completion handler, with dummy values for the other argument(s).
|
|
Scope completionArgScope(*this, loc);
|
|
|
|
auto nativeErrorMV = emitManagedRValueWithCleanup(nativeError);
|
|
|
|
SILValue completionBlock;
|
|
SILBasicBlock *doneBB;
|
|
consumeAndUnwrapCompletionBlock(completionBlock, doneBB);
|
|
|
|
Scope completionErrorScope(*this, loc);
|
|
|
|
SmallVector<SILValue, 2> completionHandlerArgs;
|
|
auto completionTy = completionBlock->getType().castTo<SILFunctionType>();
|
|
auto errorParamIndex = *foreignAsync->completionHandlerErrorParamIndex();
|
|
auto errorFlagIndex = foreignAsync->completionHandlerFlagParamIndex();
|
|
auto completionErrorTy = completionTy->getParameters()[errorParamIndex]
|
|
.getInterfaceType();
|
|
auto bridgedError = emitNativeToBridgedError(loc,
|
|
nativeErrorMV,
|
|
nativeError->getType().getASTType(),
|
|
completionErrorTy);
|
|
|
|
// Fill in placeholder arguments, and put the bridged error in its
|
|
// rightful place.
|
|
for (unsigned i : indices(completionTy->getParameters())) {
|
|
if (i == errorParamIndex) {
|
|
completionHandlerArgs.push_back(bridgedError.borrow(*this, loc).getValue());
|
|
continue;
|
|
}
|
|
|
|
if (errorFlagIndex && i == *errorFlagIndex) {
|
|
pushErrorFlag(/*has error*/ true, completionHandlerArgs);
|
|
continue;
|
|
}
|
|
|
|
// For non-error arguments, pass a placeholder.
|
|
// If the argument type is non-trivial, it must be Optional, and
|
|
// we pass nil.
|
|
auto param = completionTy->getParameters()[i];
|
|
auto paramTy = param.getSILStorageInterfaceType();
|
|
if (paramTy.isTrivial(F)) {
|
|
// If it's trivial, pass a zero value of whatever the type is.
|
|
auto zero = B.createZeroInitValue(loc, paramTy);
|
|
completionHandlerArgs.push_back(zero);
|
|
} else {
|
|
// If it's not trivial, it must be a nullable class type. Pass
|
|
// nil.
|
|
auto none = B.createOptionalNone(loc, paramTy);
|
|
completionHandlerArgs.push_back(none);
|
|
}
|
|
}
|
|
// Pass the bridged error on to the completion handler.
|
|
B.createApply(loc, completionBlock, {}, completionHandlerArgs);
|
|
|
|
completionErrorScope.pop();
|
|
|
|
if (doneBB) {
|
|
B.createBranch(loc, doneBB);
|
|
B.emitBlock(doneBB);
|
|
}
|
|
completionArgScope.pop();
|
|
|
|
B.createBranch(loc, contBB);
|
|
} else {
|
|
// In this branch, the eventual return value is mostly invented.
|
|
// Store the native error in the appropriate location and return.
|
|
SILValue bridgedResult =
|
|
emitBridgeErrorForForeignError(loc, nativeError, objcResultTy,
|
|
foreignErrorSlot, *foreignError);
|
|
B.createBranch(loc, contBB, bridgedResult);
|
|
}
|
|
}
|
|
|
|
// Emit the join block.
|
|
B.emitBlock(contBB);
|
|
|
|
if (foreignAsync) {
|
|
// After invoking the completion handler, our immediate return value is
|
|
// void.
|
|
result = SILUndef::get(&F, SGM.Types.getEmptyTupleType());
|
|
} else {
|
|
result = contBB->createPhiArgument(objcResultTy, OwnershipKind::Owned);
|
|
}
|
|
|
|
// Leave the scope now.
|
|
argScope.pop();
|
|
}
|
|
|
|
scope.pop();
|
|
B.createReturn(loc, result);
|
|
}
|
|
|
|
static SILValue getThunkedForeignFunctionRef(SILGenFunction &SGF,
|
|
AbstractFunctionDecl *fd,
|
|
SILDeclRef foreign,
|
|
ArrayRef<ManagedValue> args,
|
|
const SILConstantInfo &foreignCI) {
|
|
assert(foreign.isForeign);
|
|
|
|
// Produce an objc_method when thunking ObjC methods.
|
|
if (foreignCI.SILFnType->getRepresentation() ==
|
|
SILFunctionTypeRepresentation::ObjCMethod) {
|
|
auto *objcDecl =
|
|
dyn_cast_or_null<clang::ObjCMethodDecl>(fd->getClangDecl());
|
|
const bool isObjCDirect = objcDecl && objcDecl->isDirectMethod();
|
|
if (isObjCDirect) {
|
|
auto *fn = SGF.SGM.getFunction(foreign, NotForDefinition);
|
|
return SGF.B.createFunctionRef(fd, fn);
|
|
}
|
|
|
|
SILValue thisArg = args.back().getValue();
|
|
return SGF.B.createObjCMethod(fd, thisArg, foreign, foreignCI.getSILType());
|
|
}
|
|
|
|
// Otherwise, emit a function_ref.
|
|
return SGF.emitGlobalFunctionRef(fd, foreign);
|
|
}
|
|
|
|
/// Generate code to emit a thunk with native conventions that calls a
|
|
/// function with foreign conventions.
|
|
void SILGenFunction::emitForeignToNativeThunk(SILDeclRef thunk) {
|
|
assert(!thunk.isForeign && "foreign-to-native thunks only");
|
|
|
|
// Wrap the function in its original form.
|
|
|
|
auto fd = cast<AbstractFunctionDecl>(thunk.getDecl());
|
|
auto nativeCI = getConstantInfo(getTypeExpansionContext(), thunk);
|
|
auto nativeFnTy = F.getLoweredFunctionType();
|
|
assert(nativeFnTy == nativeCI.SILFnType);
|
|
|
|
if (fd->requiresUnavailableDeclABICompatibilityStubs())
|
|
emitApplyOfUnavailableCodeReached();
|
|
|
|
// Use the same generic environment as the native entry point.
|
|
F.setGenericEnvironment(SGM.Types.getConstantGenericEnvironment(thunk));
|
|
|
|
SILDeclRef foreignDeclRef = thunk.asForeign(true);
|
|
SILConstantInfo foreignCI =
|
|
getConstantInfo(getTypeExpansionContext(), foreignDeclRef);
|
|
auto foreignFnTy = foreignCI.SILFnType;
|
|
|
|
// Find the foreign error/async convention and 'self' parameter index.
|
|
std::optional<Type> thrownErrorType;
|
|
std::optional<ForeignAsyncConvention> foreignAsync;
|
|
if (nativeFnTy->isAsync()) {
|
|
foreignAsync = fd->getForeignAsyncConvention();
|
|
assert(foreignAsync && "couldn't find foreign async convention?!");
|
|
|
|
// We might switch to to the callee's actor as part of making the call,
|
|
// but we don't need to switch back afterwards because we're going to
|
|
// immediately return.
|
|
ExpectedExecutor.setUnnecessary();
|
|
}
|
|
std::optional<ForeignErrorConvention> foreignError;
|
|
if (nativeFnTy->hasErrorResult()) {
|
|
thrownErrorType = nativeFnTy->getErrorResult().getInterfaceType();
|
|
foreignError = fd->getForeignErrorConvention();
|
|
assert((foreignError || foreignAsync)
|
|
&& "couldn't find foreign error or async convention for foreign error!");
|
|
}
|
|
ImportAsMemberStatus memberStatus = fd->getImportAsMemberStatus();
|
|
|
|
// Introduce indirect returns if necessary.
|
|
// TODO: Handle exploded results? We don't currently need to since the only
|
|
// bridged indirect type is Any.
|
|
SILValue indirectResult;
|
|
SILFunctionConventions nativeConv(nativeFnTy, SGM.M);
|
|
if (nativeConv.hasIndirectSILResults()) {
|
|
assert(nativeConv.getNumIndirectSILResults() == 1
|
|
&& "bridged exploded result?!");
|
|
indirectResult = F.begin()->createFunctionArgument(
|
|
nativeConv.getSingleSILResultType(F.getTypeExpansionContext()));
|
|
}
|
|
|
|
// Before we do anything, see if our function type is async and has an
|
|
// implicit isolated parameter. In such a case, we need to implicitly insert
|
|
// it here before we insert other parameters.
|
|
//
|
|
// NOTE: We do not jump to it or do anything further since as mentioned above,
|
|
// we might switch to the callee's actor as part of making the call... but we
|
|
// don't need to do anything further than that because we're going to
|
|
// immediately return.
|
|
bool hasImplicitIsolatedParameter = false;
|
|
if (auto isolatedParameter = nativeFnTy->maybeGetIsolatedParameter();
|
|
isolatedParameter && nativeFnTy->isAsync() &&
|
|
isolatedParameter->hasOption(SILParameterInfo::ImplicitLeading)) {
|
|
auto loweredTy = getLoweredTypeForFunctionArgument(
|
|
isolatedParameter->getArgumentType(&F));
|
|
F.begin()->createFunctionArgument(loweredTy);
|
|
hasImplicitIsolatedParameter = true;
|
|
}
|
|
|
|
// Forward the arguments.
|
|
SmallVector<SILValue, 8> params;
|
|
|
|
bindParametersForForwarding(fd->getParameters(), params);
|
|
Type allocatorSelfType;
|
|
if (auto *selfDecl = fd->getImplicitSelfDecl()) {
|
|
// The self declaration sometimes differ in dynamic-self-ness from the
|
|
// lowered function type, so get the self parameter type from the function
|
|
// type rather than the declaration.
|
|
auto selfArgTy = F.getLoweredFunctionType()->getSelfParameter()
|
|
.getSILStorageType(getModule(), F.getLoweredFunctionType(), getTypeExpansionContext());
|
|
auto selfArg = F.begin()->createFunctionArgument(F.mapTypeIntoContext(selfArgTy), selfDecl);
|
|
params.push_back(selfArg);
|
|
|
|
// For allocating constructors, 'self' is a metatype, not the 'self' value
|
|
// formally present in the constructor body.
|
|
if (thunk.kind == SILDeclRef::Kind::Allocator) {
|
|
allocatorSelfType = F.mapTypeIntoContext(
|
|
fd->getDeclContext()->getSelfInterfaceType());
|
|
}
|
|
}
|
|
|
|
// Set up the throw destination if necessary.
|
|
CleanupLocation cleanupLoc(fd);
|
|
if (thrownErrorType) {
|
|
prepareRethrowEpilog(fd,
|
|
AbstractionPattern(*thrownErrorType),
|
|
*thrownErrorType,
|
|
cleanupLoc);
|
|
}
|
|
|
|
SILValue result;
|
|
{
|
|
Scope scope(Cleanups, fd);
|
|
|
|
// Bridge all the arguments.
|
|
SmallVector<ManagedValue, 8> args;
|
|
unsigned foreignArgIndex = 0;
|
|
|
|
// A helper function to add a placeholder for a foreign argument in the
|
|
// appropriate position.
|
|
auto maybeAddForeignArg = [&]() -> bool {
|
|
if ((foreignError
|
|
&& foreignArgIndex == foreignError->getErrorParameterIndex())
|
|
|| (foreignAsync
|
|
&& foreignArgIndex == foreignAsync->completionHandlerParamIndex()))
|
|
{
|
|
args.push_back(ManagedValue());
|
|
++foreignArgIndex;
|
|
return true;
|
|
}
|
|
|
|
return false;
|
|
};
|
|
|
|
{
|
|
bool hasSelfParam = fd->hasImplicitSelfDecl();
|
|
auto foreignFormalParams =
|
|
getParameterTypes(foreignCI.LoweredType.getParams(), hasSelfParam);
|
|
auto nativeFormalParams =
|
|
getParameterTypes(nativeCI.LoweredType.getParams(), hasSelfParam);
|
|
|
|
for (unsigned nativeParamIndex : indices(params)) {
|
|
// Adjust the parameter if we inserted an implicit isolated parameter.
|
|
unsigned nativeFnTyParamIndex = nativeParamIndex + hasImplicitIsolatedParameter;
|
|
|
|
// Bring the parameter to +1.
|
|
auto paramValue = params[nativeParamIndex];
|
|
auto thunkParam = nativeFnTy->getParameters()[nativeFnTyParamIndex];
|
|
// TODO: Could avoid a retain if the bridged parameter is also +0 and
|
|
// doesn't require a bridging conversion.
|
|
ManagedValue param;
|
|
switch (thunkParam.getConvention()) {
|
|
case ParameterConvention::Direct_Owned:
|
|
param = emitManagedRValueWithCleanup(paramValue);
|
|
break;
|
|
case ParameterConvention::Direct_Guaranteed:
|
|
case ParameterConvention::Direct_Unowned:
|
|
param = emitManagedCopy(fd, paramValue);
|
|
break;
|
|
case ParameterConvention::Indirect_Inout:
|
|
case ParameterConvention::Indirect_InoutAliasable:
|
|
param = ManagedValue::forLValue(paramValue);
|
|
break;
|
|
case ParameterConvention::Indirect_In_CXX:
|
|
case ParameterConvention::Indirect_In:
|
|
param = emitManagedRValueWithCleanup(paramValue);
|
|
break;
|
|
case ParameterConvention::Indirect_In_Guaranteed: {
|
|
auto tmp = emitTemporaryAllocation(fd, paramValue->getType());
|
|
B.createCopyAddr(fd, paramValue, tmp, IsNotTake, IsInitialization);
|
|
param = emitManagedRValueWithCleanup(tmp);
|
|
break;
|
|
}
|
|
case ParameterConvention::Pack_Guaranteed:
|
|
case ParameterConvention::Pack_Owned:
|
|
case ParameterConvention::Pack_Inout:
|
|
llvm_unreachable("bridging a parameter pack?");
|
|
}
|
|
|
|
while (maybeAddForeignArg());
|
|
|
|
bool isSelf = (hasSelfParam && nativeParamIndex == params.size() - 1);
|
|
|
|
if (memberStatus.isInstance()) {
|
|
// Leave space for `self` to be filled in later.
|
|
if (foreignArgIndex == memberStatus.getSelfIndex()) {
|
|
args.push_back({});
|
|
++foreignArgIndex;
|
|
}
|
|
|
|
// Use the `self` space we skipped earlier if it's time.
|
|
if (isSelf) {
|
|
foreignArgIndex = memberStatus.getSelfIndex();
|
|
}
|
|
} else if (memberStatus.isStatic() && isSelf) {
|
|
// Lose a static `self` parameter.
|
|
break;
|
|
}
|
|
|
|
CanType nativeFormalType =
|
|
F.mapTypeIntoContext(nativeFormalParams[nativeParamIndex])
|
|
->getCanonicalType();
|
|
CanType foreignFormalType =
|
|
F.mapTypeIntoContext(foreignFormalParams[nativeParamIndex])
|
|
->getCanonicalType();
|
|
|
|
if (isSelf) {
|
|
assert(!nativeCI.LoweredType.getParams()[nativeParamIndex].isInOut() ||
|
|
nativeFormalType == foreignFormalType &&
|
|
"Cannot bridge 'self' parameter if passed inout");
|
|
}
|
|
|
|
auto foreignParam = foreignFnTy->getParameters()[foreignArgIndex++];
|
|
SILType foreignLoweredTy =
|
|
F.mapTypeIntoContext(foreignParam.getSILStorageType(
|
|
F.getModule(), foreignFnTy, F.getTypeExpansionContext()));
|
|
|
|
auto bridged = emitNativeToBridgedValue(fd, param, nativeFormalType,
|
|
foreignFormalType,
|
|
foreignLoweredTy);
|
|
if (useLoweredAddresses() &&
|
|
(foreignParam.getConvention() == ParameterConvention::Indirect_In ||
|
|
foreignParam.getConvention() ==
|
|
ParameterConvention::Indirect_In_Guaranteed)) {
|
|
auto temp = emitTemporaryAllocation(fd, bridged.getType());
|
|
bridged.forwardInto(*this, fd, temp);
|
|
bridged = emitManagedBufferWithCleanup(temp);
|
|
}
|
|
|
|
if (memberStatus.isInstance() && isSelf) {
|
|
// Fill in the `self` space.
|
|
args[memberStatus.getSelfIndex()] = bridged;
|
|
} else {
|
|
args.push_back(bridged);
|
|
}
|
|
}
|
|
}
|
|
|
|
while (maybeAddForeignArg());
|
|
|
|
// Call the original.
|
|
auto subs = getForwardingSubstitutionMap();
|
|
auto fn = getThunkedForeignFunctionRef(*this, fd, foreignDeclRef, args,
|
|
foreignCI);
|
|
|
|
auto fnType = fn->getType().castTo<SILFunctionType>();
|
|
fnType = fnType->substGenericArgs(SGM.M, subs, getTypeExpansionContext());
|
|
|
|
CanType nativeFormalResultType =
|
|
fd->mapTypeIntoContext(nativeCI.LoweredType.getResult())
|
|
->getCanonicalType();
|
|
CanType bridgedFormalResultType =
|
|
fd->mapTypeIntoContext(foreignCI.LoweredType.getResult())
|
|
->getCanonicalType();
|
|
CalleeTypeInfo calleeTypeInfo(
|
|
fnType, AbstractionPattern(nativeFnTy->getInvocationGenericSignature(),
|
|
bridgedFormalResultType),
|
|
nativeFormalResultType,
|
|
foreignError,
|
|
foreignAsync,
|
|
ImportAsMemberStatus());
|
|
calleeTypeInfo.origFormalType =
|
|
foreignCI.FormalPattern.getFunctionResultType();
|
|
|
|
auto init = indirectResult
|
|
? useBufferAsTemporary(indirectResult,
|
|
getTypeLowering(indirectResult->getType()))
|
|
: nullptr;
|
|
|
|
SGFContext context(init.get());
|
|
ResultPlanPtr resultPlan = ResultPlanBuilder::computeResultPlan(
|
|
*this, calleeTypeInfo, fd, context);
|
|
ArgumentScope argScope(*this, fd);
|
|
ManagedValue resultMV =
|
|
emitApply(std::move(resultPlan), std::move(argScope), fd,
|
|
ManagedValue::forObjectRValueWithoutOwnership(fn), subs, args,
|
|
calleeTypeInfo, ApplyOptions(), context, std::nullopt)
|
|
.getAsSingleValue(*this, fd);
|
|
|
|
if (indirectResult) {
|
|
if (!resultMV.isInContext()) {
|
|
init->copyOrInitValueInto(*this, fd, resultMV, /*isInit*/ true);
|
|
init->finishInitialization(*this);
|
|
}
|
|
init->getManagedAddress().forward(*this);
|
|
result = emitEmptyTuple(fd);
|
|
} else {
|
|
result = resultMV.forward(*this);
|
|
}
|
|
}
|
|
B.createReturn(ImplicitReturnLocation(fd), result);
|
|
// Emit the throw destination.
|
|
emitRethrowEpilog(fd);
|
|
}
|