[llvm-branch-commits] [mlir] [mlir][UB] Add `ub.unreachable` canonicalization (PR #169873)

[Mehdi Amini via llvm-branch-commits]

================
@@ -445,14 +446,43 @@ struct CondBranchTruthPropagation : public OpRewritePattern<CondBranchOp> {
     return success(replaced);
   }
 };
+
+struct DropUnreachableCondBranch : public OpRewritePattern<CondBranchOp> {
----------------
joker-eph wrote:

Can you add a small snippet/explanation summary of the transformation?

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