https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88055
Segher Boessenkool <segher at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed|2018-11-16 00:00:00 |2018-11-22
Ever confirmed|0 |1
--- Comment #4 from Segher Boessenkool <segher at gcc dot gnu.org> ---
Confirmed the comment 2 example.
What happens is that rs6000_generate_compare (and all of the rs6000 backend
in fact) does not handle UNLT (and similar) if flag_finite_math_only is true.
But tree-call-cdce.c:gen_conditions_for_domain unconditionally generates them.
Should the backend be changed? Note these conditions are pretty useless, they
will always be optimised away again. Or should the tree-call-cdce code (as
well as anything else) not generate those codes if flag_finite_math_only?
