[llvm-bugs] [Bug 229503] [InstCombine] Missed folds for Carry-Save Adder identities: `(A ^ B) + ((A & B) << 1)` to `A + B` and `(A + B) - ((A & B) << 1)` to `A ^ B`

LLVM Bugs via llvm-bugs llvm-bugs at lists.llvm.org
Tue Oct 6 10:52:08 PDT 2026

Previous message: [llvm-bugs] [Bug 229493] [InstCombine] Missed fold `(A | B) - (A & ~B)` to `B` and `(A ^ B) - (A & ~B)` to `~A & B`
Next message: [llvm-bugs] [Bug 229529] [KnownFPClass] Teach KnownFPClass that `atan(non-positive) = non-positive`
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: [llvm-bugs] [Bug 229493] [InstCombine] Missed fold `(A | B) - (A & ~B)` to `B` and `(A ^ B) - (A & ~B)` to `~A & B`
Next message: [llvm-bugs] [Bug 229529] [KnownFPClass] Teach KnownFPClass that `atan(non-positive) = non-positive`
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-bugs mailing list