reify-entry-transports ( records -- )

Vocabulary

compiler.cfg.register-allocation.backtracking

Inputs

records

an object

Outputs

None

Definition

USING: accessors assocs compiler.cfg.linear-scan.assignment
compiler.cfg.linear-scan.live-intervals kernel namespaces
sequences ;

IN: compiler.cfg.register-allocation.backtracking

:: reify-entry-transports ( records -- )
    0 backtracking-edge-entry-reloads set records [| interval
    instructions |
        interval live-interval-start backtracking-point-blocks
        get at
        :> bb bb machine-live-in :> incoming interval
        instructions incoming check-recorded-entry-reload
        interval bb common-entry-home?
        [ ] [
            bb [
                [| insn | instructions [ insn eq? ] any? not ]
                filter
            ] change-instructions drop
            interval reg>> interval vreg>> incoming set-at
            interval f >>reload-from drop
            backtracking-edge-entry-reloads inc
        ] if
    ] assoc-each ;