llvm/lib
Sanjoy Das edb273f9ae 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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@252236 91177308-0d34-0410-b5e6-96231b3b80d8
2015-11-05 23:45:38 +00:00
..
Analysis Re-apply r251050 with a for PR25421 2015-11-05 23:45:38 +00:00
AsmParser DI: Reverse direction of subprogram -> function edge. 2015-11-05 22:03:56 +00:00
Bitcode DI: Reverse direction of subprogram -> function edge. 2015-11-05 22:03:56 +00:00
CodeGen DI: Reverse direction of subprogram -> function edge. 2015-11-05 22:03:56 +00:00
DebugInfo [LLVMSymbolize] Reduce indentation by using helper function. NFC. 2015-11-04 00:30:26 +00:00
ExecutionEngine Refactor: Simplify boolean conditional return statements in lib/llvm/ExecutionEngine/Orc 2015-11-05 21:18:09 +00:00
Fuzzer [libFuzzer] print a bit fewer lines 2015-11-05 01:19:42 +00:00
IR DI: Reverse direction of subprogram -> function edge. 2015-11-05 22:03:56 +00:00
IRReader Return a unique_ptr from getLazyBitcodeModule and parseBitcodeFile. NFC. 2015-06-16 22:27:55 +00:00
LibDriver [Option] Use an ArrayRef to store the Option Infos in OptTable. NFC 2015-10-21 16:30:42 +00:00
LineEditor Use ADDITIONAL_HEADER_DIRS in all LLVM CMake projects. 2015-02-11 03:28:02 +00:00
Linker DI: Reverse direction of subprogram -> function edge. 2015-11-05 22:03:56 +00:00
LTO Reapply "LTO: Disable extra verify runs in release builds" 2015-09-15 23:05:59 +00:00
MC Fix pr24832. 2015-11-05 00:10:08 +00:00
Object Reapply r250906 with many suggested updates from Rafael Espindola. 2015-11-05 19:24:56 +00:00
Option [Option] Use an ArrayRef to store the Option Infos in OptTable. NFC 2015-10-21 16:30:42 +00:00
Passes [PM] Port StripDeadPrototypes to the new pass manager 2015-10-30 23:28:12 +00:00
ProfileData [PGO] Use template file to define runtime structures 2015-11-05 00:47:26 +00:00
Support Fix a signed/unsigned mismatch warning; NFC. 2015-11-05 14:22:56 +00:00
TableGen [TblGen] ArrayRefize TGParser. No functional change intended. 2015-10-24 12:46:45 +00:00
Target Remove windows line endings introduced by r252177. NFC. 2015-11-05 21:54:58 +00:00
Transforms DI: Reverse direction of subprogram -> function edge. 2015-11-05 22:03:56 +00:00
CMakeLists.txt LibDriver, llvm-lib: introduce. 2015-06-09 21:50:22 +00:00
LLVMBuild.txt Wrap some long lines in LLVMBuild files. NFC 2015-06-12 18:44:57 +00:00
Makefile LibDriver, llvm-lib: introduce. 2015-06-09 21:50:22 +00:00