Summary
Independent symbolic verification of final register-allocation value flow

Metadata

Parents:

compiler.cfg.register-allocation

Words

Error classes

Class	Superclass	Slots
bad-allocation-value	tuple	insn operand location available
invalid-allocation-derived-root	tuple	insn derived base
invalid-allocation-edge	tuple	predecessor successor
invalid-allocation-gc-root	tuple	insn value
invalid-allocation-operand-constraint	tuple	insn
invalid-allocation-operands	tuple	insn
invalid-allocation-rematerialization	tuple	original insn
invalid-allocation-temporary	tuple	insn
lost-allocation-instruction	tuple	insn
overlapping-allocation-gc-roots	tuple	insn
unexpected-allocation-instruction	tuple	insn

Tuple classes

Class	Superclass	Slots
value-flow-instruction	tuple	inputs outputs temps roots derived constant
value-flow-operand	tuple	value rep
value-flow-snapshot	tuple	instructions blocks phis aliases reps tagged-values

Singleton classes

value-flow-false

Symbol words

active-value-flow-snapshot

Ordinary words

Word	Stack effect
allocate-with-value-flow-check	( cfg -- )
bad-allocation-value	( insn operand location available -- * )
check-value-flow	( cfg snapshot -- )
check-value-flow-inputs	( insn expected state snapshot -- )
check-value-flow-output-constraints	( insn expected -- )
check-value-flow-presence	( cfg snapshot -- )
check-value-flow-roots	( insn expected state snapshot -- )
check-value-flow-temps	( insn expected -- )
define-value-flow-outputs	( insn expected state snapshot -- )
forget-value-flow-temps	( insn expected state -- )
incoming-value-flow-state	( bb cfg states snapshot -- state/f )
invalid-allocation-derived-root	( insn derived base -- * )
invalid-allocation-edge	( predecessor successor -- * )
invalid-allocation-gc-root	( insn value -- * )
invalid-allocation-operand-constraint	( insn -- * )
invalid-allocation-operands	( insn -- * )
invalid-allocation-rematerialization	( original insn -- * )
invalid-allocation-temporary	( insn -- * )
lost-allocation-instruction	( insn -- * )
meet-value-flow-states	( first-state second-state -- state )
original-value-flow-predecessor	( predecessor snapshot -- original )
overlapping-allocation-gc-roots	( insn -- * )
record-value-flow-rematerialization	( original insn -- )
relocate-value-flow-roots	( insn expected state snapshot -- )
rename-value-flow-phis	( predecessor successor state snapshot -- state' )
snapshot-value-flow	( cfg -- snapshot )
snapshot-value-flow-instruction	( insn -- snapshot )
transfer-value-flow-block	( bb state snapshot checking? -- state' )
transfer-value-flow-copy	( insn state snapshot -- )
transfer-value-flow-insn	( insn state snapshot checking? -- )
unexpected-allocation-instruction	( insn -- * )
value-flow-alias	( destination source aliases -- )
value-flow-clobber	( state -- )
value-flow-copy?	( insn -- ? )
value-flow-forget	( values state -- )
value-flow-locations	( location rep -- locations )
value-flow-operands	( values -- operands )
value-flow-read	( location rep state -- values )
value-flow-root	( value aliases -- root )
value-flow-token	( operand snapshot -- value )
value-flow-verifier-enabled?	( -- ? )
value-flow-write	( values location rep state -- )

Class predicate words

Word	Stack effect
bad-allocation-value?	( object -- ? )
invalid-allocation-derived-root?	( object -- ? )
invalid-allocation-edge?	( object -- ? )
invalid-allocation-gc-root?	( object -- ? )
invalid-allocation-operand-constraint?	( object -- ? )
invalid-allocation-operands?	( object -- ? )
invalid-allocation-rematerialization?	( object -- ? )
invalid-allocation-temporary?	( object -- ? )
lost-allocation-instruction?	( object -- ? )
overlapping-allocation-gc-roots?	( object -- ? )
unexpected-allocation-instruction?	( object -- ? )
value-flow-false?	( object -- ? )
value-flow-instruction?	( object -- ? )
value-flow-operand?	( object -- ? )
value-flow-snapshot?	( object -- ? )

Files


Metadata files


Children from resource:basis

Vocabulary	Summary
compiler.cfg.register-allocation.verifier.rematerialization	Value-flow provenance for optional constant rematerialization