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

compiler.cfg.loop-detection: more use of hash-sets.

db4
John Benediktsson 2013-03-10 10:06:48 -07:00
parent c7c951f207
commit ac95c024f3
1 changed files with 5 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
basis/compiler/cfg/loop-detection/loop-detection.factor
View File

@ -12,12 +12,10 @@ SYMBOL: loops
<PRIVATE
: <natural-loop> ( header index -- loop )
HS{ } clone H{ } clone natural-loop boa ;
HS{ } clone HS{ } clone natural-loop boa ;
: lookup-header ( header -- loop )
loops get [
loops get assoc-size <natural-loop>
] cache ;
loops get dup '[ _ assoc-size <natural-loop> ] cache ;
SYMBOLS: visited active ;
@ -45,8 +43,8 @@ DEFER: find-loop-headers
SYMBOL: work-list
: process-loop-block ( bb loop -- )
2dup blocks>> key? [ 2drop ] [
[ blocks>> conjoin ] [
2dup blocks>> in? [ 2drop ] [
[ blocks>> adjoin ] [
2dup header>> eq? [ 2drop ] [
drop predecessors>> work-list get push-all-front
] if
@ -64,7 +62,7 @@ SYMBOL: loop-nesting
: compute-loop-nesting ( -- )
loops get H{ } clone [
[ values ] dip '[ blocks>> values [ _ inc-at ] each ] each
[ values ] dip '[ blocks>> members [ _ inc-at ] each ] each
] keep loop-nesting set ;
: detect-loops ( cfg -- cfg' )