Hal Finkel 44b0224eae [BasicAA] Make better use of zext and sign information ... Two related things: 1. Fixes a bug when calculating the offset in GetLinearExpression. The code previously used zext to extend the offset, so negative offsets were converted to large positive ones. 2. Enhance aliasGEP to deduce that, if the difference between two GEP allocations is positive and all the variables that govern the offset are also positive (i.e. the offset is strictly after the higher base pointer), then locations that fit in the gap between the two base pointers are NoAlias. Patch by Nick White! llvm-svn: 218714		2014-09-30 22:43:40 +00:00
..
BasicAA	[BasicAA] Make better use of zext and sign information	2014-09-30 22:43:40 +00:00
BlockFrequencyInfo
BranchProbabilityInfo
CallGraph
CFLAliasAnalysis	Add a CFL Alias Analysis implementation	2014-09-02 21:43:13 +00:00
CostModel	AVX-512: added cost for some AVX-512 instructions	2014-09-16 07:57:37 +00:00
Delinearization
DependenceAnalysis
Dominators
GlobalsModRef
LazyCallGraph
Lint
LoopInfo
MemoryDependenceAnalysis
PostDominators
RegionInfo
ScalarEvolution	Make use @llvm.assume for loop guards in ScalarEvolution	2014-09-07 21:37:59 +00:00
ScopedNoAliasAA	Convert noalias parameter attributes into noalias metadata during inlining	2014-07-25 15:50:08 +00:00
TypeBasedAliasAnalysis