compiler.cfg.checker vocabulary
Factor handbook » Vocabulary index

Summary

Metadata

Parents:	compiler.cfg
Authors:	Slava Pestov

Words

Error classes

Class	Superclass	Slots
bad-phi-inputs	tuple	bb insn
bad-predecessors	tuple	bb
bad-successors	tuple
duplicate-ssa-definition	tuple	vreg
misplaced-phi	tuple	bb insn
non-dominating-ssa-use	tuple	vreg bb
ssa-pass-error	tuple	word pass error
stale-cfg-order	tuple	cfg
undefined-ssa-use	tuple	vreg bb

Symbol words

check-ssa?

Ordinary words

Word	Stack effect
bad-phi-inputs	( bb insn -- * )
bad-predecessors	( bb -- * )
bad-successors	( -- * )
check-cfg	( cfg -- )
check-ssa	( cfg -- )
check-successors	( bb -- )
checked-ssa-pass	( cfg pass -- )
duplicate-ssa-definition	( vreg -- * )
misplaced-phi	( bb insn -- * )
non-dominating-ssa-use	( vreg bb -- * )
ssa-pass-error	( word pass error -- * )
stale-cfg-order	( cfg -- * )
undefined-ssa-use	( vreg bb -- * )

Class predicate words

Word	Stack effect
bad-phi-inputs?	( object -- ? )
bad-predecessors?	( object -- ? )
bad-successors?	( object -- ? )
duplicate-ssa-definition?	( object -- ? )
misplaced-phi?	( object -- ? )
non-dominating-ssa-use?	( object -- ? )
ssa-pass-error?	( object -- ? )
stale-cfg-order?	( object -- ? )
undefined-ssa-use?	( object -- ? )

Files

resource:basis/compiler/cfg/checker/checker.factor
resource:basis/compiler/cfg/checker/checker-docs.factor
resource:basis/compiler/cfg/checker/checker-tests.factor

Metadata files

resource:basis/compiler/cfg/checker/authors.txt