Skip to content

Commit 2e95d53

Browse files
committed
[region-isolation] Rename Partition::{fresh_label,freshLabel}.
(cherry picked from commit b80faee)
1 parent 78ab065 commit 2e95d53

File tree

2 files changed

+19
-19
lines changed

2 files changed

+19
-19
lines changed

include/swift/SILOptimizer/Utils/PartitionUtils.h

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -670,7 +670,7 @@ class Partition {
670670

671671
/// Track a label that is guaranteed to be strictly larger than all in use,
672672
/// and therefore safe for use as a fresh label.
673-
Region fresh_label = Region(0);
673+
Region freshLabel = Region(0);
674674

675675
/// An immutable data structure that we use to push/pop isolation history.
676676
IsolationHistory history;
@@ -841,7 +841,7 @@ class Partition {
841841
llvm::dbgs() << "Partition";
842842
if (canonical)
843843
llvm::dbgs() << "(canonical)";
844-
llvm::dbgs() << "(fresh=" << fresh_label << "){";
844+
llvm::dbgs() << "(fresh=" << freshLabel << "){";
845845
for (const auto &[i, label] : elementToRegionMap)
846846
llvm::dbgs() << "[" << i << ": " << label << "] ";
847847
llvm::dbgs() << "}\n";

lib/SILOptimizer/Utils/PartitionUtils.cpp

Lines changed: 17 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -272,7 +272,7 @@ Partition Partition::singleRegion(SILLocation loc, ArrayRef<Element> indices,
272272
// region takes.
273273
Element repElement = *std::min_element(indices.begin(), indices.end());
274274
Region repElementRegion = Region(repElement);
275-
p.fresh_label = Region(repElementRegion + 1);
275+
p.freshLabel = Region(repElementRegion + 1);
276276

277277
// Place all of the operations until end of scope into one history
278278
// sequence.
@@ -311,7 +311,7 @@ Partition Partition::separateRegions(SILLocation loc, ArrayRef<Element> indices,
311311
p.pushNewElementRegion(index);
312312
maxIndex = Element(std::max(maxIndex, index));
313313
}
314-
p.fresh_label = Region(maxIndex + 1);
314+
p.freshLabel = Region(maxIndex + 1);
315315
assert(p.is_canonical_correct());
316316
return p;
317317
}
@@ -321,10 +321,10 @@ void Partition::markTransferred(Element val,
321321
// First see if our val is tracked. If it is not tracked, insert it and mark
322322
// its new region as transferred.
323323
if (!isTrackingElement(val)) {
324-
elementToRegionMap.insert_or_assign(val, fresh_label);
324+
elementToRegionMap.insert_or_assign(val, freshLabel);
325325
pushNewElementRegion(val);
326-
regionToTransferredOpMap.insert({fresh_label, transferredOperandSet});
327-
fresh_label = Region(fresh_label + 1);
326+
regionToTransferredOpMap.insert({freshLabel, transferredOperandSet});
327+
freshLabel = Region(freshLabel + 1);
328328
canonical = false;
329329
return;
330330
}
@@ -346,9 +346,9 @@ void Partition::markTransferred(Element val,
346346
bool Partition::undoTransfer(Element val) {
347347
// First see if our val is tracked. If it is not tracked, insert it.
348348
if (!isTrackingElement(val)) {
349-
elementToRegionMap.insert_or_assign(val, fresh_label);
349+
elementToRegionMap.insert_or_assign(val, freshLabel);
350350
pushNewElementRegion(val);
351-
fresh_label = Region(fresh_label + 1);
351+
freshLabel = Region(freshLabel + 1);
352352
canonical = false;
353353
return true;
354354
}
@@ -364,7 +364,7 @@ void Partition::trackNewElement(Element newElt, bool updateHistory) {
364364
SWIFT_DEFER { validateRegionToTransferredOpMapRegions(); };
365365

366366
// First try to emplace newElt with fresh_label.
367-
auto iter = elementToRegionMap.try_emplace(newElt, fresh_label);
367+
auto iter = elementToRegionMap.try_emplace(newElt, freshLabel);
368368

369369
// If we did insert, then we know that the value is completely new. We can
370370
// just update the fresh_label, set canonical to false, and return.
@@ -375,7 +375,7 @@ void Partition::trackNewElement(Element newElt, bool updateHistory) {
375375
pushNewElementRegion(newElt);
376376

377377
// Increment the fresh label so it remains fresh.
378-
fresh_label = Region(fresh_label + 1);
378+
freshLabel = Region(freshLabel + 1);
379379
canonical = false;
380380
return;
381381
}
@@ -391,7 +391,7 @@ void Partition::trackNewElement(Element newElt, bool updateHistory) {
391391
// This is important to ensure that every region in the transferredOpMap is
392392
// also in elementToRegionMap.
393393
auto oldRegion = iter.first->second;
394-
iter.first->second = fresh_label;
394+
iter.first->second = freshLabel;
395395

396396
auto getValueFromOtherRegion = [&]() -> std::optional<Element> {
397397
for (auto pair : elementToRegionMap) {
@@ -414,7 +414,7 @@ void Partition::trackNewElement(Element newElt, bool updateHistory) {
414414
pushNewElementRegion(newElt);
415415

416416
// Increment the fresh label so it remains fresh.
417-
fresh_label = Region(fresh_label + 1);
417+
freshLabel = Region(freshLabel + 1);
418418
canonical = false;
419419
}
420420

@@ -558,8 +558,8 @@ Partition Partition::join(const Partition &fst, Partition &mutableSnd) {
558558
result.pushMergeElementRegions(sndEltNumber, Element(sndRegionNumber));
559559
// We want fresh_label to always be one element larger than our
560560
// maximum element.
561-
if (result.fresh_label <= Region(sndEltNumber))
562-
result.fresh_label = Region(sndEltNumber + 1);
561+
if (result.freshLabel <= Region(sndEltNumber))
562+
result.freshLabel = Region(sndEltNumber + 1);
563563
continue;
564564
}
565565
}
@@ -579,8 +579,8 @@ Partition Partition::join(const Partition &fst, Partition &mutableSnd) {
579579
if (!fstIter.second)
580580
fstIter.first->second = fstIter.first->second->merge(sndIter->second);
581581
}
582-
if (result.fresh_label <= sndRegionNumber)
583-
result.fresh_label = Region(sndEltNumber + 1);
582+
if (result.freshLabel <= sndRegionNumber)
583+
result.freshLabel = Region(sndEltNumber + 1);
584584
}
585585

586586
// We should have preserved canonicality during the computation above. It
@@ -745,7 +745,7 @@ bool Partition::is_canonical_correct() const {
745745

746746
for (auto &[eltNo, regionNo] : elementToRegionMap) {
747747
// Labels should not exceed fresh_label.
748-
if (regionNo >= fresh_label)
748+
if (regionNo >= freshLabel)
749749
return fail(eltNo, 0);
750750

751751
// The label of a region should be at most as large as each index in it.
@@ -833,7 +833,7 @@ void Partition::canonicalize() {
833833

834834
// The maximum index iterated over will be used here to appropriately
835835
// set fresh_label.
836-
fresh_label = Region(eltNo + 1);
836+
freshLabel = Region(eltNo + 1);
837837
}
838838

839839
// Then relabel our regionToTransferredInst map if we need to by swapping

0 commit comments

Comments
 (0)