https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109829
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Don't you need also
(simplify
(cond (eq (SIGNBIT @0) zero_p@1) (neg @0) @0)
(neg (abs @0)))
(simplify
(cond (eq (SIGNBIT @0) zero_p@1) @0 (neg @0))
(abs @0))
?
Or does match.pd try to invert all the COND_EXPR conditions and swap the
operands?
