aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/ScalarEvolution
AgeCommit message (Expand)Author
2011-01-19Add a missed SCEV fold that is required to continue analyzing the IR producedNick Lewycky
2011-01-19Add a missing SCEV simplification sext(zext x) --> zext x.Nick Lewycky
2011-01-11Revert the testcase from the previous reverted commit.Eric Christopher
2011-01-09add a testcase I missed in previous commit.Chris Lattner
2011-01-09teach SCEV analysis of PHI nodes that PHI recurences formedChris Lattner
2011-01-09reduce indentation. Print <nuw> and <nsw> when dumping SCEV AddRec'sChris Lattner
2010-09-02remove some noise from tests.Chris Lattner
2010-08-11When analyzing loop exit conditions combined with and and or, don'tDan Gohman
2010-06-30Revert the part of r107257 which introduced new logic for usingDan Gohman
2010-06-30Add a testcase for scev-aa's new capability.Dan Gohman
2010-06-22Allow "exhaustive" trip count evaluation on phi nodes with allDan Gohman
2010-06-19Fix ScalarEvolution's "exhaustive" trip count evaluation code to avoidDan Gohman
2010-06-18Revert r106304 (105548 and friends), which are the SCEVComplexityCompareDan Gohman
2010-06-18Reapply 105540, 105542, and 105548, and revert r105732.Dan Gohman
2010-06-09Workaround SCEV non-determinism on this test, for now, to get buildbots back toDaniel Dunbar
2010-06-07Optimize ScalarEvolution's SCEVComplexityCompare predicate: don't goDan Gohman
2010-04-26Add a comment to this test.Dan Gohman
2010-04-24ScalarEvolution support for <= and >= loops.Dan Gohman
2010-04-22Don't attempt to analyze values which are obviously undef. This fixes someDan Gohman
2010-04-12Generalize ScalarEvolution's PHI analysis to handle loops that don'tDan Gohman
2010-03-09Avoid analyzing instructions in blocks not reachable from the entry block.Dan Gohman
2010-02-19Teach ScalarEvolution how to compute a tripcount for a loop withDan Gohman
2010-01-26-disable-output is no longer needed with -analyze.Dan Gohman
2010-01-26Fix the the ceiling-division used in computing the MaxBECount so that it doesn'tDan Gohman
2010-01-09Use WriteAsOperand instead of getName() to print loop header names,Dan Gohman
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