compute-defs ( cfg -- )

Vocabulary

compiler.cfg.def-use

Inputs

cfg

a cfg

Outputs

None

Word description

Computes a mapping from vregs to basic-block instances in which they are defined. The data is assigned to the defs dynamic variable.

Definition

USING: compiler.cfg compiler.cfg.rpo kernel namespaces sequences
;

IN: compiler.cfg.def-use

: compute-defs ( cfg -- )
    H{ } clone [
        [ set-def-of ] curry [ [ [ basic-block get ] dip ] ] dip
        [ with each ] curry compose simple-analysis
    ] keep defs set ;