[Mlir-commits] [mlir] [mlir][RemoveDeadValues] Simplify branch op handling using ub.poison (PR #182711)

[Fedor Nikolaev]

================
@@ -813,10 +862,9 @@ func.func @replace_dead_operation_results_with_poison(%0: vector<1xindex>) -> ve
     // the condition itself is well-formed IR. This prevents a crash in the
     // canonicalization phase which happens after the dead value removal phase.
     // Also check that only used results of an erased op are replaced with ub.poison.
-    // CHECK-CANONICALIZE:      %[[COND:.*]] = ub.poison : i1
-    // CHECK-CANONICALIZE-NEXT: %[[NEXT:.*]] = ub.poison : vector<1xindex>
-    // CHECK-CANONICALIZE-NEXT: scf.condition(%[[COND]]) %[[NEXT]]
-    // CHECK-CANONICALIZE-NOT: ub.poison : i32
+    // CHECK-CANONICALIZE: %[[p:.*]] = ub.poison : vector<1xindex>
----------------
felichita wrote:

Done

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