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

Vocabulary

compiler.cfg.dataflow-analysis.private

Inputs

bb	an object
out-sets	an object
dfa	an object

Outputs

set

an object

Definition

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

IN: compiler.cfg.dataflow-analysis.private

:: compute-in-set ( bb out-sets dfa -- set )
    bb dfa ignore-block?
    [ f ] [
        bb dfa predecessors [ out-sets key? ] filter
        [ out-sets at ] map bb dfa join-sets
    ] if ;