averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

Create a uniform representation for function type isolation.

Browse Source 
Not quite NFC because apparently the representation bleeds into what's
accepted in some situations where we're supposed to be warning about
conflicts and then making an arbitrary choice.  But what we're doing
is nonsense, so we definitely need to break behavior here.

This is setting up for isolated(any) and isolated(caller).  I tried
to keep that out of the patch as much as possible, though.
This commit is contained in:
John McCall
2024-01-25 14:04:47 -05:00
parent 991a6de207
commit b0fb03d8c7
25 changed files with 448 additions and 153 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
lib/Serialization/Serialization.cpp
View File

@@ -5455,6 +5455,21 @@ public:
}
}
TypeID encodeIsolation(swift::FunctionTypeIsolation isolation) {
switch (isolation.getKind()) {
case swift::FunctionTypeIsolation::Kind::NonIsolated:
return unsigned(FunctionTypeIsolation::NonIsolated);
case swift::FunctionTypeIsolation::Kind::Parameter:
return unsigned(FunctionTypeIsolation::Parameter);
case swift::FunctionTypeIsolation::Kind::Dynamic:
return unsigned(FunctionTypeIsolation::Dynamic);
case swift::FunctionTypeIsolation::Kind::GlobalActor:
return unsigned(FunctionTypeIsolation::GlobalActorOffset)
+ S.addTypeRef(isolation.getGlobalActorType());
}
llvm_unreachable("bad kind");
}
void visitFunctionType(const FunctionType *fnTy) {
using namespace decls_block;
@@ -5463,7 +5478,8 @@ public:
S.getASTContext().LangOpts.UseClangFunctionTypes
? S.addClangTypeRef(fnTy->getClangTypeInfo().getType())
: ClangTypeID(0);
auto globalActor = S.addTypeRef(fnTy->getGlobalActor());
auto isolation = encodeIsolation(fnTy->getIsolation());
unsigned abbrCode = S.DeclTypeAbbrCodes[FunctionTypeLayout::Code];
FunctionTypeLayout::emitRecord(S.Out, S.ScratchRecord, abbrCode,
@@ -5476,7 +5492,7 @@ public:
fnTy->isThrowing(),
S.addTypeRef(fnTy->getThrownError()),
getRawStableDifferentiabilityKind(fnTy->getDifferentiabilityKind()),
globalActor);
isolation);
serializeFunctionTypeParams(fnTy);
}
@@ -5485,6 +5501,7 @@ public:
using namespace decls_block;
assert(!fnTy->isNoEscape());
auto genericSig = fnTy->getGenericSignature();
auto isolation = encodeIsolation(fnTy->getIsolation());
unsigned abbrCode = S.DeclTypeAbbrCodes[GenericFunctionTypeLayout::Code];
GenericFunctionTypeLayout::emitRecord(S.Out, S.ScratchRecord, abbrCode,
S.addTypeRef(fnTy->getResult()),
@@ -5492,7 +5509,7 @@ public:
fnTy->isSendable(), fnTy->isAsync(), fnTy->isThrowing(),
S.addTypeRef(fnTy->getThrownError()),
getRawStableDifferentiabilityKind(fnTy->getDifferentiabilityKind()),
S.addTypeRef(fnTy->getGlobalActor()),
isolation,
S.addGenericSignatureRef(genericSig));
serializeFunctionTypeParams(fnTy);