Dan Gohman 2385e0e22c Create a ScalarEvolution-based AliasAnalysis implementation. ... This is a simple AliasAnalysis implementation which works by making ScalarEvolution queries. ScalarEvolution has a more complete understanding of arithmetic than BasicAA's collection of ad-hoc checks, so it handles some cases that BasicAA misses, for example p[i] and p[i+1] within the same iteration of a loop. This is currently experimental. It may be that the main use for this pass will be to help find cases where BasicAA can be profitably extended, or to help in the development of the overall AliasAnalysis infrastructure, however it's also possible that it could grow up to become a directly useful pass. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@80098 91177308-0d34-0410-b5e6-96231b3b80d8		2009-08-26 14:53:06 +00:00
..
2007-07-15-NegativeStride.ll
2007-08-06-MisinterpretBranch.ll
2007-08-06-Unsigned.ll
2007-09-27-LargeStepping.ll
2007-11-14-SignedAddRec.ll
2007-11-18-OrInstruction.ll
2008-02-11-ReversedCondition.ll
2008-02-12-SMAXTripCount.ll
2008-02-15-UMax.ll
2008-05-25-NegativeStepToZero.ll
2008-06-12-BinomialInt64.ll
2008-07-12-UnneededSelect1.ll
2008-07-12-UnneededSelect2.ll
2008-07-19-InfiniteLoop.ll
2008-07-19-WrappingIV.ll	Add -disable-output to a bunch of tests that don't care about the output.	2009-06-17 20:56:26 +00:00
2008-07-29-SGTTripCount.ll
2008-07-29-SMinExpr.ll
2008-08-04-IVOverflow.ll
2008-08-04-LongAddRec.ll
2008-11-02-QuadraticCrash.ll
2008-11-15-CubicOOM.ll
2008-11-18-LessThanOrEqual.ll
2008-11-18-Stride1.ll	Fix ScalarEvolution's backedge-taken count computations to check for	2009-06-21 23:46:38 +00:00
2008-11-18-Stride2.ll
2008-12-08-FiniteSGE.ll
2008-12-11-SMaxOverflow.ll
2008-12-14-StrideAndSigned.ll
2008-12-15-DontUseSDiv.ll
2009-01-02-SignedNegativeStride.ll
2009-04-22-TruncCast.ll
2009-05-09-PointerEdgeCount.ll
2009-07-04-GroupConstantsWidthMismatch.ll	When comparing constants, consider a less wide constant to be "less complex"	2009-07-04 17:24:52 +00:00
and-xor.ll
avoid-infinite-recursion-0.ll	Add testcases for PR4538, PR4537, and PR4534.	2009-07-13 22:30:31 +00:00
avoid-infinite-recursion-1.ll	Add testcases for PR4538, PR4537, and PR4534.	2009-07-13 22:30:31 +00:00
avoid-smax-0.ll
avoid-smax-1.ll	Make LLVM Assembly dramatically easier to read by aligning the comments,	2009-08-12 17:23:50 +00:00
dg.exp
div-overflow.ll
do-loop.ll
max-trip-count.ll	Loosen up the regex for this test so that it doesn't implicitly	2009-08-19 23:19:36 +00:00
nsw.ll	Change the assembly syntax for nsw, nuw, and exact, putting them	2009-07-27 16:11:46 +00:00
pointer-sign-bits.ll	Fix llvm::ComputeNumSignBits to handle pointer types	2009-06-22 22:02:32 +00:00
pr3909.ll
scev-aa.ll	Create a ScalarEvolution-based AliasAnalysis implementation.	2009-08-26 14:53:06 +00:00
sext-inreg.ll
sext-iv-0.ll
sext-iv-1.ll
sext-iv-2.ll	When attempting to sign-extend an addrec by interpreting	2009-07-25 16:03:30 +00:00
smax.ll
SolveQuadraticEquation.ll
trip-count2.ll
trip-count3.ll	Fix ScalarEvolution's backedge-taken count computations to check for	2009-06-21 23:46:38 +00:00
trip-count4.ll
trip-count5.ll	Teach ScalarEvolution how to analyze loops with multiple exit	2009-06-22 00:31:57 +00:00
trip-count6.ll	Add a testcase demoing some of ScalarEvolution's new trip count logic.	2009-06-24 01:22:30 +00:00
trip-count7.ll	Fix a bug in the trip-count computation with And/Or. If either of the	2009-06-22 23:28:56 +00:00
trip-count8.ll	Replace the original ad-hoc code for determining whether (v pred w) implies	2009-07-21 23:03:19 +00:00
trip-count.ll
xor-and.ll	Teach ScalarEvolution how to recognize another xor(and(x, C), C) case.	2009-06-18 00:00:20 +00:00
zext-wrap.ll	Add a testcase for PR4569, which is now fixed.	2009-07-21 00:50:52 +00:00