| commit | fa292119889fc1ebdfd6493342445a74190596ad | [log] [tgz] |
|---|---|---|
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | Sat Jul 23 00:54:36 2016 +0000 |
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | Sat Jul 23 00:54:36 2016 +0000 |
| tree | bc67cc2ef73ad2587e6091d82926f7e217cced79 | |
| parent | 18768c9758d1814876b1bac31c28dca547ce2ee0 [diff] |
[SCEV] Make isImpliedCondOperandsViaRanges smarter
This change lets us prove things like
"{X,+,10} s< 5000" implies "{X+7,+,10} does not sign overflow"
It does this by replacing replacing getConstantDifference by
computeConstantDifference (which is smarter) in
isImpliedCondOperandsViaRanges.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@276505 91177308-0d34-0410-b5e6-96231b3b80d8