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 /gcc/match.pd | |
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
Diffstat (limited to 'gcc/match.pd')
-rw-r--r-- | gcc/match.pd | 7 |
1 files changed, 7 insertions, 0 deletions
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 |