diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2020-05-08 09:32:20 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@redhat.com> | 2020-05-08 09:32:20 +0200 |
| commit | ff33680165346cb291667f38dd2e9f25a74cc3c3 (patch) | |
| tree | 357d4e2d6b76e6805659de387b7d161523eaceae /gcc/ada/gcc-interface/utils.c | |
| parent | af1634f1b555004753a22d1124dbb8419ee095cb (diff) | |
| download | gcc-ff33680165346cb291667f38dd2e9f25a74cc3c3.zip gcc-ff33680165346cb291667f38dd2e9f25a74cc3c3.tar.gz gcc-ff33680165346cb291667f38dd2e9f25a74cc3c3.tar.bz2 | |
match.pd: Simplify unsigned A - B - 1 >= A to B >= A [PR94913]
Implemented thusly. The TYPE_OVERFLOW_WRAPS is there just because the
pattern above it has it too, if you want, I can throw it away from both.
2020-05-08 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/94913
* match.pd (A - B + -1 >= A to B >= A): New simplification.
(A - B > A to A < B): Don't test TYPE_OVERFLOW_WRAPS which is always
true for TYPE_UNSIGNED integral types.
* gcc.dg/tree-ssa/pr94913.c: New test.
Diffstat (limited to 'gcc/ada/gcc-interface/utils.c')
0 files changed, 0 insertions, 0 deletions