llvm-6502/test/Analysis/ScalarEvolution
Dan Gohman 91380b7239 Fix a bug in the trip-count computation with And/Or. If either of the
sides is CouldNotCompute, the resulting exact count must be CouldNotCompute.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73920 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-22 23:28:56 +00:00
..
2007-07-15-NegativeStride.ll Add -disable-output to a bunch of tests that don't care about the output. 2009-06-17 20:56:26 +00:00
2007-08-06-MisinterpretBranch.ll
2007-08-06-Unsigned.ll Add -disable-output to a bunch of tests that don't care about the output. 2009-06-17 20:56:26 +00:00
2007-09-27-LargeStepping.ll Add -disable-output to a bunch of tests that don't care about the output. 2009-06-17 20:56:26 +00:00
2007-11-14-SignedAddRec.ll
2007-11-18-OrInstruction.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-02-11-ReversedCondition.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-02-12-SMAXTripCount.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-02-15-UMax.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-05-25-NegativeStepToZero.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-06-12-BinomialInt64.ll
2008-07-12-UnneededSelect1.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-12-UnneededSelect2.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-19-InfiniteLoop.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-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 Make ScalarEvolution::isLoopGuardedByCond work even when the edge 2009-05-18 15:36:09 +00:00
2008-08-04-IVOverflow.ll
2008-08-04-LongAddRec.ll
2008-11-02-QuadraticCrash.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-11-15-CubicOOM.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-11-18-LessThanOrEqual.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-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 Add -disable-output to a bunch of tests that don't care about the output. 2009-06-17 20:56:26 +00:00
2008-12-08-FiniteSGE.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-12-11-SMaxOverflow.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-12-14-StrideAndSigned.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-12-15-DontUseSDiv.ll Add -disable-output to a bunch of tests that don't care about the output. 2009-06-17 20:56:26 +00:00
2009-01-02-SignedNegativeStride.ll Add -disable-output to a bunch of tests that don't care about the output. 2009-06-17 20:56:26 +00:00
2009-04-22-TruncCast.ll Add -disable-output to a bunch of tests that don't care about the output. 2009-06-17 20:56:26 +00:00
2009-05-09-PointerEdgeCount.ll Add -disable-output to a bunch of tests that don't care about the output. 2009-06-17 20:56:26 +00:00
and-xor.ll Teach ScalarEvolution to recognize x^-1 in the case where non-demanded 2009-05-18 16:29:04 +00:00
avoid-smax-0.ll Add -disable-output to a bunch of tests that don't care about the output. 2009-06-17 20:56:26 +00:00
avoid-smax-1.ll Fix a grammaro in a comment. 2009-04-28 21:54:23 +00:00
dg.exp
div-overflow.ll Fix bogus overflow checks by replacing them with actual 2009-05-08 23:11:16 +00:00
do-loop.ll Add -disable-output to a bunch of tests that don't care about the output. 2009-06-17 20:56:26 +00:00
max-trip-count.ll When printing a SCEVUnknown with pointer type, don't print an 2009-05-01 17:02:22 +00:00
pointer-sign-bits.ll Fix llvm::ComputeNumSignBits to handle pointer types 2009-06-22 22:02:32 +00:00
pr3909.ll
sext-inreg.ll Include the source type in SCEV cast expression debug output, and 2009-04-29 20:27:52 +00:00
sext-iv-0.ll Split the Add, Sub, and Mul instruction opcodes into separate 2009-06-04 22:49:04 +00:00
sext-iv-1.ll Split the Add, Sub, and Mul instruction opcodes into separate 2009-06-04 22:49:04 +00:00
smax.ll Add -disable-output to a bunch of tests that don't care about the output. 2009-06-17 20:56:26 +00:00
SolveQuadraticEquation.ll Add -disable-output to a bunch of tests that don't care about the output. 2009-06-17 20:56:26 +00:00
trip-count2.ll Add -disable-output to a bunch of tests that don't care about the output. 2009-06-17 20:56:26 +00:00
trip-count3.ll Fix ScalarEvolution's backedge-taken count computations to check for 2009-06-21 23:46:38 +00:00
trip-count4.ll Split the Add, Sub, and Mul instruction opcodes into separate 2009-06-04 22:49:04 +00:00
trip-count5.ll Teach ScalarEvolution how to analyze loops with multiple exit 2009-06-22 00:31:57 +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-count.ll Add -disable-output to a bunch of tests that don't care about the output. 2009-06-17 20:56:26 +00:00
xor-and.ll Teach ScalarEvolution how to recognize another xor(and(x, C), C) case. 2009-06-18 00:00:20 +00:00