compute-available-sets ( cfg -- )

Vocabulary

compiler.cfg.value-numbering.global.private

Inputs

cfg

an object

Outputs

None

Definition

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

IN: compiler.cfg.value-numbering.global.private

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