check-recorded-entry-reload ( interval instructions incoming -- )

Vocabulary

compiler.cfg.register-allocation.backtracking

Inputs

interval	an object
instructions	an object
incoming	an object

Outputs

None

Definition

USING: accessors assocs compiler.cfg.instructions kernel
sequences ;

IN: compiler.cfg.register-allocation.backtracking

:: check-recorded-entry-reload
    ( interval instructions incoming -- )
    instructions length 1 = [
        instructions first :> insn insn ##reload? [
            insn src>> interval reload-from>> =
            insn dst>> interval reg>> = and
            insn rep>> interval reload-rep>> = and
            interval vreg>> incoming at interval reload-from>> =
            and
        ] [ f ] if
    ] [ f ] if
    [ ] [
        interval instructions incoming
        invalid-recorded-entry-reload
    ] if ;