update-memory-facts ( insn facts -- )

Vocabulary

compiler.cfg.memory-optimization.private

Inputs

insn	an object
facts	an object

Outputs

None

Definition

USING: accessors assocs compiler.cfg.instructions kernel ;

IN: compiler.cfg.memory-optimization.private

:: update-memory-facts ( insn facts -- )
    insn ##slot-imm?
    [ insn dst>> insn memory-load-key facts set-at ] [
        insn memory-transparent-insn? insn allocation-insn? insn
        gc-map-insn? or not and
        insn ##unbox? insn ##unbox-long-long? or not and
        [ ] [ facts clear-assoc ] if
    ] if ;