match.pd: unsigned A - B > A --> A < B
commitdfba09056728a3d14c8bfb4462c3444e023d969b
authorglisse <glisse@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 27 Apr 2016 21:30:27 +0000 (27 21:30 +0000)
committerglisse <glisse@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 27 Apr 2016 21:30:27 +0000 (27 21:30 +0000)
treeccdf4790df4f3d8e0acf455f0f824154385e9461
parente3008af501a77da4e9b4b5102d25066427eae376
match.pd: unsigned A - B > A --> A < B

2016-04-27  Marc Glisse  <marc.glisse@inria.fr>

gcc/
* match.pd (A - B > A, A + B < A): New transformations.

gcc/testsuite/
* gcc.dg/tree-ssa/overflow-2.c: New testcase.
* gcc.dg/tree-ssa/minus-ovf.c: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@235537 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/match.pd
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/minus-ovf.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/overflow-2.c [new file with mode: 0644]