memory-available

Vocabulary

compiler.cfg.memory-optimization.private

Definition

IN: compiler.cfg.memory-optimization.private

SINGLETON: memory-available

Methods

USING: compiler.cfg.dataflow-analysis
compiler.cfg.memory-optimization.private kernel namespaces ;

M:: memory-available join-sets ( sets bb dfa -- set )
    bb memory-entry get eq?
    [ H{ } clone ] [ sets common-memory-facts ] if ;


USING: accessors assocs compiler.cfg.dataflow-analysis
compiler.cfg.memory-optimization.private sequences ;

M:: memory-available transfer-set
    ( incoming bb dfa -- out-set )
    incoming H{ } assoc-clone-like :> facts bb instructions>>
    [ facts update-memory-facts ] each facts ;