[Mlir-commits] [mlir] [MLIR] `remove-dead-values` and RegionBranchOp canononicalizations fixes around the `IsolatedFromAbove` ops (PR #224831)

[Matthias Springer]

================
@@ -48,6 +48,15 @@ ChangeResult Liveness::meet(const AbstractSparseLattice &other) {
 // LivenessAnalysis
 //===----------------------------------------------------------------------===//
 
+LogicalResult LivenessAnalysis::initialize(Operation *top) {
+  // Users outside the analysis root are not visited. Mark all root results live
----------------
matthias-springer wrote:

I missed this part `Users outside the analysis root are not visited.` That explains it good enough.

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