steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

compiler.cfg.dominance: some more docs

db4
Björn Lindqvist 2014-12-10 23:46:19 +01:00
parent c85175c10c
commit 00e2d9f116
1 changed files with 16 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
basis/compiler/cfg/dominance/dominance-docs.factor
View File

@ -7,7 +7,15 @@ HELP: dom-parents
HELP: dom-children
{ $values { "bb" basic-block } { "seq" sequence } }
{ $description "Maps bb -> {bb' | idom(bb') = bb}" } ;
{ $description "Maps bb -> {bb' | idom(bb') = bb} or in other words, all basic blocks dominated by the given basic block." } ;
HELP: dom-parent
{ $values { "bb" basic-block } { "bb'" basic-block } }
{ $description "The basic block dominating the given block." } ;
HELP: needs-dominance
{ $values { "cfg" cfg } }
{ $description "Recalculates predecessor and dominance info for the given cfg." } ;
ARTICLE: "compiler.cfg.dominance" "A Simple, Fast Dominance Algorithm" $nl
"A Simple, Fast Dominance Algorithm" $nl
@ -15,6 +23,12 @@ ARTICLE: "compiler.cfg.dominance" "A Simple, Fast Dominance Algorithm" $nl
"http://www.cs.rice.edu/~keith/EMBED/dom.pdf"
$nl
"Also, a nice overview is given in these lecture notes:" $nl
"http://llvm.cs.uiuc.edu/~vadve/CS526/public_html/Notes/4ssa.4up.pdf" ;
"http://llvm.cs.uiuc.edu/~vadve/CS526/public_html/Notes/4ssa.4up.pdf"
$nl
"To rebuild dominance information:"
{ $subsections needs-dominance }
"To read the dominance data:"
{ $subsections dom-children dom-parent } ;
ABOUT: "compiler.cfg.dominance"