[Mlir-commits] [mlir] [mlir][docs] Add poison example to canonicalization section (PR #192782)

Matthias Springer llvmlistbot at llvm.org
Sat Apr 18 22:59:52 PDT 2026


================
@@ -96,6 +96,8 @@ canonicalizations include:
   rewriting `tensor.insert_slice(%src, tensor.cast(%dst))` (where the cast
   converts from `tensor<5xf32>` to `tensor<?xf32>`) as
   `tensor.cast(tensor.insert_slice(%src, %dst))`.
+* Replacing poisoned results with `ub.poison`. E.g., replacing
+  `arith.divsi(%c5, %c2, exact)` with `ub.poison`.
----------------
matthias-springer wrote:

not the “exact” keyword

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


More information about the Mlir-commits mailing list