Dan Gohman 5c89b5240c 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. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81221 91177308-0d34-0410-b5e6-96231b3b80d8		2009-09-08 15:45:00 +00:00
..
IPA	back out my recent commit (r80858), it seems to break self-hosting buildbot's stage 2 configure	2009-09-03 02:02:59 +00:00
AliasAnalysis.cpp
AliasAnalysisCounter.cpp	Do not try to override non-virtual methods, especially	2009-09-06 20:02:00 +00:00
AliasAnalysisEvaluator.cpp
AliasDebugger.cpp
AliasSetTracker.cpp
Analysis.cpp
BasicAliasAnalysis.cpp
CaptureTracking.cpp
CFGPrinter.cpp
CMakeLists.txt
ConstantFolding.cpp	Revert 80959. It isn't sufficient to solve the full problem. And it	2009-09-03 23:34:49 +00:00
DbgInfoPrinter.cpp
DebugInfo.cpp
InstCount.cpp
Interval.cpp
IntervalPartition.cpp
IVUsers.cpp
LibCallAliasAnalysis.cpp
LibCallSemantics.cpp
LiveValues.cpp
LoopDependenceAnalysis.cpp
LoopInfo.cpp	Re-apply r80926, with fixes: keep the domtree informed of new blocks	2009-09-08 15:45:00 +00:00
LoopPass.cpp	Don't try to verify a LoopPass analysis if the loop has been deleted.	2009-09-03 15:09:24 +00:00
LoopVR.cpp
Makefile
MemoryDependenceAnalysis.cpp
PointerTracking.cpp
PostDominators.cpp
ProfileEstimatorPass.cpp
ProfileInfo.cpp
ProfileInfoLoader.cpp	Mark more constants unsigned, as warned about by icc (#68).	2009-09-06 12:56:52 +00:00
ProfileInfoLoaderPass.cpp	Revert "--- Reverse-merging r80908 into '.':", I already "fixed" this.	2009-09-03 23:40:10 +00:00
ProfileVerifierPass.cpp	Prevent warnings on compilers for which its not clear that assert won't return.	2009-09-04 21:22:04 +00:00
ScalarEvolution.cpp	Remove references to expression "handles", which are no longer used.	2009-09-03 15:00:26 +00:00
ScalarEvolutionAliasAnalysis.cpp
ScalarEvolutionExpander.cpp
SparsePropagation.cpp
Trace.cpp
ValueTracking.cpp	fix ComputeMaskedBits handling of zext/sext/trunc to work with vectors.	2009-09-08 00:13:52 +00:00