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

SIL and IRGen support for @isolated(any). SILGen to come.

Browse Source
This commit is contained in:
John McCall
2024-02-12 22:59:59 -05:00
parent db020c1486
commit d5142668f4
65 changed files with 697 additions and 109 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
lib/Serialization/Deserialization.cpp
View File

@@ -7249,6 +7249,7 @@ Expected<Type> DESERIALIZE_TYPE(SIL_FUNCTION_TYPE)(
bool unimplementable;
bool concurrent;
bool noescape;
bool erasedIsolation;
bool hasErrorResult;
unsigned numParams;
unsigned numYields;
@@ -7262,7 +7263,7 @@ Expected<Type> DESERIALIZE_TYPE(SIL_FUNCTION_TYPE)(
decls_block::SILFunctionTypeLayout::readRecord(
scratch, concurrent, async, rawCoroutineKind, rawCalleeConvention,
rawRepresentation, pseudogeneric, noescape, unimplementable,
rawDiffKind, hasErrorResult,
erasedIsolation, rawDiffKind, hasErrorResult,
numParams, numYields, numResults, rawInvocationGenericSig,
rawInvocationSubs, rawPatternSubs, clangFunctionTypeID, variableData);
@@ -7284,11 +7285,15 @@ Expected<Type> DESERIALIZE_TYPE(SIL_FUNCTION_TYPE)(
clangFunctionType = clangType.get();
}
auto isolation = SILFunctionTypeIsolation::Unknown;
if (erasedIsolation)
isolation = SILFunctionTypeIsolation::Erased;
// Handle LifetimeDependenceInfo here.
auto extInfo = SILFunctionType::ExtInfoBuilder(
*representation, pseudogeneric, noescape, concurrent,
async, unimplementable, *diffKind, clangFunctionType,
LifetimeDependenceInfo())
async, unimplementable, isolation, *diffKind,
clangFunctionType, LifetimeDependenceInfo())
.build();
// Process the coroutine kind.