https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94919
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |ASSIGNED
Last reconfirmed| |2020-05-25
Ever confirmed|0 |1
Severity|normal |enhancement
Assignee|unassigned at gcc dot gnu.org |pinskia at gcc dot
gnu.org
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
The transformation we should do is:
((x ^ y) & -(Z)) ^ y
Where Z has the range of [0...1] (bool).
To:
Z ? x : y
I will look into adding this to match.pd and all.