[Mlir-commits] [mlir] [mlir][dataflow] Add visitBranchRegionArgument interface to SparseBackwardDataFlowAnalysis and apply it in LivenessAnalysis/RemoveDeadValues (PR #169816)

lonely eagle llvmlistbot at llvm.org
Thu Nov 27 22:34:45 PST 2025


================
@@ -166,25 +165,6 @@ void LivenessAnalysis::visitBranchOperand(OpOperand &operand) {
           blocks.push_back(&block);
       }
     }
-
-    // In the block of the successor block argument of RegionBranchOpInterface,
----------------
linuxlonelyeagle wrote:

Because the affine.for in the test does not have SSA values as operands.You can see that I deleted the code in liveness analysis.I thought I had completely fixed this bug, but the fact is not. This PR has fixed it.

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


More information about the Mlir-commits mailing list