transfer-value-flow-copy ( insn state snapshot -- )

Vocabulary

compiler.cfg.register-allocation.verifier

Inputs

insn	an object
state	an object
snapshot	an object

Outputs

None

Definition

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

IN: compiler.cfg.register-allocation.verifier

:: transfer-value-flow-copy ( insn state snapshot -- )
    insn ##tagged>integer? [ int-rep ] [ insn rep>> ] if
    :> rep insn src>> rep state value-flow-read [| value |
        value value-flow-false eq?
        [ rep reg-class-of int-regs eq? ] [
            value snapshot reps>> at [| original-rep |
                original-rep rep-size rep rep-size <=
                original-rep reg-class-of rep reg-class-of = and
            ] [ f ] if*
        ] if
    ] filter insn dst>> rep state value-flow-write ;