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

COWArrayOpt: handle load_borrow

Browse Source
This commit is contained in:
Erik Eckstein
2024-12-06 16:45:24 +01:00
parent d71f36be19
commit 7e8410ebc1
3 changed files with 55 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
lib/SILOptimizer/LoopTransforms/COWArrayOpt.cpp
View File

@@ -55,10 +55,10 @@ bool areArraysEqual(RCIdentityFunctionInfo *RCIA, SILValue A, SILValue B,
return true;
// We have stripped off struct_extracts. Remove the load to look at the
// address we are loading from.
if (auto *ALoad = dyn_cast<LoadInst>(A))
A = ALoad->getOperand();
if (auto *BLoad = dyn_cast<LoadInst>(B))
B = BLoad->getOperand();
if (isa<LoadInst>(A) || isa<LoadBorrowInst>(A))
A = cast<SingleValueInstruction>(A)->getOperand(0);
if (isa<LoadInst>(B) || isa<LoadBorrowInst>(B))
B = cast<SingleValueInstruction>(B)->getOperand(0);
// Strip off struct_extract_refs until we hit array address.
if (ArrayAddress) {
StructElementAddrInst *SEAI = nullptr;
@@ -463,6 +463,10 @@ bool COWArrayOpt::checkSafeArrayAddressUses(UserList &AddressUsers) {
return false;
}
if (isa<LoadBorrowInst>(UseInst)) {
continue;
}
if (isa<DeallocStackInst>(UseInst)) {
// Handle destruction of a local array.
continue;
@@ -569,6 +573,9 @@ bool COWArrayOpt::checkSafeArrayValueUses(UserList &ArrayValueUsers) {
if (isa<MarkDependenceInst>(UseInst))
continue;
if (isa<EndBorrowInst>(UseInst))
continue;
if (UseInst->isDebugInstruction())
continue;