compute-phase-insn-intervals ( insn -- )

Vocabulary

compiler.cfg.register-allocation.ssa.phases

Inputs

insn

an object

Outputs

None

Definition

USING: accessors compiler.cfg.def-use
compiler.cfg.linear-scan.live-intervals kernel sequences ;

IN: compiler.cfg.register-allocation.ssa.phases

:: compute-phase-insn-intervals ( insn -- )
    insn phase-split-insn? [
        insn defs-vregs
        [ insn ssa-output-phase f record-def ] each
        insn uses-vregs length <iota> <reversed> [| index |
            index insn uses-vregs nth insn index ssa-input-phase
            f record-use
        ] each insn temp-vregs
        [ insn insn#>> record-phase-temp ] each
    ] [ insn compute-live-intervals* ] if ;