add comment.

linuxlonelyeagle · linuxlonelyeagle · commit 29179f3b9a46 · 2025-12-01T08:02:58.000Z
diff --git a/mlir/lib/Analysis/DataFlow/SparseAnalysis.cpp b/mlir/lib/Analysis/DataFlow/SparseAnalysis.cpp
@@ -615,6 +615,8 @@ void AbstractSparseBackwardDataFlowAnalysis::visitRegionSuccessors(
     MutableArrayRef<BlockArgument> arguments =
         successor.getSuccessor()->getArguments();
     for (BlockArgument argument : arguments) {
+      // Visit property blockArgument of RegionBranchOp which isn't "control
+      // flow block arguments". For example, the IV of a loop.
       if (!llvm::is_contained(inputs, argument)) {
         regionArguments.push_back(argument);
       }

Original file line number	Diff line number	Diff line change
`@@ -615,6 +615,8 @@ void AbstractSparseBackwardDataFlowAnalysis::visitRegionSuccessors(`
`615`	`615`	`MutableArrayRef<BlockArgument> arguments =`
`616`	`616`	`successor.getSuccessor()->getArguments();`
`617`	`617`	`for (BlockArgument argument : arguments) {`
	`618`	`+ // Visit property blockArgument of RegionBranchOp which isn't "control`
	`619`	`+ // flow block arguments". For example, the IV of a loop.`
`618`	`620`	`if (!llvm::is_contained(inputs, argument)) {`
`619`	`621`	`regionArguments.push_back(argument);`
`620`	`622`	`}`