diff options
| author | Richard Biener <rguenther@suse.de> | 2016-02-01 15:40:23 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2016-02-01 15:40:23 +0000 |
| commit | ff86345f836c265d6bbb8d1bee5417e6f4c32ac9 (patch) | |
| tree | 34d167906d80905ebb683f3569c2ebae20298c70 /gcc | |
| parent | bc369dbd3f4a3290bc6e6e42892e47a90dc34f4f (diff) | |
| download | gcc-ff86345f836c265d6bbb8d1bee5417e6f4c32ac9.zip gcc-ff86345f836c265d6bbb8d1bee5417e6f4c32ac9.tar.gz gcc-ff86345f836c265d6bbb8d1bee5417e6f4c32ac9.tar.bz2 | |
re PR tree-optimization/69556 (forwprop4/match.pd undoing work from recip)
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.
From-SVN: r233040
Diffstat (limited to 'gcc')
| -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 15baad3..e17d3c5 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 6313411..491f769 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 68278d1..bfd6e9f 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 0000000..f8aecc1 --- /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" } } */ |