llvm/test/Transforms/IndVarSimplify
Andrew Trick 06988bcf6a Made SCEV's UDiv expressions more canonical. When dividing a
recurrence, the initial values low bits can sometimes be ignored.

To take advantage of this, added FoldIVUser to IndVarSimplify to fold
an IV operand into a udiv/lshr if the operator doesn't affect the
result.

-indvars -disable-iv-rewrite now transforms

i = phi i4
i1 = i0 + 1
idx = i1 >> (2 or more)
i4 = i + 4

into

i = phi i4
idx = i0 >> ...
i4 = i + 4


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@137013 91177308-0d34-0410-b5e6-96231b3b80d8
2011-08-06 07:00:37 +00:00
..
2002-09-09-PointerIndVar.ll
2003-04-16-ExprAnalysis.ll
2003-09-12-MultiplePred.ll Make LoopSimplify change conditional branches in loop exiting blocks 2010-02-25 06:57:05 +00:00
2003-09-23-NotAtTop.ll
2003-12-10-RemoveInstrCrash.ll Teach ScalarEvolution how to compute a tripcount for a loop with 2010-02-19 18:12:07 +00:00
2003-12-15-Crash.ll Teach ScalarEvolution how to compute a tripcount for a loop with 2010-02-19 18:12:07 +00:00
2003-12-21-IndVarSize.ll
2004-03-10-PHIInsertionBug.ll
2004-04-05-InvokeCastCrash.ll
2004-04-07-ScalarEvolutionCrash.ll
2005-02-11-InvokeCrash.ll
2005-02-17-TruncateExprCrash.ll
2005-02-26-ExitValueCompute.ll
2005-06-15-InstMoveCrash.ll
2005-11-18-Crash.ll Teach ScalarEvolution how to compute a tripcount for a loop with 2010-02-19 18:12:07 +00:00
2006-03-31-NegativeStride.ll
2006-06-16-Indvar-LCSSA-Crash.ll
2006-09-20-LFTR-Crash.ll
2006-12-10-BitCast.ll Teach ScalarEvolution how to compute a tripcount for a loop with 2010-02-19 18:12:07 +00:00
2007-01-06-TripCount.ll
2007-06-06-DeleteDanglesPtr.ll
2007-11-23-BitcastCrash.ll
2008-06-15-SCEVExpanderBug.ll
2008-09-02-IVType.ll manually upgrade a bunch of tests to modern syntax, and remove some that 2011-06-17 03:14:27 +00:00
2008-10-03-CouldNotCompute.ll
2008-11-25-APFloatAssert.ll
2009-04-14-shorten_iv_vars.ll Avoid creating canonical induction variables for non-native types. 2011-03-18 16:50:32 +00:00
2009-04-15-shorten-iv-vars-2.ll Avoid creating canonical induction variables for non-native types. 2011-03-18 16:50:32 +00:00
2009-04-22-IndvarCrash.ll
2009-04-27-Floating.ll Fixes PR9730: indvars: An asserting value handle still pointed to this value 2011-04-27 23:00:03 +00:00
2009-05-24-useafterfree.ll Correct bogus module triple specifications. 2010-08-30 10:48:29 +00:00
ada-loops.ll indvars: LinearFunctionTestReplace for non-canonical IVs. 2011-07-18 20:32:31 +00:00
addrec-gep.ll Avoid creating canonical induction variables for non-native types. 2011-03-18 16:50:32 +00:00
ashr-tripcount.ll Avoid creating canonical induction variables for non-native types. 2011-03-18 16:50:32 +00:00
avoid-i0.ll Teach ScalarEvolution how to compute a tripcount for a loop with 2010-02-19 18:12:07 +00:00
casted-argument.ll Fix declarations in a few more tests. 2010-04-17 21:29:25 +00:00
complex-scev.ll
crash.ll Fix SCEVExpander::visitAddRecExpr so that it remembers the induction variable 2010-07-26 18:28:14 +00:00
dangling-use.ll Manually notify ScalarEvolution before making an operand replacement, since 2010-04-02 14:48:31 +00:00
dg.exp
divide-pointer.ll
elim-extend.ll Test case pasto (failed when run with IR verifier). 2011-06-02 23:57:27 +00:00
eliminate-comparison.ll Remove the Expr member from IVUsers. Instead of remembering the expression, 2010-04-19 21:48:58 +00:00
eliminate-max.ll Teach ScalarEvolution to simplify smax and umax when it can prove 2010-04-13 16:51:03 +00:00
eliminate-rem.ll Teach IndVarSimplify how to eliminate remainder operators where the 2010-04-13 01:46:36 +00:00
exit_value_tests.ll
floating-point-iv.ll add integer overflow check for the fp induction variable 2010-04-03 07:18:48 +00:00
gep-with-mul-base.ll Re-implement the main strength-reduction portion of LoopStrengthReduction. 2010-01-21 02:09:26 +00:00
indirectbr.ll Disable indvars on loops when LoopSimplify form is not available. 2010-06-18 01:35:11 +00:00
interesting-invoke-use.ll
iterationCount_zext_or_trunc.ll
iv-fold.ll Made SCEV's UDiv expressions more canonical. When dividing a 2011-08-06 07:00:37 +00:00
iv-sext.ll FileCheck-ize a couple of IV unit tests. 2011-05-24 01:02:49 +00:00
iv-zext.ll indvars -disable-iv-rewrite: Adds support for eliminating identity 2011-06-21 03:22:38 +00:00
lftr_simple.ll
lftr-other-uses.ll
lftr-promote.ll
lftr-reuse.ll indvars: LinearFunctionTestReplace for non-canonical IVs. 2011-07-18 20:32:31 +00:00
loop_evaluate7.ll
loop_evaluate8.ll
loop_evaluate9.ll
loop_evaluate10.ll Correct bogus module triple specifications. 2010-08-30 10:48:29 +00:00
loop_evaluate11.ll
loop_evaluate_1.ll
loop_evaluate_2.ll
loop_evaluate_3.ll
loop_evaluate_4.ll
loop_evaluate_5.ll
loop_evaluate_6.ll
masked-iv.ll
max-pointer.ll Avoid creating canonical induction variables for non-native types. 2011-03-18 16:50:32 +00:00
no-iv-rewrite.ll indvars: Added getInsertPointForUses to find a valid place to truncate the IV. 2011-07-20 05:32:06 +00:00
phi-uses-value-multiple-times.ll Test case for r130799 - indvars: Added canExpandBackEdgeTakenCount. 2011-05-24 00:17:53 +00:00
pointer-indvars.ll
pointer.ll Avoid creating canonical induction variables for non-native types. 2011-03-18 16:50:32 +00:00
polynomial-expand.ll
preserve-gep-loop-variant.ll Avoid creating canonical induction variables for non-native types. 2011-03-18 16:50:32 +00:00
preserve-gep-nested.ll Avoid creating canonical induction variables for non-native types. 2011-03-18 16:50:32 +00:00
preserve-gep-remainder.ll Avoid creating canonical induction variables for non-native types. 2011-03-18 16:50:32 +00:00
preserve-gep.ll Avoid creating canonical induction variables for non-native types. 2011-03-18 16:50:32 +00:00
preserve-signed-wrap.ll indvars -disable-iv-rewrite: bug fix involving weird geps and related cleanup. 2011-07-02 02:34:25 +00:00
promote-iv-to-eliminate-casts.ll
shrunk-constant.ll -disable-output is no longer needed with -analyze. 2010-01-26 19:25:59 +00:00
signed-trip-count.ll
single-element-range.ll Remove arm_apcscc from the test files. It is the default and doing this 2010-06-17 15:18:27 +00:00
sink-alloca.ll
sink-trapping.ll
subtract.ll
tripcount_compute.ll Fix ScalarEvolution's tripcount computation for chains of loops 2010-06-29 23:43:06 +00:00
tripcount_infinite.ll
udiv.ll Suppress LinearFunctionTestReplace when the computed backedge-taken 2010-04-12 21:13:43 +00:00
uglygep.ll Fix this test. 2010-07-16 01:28:45 +00:00
variable-stride-ivs-0.ll indvars -disable-iv-rewrite: Added SimplifyCongruentIVs. 2011-07-06 20:50:43 +00:00
variable-stride-ivs-1.ll