Sanjoy Das a7d9ec8751 [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.

llvm-svn: 276505

2016-07-23 00:54:36 +00:00

387 KiB

Raw Blame History

View Raw