diff options
author | Richard Biener <rguenther@suse.de> | 2019-05-03 10:46:13 +0000 |
---|---|---|
committer | Richard Biener <rguenth@gcc.gnu.org> | 2019-05-03 10:46:13 +0000 |
commit | 839d0860cf808e7457a5e57d745830023d57998b (patch) | |
tree | 89f7e25d2d74e6ef3f0163d96cf145bb885ade18 | |
parent | a4f9edf36c8ceebac5c34d6d913871bf1c0f5190 (diff) | |
download | gcc-839d0860cf808e7457a5e57d745830023d57998b.zip gcc-839d0860cf808e7457a5e57d745830023d57998b.tar.gz gcc-839d0860cf808e7457a5e57d745830023d57998b.tar.bz2 |
re PR tree-optimization/89518 (missed optimisation for array address calculations)
2019-05-03 Richard Biener <rguenther@suse.de>
PR middle-end/89518
* match.pd: Add pattern to optimize (A / B) * B + (A % B) to A.
* gcc.dg/pr89518.c: New testcase.
From-SVN: r270846
-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/pr89518.c | 14 |
4 files changed, 31 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e9def2f..d57cd7c 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 2019-05-03 Richard Biener <rguenther@suse.de> + PR middle-end/89518 + * match.pd: Add pattern to optimize (A / B) * B + (A % B) to A. + +2019-05-03 Richard Biener <rguenther@suse.de> + PR middle-end/87314 * match.pd (cmp (convert1?@2 addr@0) (convert2? addr@1)): Handle STRING_CST vs DECL or STRING_CST. diff --git a/gcc/match.pd b/gcc/match.pd index ec03a68..5e4a4dc 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -2736,6 +2736,13 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) (mult (convert1? (exact_div @0 @@1)) (convert2? @1)) (convert @0)) +/* Simplify (A / B) * B + (A % B) -> A. */ +(for div (trunc_div ceil_div floor_div round_div) + mod (trunc_mod ceil_mod floor_mod round_mod) + (simplify + (plus:c (mult:c (div @0 @1) @1) (mod @0 @1)) + @0)) + /* ((X /[ex] A) +- B) * A --> X +- A * B. */ (for op (plus minus) (simplify diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 0e23e57..74a33be 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2019-05-03 Richard Biener <rguenther@suse.de> + PR middle-end/89518 + * gcc.dg/pr89518.c: New testcase. + +2019-05-03 Richard Biener <rguenther@suse.de> + PR middle-end/87314 * gcc.dg/pr87314-1.c: New testcase. diff --git a/gcc/testsuite/gcc.dg/pr89518.c b/gcc/testsuite/gcc.dg/pr89518.c new file mode 100644 index 0000000..5b289c2 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr89518.c @@ -0,0 +1,14 @@ +/* { dg-do compile } */ +/* { dg-options "-O -fdump-tree-original" } */ + +unsigned foo (unsigned a, unsigned b) +{ + return a/b * b + a%b; +} + +int bar (int a, int b) +{ + return a/b * b + a%b; +} + +/* { dg-final { scan-tree-dump-times "return a;" 2 "original" } } */ |