diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2016-07-23 00:54:36 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2016-07-23 00:54:36 +0000 |
| commit | a7d9ec8751b1bb045f83934e9be202a191249db8 (patch) | |
| tree | b07580b15999f9534793c29636d0934ca76bd3be /libcxx/test/std/experimental/filesystem/class.path/path.member/path.construct/source.pass.cpp | |
| parent | 401d031e1e1741c586b46ecd749790e51dcbc8a0 (diff) | |
| download | bcm5719-llvm-a7d9ec8751b1bb045f83934e9be202a191249db8.tar.gz bcm5719-llvm-a7d9ec8751b1bb045f83934e9be202a191249db8.zip | |
[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
Diffstat (limited to 'libcxx/test/std/experimental/filesystem/class.path/path.member/path.construct/source.pass.cpp')
0 files changed, 0 insertions, 0 deletions
