Vocabulary
compiler.cfg.alias-analysis

Inputs
insnan object


Outputs
insn'an object


Definition


Methods




























M:: write-insn analyze-aliases ( insn -- insn' )
insn src>> resolve :> src insn insn-slot# :> slot# insn
insn-object :> vreg insn insn#>> :> insn# src slot# vreg
idempotent?
[ insn# dead-store ] [
src heap-ac get merge-acs
insn insn#>> slot# vreg remember-set-slot
src slot# vreg load-slot
] if insn ;