diff options
| author | Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org> | 2017-05-10 13:26:09 +0000 |
|---|---|---|
| committer | Prathamesh Kulkarni <prathamesh3492@gcc.gnu.org> | 2017-05-10 13:26:09 +0000 |
| commit | 0ca2e7f77c6e82b3b8973c307cb22485df92728f (patch) | |
| tree | 57d7287a72f79f8a55ab82e7faf62b60f96db702 /gcc | |
| parent | d5a2f455e69040cec63269e12307c4c4699850d5 (diff) | |
| download | gcc-0ca2e7f77c6e82b3b8973c307cb22485df92728f.zip gcc-0ca2e7f77c6e82b3b8973c307cb22485df92728f.tar.gz gcc-0ca2e7f77c6e82b3b8973c307cb22485df92728f.tar.bz2 | |
re PR tree-optimization/77644 (missed optimization with sqrt in comparison)
2017-05-10 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
PR tree-optimization/77644
* match.pd (sqrt(x) cmp sqrt(y) -> x cmp y): New pattern.
testsuite/
* gcc.dg/tree-ssa/pr77644.c: New test-case.
From-SVN: r247835
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/match.pd | 7 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/pr77644.c | 28 |
4 files changed, 44 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 72dd1bc..428efba 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2017-05-10 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org> + + PR tree-optimization/77644 + * match.pd (sqrt(x) cmp sqrt(y) -> x cmp y): New pattern. + 2017-05-10 Nathan Sidwell <nathan@acm.org> * dumpfile.h (TDI_lang_all): New. diff --git a/gcc/match.pd b/gcc/match.pd index e3d98ba..80a17ba 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -2633,7 +2633,12 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) (if (GENERIC) (truth_andif (ge @0 { build_real (TREE_TYPE (@0), dconst0); }) - (cmp @0 { build_real (TREE_TYPE (@0), c2); })))))))))))) + (cmp @0 { build_real (TREE_TYPE (@0), c2); }))))))))) + /* Transform sqrt(x) cmp sqrt(y) -> x cmp y. */ + (simplify + (cmp (sq @0) (sq @1)) + (if (! HONOR_NANS (@0)) + (cmp @0 @1)))))) /* Fold A /[ex] B CMP C to A CMP B * C. */ (for cmp (eq ne) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 0fc75a3..e300900 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2017-05-10 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org> + + PR tree-optimization/77644 + * gcc.dg/tree-ssa/pr77644.c: New test-case. + 2017-05-10 Alexandre Oliva <aoliva@redhat.com> * gcc.dg/guality/inline-params-2.c: New. diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr77644.c b/gcc/testsuite/gcc.dg/tree-ssa/pr77644.c new file mode 100644 index 0000000..c73bb73 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr77644.c @@ -0,0 +1,28 @@ +/* { dg-do compile } */ +/* { dg-require-effective-target c99_runtime } */ +/* { dg-options "-O2 -fdump-tree-optimized -funsafe-math-optimizations -fno-math-errno -ffinite-math-only" } */ + +#define FOO(type, cmp, suffix, no) \ +int f_##no(type x, type y) \ +{ \ + type gen_##no(); \ + type xs = __builtin_sqrt##suffix((gen_##no())); \ + type xy = __builtin_sqrt##suffix((gen_##no())); \ + return (xs cmp xy); \ +} + +#define GEN_FOO(type, suffix) \ +FOO(type, <, suffix, suffix##1) \ +FOO(type, <=, suffix, suffix##2) \ +FOO(type, >, suffix, suffix##3) \ +FOO(type, >=, suffix, suffix##4) \ +FOO(type, ==, suffix, suffix##5) \ +FOO(type, !=, suffix, suffix##6) + +GEN_FOO(float, f) +GEN_FOO(double, ) +GEN_FOO(long double, l) + +/* { dg-final { scan-tree-dump-not "__builtin_sqrtf" "optimized" } } */ +/* { dg-final { scan-tree-dump-not "__builtin_sqrt" "optimized" } } */ +/* { dg-final { scan-tree-dump-not "__builtin_sqrtl" "optimized" } } */ |