projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2598b1f) | patch
Transform "A + B >= A + C" into "B >= C" if the adds do not wrap. Likewise for some
authorDuncan Sands <baldrick@free.fr>
Thu, 17 Feb 2011 07:46:37 +0000 (07:46 +0000)
committerDuncan Sands <baldrick@free.fr>
Thu, 17 Feb 2011 07:46:37 +0000 (07:46 +0000)
commita77243300ba1a40c80c0f8417ba74bb76e7de279
treea131e17994d3201e93c709d58ae876c68dd1cd64tree | snapshot
parent2598b1f4ac3d8242bb3821414f86e388b24c6046commit | diff
Transform "A + B >= A + C" into "B >= C" if the adds do not wrap.  Likewise for some
variations (some of these were already present so I unified the code).  Spotted by my
auto-simplifier as occurring a lot.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@125734 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/InstCombine/InstCombineCompares.cpp diff | blob | history
test/Transforms/InstCombine/icmp.ll diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors