compute-mappings ( bb to -- mappings )

Vocabulary

compiler.cfg.linear-scan.resolve

Inputs

bb	an object
to	an object

Outputs

mappings

an object

Definition

USING: assocs compiler.cfg.linear-scan.assignment kernel make
sequences ;

IN: compiler.cfg.linear-scan.resolve

:: compute-mappings ( bb to -- mappings )
    bb machine-live-out :> live-out to machine-live-in
    :> live-in bb to machine-edge-live-in
    :> edge-live-in live-out assoc-empty?
    [ f ] [
        [
            live-in keys edge-live-in keys append [
                live-out live-in edge-live-in
                resolve-value-data-flow
            ] each
        ] { } make
    ] if ;