llvm-6502/test/Analysis/ScalarEvolution
Nick Lewycky 3e63076980 Add 'umax' similar to 'smax' SCEV. Closes PR2003.
Parse reversed smax and umax as smin and umin and express them with negative
or binary-not SCEVs (which are really just subtract under the hood).

Parse 'xor %x, -1' as (-1 - %x).

Remove dead code (ConstantInt::get always returns a ConstantInt).

Don't use getIntegerSCEV(-1, Ty). The first value is an int, then it gets
passed into a uint64_t. Instead, create the -1 directly from
ConstantInt::getAllOnesValue().


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@47360 91177308-0d34-0410-b5e6-96231b3b80d8
2008-02-20 06:48:22 +00:00
..
2007-07-15-NegativeStride.ll Now that ScalarEvolution::print writes to the correct stream, there is 2008-02-12 15:12:40 +00:00
2007-08-06-MisinterpretBranch.ll Fix the dates on these tests. It's not September yet. Thanks Reid! 2007-08-06 20:00:11 +00:00
2007-08-06-Unsigned.ll Add 'umax' similar to 'smax' SCEV. Closes PR2003. 2008-02-20 06:48:22 +00:00
2007-09-27-LargeStepping.ll Now that ScalarEvolution::print writes to the correct stream, there is 2008-02-12 15:12:40 +00:00
2007-11-14-SignedAddRec.ll Fix PR1798 - an error in the evaluation of SCEVAddRecExpr at an 2008-02-11 11:03:14 +00:00
2007-11-18-OrInstruction.ll Now that ScalarEvolution::print writes to the correct stream, there is 2008-02-12 15:12:40 +00:00
2008-02-11-ReversedCondition.ll Change negative grep into positive one in my yesterday's testcase. 2008-02-12 15:10:35 +00:00
2008-02-12-SMAXTripCount.ll Fix PR2002. Suppose n is the initial value for the induction 2008-02-12 15:09:36 +00:00
2008-02-15-UMax.ll Add 'umax' similar to 'smax' SCEV. Closes PR2003. 2008-02-20 06:48:22 +00:00
dg.exp For PR1319: 2007-04-15 09:31:07 +00:00
do-loop.ll Add new SCEV, SCEVSMax. This allows LLVM to analyze do-while loops. 2007-11-25 22:41:31 +00:00
smax.ll Add new SCEV, SCEVSMax. This allows LLVM to analyze do-while loops. 2007-11-25 22:41:31 +00:00
SolveQuadraticEquation.ll Now that ScalarEvolution::print writes to the correct stream, there is 2008-02-12 15:12:40 +00:00
trip-count2.ll Now that ScalarEvolution::print writes to the correct stream, there is 2008-02-12 15:12:40 +00:00
trip-count.ll Now that ScalarEvolution::print writes to the correct stream, there is 2008-02-12 15:12:40 +00:00