Summary
Independent allocator constraint, reduced-bank and native validation fixtures

Metadata

Parents:

compiler.cfg.register-allocation

Words

Error classes

Class	Superclass	Slots
invalid-allocation-evidence	tuple	key value
invalid-validation-register-bank	tuple	registers
outside-validation-register-bank	tuple	location rep

Tuple classes

Class	Superclass	Slots
constrained-allocator	tuple	delegate registers kernel

Ordinary words

Word	Stack effect
<validation-cycle>	( seed collect? -- graph )
<validation-diamond>	( width seed -- graph )
<validation-moving-phi>	( -- graph )
<validation-moving-tagged-phi>	( -- graph )
check-allocation-evidence	( statistics algorithm features -- )
check-validation-allocated-bank	( graph registers snapshot -- )
check-validation-insn-bank	( insn expected registers -- )
check-validation-location	( location rep registers -- )
check-validation-moving-phi	( word -- ? )
check-validation-register-bank	( graph registers -- )
compile-validation-cfg	( graph allocator -- word )
emit-validation-sum	( values -- result )
init-validation-representations	( -- )
invalid-allocation-evidence	( key value -- * )
invalid-validation-register-bank	( registers -- * )
linear-scan-allocation-with-registers	( graph registers -- )
outside-validation-register-bank	( location rep -- * )
validation-cycle-result	( iterations seed -- result )
validation-diamond-result	( input width seed -- result )
validation-register-bank	( graph integer-count float-count -- registers )
validation-vector-lane	( a b x -- result )
validation-vector-program	( a b x -- result )

Class predicate words

Word	Stack effect
constrained-allocator?	( object -- ? )
invalid-allocation-evidence?	( object -- ? )
invalid-validation-register-bank?	( object -- ? )
outside-validation-register-bank?	( object -- ? )

Files


Metadata files


Children from resource:basis

Vocabulary	Summary
compiler.cfg.register-allocation.validation.color-preferences
compiler.cfg.register-allocation.validation.entry-residency