From e0841fa695655d9dc0e4cb4c8d08f4097c2fd5ea Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Tue, 26 May 2009 02:58:40 -0500 Subject: [PATCH] compiler.cfg.checker: new check-rpo word --- basis/compiler/cfg/checker/checker.factor | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/basis/compiler/cfg/checker/checker.factor b/basis/compiler/cfg/checker/checker.factor index c14b7d0ae0..ac3d133fe6 100644 --- 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