RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-25 12:12:47 +01:00
Code Issues Projects Releases Wiki Activity
53,379 Commits 4 Branches 5 Tags 704 MiB
24819a6e06
Commit Graph

161 Commits

Author SHA1 Message Date
Dan Gohman
e970f8a450 Make DominanceFrontierBase::print's output prettier. 
llvm-svn: 85011
 2009-10-24 20:01:11 +00:00
Dan Gohman
584645dfe8 Remove temporary debugging hack. 
llvm-svn: 82953
 2009-09-28 00:44:15 +00:00
Dan Gohman
bd50ec69e4 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
611a14fce0 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
1ceac42392 move DominatorTree::dominates for instructions out of line, 
no functionality change.

llvm-svn: 82490
 2009-09-21 22:30:50 +00:00
Chris Lattner
1c0452caeb 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
ea2bfd7a9f 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
c807a76334 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
d4f9668eb7 Fix some incorrect logic in DominanceFrontier::splitBlock. Part of 
PR4238.

llvm-svn: 72223
 2009-05-21 20:40:30 +00:00
Devang Patel
5b8e75e2fe Move dominator info printer into tool/opt/GraphPrinters.cpp 
llvm-svn: 52907
 2008-06-30 17:32:58 +00:00
Devang Patel
d5faa747e9 Add dominator info printer pass. 
llvm-svn: 52829
 2008-06-27 16:43:21 +00:00
Devang Patel
bae88af8c1 Dominance Frontier is cfg only pass. 
llvm-svn: 51075
 2008-05-13 22:43:21 +00:00
Chris Lattner
7925af6adf don't print dominators every time it is computed with -debug. 
llvm-svn: 50032
 2008-04-21 06:19:02 +00:00
Owen Anderson
030428b435 Major repairs to the post-dominators implementation. Patch from Florian Brandner! 
llvm-svn: 49768
 2008-04-16 04:21:16 +00:00
Devang Patel
1b64c7d1e5 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
f15fe34521 Restore isCFGOnly property of various analysis passes. 
llvm-svn: 48579
 2008-03-20 02:25:21 +00:00
Devang Patel
5e8cbbea65 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
ad9a6ccb83 Remove attribution from file headers, per discussion on llvmdev. 
llvm-svn: 45418
 2007-12-29 20:36:04 +00:00
Owen Anderson
33b9693ab8 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
1235d1218b Move splitBlock into DomTreeBase from DomTree. 
llvm-svn: 43059
 2007-10-17 02:03:17 +00:00
Owen Anderson
43fefb53a6 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
ffcd82d1ed 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
36b68478cb 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
cb51170957 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
91e23d710c 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
e529f66979 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
677db80624 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
de1937fcee 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
833a8ea187 Assert sooner. Fix wordings. 
llvm-svn: 41075
 2007-08-14 16:53:52 +00:00
Devang Patel
993388b1ee Add methods to erase basic block entry. 
llvm-svn: 41052
 2007-08-13 22:10:29 +00:00
Chris Lattner
b8959ef7a1 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
65d638a918 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
2c559ed3dc 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
4b65325ba7 Fix an iterator invalidation bug I induced. 
llvm-svn: 40830
 2007-08-05 00:24:30 +00:00
Chris Lattner
7cdaff2298 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
9c1a2dfa53 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
a5a692b9bb 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
5912537997 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
937b07fb5e 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
f21f509c2c Undo previous check-in. 
llvm-svn: 40698
 2007-08-01 23:24:50 +00:00
Devang Patel
51c61e730a 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
20ffab9de6 Fix edge cases in handling basic block split. 
llvm-svn: 40564
 2007-07-27 19:13:43 +00:00
Devang Patel
28d2851f39 Remove ETForest. 
llvm-svn: 37765
 2007-06-27 20:53:52 +00:00
Devang Patel
bfb1c7192e 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
Devang Patel
fbde93ba1f isReachableFromEntry() is not suitable for post dominator. 
llvm-svn: 37562
 2007-06-12 17:50:25 +00:00
Devang Patel
b4e2a776cb Remove redundant check. 
llvm-svn: 37561
 2007-06-12 17:35:20 +00:00
Devang Patel
8c07212a59 Check A dominates B and vise versa first while searching for nearest 
common dominator.

llvm-svn: 37559
 2007-06-12 17:17:57 +00:00
Devang Patel
ab4cb51479 Break DominatorTree from ETNode. 
Remove unused PostETForest.

llvm-svn: 37551
 2007-06-12 00:54:38 +00:00
Devang Patel
520e92a7f4 Use SmallPtrSet instaed of std::set 
llvm-svn: 37548
 2007-06-12 00:40:51 +00:00
Devang Patel
31da507473 Check immediate dominators first while searching for nearset common dominator. 
Fix 80 col violations.

llvm-svn: 37547
 2007-06-12 00:35:38 +00:00