projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 044a73d) | patch
match.pd: unsigned A - B > A --> A < B
authorMarc Glisse <marc.glisse@inria.fr>
Wed, 27 Apr 2016 21:30:27 +0000 (23:30 +0200)
committerMarc Glisse <glisse@gcc.gnu.org>
Wed, 27 Apr 2016 21:30:27 +0000 (21:30 +0000)
commit3563f78f97c4c1e1738cbd159b12d65f57c13bfb
treeccdf4790df4f3d8e0acf455f0f824154385e9461tree
parent044a73da40c548ed472948f3138ebf54d69afb09commit | diff
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.

From-SVN: r235537
gcc/ChangeLog diff | blob | history
gcc/match.pd diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/tree-ssa/minus-ovf.c [new file with mode: 0644] blob
gcc/testsuite/gcc.dg/tree-ssa/overflow-2.c [new file with mode: 0644] blob