Dan Gohman 8566963713 Make LoopSimplify change conditional branches in loop exiting blocks ...

which branch on undef to branch on a boolean constant for the edge
exiting the loop. This helps ScalarEvolution compute trip counts for
loops.

Teach ScalarEvolution to recognize single-value PHIs, when safe, and
ForgetSymbolicName to forget such single-value PHI nodes as apprpriate
in ForgetSymbolicName.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97126 91177308-0d34-0410-b5e6-96231b3b80d8

2010-02-25 06:57:05 +00:00

..

2002-09-09-PointerIndVar.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2003-04-16-ExprAnalysis.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

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

Eliminate uses of %prcontext.

2009-09-05 11:35:16 +00:00

2003-12-10-IndVarDeadCode.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

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

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2004-03-10-PHIInsertionBug.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2004-04-05-InvokeCastCrash.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2004-04-07-ScalarEvolutionCrash.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2005-02-11-InvokeCrash.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2005-02-17-TruncateExprCrash.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2005-02-26-ExitValueCompute.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2005-06-15-InstMoveCrash.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

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

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2006-06-16-Indvar-LCSSA-Crash.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2006-09-20-LFTR-Crash.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

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

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2007-06-06-DeleteDanglesPtr.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2007-11-23-BitcastCrash.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2008-06-15-SCEVExpanderBug.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2008-09-02-IVType.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2008-10-03-CouldNotCompute.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2008-11-03-Floating.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2008-11-17-Floating.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2008-11-25-APFloatAssert.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2009-04-14-shorten_iv_vars.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2009-04-15-shorten-iv-vars-2.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2009-04-22-IndvarCrash.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2009-04-27-Floating.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

2009-05-24-useafterfree.ll

Teach ScalarEvolution how to compute a tripcount for a loop with

2010-02-19 18:12:07 +00:00

ada-loops.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

addrec-gep.ll

Reapply the new LoopStrengthReduction code, with compile time and

2010-02-12 10:34:29 +00:00

ashr-tripcount.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +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

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

complex-scev.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

dg.exp

…

divide-pointer.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

exit_value_tests.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +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

Make getUniqueExitBlocks's precondition assert more precise, to

2009-12-11 20:05:23 +00:00

interesting-invoke-use.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

iterationCount_zext_or_trunc.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

iv-sext.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

iv-zext.ll

Use opt -S instead of piping bitcode output through llvm-dis.

2009-09-08 22:34:10 +00:00

lftr_simple.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

lftr-other-uses.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

lftr-promote.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

loop_evaluate7.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

loop_evaluate8.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

loop_evaluate9.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

loop_evaluate10.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

loop_evaluate11.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

loop_evaluate_1.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

loop_evaluate_2.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

loop_evaluate_3.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

loop_evaluate_4.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

loop_evaluate_5.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

loop_evaluate_6.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

loop-invariant-step.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

masked-iv.ll

Use "opt < %s" instead of "opt %s" so that opt doesn't print the test

2009-09-08 22:57:49 +00:00

max-pointer.ll

Teach ScalarEvolution how to compute a tripcount for a loop with

2010-02-19 18:12:07 +00:00

phi-uses-value-multiple-times.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

pointer-indvars.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

pointer.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

polynomial-expand.ll

Add a testcase for r83011.

2009-09-28 21:03:02 +00:00

preserve-gep-loop-variant.ll

Make opt default to not adding a target data string and update tests that depend on target data to supply it within the test

2009-11-03 15:29:06 +00:00

preserve-gep-nested.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

preserve-gep-remainder.ll

Make opt default to not adding a target data string and update tests that depend on target data to supply it within the test

2009-11-03 15:29:06 +00:00

preserve-gep.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

preserve-signed-wrap.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

promote-iv-to-eliminate-casts.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

shrunk-constant.ll

-disable-output is no longer needed with -analyze.

2010-01-26 19:25:59 +00:00

signed-trip-count.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

single-element-range.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

sink-alloca.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

sink-trapping.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

subtract.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

tripcount_compute.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

tripcount_infinite.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

variable-stride-ivs-0.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

variable-stride-ivs-1.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00