diff options
author | Richard Biener <rguenther@suse.de> | 2019-05-03 10:46:13 +0000 |
---|---|---|
committer | Richard Biener <rguenther@suse.de> | 2019-05-03 10:46:13 +0000 |
commit | 5f3b731cab5e5a071771fce29f0b2d559485906c (patch) | |
tree | 89f7e25d2d74e6ef3f0163d96cf145bb885ade18 /gcc/match.pd | |
parent | 8cb54341a9209224a6fc793492ed83c01a3baaa3 (diff) |
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.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@270846 138bc75d-0d04-0410-961f-82ee72b054a4
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 ec03a680e33..5e4a4dc51a2 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 |