aboutsummaryrefslogtreecommitdiffstats
path: root/test/Analysis/ScalarEvolution
Commit message (Expand)AuthorAgeFilesLines
* Make opt default to not adding a target data string and update tests that dep...Kenneth Uildriks2009-11-031-0/+1
* Convert Analysis tests to FileCheck in regards to PR5307.Edward O'Callaghan2009-10-275-7/+17
* Teach ScalarEvolution how to reason about no-wrap flags on loopsDan Gohman2009-09-171-0/+76
* Change tests from "opt %s" to "opt < %s" so that opt doesn't see theDan Gohman2009-09-1160-61/+61
* Use opt -S instead of piping bitcode output through llvm-dis.Dan Gohman2009-09-083-3/+3
* Change these tests to feed the assembly files to opt directly, insteadDan Gohman2009-09-0860-61/+61
* Create a ScalarEvolution-based AliasAnalysis implementation.Dan Gohman2009-08-261-0/+194
* Loosen up the regex for this test so that it doesn't implicitlyDan Gohman2009-08-191-1/+3
* Make LLVM Assembly dramatically easier to read by aligning the comments,Dan Gohman2009-08-121-1/+1
* Change the assembly syntax for nsw, nuw, and exact, putting themDan Gohman2009-07-271-1/+1
* When attempting to sign-extend an addrec by interpretingDan Gohman2009-07-251-0/+74
* Teach ScalarEvolution to make use of no-overflow flags whenDan Gohman2009-07-251-0/+40
* Replace the original ad-hoc code for determining whether (v pred w) impliesDan Gohman2009-07-211-0/+37
* Add a testcase for PR4569, which is now fixed.Dan Gohman2009-07-211-0/+24
* Add testcases for PR4538, PR4537, and PR4534.Dan Gohman2009-07-132-0/+384
* When comparing constants, consider a less wide constant to be "less complex"Nick Lewycky2009-07-041-0/+16
* Add a testcase demoing some of ScalarEvolution's new trip count logic.Dan Gohman2009-06-241-0/+37
* Fix a bug in the trip-count computation with And/Or. If either of theDan Gohman2009-06-221-0/+150
* Fix llvm::ComputeNumSignBits to handle pointer typesDan Gohman2009-06-221-0/+220
* Teach ScalarEvolution how to analyze loops with multiple exitDan Gohman2009-06-221-0/+48
* Fix ScalarEvolution's backedge-taken count computations to check forDan Gohman2009-06-212-2/+11
* Teach ScalarEvolution how to recognize another xor(and(x, C), C) case.Dan Gohman2009-06-181-2/+3
* Add -disable-output to a bunch of tests that don't care about the output.Dan Gohman2009-06-1730-31/+31
* Fix ScalarEvolution's Xor handling to not assume that an AndDan Gohman2009-06-171-0/+11
* Split the Add, Sub, and Mul instruction opcodes into separateDan Gohman2009-06-043-6/+6
* Teach ScalarEvolution to recognize x^-1 in the case where non-demandedDan Gohman2009-05-181-0/+8
* Make ScalarEvolution::isLoopGuardedByCond work even when the edgeDan Gohman2009-05-181-1/+1
* Add nounwind to a few tests.Dan Gohman2009-05-181-1/+1
* Allow scalar evolution to compute iteration counts for loops with a Eli Friedman2009-05-091-0/+27
* Fix bogus overflow checks by replacing them with actualDan Gohman2009-05-081-0/+10
* Fold trunc casts into add-recurrence expressions, allowing theDan Gohman2009-05-081-0/+24
* When printing a SCEVUnknown with pointer type, don't print anDan Gohman2009-05-011-1/+1
* Extend ScalarEvolution's getBackedgeTakenCount to be able toDan Gohman2009-04-303-1/+106
* Generalize the cast-of-addrec folding to handle folding of SCEVs likeDan Gohman2009-04-292-0/+131
* Fix this test to match the new output from scalar-evolution.Dan Gohman2009-04-291-1/+1
* Include the source type in SCEV cast expression debug output, andDan Gohman2009-04-291-2/+3
* Fix a grammaro in a comment.Dan Gohman2009-04-281-1/+1
* Simplify trunc(extend(x)) in SCEVs, just for completeness. Also fix some oddNick Lewycky2009-04-231-0/+37
* Testcase for PR3909.Owen Anderson2009-04-231-0/+30
* When turning (ashr(shl(x, n), n)) into sext(trunc(x)), the width of theDan Gohman2009-04-211-0/+29
* Rename ScalarEvolution's getIterationCount to getBackedgeTakenCount,Dan Gohman2009-02-2415-15/+15
* Wind SCEV back in time, to Nov 18th. This 'fixes' PR3275, PR3294, PR3295,Nick Lewycky2009-01-137-0/+7
* Don't try to analyze this "backward" case. This is overly conservative Nick Lewycky2009-01-021-0/+40
* Generalize support for analyzing loops to include SLE/SGE loop exit conditionsNick Lewycky2008-12-164-2/+41
* Revert my re-instated reverted commit, fixes the bootstrap build on x86-64 li...Nick Lewycky2008-12-122-0/+2
* Sneaky, sneaky: move the -1 to the outside of the SMax. Reinstate theNick Lewycky2008-12-112-1/+27
* xfail this for now.Evan Cheng2008-12-091-0/+1
* It's easy to handle SLE/SGE when the loop has a unit stride.Nick Lewycky2008-12-091-0/+24
* Add a utility function that detects whether a loop is guaranteed to be finite.Nick Lewycky2008-11-183-0/+91
* Don't brute-force analyze cubic or higher polynomials.Nick Lewycky2008-11-161-0/+19