| commit | a77243300ba1a40c80c0f8417ba74bb76e7de279 | [log] [tgz] |
|---|---|---|
| author | Duncan Sands <baldrick@free.fr> | Thu Feb 17 07:46:37 2011 +0000 |
| committer | Duncan Sands <baldrick@free.fr> | Thu Feb 17 07:46:37 2011 +0000 |
| tree | a131e17994d3201e93c709d58ae876c68dd1cd64 | |
| parent | 2598b1f4ac3d8242bb3821414f86e388b24c6046 [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