[Bug other/63387] Optimize pairs of isnan() calls into a single isunordered()

[glisse at gcc dot gnu.org]

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

--- Comment #8 from Marc Glisse <glisse at gcc dot gnu.org> ---
Author: glisse
Date: Fri May 22 21:05:26 2015
New Revision: 223591

URL: https://gcc.gnu.org/viewcvs?rev=223591&root=gcc&view=rev
Log:
2015-05-22  Marc Glisse  <marc.gli...@inria.fr>

        PR tree-optimization/63387
gcc/
        * match.pd ((X /[ex] A) * A -> X): Remove unnecessary condition.
        ((x ord x) & (y ord y) -> (x ord y),
        (x ord x) & (x ord y) -> (x ord y)): New simplifications.
        * fold-const.c (tree_unary_nonnegative_warnv_p) <ABS_EXPR>: Handle
        vectors like scalars.
gcc/testsuite/
        * gcc.dg/pr63387-2.c: New testcase.


Added:
    trunk/gcc/testsuite/gcc.dg/pr63387-2.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/fold-const.c
    trunk/gcc/match.pd
    trunk/gcc/testsuite/ChangeLog