assign-registers ( cfg live-intervals -- )

Vocabulary

compiler.cfg.linear-scan.assignment

Inputs

cfg	a cfg
live-intervals	a sequence

Outputs

None

Word description

Uses the live intervals in the sequence to assign physical registers to all instructions in the cfg. The live intervals must first have had their physical registers assigned by allocate-registers.

Definition

USING: accessors compiler.cfg.linearization sequences ;

IN: compiler.cfg.linear-scan.assignment

: assign-registers ( cfg live-intervals -- )
    init-assignment linearization-order [ kill-block?>> ] reject
    [ assign-registers-in-block ] each ;