[llvm-commits] [llvm] r81221 - in /llvm/trunk: include/llvm/Analysis/LoopInfo.h include/llvm/Transforms/Utils/BasicBlockUtils.h lib/Analysis/LoopInfo.cpp lib/Transforms/Scalar/LICM.cpp lib/Transforms/Scalar/LoopStrengthReduce.cpp lib/Transforms/Scalar/LoopUnswitch.cpp lib/Transforms/Utils/BasicBlockUtils.cpp lib/Transforms/Utils/BreakCriticalEdges.cpp lib/Transforms/Utils/LCSSA.cpp lib/Transforms/Utils/LoopSimplify.cpp test/Transforms/LoopUnswitch/2009-09-05-DomAssert.ll test/Transforms/LoopUnswitch/preserve-analyses.ll

[Chris Lattner]

On Sep 8, 2009, at 8:45 AM, Dan Gohman wrote:

> Author: djg
> Date: Tue Sep  8 10:45:00 2009
> New Revision: 81221
>
> URL: http://llvm.org/viewvc/llvm-project?rev=81221&view=rev
> Log:
> Re-apply r80926, with fixes: keep the domtree informed of new blocks
> that get created during loop unswitching, and fix  
> SplitBlockPredecessors'
> LCSSA updating code to create new PHIs instead of trying to just move
> existing ones.
>
> Also, optimize Loop::verifyLoop, since it gets called a lot. Use
> searches on a sorted list of blocks instead of calling the "contains"
> function, as is done in other places in the Loop class, since  
> "contains"
> does a linear search. Also, don't call verifyLoop from LoopSimplify or
> LCSSA, as the PassManager is already calling verifyLoop as part of
> LoopInfo's verifyAnalysis.

Ok, please trim the dead gunk out of preserve-analyses.ll though,

-Chris