https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118483

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Adding

(for eqne (eq ne)
 (for cmp (lt le eq ne ge gt)
      icmp (ge gt ne eq lt le)
 (simplify
  (eqne (cmp @0 @1) (icmp @0 @1))
  (if (!FLOAT_TYPE_P (TREE_TYPE (@0)))
   { constant_boolean_node (eqne == NE_EXPR, type); }))))

fixes that (make more robust with tcc_comparison, inverted_...,
inverted_...with_nans and handle NaNs like elsehwere).

Reply via email to