[llvm-bugs] [Bug 239942] [MLIR][SMT] `isa<SMTDialect>(op->getDialect())` asserts on an unregistered op inside `smt.exists`/`smt.forall` patterns and `transform.smt.constrain_params` (`--allow-unregistered-dialect`)

LLVM Bugs via llvm-bugs llvm-bugs at lists.llvm.org
Sat Nov 7 01:26:11 PST 2026

Previous message: [llvm-bugs] [Bug 239941] [MLIR][AMDGPU] `!amdgpu.tdm_gather_base` with a non-integer/float element type asserts in `getIntOrFloatBitWidth` while parsing, instead of a type verifier error
Next message: [llvm-bugs] [Bug 239943] [MLIR][Linalg] `linalg.pack` verifier asserts "static tile size can't be zero" when an SSA tile is `arith.constant 0` and there is no `padding_value`
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20261107/fa2230c3/attachment-0001.html>

More information about the llvm-bugs mailing list