Chandler Carruth 9e4513f082 [LCG] Incorporate the core trick of improvements on the naive Tarjan's ... algorithm here: http://dl.acm.org/citation.cfm?id=177301. The idea of isolating the roots has even more relevance when using the stack not just to implement the DFS but also to implement the recursive step. Because we use it for the recursive step, to isolate the roots we need to maintain two stacks: one for our recursive DFS walk, and another of the nodes that have been walked. The nice thing is that the latter will be half the size. It also fixes a complete hack where we scanned backwards over the stack to find the next potential-root to continue processing. Now that is always the top of the DFS stack. While this is a really nice improvement already (IMO) it further opens the door for two important simplifications: 1) De-duplicating some of the code across the two different walks. I've actually made the duplication a bit worse in some senses with this patch because the two are starting to converge. 2) Dramatically simplifying the loop structures of both walks. I wanted to do those separately as they'll be essentially *just* CFG restructuring. This patch on the other hand actually uses different datastructures to implement the algorithm itself. llvm-svn: 207098		2014-04-24 11:05:20 +00:00
..
AliasAnalysis.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-14 00:51:57 +00:00
AliasSetTracker.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-15 04:59:12 +00:00
BlockFrequencyInfo.h	blockfreq: Remove unnecessary template parameters	2014-04-11 23:21:02 +00:00
BlockFrequencyInfoImpl.h	blockfreq: Rename PackagedLoops => Loops	2014-04-22 03:31:50 +00:00
BranchProbabilityInfo.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-15 04:59:12 +00:00
CallGraph.h	Replace OwningPtr<T> with std::unique_ptr<T>.	2014-03-06 05:51:42 +00:00
CallGraphSCCPass.h	[C++11] Add 'override' keyword to virtual methods that override their base class.	2014-03-05 07:30:04 +00:00
CallPrinter.h	Added -view-callgraph module pass.	2013-01-11 17:28:14 +00:00
CaptureTracking.h	[C++11] Make this interface accept const Use pointers and use override	2014-03-05 10:21:48 +00:00
CFG.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-15 04:59:12 +00:00
CFGPrinter.h	[Modules] Move CFG.h to the IR library as it defines graph traits over	2014-03-04 11:45:46 +00:00
CGSCCPassManager.h	[LCG] Normalize the post-order SCC iterator to just iterate over the SCC	2014-04-23 23:51:07 +00:00
CodeMetrics.h	[Modules] Move CallSite into the IR library where it belogs. It is	2014-03-04 11:01:28 +00:00
ConstantFolding.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-14 00:51:57 +00:00
ConstantsScanner.h	[Modules] Move InstIterator out of the Support library, where it had no	2014-03-04 10:30:26 +00:00
DependenceAnalysis.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-15 04:59:12 +00:00
DominanceFrontier.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-15 04:59:12 +00:00
DomPrinter.h
DOTGraphTraitsPass.h	[C++11] Add 'override' keyword to virtual methods that override their base class.	2014-03-05 07:30:04 +00:00
FindUsedTypes.h	[C++11] Add 'override' keyword to virtual methods that override their base class.	2014-03-05 07:30:04 +00:00
InlineCost.h	[C++11] Add 'override' keyword to virtual methods that override their base class.	2014-03-05 07:30:04 +00:00
InstructionSimplify.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-14 00:51:57 +00:00
Interval.h	Remove copy ctors that did the same thing as the default one.	2014-03-11 11:32:49 +00:00
IntervalIterator.h	[Modules] Move CFG.h to the IR library as it defines graph traits over	2014-03-04 11:45:46 +00:00
IntervalPartition.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-15 04:59:12 +00:00
IVUsers.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-15 04:59:12 +00:00
LazyCallGraph.h	[LCG] Incorporate the core trick of improvements on the naive Tarjan's	2014-04-24 11:05:20 +00:00
LazyValueInfo.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-15 04:59:12 +00:00
LibCallAliasAnalysis.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-15 04:59:12 +00:00
LibCallSemantics.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-15 04:59:12 +00:00
Lint.h
Loads.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-15 04:59:12 +00:00
LoopInfo.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-14 00:51:57 +00:00
LoopInfoImpl.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-14 00:51:57 +00:00
LoopIterator.h	Remove unneeded #includes.	2013-02-09 13:29:10 +00:00
LoopPass.h	[C++11] Add 'override' keyword to virtual methods that override their base class.	2014-03-05 07:30:04 +00:00
MemoryBuiltins.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-15 04:59:12 +00:00
MemoryDependenceAnalysis.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-15 04:59:12 +00:00
Passes.h	Remove dead declarations.	2014-03-30 02:33:01 +00:00
PHITransAddr.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-15 04:59:12 +00:00
PostDominators.h	[C++11] Add 'override' keyword to virtual methods that override their base class.	2014-03-05 07:30:04 +00:00
PtrUseVisitor.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-15 04:59:12 +00:00
RegionInfo.h	Use unique_ptr to manage ownership of child Regions within llvm::Region	2014-04-15 18:32:43 +00:00
RegionIterator.h	[Modules] Move CFG.h to the IR library as it defines graph traits over	2014-03-04 11:45:46 +00:00
RegionPass.h	[C++11] Add 'override' keyword to virtual methods that override their base class.	2014-03-05 07:30:04 +00:00
RegionPrinter.h
ScalarEvolution.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-15 04:59:12 +00:00
ScalarEvolutionExpander.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-15 04:59:12 +00:00
ScalarEvolutionExpressions.h	[C++11] Add 'override' keyword to virtual methods that override their base class.	2014-03-05 07:30:04 +00:00
ScalarEvolutionNormalization.h	Fix include guards so they exactly match file names.	2013-01-10 00:45:19 +00:00
SparsePropagation.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-15 04:59:12 +00:00
TargetFolder.h	[Modules] Move the TargetFolder into the Analysis library. Historically,	2014-03-04 11:59:06 +00:00
TargetTransformInfo.h	[C++11] More 'nullptr' conversion. In some cases just using a boolean check instead of comparing to nullptr.	2014-04-14 00:51:57 +00:00
Trace.h	Fix include guards so they exactly match file names.	2013-01-10 00:45:19 +00:00
ValueTracking.h	[C++11] More 'nullptr' conversion or in some cases just using a boolean check instead of comparing to nullptr.	2014-04-09 06:08:46 +00:00