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

compiler.cfg.checker: eliminate dead code before checking MR

db4
Slava Pestov 2009-07-22 19:17:57 -05:00
parent d29c275089
commit 5559d77d05
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2,8 +2,8 @@
! See http://factorcode.org/license.txt for BSD license. ! See http://factorcode.org/license.txt for BSD license.
USING: kernel compiler.cfg.instructions compiler.cfg.rpo USING: kernel compiler.cfg.instructions compiler.cfg.rpo
compiler.cfg.def-use compiler.cfg.linearization compiler.cfg.utilities compiler.cfg.def-use compiler.cfg.linearization compiler.cfg.utilities
compiler.cfg.mr combinators.short-circuit accessors math sequences compiler.cfg.dce compiler.cfg.mr combinators.short-circuit accessors
sets assocs ; math sequences sets assocs ;
IN: compiler.cfg.checker IN: compiler.cfg.checker
ERROR: bad-kill-block bb ; ERROR: bad-kill-block bb ;
@ -64,5 +64,5 @@ ERROR: undefined-values uses defs ;
: check-cfg ( cfg -- ) : check-cfg ( cfg -- )
[ [ check-basic-block ] each-basic-block ] [ [ check-basic-block ] each-basic-block ]
[ build-mr check-mr ] [ eliminate-dead-code build-mr check-mr ]
bi ; bi ;