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

compiler.cfg.checker: new check-rpo word

db4
Slava Pestov 2009-05-26 02:58:40 -05:00
parent a08bbde2e7
commit e0841fa695
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
basis/compiler/cfg/checker/checker.factor
View File

@ -18,7 +18,8 @@ ERROR: last-insn-not-a-jump insn ;
[ ##dispatch-label? ] [ ##dispatch-label? ]
} 1|| [ drop ] [ last-insn-not-a-jump ] if ; } 1|| [ drop ] [ last-insn-not-a-jump ] if ;
: check-rpo ( rpo -- )
[ instructions>> check-basic-block ] each ;
: check-cfg ( cfg -- ) : check-cfg ( cfg -- )
entry>> reverse-post-order [ entry>> reverse-post-order check-rpo ;
instructions>> check-basic-block
] each ;