[Mlir-commits] [mlir] [mlir][dataflow] Add new visitNonControlFlowArgumentst API to SparseDataFlowAnalysis and apply it in LivenessAnalysis/RemoveDeadValues/IntegerRangeAnalysis (PR #169816)

Oleksandr Alex Zinenko llvmlistbot at llvm.org
Wed Dec 31 00:29:41 PST 2025


================
@@ -431,6 +431,10 @@ class AbstractSparseBackwardDataFlowAnalysis : public DataFlowAnalysis {
   // Visit operands on branch instructions that are not forwarded.
   virtual void visitBranchOperand(OpOperand &operand) = 0;
 
+  // Visit the non-forwarded variables of a region, such as the
----------------
ftynse wrote:

```suggestion
  // Visit the non-forwarded arguments of a region, such as the
```

Let's please not introduce additional terminology. This logic is complex enough already.

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


More information about the Mlir-commits mailing list