https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93744
Alexander Monakov <amonakov at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |amonakov at gcc dot gnu.org
--- Comment #4 from Alexander Monakov <amonakov at gcc dot gnu.org> ---
Note that the pattern will get sign of floating-point zero wrong if it ever
triggers for an fp type.
Also, it's too specific: it at least misses eq/ne comparisons, but generally
speaking it doesn't need to be tied to comparisons in the first place: any
multiplication by a boolean value can be converted to a select.
