spill-at-sync-point? ( sync-point live-interval -- ? )

Vocabulary

compiler.cfg.linear-scan.allocation

Inputs

sync-point	a sync-point
live-interval	a live-interval-state

Outputs

?

a boolean

Word description

Whether the given live interval must be spilled at the sync point. If the instruction for the given sync point is a hairy-clobber-insn, such as a (##call-gc instruction) then the interval is always spilled.

Definition

USING: accessors combinators.short-circuit
compiler.cfg.linear-scan.live-intervals kernel ;

IN: compiler.cfg.linear-scan.allocation

: spill-at-sync-point? ( sync-point live-interval -- ? )
    {
        [ drop keep-dst?>> not ]
        [ [ n>> ] dip find-use [ def-rep>> ] ?call not ]
    } 2|| ;