replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
87,746 Commits 2 Branches 0 Tags 1.8 GiB
Commit Graph

167 Commits

Author SHA1 Message Date
Owen Anderson a57b97e7e7 Fix batch of converting RegisterPass<> to INTIALIZE_PASS(). 
llvm-svn: 109045
 2010-07-21 22:09:45 +00:00
Tobias Grosser 3d84c9c793 LoopSimplify does not update domfrontier correctly. 
This fixes PR7649.

llvm-svn: 108513
 2010-07-16 05:59:45 +00:00
Tobias Grosser bd7c9f701b Add dump() to DominanceFrontier 
llvm-svn: 108512
 2010-07-16 05:59:39 +00:00
Dan Gohman b29cda9b3c Fix a bunch of namespace polution. 
llvm-svn: 101376
 2010-04-15 17:08:50 +00:00
Dan Gohman 70e572e740 Fix a typo and some indentation. 
llvm-svn: 100908
 2010-04-09 22:47:25 +00:00
John McCall 086bb4ef82 Qualify a bunch of explicit template instantiations to satisfy clang++. 
llvm-svn: 91736
 2009-12-19 00:55:12 +00:00
Dan Gohman 2cbca4e229 Make DominanceFrontierBase::print's output prettier. 
llvm-svn: 85011
 2009-10-24 20:01:11 +00:00
Dan Gohman 08d86dac71 Remove temporary debugging hack. 
llvm-svn: 82953
 2009-09-28 00:44:15 +00:00
Dan Gohman 4dbb301f17 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.

llvm-svn: 82952
 2009-09-28 00:27:48 +00:00
Chris Lattner cf295039e4 Fix PR5023: The instruction form of DominatorTree::dominates did not 
take into consideration that the result of an invoke is only valid in
the normal dest, not the unwind dest.  This caused 'PHINode::hasConstantValue'
to return true in an invalid situation, causing mem2reg to delete a phi that
was actually needed.  This caused a crash building 483.xalancbmk.

llvm-svn: 82491
 2009-09-21 22:39:35 +00:00
Chris Lattner 22151ce5e9 move DominatorTree::dominates for instructions out of line, 
no functionality change.

llvm-svn: 82490
 2009-09-21 22:30:50 +00:00
Chris Lattner 1362602eb2 Change Pass::print to take a raw ostream instead of std::ostream, 
update all code that this affects.

llvm-svn: 79830
 2009-08-23 06:03:38 +00:00
Chris Lattner b1d782bec9 eliminate the std::ostream form of WriteAsOperand and update clients. 
This also updates dominator related stuff.

llvm-svn: 79825
 2009-08-23 05:17:37 +00:00
Chris Lattner b1bf2009a4 switch DominanceFrontier::splitBlock to use a smallvector for 
the pred list instead of a vector, saving a boat load of malloc/free's.

llvm-svn: 79062
 2009-08-15 01:39:28 +00:00
Eli Friedman 0ac904455e Fix some incorrect logic in DominanceFrontier::splitBlock. Part of 
PR4238.

llvm-svn: 72223
 2009-05-21 20:40:30 +00:00
Devang Patel 81ea3bb55c Move dominator info printer into tool/opt/GraphPrinters.cpp 
llvm-svn: 52907
 2008-06-30 17:32:58 +00:00
Devang Patel abc6e6ab9f Add dominator info printer pass. 
llvm-svn: 52829
 2008-06-27 16:43:21 +00:00
Devang Patel a9fcf009a3 Dominance Frontier is cfg only pass. 
llvm-svn: 51075
 2008-05-13 22:43:21 +00:00
Chris Lattner 00cab5b9a6 don't print dominators every time it is computed with -debug. 
llvm-svn: 50032
 2008-04-21 06:19:02 +00:00
Owen Anderson 57236b58f7 Major repairs to the post-dominators implementation. Patch from Florian Brandner! 
llvm-svn: 49768
 2008-04-16 04:21:16 +00:00
Devang Patel 4d638f1a42 These passes preserve CFG. 
This patch fixes Benchmarks/Trimaran/enc-pc1/enc-pc1 failure reported by Grawp-PIC i386 nightly tester

llvm-svn: 48623
 2008-03-20 23:27:18 +00:00
Devang Patel 80e43fa744 Restore isCFGOnly property of various analysis passes. 
llvm-svn: 48579
 2008-03-20 02:25:21 +00:00
Devang Patel 718da668ab PassInfo keep tracks whether a pass is an analysis pass or not. 
llvm-svn: 48554
 2008-03-19 21:56:59 +00:00
Chris Lattner f3ebc3f3d2 Remove attribution from file headers, per discussion on llvmdev. 
llvm-svn: 45418
 2007-12-29 20:36:04 +00:00
Owen Anderson 9c614117da Make DomTree and PostDomTree thin wrappers around DomTreeBase, rather than inheriting from it. 
llvm-svn: 43259
 2007-10-23 20:58:37 +00:00
Owen Anderson 84490d44ec Move splitBlock into DomTreeBase from DomTree. 
llvm-svn: 43059
 2007-10-17 02:03:17 +00:00
Owen Anderson 4187801f85 Template DominatorTreeBase by node type. This is the next major step towards 
having dominator information on MBB's.

llvm-svn: 43036
 2007-10-16 19:59:25 +00:00
Owen Anderson 74529b7d5f Begin the process of allowing DomTree on MBB's. Step One: template DomTreeNode by making it a typedef of a templated DomTreeNodeBase. 
llvm-svn: 42743
 2007-10-08 07:44:39 +00:00
Devang Patel a69f987b66 Fix bug in updating dominance frontier after loop 
unswitch when frontier includes basic blocks that 
are not inside loop.

llvm-svn: 42654
 2007-10-05 22:29:34 +00:00
Owen Anderson 8313e75ea7 Completely merge the implementation details of DomTree and PostDomTree. 
Also, add a FIXME for a bug in PostDomTree calculation I noticed while writing this,

llvm-svn: 42593
 2007-10-03 21:25:45 +00:00
Owen Anderson b60f254975 Factor some code from the DomTree and PostDomTree calculate methods up into 
each one's runOnFunction method.

llvm-svn: 42563
 2007-10-03 03:20:17 +00:00
Owen Anderson ee73e0b8cb Convert DFSPass into a templated friend function, in preparation for making it common to DomTree and PostDomTree. 
llvm-svn: 42420
 2007-09-27 23:23:00 +00:00
Owen Anderson da853a400f Move DFSPass back down into DominatorTree. I need to figure out what the difference is between it 
and the PostDomTree version first.

llvm-svn: 42250
 2007-09-23 22:16:38 +00:00
Owen Anderson 84c357fc26 Factor the dominator tree calculation details out into DominatorCalculation.h. This 
change is not useful in and of itself, but it lays the groundwork for combining
the dominator and postdominator implementations.

Also, factor a few methods that are common to DominatorTree and PostDominatorTree
into DominatorTreeBase.  Again, this will make merging the two calculation methods
simpler in the future.

llvm-svn: 42248
 2007-09-23 21:31:44 +00:00
Devang Patel 367260c0df Assert sooner. Fix wordings. 
llvm-svn: 41075
 2007-08-14 16:53:52 +00:00
Devang Patel c0fa0c52b3 Add methods to erase basic block entry. 
llvm-svn: 41052
 2007-08-13 22:10:29 +00:00
Chris Lattner 415750e132 Speed up updateDFSNumbers with two observations: 
1. domtree is a tree, not a graph.  There is no need to avoid revisiting nodes with a set.
2. the worklist can contain the child iterator pointers so we don't get N^2 rescanning of children.

This speeds up updateDFSNumbers significantly, making it basically free.  On the testcase in PR1432,
this speeds up loopsimplify by another 3x, dropping it from the 12th most expensive pass to the to
the 30th. :)  It used to be #1.

llvm-svn: 40923
 2007-08-08 06:24:20 +00:00
Chris Lattner c63d4c2e4e reimplement dfs number computation to be significantly faster. This speeds up 
natural loop canonicalization (which does many cfg xforms) by 4.3x, for 
example.  This also fixes a bug in postdom dfnumber computation.

llvm-svn: 40920
 2007-08-08 05:51:24 +00:00
Chris Lattner 67f1c3335c 1. Random tidiness cleanups 
2. Make domtree printing print dfin/dfout #'s
3. Fix the Transforms/LoopSimplify/2004-04-13-LoopSimplifyUpdateDomFrontier.ll failure from last night (in DominanceFrontier::splitBlock).

w.r.t. #3, my patches last night happened to expose the bug, but this 
has been broken since Owen's r35839 patch to LoopSimplify.  The code
was subsequently moved over from LoopSimplify into Dominators, carrying
the latent bug.  Fun stuff.

llvm-svn: 40858
 2007-08-06 06:19:47 +00:00
Chris Lattner d2eb0c9653 Fix an iterator invalidation bug I induced. 
llvm-svn: 40830
 2007-08-05 00:24:30 +00:00
Chris Lattner 0e8f85f87e Switch some std::sets to SmallPtrSet. This speeds up 
domtree by 10% and postdomtree by 17%

llvm-svn: 40829
 2007-08-05 00:15:57 +00:00
Chris Lattner 5f5585c432 Switch DomTreeNode::assignDFSNumber from using a std::set to using 
a smallptrset.  This speeds up domtree by about 15% and postdomtree by 20%.

llvm-svn: 40828
 2007-08-05 00:10:08 +00:00
Chris Lattner 77e05fe20d Switch the internal "Info" map from an std::map to a DenseMap. This 
speeds up idom by about 45% and postidom by about 33%.

Some extra precautions must be taken not to invalidate densemap iterators.

llvm-svn: 40827
 2007-08-05 00:02:00 +00:00
Chris Lattner bd0fe01daf switch the DomTreeNodes and IDoms maps in idom/postidom to a 
DenseMap instead of an std::map.  This speeds up postdomtree
by about 25% and domtree by about 23%.  It also speeds up clients,
for example, domfrontier by 11%, mem2reg by 4% and ADCE by 6%.

llvm-svn: 40826
 2007-08-04 23:48:07 +00:00
Devang Patel a882328e61 Update dominator info for the middle blocks created while spliting 
exit edge to preserve LCSSA.

Fix dominance frontier update during loop unswitch. This fixes PR 1589, again

llvm-svn: 40737
 2007-08-02 15:25:57 +00:00
Devang Patel 34890b2f27 Undo previous check-in. 
llvm-svn: 40698
 2007-08-01 23:24:50 +00:00
Devang Patel 561b0c29a3 Update dominator info for the middle blocks created while spliting 
exit edge to preserve LCSSA.

Fix dominance frontier update during loop unswitch. This fixes PR 1589.

llvm-svn: 40695
 2007-08-01 22:23:50 +00:00
Devang Patel 381a2a26e9 Fix edge cases in handling basic block split. 
llvm-svn: 40564
 2007-07-27 19:13:43 +00:00
Devang Patel c445982764 Remove ETForest. 
llvm-svn: 37765
 2007-06-27 20:53:52 +00:00
Devang Patel d5258a23a5 Move code to update dominator information after basic block is split 
from LoopSimplify.cpp to Dominator.cpp

llvm-svn: 37689
 2007-06-21 17:23:45 +00:00