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

Merge pull request #73121 from nate-chandler/rdar126715654

Browse Source 
[NoncopyablePartialConsumption] Promote to feature.
This commit is contained in:
nate-chandler
2024-04-22 07:01:10 -07:00
committed by GitHub
parent 5fce3f9d5b 3e2d1d0e4c
commit 1faeb50fff
57 changed files with 320 additions and 1267 deletions
Download Patch File Download Diff File Expand all files Collapse all files

33
lib/SILGen/SILGenProlog.cpp
View File

@@ -59,30 +59,19 @@ SILValue SILGenFunction::emitSelfDeclForDestructor(VarDecl *selfDecl) {
// owned, lets mark them as needing to be no implicit copy checked so they
// cannot escape.
if (selfType.isMoveOnly() && !selfType.isAnyClassReferenceType()) {
if (getASTContext().LangOpts.hasFeature(
Feature::MoveOnlyPartialConsumption)) {
SILValue addr = B.createAllocStack(selfDecl, selfValue->getType(), dv);
addr = B.createMarkUnresolvedNonCopyableValueInst(
selfDecl, addr,
MarkUnresolvedNonCopyableValueInst::CheckKind::
ConsumableAndAssignable);
if (selfValue->getType().isObject()) {
B.createStore(selfDecl, selfValue, addr, StoreOwnershipQualifier::Init);
} else {
B.createCopyAddr(selfDecl, selfValue, addr, IsTake, IsInitialization);
}
// drop_deinit invalidates any user-defined struct/enum deinit
// before the individual members are destroyed.
addr = B.createDropDeinit(selfDecl, addr);
selfValue = addr;
SILValue addr = B.createAllocStack(selfDecl, selfValue->getType(), dv);
addr = B.createMarkUnresolvedNonCopyableValueInst(
selfDecl, addr,
MarkUnresolvedNonCopyableValueInst::CheckKind::ConsumableAndAssignable);
if (selfValue->getType().isObject()) {
B.createStore(selfDecl, selfValue, addr, StoreOwnershipQualifier::Init);
} else {
if (selfValue->getOwnershipKind() == OwnershipKind::Owned) {
selfValue = B.createMarkUnresolvedNonCopyableValueInst(
selfDecl, selfValue,
MarkUnresolvedNonCopyableValueInst::CheckKind::
ConsumableAndAssignable);
}
B.createCopyAddr(selfDecl, selfValue, addr, IsTake, IsInitialization);
}
// drop_deinit invalidates any user-defined struct/enum deinit
// before the individual members are destroyed.
addr = B.createDropDeinit(selfDecl, addr);
selfValue = addr;
}
VarLocs[selfDecl] = VarLoc::get(selfValue);