spill-after ( after -- after/f )

Vocabulary

compiler.cfg.linear-scan.allocation.spilling

Inputs

after

a live-interval-state

Outputs

after/f

a live-interval-state or f

Word description

If the interval has no more usages after the spill location, then it is the first child of an interval that was split. We spill the value and let the resolve pass insert a reload later. An interval may be split if it overlaps a sync-point.

See also

spill-before

Definition

USING: accessors combinators kernel sequences ;

IN: compiler.cfg.linear-scan.allocation.spilling

: spill-after ( after -- after/f )
    dup uses>> empty?
    [ drop f ] [
        {
            [ ]
            [ assign-reload ]
            [ trim-after-ranges ]
            [ check-ranges ]
        } cleave
    ] if ;