diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-10-02 18:50:30 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-10-02 18:50:30 +0000 |
| commit | 7d910f2b115eded4212e2d67e9265c1a929c2000 (patch) | |
| tree | bc8923305957fa54a7b7e32ac69fcb1cd8a5282f /clang/test/CodeGen/cxx-value-init.cpp | |
| parent | a994b0b27314668f5bcddaf8ba166c531ddb797c (diff) | |
| download | bcm5719-llvm-7d910f2b115eded4212e2d67e9265c1a929c2000.tar.gz bcm5719-llvm-7d910f2b115eded4212e2d67e9265c1a929c2000.zip | |
[SCEV] Try to prove predicates by splitting them
Summary:
This change teaches SCEV that to prove `A u< B` it is sufficient to
prove each of these facts individually:
- B >= 0
- A s< B
- A >= 0
In practice, SCEV sometimes finds it easier to prove these facts
individually than to prove `A u< B` as one atomic step.
Reviewers: reames, atrick, nlewycky, hfinkel
Subscribers: sanjoy, llvm-commits
Differential Revision: http://reviews.llvm.org/D13042
llvm-svn: 249168
Diffstat (limited to 'clang/test/CodeGen/cxx-value-init.cpp')
0 files changed, 0 insertions, 0 deletions
