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

..

2007-07-23-InfiniteLoop.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-05-06-Phi.ll

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

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

dcetest.ll

another random update

2009-09-11 17:07:01 +00:00

dg.exp

sabre brings to my attention that the 'tr' suffix is also obsolete

2008-05-20 21:00:03 +00:00

multiple-exit-conditions.ll

Make LoopDeletion check the maximum backedge taken count, rather than the

2009-10-23 17:10:01 +00:00

simplify-then-delete.ll

Make LoopSimplify change conditional branches in loop exiting blocks

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