[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