compute-avail-sets ( cfg -- )

Vocabulary

compiler.cfg.gvn.avail

Inputs

cfg

an object

Outputs

None

Definition

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

IN: compiler.cfg.gvn.avail

: compute-avail-sets ( cfg -- )
    avail run-dataflow-analysis
    [ avail-ins set ] [ avail-outs set ] bi* ;