Summary
Independent checks of register allocation ranges and assignments

Metadata

Parents:

compiler.cfg.linear-scan

Words

Error classes

Class	Superclass	Slots
changed-register-uses	tuple	expected actual
invalid-allocated-ranges	tuple	interval
invalid-allocated-register	tuple	interval
overlapping-allocated-ranges	tuple	first-interval second-interval
uncovered-allocated-use	tuple	interval use

Ordinary words

Word	Stack effect
changed-register-uses	( expected actual -- * )
check-allocated-intervals	( intervals registers -- )
check-interval	( interval registers -- )
check-register-ranges	( intervals -- )
check-register-uses	( intervals expected -- )
invalid-allocated-ranges	( interval -- * )
invalid-allocated-register	( interval -- * )
overlapping-allocated-ranges	( first-interval second-interval -- * )
required-register-uses	( intervals/sync-points -- uses )
uncovered-allocated-use	( interval use -- * )

Class predicate words

Word	Stack effect
changed-register-uses?	( object -- ? )
invalid-allocated-ranges?	( object -- ? )
invalid-allocated-register?	( object -- ? )
overlapping-allocated-ranges?	( object -- ? )
uncovered-allocated-use?	( object -- ? )

Files


Metadata files