https://gcc.gnu.org/bugzilla/show_bug.cgi?id=14483
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Component|rtl-optimization |tree-optimization
CC| |pinskia at gcc dot gnu.org
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
What we could do in isel pass:
find a == 0 (in gimple_cond or in gimple_assign).
for gimple_cond see if either branch only has a == 1 in it. and change `a == 0`
to `(unsigned)a < 1`
This can be a generic part of isel even.
And then the RTL passes should be able to remove the comparison.
