compiler.tree.checker vocabulary
Factor handbook ยป Vocabulary index


Summary
Debugging tool for checking various invariants of tree IR

Metadata
Parents:compiler.tree


Words

Tuple classes
ClassSuperclassSlots
check-node-error tuplenode error
check-use-error tuplevalue message


Generic words
WordStack effect
check-node*( node -- )
check-stack-flow*( node -- )


Symbol words
branch-out
datastack
retainstack
terminated?


Ordinary words
WordStack 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
WordStack effect
check-node-error?( object -- ? )
check-use-error?( object -- ? )


Files


Metadata files