https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103216
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
URL|https://gcc.gnu.org/piperma |
|il/gcc-patches/2021-Novembe |
|r/584411.html |
Keywords|patch |
--- Comment #9 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
So to fix this in a better way I propose to extend the:
`/* (zero_one == 0) ? y : z <op> y -> ((typeof(y))zero_one * z) <op> y */`
patterns to handle not only zero_one but rather popcount(nz) == 1.
also treat `signed < 0` as `(signed>>signbit)&1`.
I will do that over the weekend.
