compiler: fix stack effects to indicate visited is same object.

db4
John Benediktsson 2013-03-08 12:16:02 -08:00
parent bf35114fec
commit b97a1a0753
2 changed files with 2 additions and 2 deletions

View File

@ -5,7 +5,7 @@ assocs fry compiler.cfg compiler.cfg.instructions ;
FROM: namespaces => set ; FROM: namespaces => set ;
IN: compiler.cfg.rpo IN: compiler.cfg.rpo
: post-order-traversal ( visited bb -- visited' ) : post-order-traversal ( visited bb -- visited )
dup pick in? [ drop ] [ dup pick in? [ drop ] [
dup pick adjoin dup pick adjoin
[ [

View File

@ -18,7 +18,7 @@ IN: compiler.cfg.utilities
[ first ##branch? ] [ first ##branch? ]
} 1&& ; } 1&& ;
: (skip-empty-blocks) ( visited bb -- visited' bb' ) : (skip-empty-blocks) ( visited bb -- visited bb' )
dup pick in? [ dup pick in? [
dup empty-block? [ dup empty-block? [
dup pick adjoin dup pick adjoin