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

SILGen: Emit an addressable representation for immutable bindings on demand.

Browse Source 
To ensure that dependent values have a persistent-enough memory representation
to point into, when an immutable binding is referenced as an addressable
argument to a call, have SILGen retroactively emit a stack allocation and
materialization that covers the binding's scope.
This commit is contained in:
Joe Groff
2025-03-10 20:18:49 -07:00
parent ecaa041344
commit 19a99ea42b
14 changed files with 625 additions and 72 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
lib/SILGen/SILGenPattern.cpp
View File

@@ -1430,7 +1430,8 @@ void PatternMatchEmission::bindBorrow(Pattern *pattern, VarDecl *var,
MarkUnresolvedNonCopyableValueInst::CheckKind::NoConsumeOrAssign,
MarkUnresolvedNonCopyableValueInst::IsStrict);
SGF.VarLocs[var] = SILGenFunction::VarLoc::get(bindValue.getValue());
SGF.VarLocs[var] = SILGenFunction::VarLoc(bindValue.getValue(),
SILAccessEnforcement::Unknown);
}
/// Evaluate a guard expression and, if it returns false, branch to
@@ -3168,8 +3169,9 @@ static void switchCaseStmtSuccessCallback(SILGenFunction &SGF,
}
// Ok, we found a match. Update the VarLocs for the case block.
auto v = SGF.VarLocs[vd];
SGF.VarLocs[expected] = v;
auto &v = SGF.VarLocs[vd];
SGF.VarLocs[expected]
= SILGenFunction::VarLoc(v.value, v.access, v.box);
// Emit a debug description for the variable, nested within a scope
// for the pattern match.
@@ -3831,7 +3833,7 @@ void SILGenFunction::emitSwitchFallthrough(FallthroughStmt *S) {
continue;
}
auto varLoc = VarLocs[var];
auto &varLoc = VarLocs[var];
SILValue value = varLoc.value;
if (value->getType().isAddressOnly(F)) {
@@ -3894,8 +3896,8 @@ void SILGenFunction::emitCatchDispatch(DoCatchStmt *S, ManagedValue exn,
}
// Ok, we found a match. Update the VarLocs for the case block.
auto v = VarLocs[vd];
VarLocs[expected] = v;
auto &v = VarLocs[vd];
VarLocs[expected] = VarLoc(v.value, v.access, v.box);
// Emit a debug description of the incoming arg, nested within the scope
// for the pattern match.