Sanjoy Das d06246dfe7 [SCEV] Make isImpliedCondOperandsViaRanges smarter ... This change lets us prove things like "{X,+,10} s< 5000" implies "{X+7,+,10} does not sign overflow" It does this by replacing replacing getConstantDifference by computeConstantDifference (which is smarter) in isImpliedCondOperandsViaRanges. llvm-svn: 276505		2016-07-23 00:54:36 +00:00
..
AssumptionCache
BasicAA	BasicAA should look through functions with returned arguments	2016-07-11 01:32:20 +00:00
BlockFrequencyInfo	[BFI] Add new LazyBFI analysis pass	2016-07-13 05:01:48 +00:00
BranchProbabilityInfo	[PM] Port Branch Probability Analysis pass to the new pass manager.	2016-05-05 02:59:57 +00:00
CallGraph
CFLAliasAnalysis	[CFLAA] Make a test tell the truth. NFC.	2016-07-19 20:56:41 +00:00
CostModel	[X86][SSE] Add cost model values for CTPOP of vectors	2016-07-20 10:41:28 +00:00
Delinearization
DemandedBits
DependenceAnalysis
DivergenceAnalysis	NVPTX: Remove the legacy ptx intrinsics	2016-07-07 16:40:17 +00:00
DominanceFrontier
Dominators	[PM] Port BreakCriticalEdges to the new PM.	2016-07-22 18:04:25 +00:00
GlobalsModRef	GlobalsAA: Functions with the argmemonly attribute won't read arbitrary globals	2016-07-14 15:50:27 +00:00
LazyCallGraph
Lint
LoopAccessAnalysis	[LAA] Port test to the new PM	2016-07-08 21:24:06 +00:00
LoopInfo
MemoryDependenceAnalysis
PostDominators
ProfileSummary	Reapply r271728 after adding move cobstructor for ProfileSummaryInfo	2016-06-03 22:54:26 +00:00
RegionInfo
ScalarEvolution	[SCEV] Make isImpliedCondOperandsViaRanges smarter	2016-07-23 00:54:36 +00:00
ScopedNoAliasAA
TypeBasedAliasAnalysis
ValueTracking	Teach isDereferenceablePointer to look through returned-argument functions	2016-07-11 03:08:49 +00:00
alias-analysis-uses.ll