[llvm-bugs] [Bug 233728] [mlir][arith] ValueBounds model of arith.maxui adds `result >= lhs` when only lhs is non-negative -> affine-simplify-min-max miscompile

LLVM Bugs via llvm-bugs llvm-bugs at lists.llvm.org
Tue Oct 20 00:39:58 PDT 2026

Previous message: [llvm-bugs] [Bug 233726] [mlir][bufferization][vector] transfer_write claims it does not read its destination for partial writes; One-Shot Bufferize drops the copy (miscompile)
Next message: [llvm-bugs] [Bug 233729] [mlir][arith] arith.constant with a dense_resource value never sets its integer range -> -int-range-optimizations folds an scf.if to the other branch
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20261020/175214ac/attachment.html>

More information about the llvm-bugs mailing list