Summary
Debugging tool for checking various invariants of tree IR

Words

Tuple classes

Class	Superclass	Slots
check-node-error	tuple	node error
check-use-error	tuple	value message

Generic words

Word	Stack effect
check-node*	( node -- )
check-stack-flow*	( node -- )

Symbol words

branch-out

datastack

retainstack

terminated?

Ordinary words

Word	Stack effect
(check-stack-flow)	( nodes -- )
assert-datastack-empty	( -- )
assert-retainstack-empty	( -- )
check-branch	( nodes -- stack )
check-def-use	( -- )
check-in-d	( node -- )
check-in-r	( node -- )
check-inputs	( seq var -- )
check-lengths	( seq -- )
check-node	( node -- )
check-node-error	( node error -- * )
check-nodes	( nodes -- )
check-out-d	( node -- )
check-out-r	( node -- )
check-outputs	( node var -- )
check-phi-in	( #phi -- )
check-stack-flow	( nodes -- )
check-terminate-in-d	( #terminate -- )
check-terminate-in-r	( #terminate -- )
check-use	( value uses -- )
check-use-error	( value message -- * )
check-values	( seq -- )
init-stack-flow	( -- )
set-phi-datastack	( #phi -- )

Class predicate words

Word	Stack effect
check-node-error?	( object -- ? )
check-use-error?	( object -- ? )

Files


Metadata files