diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-10-22 19:57:29 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-10-22 19:57:29 +0000 |
| commit | 1123148d40691a9ce08879fff878a02acd0f6822 (patch) | |
| tree | 4c4e3e23406d6426468339e9fd908880b69c835b /llvm/include/llvm/Support/ErrorHandling.h | |
| parent | a060e602fd6afa836f17da5b7fc865651714d259 (diff) | |
| download | bcm5719-llvm-1123148d40691a9ce08879fff878a02acd0f6822.tar.gz bcm5719-llvm-1123148d40691a9ce08879fff878a02acd0f6822.zip | |
[SCEV] Teach SCEV some axioms about non-wrapping arithmetic
Summary:
- A s< (A + C)<nsw> if C > 0
- A s<= (A + C)<nsw> if C >= 0
- (A + C)<nsw> s< A if C < 0
- (A + C)<nsw> s<= A if C <= 0
Right now `C` needs to be a constant, but we can later generalize it to
be a non-constant if needed.
Reviewers: atrick, hfinkel, reames, nlewycky
Subscribers: sanjoy, llvm-commits
Differential Revision: http://reviews.llvm.org/D13686
llvm-svn: 251050
Diffstat (limited to 'llvm/include/llvm/Support/ErrorHandling.h')
0 files changed, 0 insertions, 0 deletions
