check-phase-ssa-transports ( cfg intervals -- )

Vocabulary

compiler.cfg.register-allocation.ssa.phases

Inputs

cfg	an object
intervals	an object

Outputs

None

Definition

USING: accessors compiler.cfg.instructions
compiler.cfg.linear-scan.live-intervals
compiler.cfg.linearization kernel math sequences ;

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

:: check-phase-ssa-transports ( cfg intervals -- )
    cfg cfg>insns
    [ dup ##phi? not swap phase-split-insn? and ] filter
    [ insn#>> 1 + ] map :> late intervals [| interval |
        interval reload-from>> [
            interval live-interval-start late member?
            [ interval unsafe-late-ssa-reload ] when
        ] when
    ] each ;