[Bug tree-optimization/112884] Missing optimization: fold a%2==0 ? a/2*2 : 0 to a%2==0 ? a : 0

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2023-12-06
           Severity|normal                      |enhancement
                 CC|                            |pinskia at gcc dot gnu.org
             Status|UNCONFIRMED                 |NEW

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.

VRP does have the information:
=========== BB 3 ============
a_3(D)  [irange] unsigned int [0, 0][2, 4294967294] MASK 0xfffffffe VALUE 0x0
    <bb 3> :
    iftmp.0_5 = a_3(D) & 4294967294;


But it does not do the folding ...