Max Kazantsev 23381e1b40 [SCEV] Make isLoopEntryGuardedByCond a bit smarter ... Sometimes `isLoopEntryGuardedByCond` cannot prove predicate `a > b` directly. But it is a common situation when `a >= b` is known from ranges and `a != b` is known from a dominating condition. Thia patch teaches SCEV to sum these facts together and prove strict comparison via non-strict one. Differential Revision: https://reviews.llvm.org/D42835 llvm-svn: 324453		2018-02-07 07:56:26 +00:00
..
Analysis	[SCEV] Make isLoopEntryGuardedByCond a bit smarter	2018-02-07 07:56:26 +00:00
AsmParser	Add DWARF for discriminated unions	2018-02-06 23:45:59 +00:00
BinaryFormat	Add DWARF for discriminated unions	2018-02-06 23:45:59 +00:00
Bitcode	[ThinLTO] Serialize WithGlobalValueDeadStripping index flag for distributed backends	2018-02-07 04:05:59 +00:00
CodeGen	[LegalizeDAG] Truncate condition operand of ISD::SELECT	2018-02-07 05:38:29 +00:00
DebugInfo	[DWARF] Regularize dumping strings from line tables.	2018-02-05 20:43:15 +00:00
Demangle
ExecutionEngine	[ORC] Use explicit constructor calls to fix a builder error at	2018-02-06 22:17:09 +00:00
Fuzzer
FuzzMutate	[llvm-opt-fuzzer] Avoid adding incorrect inputs to the fuzzer corpus	2018-02-05 11:05:47 +00:00
IR	[SCEV] Make isLoopEntryGuardedByCond a bit smarter	2018-02-07 07:56:26 +00:00
IRReader	LLParser: add an argument for overriding data layout and do not check alloca addr space	2018-01-30 22:32:39 +00:00
LineEditor
Linker	[IRMover] Add comment and fix test case	2018-01-25 08:35:52 +00:00
LTO	[ThinLTO] Remove dead and dropped symbol declarations when possible	2018-02-06 00:43:39 +00:00
MC	[DWARFv5] Emit .debug_line_str (in a non-DWO file).	2018-02-06 20:29:21 +00:00
Object	[RISCV] Add ELFObjectFileBase::getRISCVFeatures let llvm-objdump could get RISCV target feature	2018-02-02 06:01:02 +00:00
ObjectYAML	CodeGen: support an extension to pass linker options on ELF	2018-01-30 16:29:29 +00:00
Option
Passes	Another try to commit 323321 (aggressive instruction combine).	2018-01-25 12:06:32 +00:00
ProfileData
Support	[ADT] Replace sys::MemoryFence with standard atomics.	2018-02-01 20:28:33 +00:00
TableGen
Target	[x86/retpoline] Make the external thunk names exactly match the names	2018-02-07 06:16:24 +00:00
Testing
ToolDrivers
Transforms	[LoopPrediction] Introduce utility function getLatchPredicateForGuard. NFC.	2018-02-07 06:53:37 +00:00
WindowsManifest
XRay	[XRay] clarify error messages when parsing broken traces	2018-01-30 13:41:34 +00:00
CMakeLists.txt
LLVMBuild.txt