[Gardening] BarrierAccessScopes: Corrected comment.

nate-chandler · nate-chandler · commit 3c8d99d164b9 · 2024-12-04T17:54:09.000-08:00
diff --git a/include/swift/SILOptimizer/Analysis/VisitBarrierAccessScopes.h b/include/swift/SILOptimizer/Analysis/VisitBarrierAccessScopes.h
@@ -259,8 +259,9 @@ class VisitBarrierAccessScopes {
       }
     }
     // If any of this block's predecessors haven't already been visited, it
-    // means that they aren't in the region and consequently this block is a
-    // barrier block.
+    // means EITHER that those predecessors aren't in the region OR that a
+    // barrier was encountered when visiting some (iterative) successor of that
+    // predecessor.  Either way, this block is a barrier block as a result.
     if (llvm::any_of(block->getSuccessorBlocks(), [&](SILBasicBlock *block) {
           return !visited.contains(block);
         })) {

Original file line number	Diff line number	Diff line change
`@@ -259,8 +259,9 @@ class VisitBarrierAccessScopes {`
`259`	`259`	`}`
`260`	`260`	`}`
`261`	`261`	`// If any of this block's predecessors haven't already been visited, it`
`262`		`- // means that they aren't in the region and consequently this block is a`
`263`		`- // barrier block.`
	`262`	`+ // means EITHER that those predecessors aren't in the region OR that a`
	`263`	`+ // barrier was encountered when visiting some (iterative) successor of that`
	`264`	`+ // predecessor. Either way, this block is a barrier block as a result.`
`264`	`265`	`if (llvm::any_of(block->getSuccessorBlocks(), [&](SILBasicBlock *block) {`
`265`	`266`	`return !visited.contains(block);`
`266`	`267`	`})) {`