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

compiler.cfg.dominance: changed stack effect compute-dominance ( cfg -- cfg' ) to ( cfg -- )

db4
Björn Lindqvist 2014-12-10 22:55:55 +01:00
parent e5866dfa80
commit befbe0bb59
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
basis/compiler/cfg/dominance/dominance.factor
View File

@ -73,15 +73,17 @@ PRIVATE>
H{ } clone maxpreorder set H{ } clone maxpreorder set
[ 0 ] dip entry>> (compute-dfs) drop ; [ 0 ] dip entry>> (compute-dfs) drop ;
: compute-dominance ( cfg -- cfg' ) : compute-dominance ( cfg -- )
[ compute-dom-parents compute-dom-children ] [ compute-dfs ] [ ] tri ; [ compute-dom-parents compute-dom-children ] [ compute-dfs ] bi ;
PRIVATE> PRIVATE>
: needs-dominance ( cfg -- ) : needs-dominance ( cfg -- )
dup needs-predecessors [ needs-predecessors ]
dup dominance-valid?>> [ compute-dominance t >>dominance-valid? ] unless [
drop ; dup dominance-valid?>> [ drop ]
[ t >>dominance-valid? compute-dominance ] if
] bi ;
: dominates? ( bb1 bb2 -- ? ) : dominates? ( bb1 bb2 -- ? )
swap [ pre-of ] [ [ pre-of ] [ maxpre-of ] bi ] bi* between? ; swap [ pre-of ] [ [ pre-of ] [ maxpre-of ] bi ] bi* between? ;