Skip to content

Commit bfcb701

Browse files
committed
[NFC] OSSACanonicalizeOwned: Renamed found defs.
The field is no longer a worklist, just a list of discovered defs.
1 parent c95e185 commit bfcb701

File tree

2 files changed

+12
-12
lines changed

2 files changed

+12
-12
lines changed

include/swift/SILOptimizer/Utils/CanonicalizeOSSALifetime.h

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -342,8 +342,8 @@ class CanonicalizeOSSALifetime final {
342342
};
343343
friend llvm::DenseMapInfo<Def>;
344344

345-
/// Visited set for general def-use traversal that prevents revisiting values.
346-
llvm::SmallSetVector<Def, 8> defUseWorklist;
345+
/// The defs derived from currentDef whose uses are added to liveness.
346+
llvm::SmallSetVector<Def, 8> discoveredDefs;
347347

348348
/// The blocks that were discovered by PrunedLiveness.
349349
SmallVector<SILBasicBlock *, 32> discoveredBlocks;

lib/SILOptimizer/Utils/CanonicalizeOSSALifetime.cpp

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -134,11 +134,11 @@ bool CanonicalizeOSSALifetime::computeCanonicalLiveness() {
134134
getCurrentDef()->print(llvm::dbgs()));
135135
SmallVector<unsigned, 8> indexWorklist;
136136
auto addDefToWorklist = [&](Def def) {
137-
if (!defUseWorklist.insert(def))
137+
if (!discoveredDefs.insert(def))
138138
return;
139-
indexWorklist.push_back(defUseWorklist.size() - 1);
139+
indexWorklist.push_back(discoveredDefs.size() - 1);
140140
};
141-
defUseWorklist.clear();
141+
discoveredDefs.clear();
142142
addDefToWorklist(Def::root(getCurrentDef()));
143143
// Only the first level of reborrows need to be consider. All nested inner
144144
// adjacent reborrows and phis are encapsulated within their lifetimes.
@@ -151,7 +151,7 @@ bool CanonicalizeOSSALifetime::computeCanonicalLiveness() {
151151
}
152152
while (!indexWorklist.empty()) {
153153
auto index = indexWorklist.pop_back_val();
154-
auto def = defUseWorklist[index];
154+
auto def = discoveredDefs[index];
155155
auto value = def.getValue();
156156
LLVM_DEBUG(llvm::dbgs() << " Uses of value:\n";
157157
value->print(llvm::dbgs()));
@@ -1158,14 +1158,14 @@ void CanonicalizeOSSALifetime::rewriteCopies(
11581158
SmallVectorImpl<DestroyValueInst *> const &newDestroys) {
11591159
assert(getCurrentDef()->getOwnershipKind() == OwnershipKind::Owned);
11601160

1161-
// Shadow defUseWorklist in order to constrain its uses.
1162-
auto &defUseWorklist = this->defUseWorklist;
1161+
// Shadow discoveredDefs in order to constrain its uses.
1162+
auto &discoveredDefs = this->discoveredDefs;
11631163

11641164
SmallVector<unsigned, 8> indexWorklist;
11651165
auto addDefToWorklist = [&](Def def) {
1166-
if (!defUseWorklist.insert(def))
1166+
if (!discoveredDefs.insert(def))
11671167
return;
1168-
indexWorklist.push_back(defUseWorklist.size() - 1);
1168+
indexWorklist.push_back(discoveredDefs.size() - 1);
11691169
};
11701170

11711171
InstructionSetVector instsToDelete(getCurrentDef()->getFunction());
@@ -1213,13 +1213,13 @@ void CanonicalizeOSSALifetime::rewriteCopies(
12131213
return true;
12141214
};
12151215

1216-
defUseWorklist.clear();
1216+
discoveredDefs.clear();
12171217
addDefToWorklist(Def::root(getCurrentDef()));
12181218
// Perform a def-use traversal, visiting each use operand.
12191219

12201220
while (!indexWorklist.empty()) {
12211221
auto index = indexWorklist.pop_back_val();
1222-
auto def = defUseWorklist[index];
1222+
auto def = discoveredDefs[index];
12231223
switch (def) {
12241224
case Def::Kind::BorrowedFrom:
12251225
case Def::Kind::Reborrow:

0 commit comments

Comments
 (0)