OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR tree-optimization/77644 (missed optimization with sqrt in comparison)

Browse Source 
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
This commit is contained in:
Prathamesh Kulkarni 2017-05-10 13:26:09 +00:00 committed by Prathamesh Kulkarni
parent d5a2f455e6
commit 0ca2e7f77c
4 changed files with 44 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -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.

7
gcc/match.pd
View File

@ -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)

5
gcc/testsuite/ChangeLog
View File

@ -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.

28
gcc/testsuite/gcc.dg/tree-ssa/pr77644.c Normal file
View File

@ -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" } } */