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


Vocabulary
compiler.cfg.dataflow-analysis.private

Inputs
bban object
out-setsan object
dfaan object


Outputs
setan 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
:> preds preds length preds new-resizable :> sets preds
[ out-sets at* [ sets push ] [ drop ] if ] each
sets preds like bb dfa join-sets
] if ;