establishes-cold-spill? ( interval -- ? )

Vocabulary

compiler.cfg.register-allocation.spill-sites

Inputs

interval

an object

Outputs

?

an object

Definition

USING: accessors assocs compiler.cfg.instructions
compiler.cfg.linear-scan.live-intervals cpu.architecture kernel
math math.order namespaces sequences ;

IN: compiler.cfg.register-allocation.spill-sites

:: establishes-cold-spill? ( interval -- ? )
    interval vreg>> cold-spill-values get key?
    interval spill-to>> spill-slot? and
    interval reg>> >boolean and interval spill-rep>> int-rep eq?
    and interval uses>> length 1 = and [
        interval first-use :> definition definition def-rep>>
        int-rep eq?
        definition n>> cold-definition-sites get key? and
        interval live-interval-end definition n>> dup 1 +
        between? and
    ] [ f ] if ;