[Bug middle-end/77499] [13/14/15/16 Regression] Regression after code-hoisting, due to combine pass failing to evaluate known value range

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |pinskia at gcc dot 
gnu.org

--- Comment #29 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I am going to look into this for GCC 17.

For xor and ior expansion for widening case we should produce:
temp:si = Zero extended cst
res:SI = old:SI IOR/XOR temp:si

For the constant case.