aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/ScalarEvolution
AgeCommit message (Expand)Author
2009-12-01Add a comment about A[i+(j+1)].Dan Gohman
2009-11-26update status of this. basicaa is much improved now,Chris Lattner
2009-11-03Make opt default to not adding a target data string and update tests that dep...Kenneth Uildriks
2009-10-27Convert Analysis tests to FileCheck in regards to PR5307.Edward O'Callaghan
2009-09-17Teach ScalarEvolution how to reason about no-wrap flags on loopsDan Gohman
2009-09-11Change tests from "opt %s" to "opt < %s" so that opt doesn't see theDan Gohman
2009-09-08Use opt -S instead of piping bitcode output through llvm-dis.Dan Gohman
2009-09-08Change these tests to feed the assembly files to opt directly, insteadDan Gohman
2009-08-26Create a ScalarEvolution-based AliasAnalysis implementation.Dan Gohman
2009-08-19Loosen up the regex for this test so that it doesn't implicitlyDan Gohman
2009-08-12Make LLVM Assembly dramatically easier to read by aligning the comments,Dan Gohman
2009-07-27Change the assembly syntax for nsw, nuw, and exact, putting themDan Gohman
2009-07-25When attempting to sign-extend an addrec by interpretingDan Gohman
2009-07-25Teach ScalarEvolution to make use of no-overflow flags whenDan Gohman
2009-07-21Replace the original ad-hoc code for determining whether (v pred w) impliesDan Gohman
2009-07-21Add a testcase for PR4569, which is now fixed.Dan Gohman
2009-07-13Add testcases for PR4538, PR4537, and PR4534.Dan Gohman
2009-07-04When comparing constants, consider a less wide constant to be "less complex"Nick Lewycky
2009-06-24Add a testcase demoing some of ScalarEvolution's new trip count logic.Dan Gohman
2009-06-22Fix a bug in the trip-count computation with And/Or. If either of theDan Gohman
2009-06-22Fix llvm::ComputeNumSignBits to handle pointer typesDan Gohman
2009-06-22Teach ScalarEvolution how to analyze loops with multiple exitDan Gohman
2009-06-21Fix ScalarEvolution's backedge-taken count computations to check forDan Gohman
2009-06-18Teach ScalarEvolution how to recognize another xor(and(x, C), C) case.Dan Gohman
2009-06-17Add -disable-output to a bunch of tests that don't care about the output.Dan Gohman
2009-06-17Fix ScalarEvolution's Xor handling to not assume that an AndDan Gohman
2009-06-04Split the Add, Sub, and Mul instruction opcodes into separateDan Gohman
2009-05-18Teach ScalarEvolution to recognize x^-1 in the case where non-demandedDan Gohman
2009-05-18Make ScalarEvolution::isLoopGuardedByCond work even when the edgeDan Gohman
2009-05-18Add nounwind to a few tests.Dan Gohman
2009-05-09Allow scalar evolution to compute iteration counts for loops with a Eli Friedman
2009-05-08Fix bogus overflow checks by replacing them with actualDan Gohman
2009-05-08Fold trunc casts into add-recurrence expressions, allowing theDan Gohman
2009-05-01When printing a SCEVUnknown with pointer type, don't print anDan Gohman
2009-04-30Extend ScalarEvolution's getBackedgeTakenCount to be able toDan Gohman
2009-04-29Generalize the cast-of-addrec folding to handle folding of SCEVs likeDan Gohman
2009-04-29Fix this test to match the new output from scalar-evolution.Dan Gohman
2009-04-29Include the source type in SCEV cast expression debug output, andDan Gohman
2009-04-28Fix a grammaro in a comment.Dan Gohman
2009-04-23Simplify trunc(extend(x)) in SCEVs, just for completeness. Also fix some oddNick Lewycky
2009-04-23Testcase for PR3909.Owen Anderson
2009-04-21When turning (ashr(shl(x, n), n)) into sext(trunc(x)), the width of theDan Gohman
2009-02-24Rename ScalarEvolution's getIterationCount to getBackedgeTakenCount,Dan Gohman
2009-01-13Wind SCEV back in time, to Nov 18th. This 'fixes' PR3275, PR3294, PR3295,Nick Lewycky
2009-01-02Don't try to analyze this "backward" case. This is overly conservative Nick Lewycky
2008-12-16Generalize support for analyzing loops to include SLE/SGE loop exit conditionsNick Lewycky
2008-12-12Revert my re-instated reverted commit, fixes the bootstrap build on x86-64 li...Nick Lewycky
2008-12-11Sneaky, sneaky: move the -1 to the outside of the SMax. Reinstate theNick Lewycky
2008-12-09xfail this for now.Evan Cheng
2008-12-09It's easy to handle SLE/SGE when the loop has a unit stride.Nick Lewycky