diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-11-05 23:45:38 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-11-05 23:45:38 +0000 |
| commit | c1a2977fb24a799a11f3586cfd45d39f300ae002 (patch) | |
| tree | 5875ee946b1e7b09f6298ab4421c3e425229d947 /llvm/lib/MC/MCDwarf.cpp | |
| parent | 8307ede58f16ffeffc127ef8acd94c4b4a23c804 (diff) | |
| download | bcm5719-llvm-c1a2977fb24a799a11f3586cfd45d39f300ae002.tar.gz bcm5719-llvm-c1a2977fb24a799a11f3586cfd45d39f300ae002.zip | |
Re-apply r251050 with a for PR25421
The bug: I missed adding break statements in the switch / case.
Original commit message:
[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: 252236
Diffstat (limited to 'llvm/lib/MC/MCDwarf.cpp')
0 files changed, 0 insertions, 0 deletions
