check-validation-allocated-bank ( graph registers snapshot -- )

Vocabulary

compiler.cfg.register-allocation.validation

Inputs

graph	an object
registers	an object
snapshot	an object

Outputs

None

Definition

USING: accessors assocs combinators compiler.cfg.instructions
compiler.cfg.linearization cpu.architecture kernel sequences ;

IN: compiler.cfg.register-allocation.validation

:: check-validation-allocated-bank
    ( graph registers snapshot -- )
    graph cfg>insns [| insn |
        insn snapshot instructions>> at
        [ insn swap registers check-validation-insn-bank ] [
            insn {
                {
                    [ dup ##copy? ]
                    [
                        ~quotation~ ~quotation~ ~quotation~ tri
                        :> ( source destination rep ) source rep
                        registers check-validation-location
                        destination rep registers
                        check-validation-location
                    ]
                }
                {
                    [ dup ##spill? ]
                    [
                        ~quotation~ ~quotation~ bi
                        registers check-validation-location
                    ]
                }
                {
                    [ dup ##reload? ]
                    [
                        ~quotation~ ~quotation~ bi
                        registers check-validation-location
                    ]
                }
                {
                    [ dup ##load-reference? ]
                    [
                        dst>> tagged-rep registers
                        check-validation-location
                    ]
                }
                [ drop ]
            } cond
        ] if*
    ] each ;