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