Documentation
Liveness analysis

Words

Generic words
WordStack effect
lookup-base-pointer*( vreg insn -- vreg/f )
visit-insn( live-set insn -- )


Symbol words
base-pointers
edge-live-ins
live-ins
live-outs


Ordinary words
WordStack effect
compute-edge-live-in( basic-block -- edge-live-in )
compute-live-in( basic-block -- live-in )
compute-live-out( basic-block -- live-out )
compute-live-sets( cfg -- )
edge-live-in( predecessor basic-block -- set )
fill-gc-map( live-set gc-map -- )
gc-roots( live-set -- derived-roots gc-roots )
gen-uses( live-set insn -- )
init-liveness( -- )
kill-defs( live-set insn -- )
live-in( bb -- set )
live-in?( vreg bb -- ? )
live-out( bb -- set )
live-out?( vreg bb -- ? )
liveness-step( basic-block -- basic-blocks )
lookup-base-pointer( vreg -- vreg/f )
transfer-liveness( live-set insns -- )
update-live-in( basic-block -- changed? )
update-live-out( basic-block -- changed? )
update-live-out/in( basic-block -- changed? )
visit-derived-root( vreg derived-roots gc-roots -- )
visit-gc-root( vreg derived-roots gc-roots -- )


Files