Sanjoy Das 1af442e572 Bugfix: ScalarEvolution incorrectly assumes that the start of certain ... add recurrences don't overflow. This change makes the optimization more restrictive. It still assumes that an overflowing `add nsw` is undefined behavior; and this change will need revisiting once we have a consistent semantics for poison values. Differential Revision: http://reviews.llvm.org/D7331 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@228552 91177308-0d34-0410-b5e6-96231b3b80d8		2015-02-08 22:52:17 +00:00
..
AssumptionCache	[PM] Actually add the new pass manager support for the assumption cache.	2015-01-22 21:53:09 +00:00
BasicAA	[BasicAA] Try to disambiguate GEPs through arrays of structs into	2015-02-07 17:04:29 +00:00
BlockFrequencyInfo
BranchProbabilityInfo
CallGraph
CFLAliasAnalysis	Fix incorrect partial aliasing	2015-01-26 17:31:17 +00:00
CostModel	[PM] Change the core design of the TTI analysis to use a polymorphic	2015-01-31 03:43:40 +00:00
Delinearization
DependenceAnalysis
Dominators	[PM] Port domtree to the new pass manager (at last).	2015-01-14 10:19:28 +00:00
GlobalsModRef
LazyCallGraph
Lint
LoopInfo	[PM] Port LoopInfo to the new pass manager, adding both a LoopAnalysis	2015-01-20 10:58:50 +00:00
MemoryDependenceAnalysis
PostDominators
RegionInfo
ScalarEvolution	Bugfix: ScalarEvolution incorrectly assumes that the start of certain	2015-02-08 22:52:17 +00:00
ScopedNoAliasAA
TypeBasedAliasAnalysis
ValueTracking	Introduce print-memderefs to test isDereferenceablePointer	2015-02-06 01:46:42 +00:00