[Bug rtl-optimization/128583] [14/15/16/17 Regression] x86_64: wrong code at -O2: v == (_BitInt(33))(-2 & g) is compiled as v << 31 == 0

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

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

Drea Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |14.5
           Keywords|                            |needs-bisection
      Known to work|                            |12.5.0
      Known to fail|                            |13.1.0
            Summary|x86_64: wrong code at -O2:  |[14/15/16/17 Regression]
                   |v == (_BitInt(33))(-2 & g)  |x86_64: wrong code at -O2:
                   |is compiled as v << 31 == 0 |v == (_BitInt(33))(-2 & g)
                   |                            |is compiled as v << 31 == 0