compiler.cfg.checker: new check-rpo word

diff --git a/basis/compiler/cfg/checker/checker.factor b/basis/compiler/cfg/checker/checker.factor
index c14b7d0ae004147efe7c33582023b919c7792f4f..ac3d133fe6a44c605a7715beb607d29792e4dc6c 100644 (file)
--- a/basis/compiler/cfg/checker/checker.factor
+++ b/basis/compiler/cfg/checker/checker.factor
@@ -18,7 +18,8 @@ ERROR: last-insn-not-a-jump insn ;
         [ ##dispatch-label? ]
     } 1|| [ drop ] [ last-insn-not-a-jump ] if ;
 
+: check-rpo ( rpo -- )
+    [ instructions>> check-basic-block ] each ;
+
 : check-cfg ( cfg -- )
-    entry>> reverse-post-order [
-        instructions>> check-basic-block
-    ] each ;
\ No newline at end of file
+    entry>> reverse-post-order check-rpo ;
\ No newline at end of file