https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94913
--- Comment #6 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Jakub Jelinek <ja...@gcc.gnu.org>: https://gcc.gnu.org/g:ff33680165346cb291667f38dd2e9f25a74cc3c3 commit r11-193-gff33680165346cb291667f38dd2e9f25a74cc3c3 Author: Jakub Jelinek <ja...@redhat.com> Date: Fri May 8 09:32:20 2020 +0200 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 <ja...@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.
