compute-out-set ( bb in-sets dfa -- set )

Vocabulary

compiler.cfg.dataflow-analysis.private

Inputs

bb	an object
in-sets	an object
dfa	an object

Outputs

set

an object

Definition

USING: assocs compiler.cfg.dataflow-analysis kernel ;

IN: compiler.cfg.dataflow-analysis.private

:: compute-out-set ( bb in-sets dfa -- set )
    bb dfa ignore-block?
    [ f ] [ bb in-sets at bb dfa transfer-set ] if ;