Dan Gohman 9450b0e1a6 Move the dominator verification code out of special code embedded within ... the PassManager code into a regular verifyAnalysis method. Also, reorganize loop verification. Make the LoopPass infrastructure call verifyLoop as needed instead of having LoopInfo::verifyAnalysis check every loop in the function after each looop pass. Add a new command-line argument, -verify-loop-info, to enable the expensive full checking. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@82952 91177308-0d34-0410-b5e6-96231b3b80d8		2009-09-28 00:27:48 +00:00
..
AliasAnalysis.h
AliasSetTracker.h
CallGraph.h
CaptureTracking.h
CFGPrinter.h
ConstantFolding.h
ConstantsScanner.h
DebugInfo.h	Switch DIDescriptor to use a TrackingVH. - This makes it much safer to work with debug info, since it was extraordinarily easy to have dangling pointers thanks to MDNode uniquing.	2009-09-22 02:03:18 +00:00
DominatorInternals.h
Dominators.h	Move the dominator verification code out of special code embedded within	2009-09-28 00:27:48 +00:00
FindUsedTypes.h
Interval.h
IntervalIterator.h
IntervalPartition.h
IVUsers.h
LibCallAliasAnalysis.h
LibCallSemantics.h
LiveValues.h
LoopDependenceAnalysis.h
LoopInfo.h	Remove a redundant assert.	2009-09-27 17:48:37 +00:00
LoopPass.h	Extract the code for inserting a loop into the loop queue into	2009-09-27 23:49:43 +00:00
LoopVR.h
MallocHelper.h	Update malloc call creation code (AllocType is now the element type of the malloc, not the resulting type).	2009-09-18 19:20:02 +00:00
MemoryDependenceAnalysis.h
Passes.h
PointerTracking.h
PostDominators.h	Add dominates and releaseMemory member functions to PostDominatorTree.	2009-09-27 17:39:12 +00:00
ProfileInfo.h
ProfileInfoLoader.h
ProfileInfoTypes.h
ScalarEvolution.h	Add a properlyDominates member function to ScalarEvolution.	2009-09-27 15:26:03 +00:00
ScalarEvolutionExpander.h
ScalarEvolutionExpressions.h	Add a properlyDominates member function to ScalarEvolution.	2009-09-27 15:26:03 +00:00
SparsePropagation.h	Lett users of sparse propagation do their own thing with phi nodes if they want	2009-09-19 18:33:36 +00:00
Trace.h
ValueTracking.h
Verifier.h