diff options
author | Richard Biener <rguenther@suse.de> | 2016-02-01 15:40:23 +0000 |
---|---|---|
committer | Richard Biener <rguenther@suse.de> | 2016-02-01 15:40:23 +0000 |
commit | dd2ff89a28940150a7d2451c575ce1cba96da291 (patch) | |
tree | 34d167906d80905ebb683f3569c2ebae20298c70 | |
parent | bfc4f373299b4c5983d5e5632c12c10d9ce1777b (diff) |
2016-02-01 Richard Biener <rguenther@suse.de>
PR middle-end/69556
* match.pd: Guard (C1/X)*C2 -> (C1*C2)/X with single_use.
* gcc.dg/tree-ssa/recip-8.c: New testcase.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@233040 138bc75d-0d04-0410-961f-82ee72b054a4
-rw-r--r-- | gcc/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/match.pd | 5 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/recip-8.c | 12 |
4 files changed, 25 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 15baad3a186..e17d3c54fb8 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 2016-02-01 Richard Biener <rguenther@suse.de> + PR middle-end/69556 + * match.pd: Guard (C1/X)*C2 -> (C1*C2)/X with single_use. + +2016-02-01 Richard Biener <rguenther@suse.de> + PR tree-optimization/69574 * tree-chrec.c (hide_evolution_in_other_loops_than_loop): Instead of asserting return chrec_dont_know. diff --git a/gcc/match.pd b/gcc/match.pd index 63134114bdb..491f769c1dd 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -445,8 +445,9 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) /* Fold (C1/X)*C2 into (C1*C2)/X. */ (simplify - (mult (rdiv:s REAL_CST@0 @1) REAL_CST@2) - (if (flag_associative_math) + (mult (rdiv@3 REAL_CST@0 @1) REAL_CST@2) + (if (flag_associative_math + && single_use (@3)) (with { tree tem = const_binop (MULT_EXPR, type, @0, @2); } (if (tem) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 68278d13f85..bfd6e9f6ce4 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2016-02-01 Richard Biener <rguenther@suse.de> + PR middle-end/69556 + * gcc.dg/tree-ssa/recip-8.c: New testcase. + +2016-02-01 Richard Biener <rguenther@suse.de> + PR tree-optimization/69574 * gcc.dg/torture/pr69574.c: New testcase. diff --git a/gcc/testsuite/gcc.dg/tree-ssa/recip-8.c b/gcc/testsuite/gcc.dg/tree-ssa/recip-8.c new file mode 100644 index 00000000000..f8aecc127c1 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/recip-8.c @@ -0,0 +1,12 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -ffast-math -fdump-tree-optimized" } */ + +double bar (double, double, double, double, double); + +double +foo (double a) +{ + return bar (1.0/a, 2.0/a, 4.0/a, 8.0/a, 16.0/a); +} + +/* { dg-final { scan-tree-dump-times "/" 1 "optimized" } } */ |