Documentation
Local stack analysis

Words

Tuple classes
ClassSuperclassSlots
height-state tupleds-begin rs-begin ds-inc rs-inc


Symbol words
local-peek-set
locs>vregs
replaces


Ordinary words
WordStack effect
>loc<( loc -- n ds? )
begin-local-analysis( basic-block -- )
changes>insns( replaces height-state -- insns )
compute-local-kill-set( height-state -- set )
ds-height( height-state -- n )
emit-insns( replaces state -- )
end-local-analysis( basic-block -- )
global-loc>local( loc height-state -- loc' )
height-state>insns( height-state -- insns )
inc-stack( loc -- )
kill-locations( begin inc -- seq )
loc>vreg( loc -- vreg )
local-kill-set( ds-begin ds-inc rs-begin rs-inc -- set )
local-loc>global( loc height-state -- loc' )
peek-loc( loc -- vreg )
remove-redundant-replaces( replaces -- replaces' )
replace-loc( vreg loc -- )
replaces>copy-insns( replaces -- insns )
reset-incs( height-state -- )
rs-height( height-state -- n )
vreg>loc( vreg -- loc/f )


Class predicate words
WordStack effect
height-state?( object -- ? )


Files