[Mlir-commits] [mlir] [mlir][dataflow] Drop the firstIndex argument of old visitNonControlFlowArguments, add new visitNonControlFlowArguments API and use it in IntegerRangeAnalysis (PR #175210)

Matthias Springer llvmlistbot at llvm.org
Sat Jan 24 04:40:11 PST 2026


================
@@ -187,8 +187,8 @@ void AbstractSparseForwardDataFlowAnalysis::visitBlock(Block *block) {
 
     // Otherwise, we can't reason about the data-flow.
     return visitNonControlFlowArgumentsImpl(
-        block->getParentOp(), RegionSuccessor(block->getParent()), ValueRange(),
-        argLattices, /*firstIndex=*/0);
+        block->getParentOp(), block->getParent(), block->getParent()->getArguments(),
----------------
matthias-springer wrote:

I also noticed that. `RegionSuccessor` for ops that don't implement the `RegionBranchOpInterface` seems fishy.


https://github.com/llvm/llvm-project/pull/175210


More information about the Mlir-commits mailing list