[llvm] [InstCombine] Optimise the expression `(C & A) | (select (C ^ true), B, false)` with `FoldOrOfAndsWithSelectToLogical` (PR #178438)

Andreas Jonson via llvm-commits llvm-commits at lists.llvm.org
Mon Feb 9 08:06:00 PST 2026


================

----------------
andjo403 wrote:

why is this is stated as one extra transform here:
(select (C ^ true), B, false) is a logical and with inverted C so the same as !C && B

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


More information about the llvm-commits mailing list