[Bug middle-end/126742] [17 Regression] Wrong code for a != b | (a|b) != 0

kaelfandrew at gmail dot com via Gcc-bugs <[email protected]> Sat, 08 Aug 2026 22:24:38 +0000

Newsgroups	gmane.comp.gcc.bugs
Message-ID	<[email protected]/bugzilla/>

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126742

--- Comment #2 from Kael Franco <kaelfandrew at gmail dot com> ---
(In reply to Drea Pinski from comment #1)
> Confirmed.
> It was either r17-231-gc65691bc5a2873 or r17-2886-g092e382942aeb2 that
> messed this up.

r17-2886.

Problem is:

 (simplify
  (bitop:c (eqne @0 @1) (eqne (bit_ior@2 @0 @1) integer_zerop@3))
  (neeq @2 @3))

should be:

 (simplify
  (bitop:c (neeq @0 @1) (neeq (bit_ior@2 @0 @1) integer_zerop@3))
  (neeq @2 @3))