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

Mehdi Amini via llvm-branch-commits llvm-branch-commits at lists.llvm.org
Fri Nov 28 01:29:51 PST 2025


================
@@ -22,7 +22,7 @@ include "mlir/Interfaces/SideEffectInterfaces.td"
 def ControlFlow_Dialect : Dialect {
   let name = "cf";
   let cppNamespace = "::mlir::cf";
-  let dependentDialects = ["arith::ArithDialect"];
+  let dependentDialects = ["arith::ArithDialect", "ub::UBDialect"];
----------------
joker-eph wrote:

Why is this needed? Are you creating a ub dialect entity in the canonicalization? Just checking with a isa does not need it.

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


More information about the llvm-branch-commits mailing list