[Bug tree-optimization/125234] [17 Regression] wrong code for int-bwise-opt

[rguenth at gcc dot gnu.org via Gcc-bugs]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2026-05-08
           Priority|P3                          |P1
            Summary|wrong code for              |[17 Regression] wrong code
                   |int-bwise-opt               |for int-bwise-opt
             Status|UNCONFIRMED                 |NEW
           Keywords|                            |wrong-code
     Ever confirmed|0                           |1
   Target Milestone|---                         |17.0

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
(for bitop (bit_and bit_ior)
     neeql (ne      eq)
     neeqr (eq      ne)
 (simplify
  (bitop (neeql @0 @1) (neeqr (bit_ior @0 @1) integer_zerop))
  { constant_boolean_node (bitop==BIT_AND_EXPR, type); }))

Confirmed.