From cfdc4f334db1ad1f44eb81bb827d6c39074c522d Mon Sep 17 00:00:00 2001 From: Marc Glisse Date: Tue, 14 Apr 2015 10:49:16 +0200 Subject: [PATCH] re PR other/63387 (Optimize pairs of isnan() calls into a single isunordered()) 2015-04-14 Marc Glisse PR tree-optimization/63387 gcc/ * match.pd ((x unord x) | (y unord y) -> (x unord y), (x unord x) | (x unord y) -> (x unord y)): New simplifications. gcc/testsuite/ * gcc.dg/pr63387.c: New testcase. From-SVN: r222077 --- gcc/ChangeLog | 6 ++++++ gcc/match.pd | 9 +++++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/pr63387.c | 26 ++++++++++++++++++++++++++ 4 files changed, 46 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/pr63387.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b1b06b3bf4e..f44fd64533a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2015-04-14 Marc Glisse + + PR tree-optimization/63387 + * match.pd ((x unord x) | (y unord y) -> (x unord y), + (x unord x) | (x unord y) -> (x unord y)): New simplifications. + 2015-04-14 Uros Bizjak * config/i386/predicates.md (any_QIreg_operand): Rename from diff --git a/gcc/match.pd b/gcc/match.pd index d438179be4f..fc374de4121 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -932,6 +932,15 @@ along with GCC; see the file COPYING3. If not see (if (ic == ncmp) (ncmp @0 @1))))) +/* Unordered tests if either argument is a NaN. */ +(simplify + (bit_ior (unordered @0 @0) (unordered @1 @1)) + (if ((GIMPLE && types_compatible_p (TREE_TYPE (@0), TREE_TYPE (@1))) + || (GENERIC && TREE_TYPE (@0) == TREE_TYPE (@1))) + (unordered @0 @1))) +(simplify + (bit_ior:c (unordered @0 @0) (unordered:c@2 @0 @1)) + @2) /* Simplification of math builtins. */ diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 18ce31ce12f..aec780ba132 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2015-04-14 Marc Glisse + + PR tree-optimization/63387 + * gcc.dg/pr63387.c: New testcase. + 2015-04-12 Jan Hubicka * g++.dg/tree-ssa/nonzero-3.C: New testcase. diff --git a/gcc/testsuite/gcc.dg/pr63387.c b/gcc/testsuite/gcc.dg/pr63387.c new file mode 100644 index 00000000000..1814fe08c9d --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr63387.c @@ -0,0 +1,26 @@ +/* { dg-do compile } */ +/* { dg-options "-O -fdump-tree-optimized" } */ + +int f(double aaa, double bbb){ + int xa = __builtin_isunordered(aaa, aaa); + int xb = __builtin_isunordered(bbb, bbb); + return xa | xb; +} + +int g(double aaa, double bbb){ + int xa = __builtin_isunordered(aaa, bbb); + int xb = __builtin_isunordered(bbb, bbb); + return xa | xb; +} + +int h(double ccc, float ddd){ + int xc = __builtin_isunordered(ccc, ccc); + int xd = __builtin_isunordered(ddd, ddd); + return xc | xd; +} + +/* { dg-final { scan-tree-dump-not "aaa\[^\n\r\]* unord aaa" "optimized" } } */ +/* { dg-final { scan-tree-dump-not "bbb\[^\n\r\]* unord bbb" "optimized" } } */ +/* { dg-final { scan-tree-dump-times "aaa\[^\n\r\]* unord bbb" 2 "optimized" } } */ +/* { dg-final { scan-tree-dump-not "ccc\[^\n\r\]* unord ddd" "optimized" } } */ +/* { dg-final { cleanup-tree-dump "optimized" } } */ -- 2.30.2