llvm/lib
Sanjoy Das ee37e50003 [JumpThreading] Use dominating conditions to prove implications
Summary:
If P branches to Q conditional on C and Q branches to R conditional on
C' and C => C' then the branch conditional on C' can be folded to an
unconditional branch.

Reviewers: reames

Subscribers: llvm-commits

Differential Revision: http://reviews.llvm.org/D13972

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@251557 91177308-0d34-0410-b5e6-96231b3b80d8
2015-10-28 21:27:08 +00:00
..
Analysis [AliasAnalysis] Take into account readnone attribute for the function arguments 2015-10-28 17:54:48 +00:00
AsmParser AsmParser: Remove implicit ilist iterator conversions, NFC 2015-10-20 01:12:49 +00:00
Bitcode Bitcode: Fix more unsigned integer overflow bugs. 2015-10-27 23:01:25 +00:00
CodeGen [ValueTracking] Use !range metadata more aggressively in KnownBits 2015-10-28 03:20:15 +00:00
DebugInfo [LLVMSymbolize] Don't use LLVMSymbolizer::Options in ModuleInfo. NFC. 2015-10-26 22:34:56 +00:00
ExecutionEngine [Orc] Remove unnecessary semicolon. NFC. 2015-10-28 11:02:01 +00:00
Fuzzer [libFuzzer] add -merge flag to merge corpora 2015-10-24 01:16:40 +00:00
IR [SCEV] Opportunistically interpret unsigned constraints as signed 2015-10-22 19:57:34 +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
Linker Linker: Remove implicit ilist iterator conversion, NFC 2015-10-19 22:23:36 +00:00
LTO Reapply "LTO: Disable extra verify runs in release builds" 2015-09-15 23:05:59 +00:00
MC [ms-inline-asm] Leave alignment in bytes if the native assembler uses bytes 2015-10-27 17:32:48 +00:00
Object [AVR] Add ELF constants to headers 2015-10-23 06:05:55 +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 SROA to the new pass manager. 2015-09-12 09:09:14 +00:00
ProfileData [PGO] RawProf Reader code cleanup 2015-10-28 19:34:04 +00:00
Support [X86] Make elfiamcu an OS, not an environment. 2015-10-27 07:23:59 +00:00
TableGen [TblGen] ArrayRefize TGParser. No functional change intended. 2015-10-24 12:46:45 +00:00
Target [X86] A small fix in X86/X86TargetTransformInfo.cpp: check a value type is simple before calling getSimpleVT(). 2015-10-28 18:15:46 +00:00
Transforms [JumpThreading] Use dominating conditions to prove implications 2015-10-28 21:27:08 +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