same-base-bits? ( vreg base -- ? )

Vocabulary

compiler.cfg.liveness

Inputs

vreg	an object
base	an object

Outputs

?

an object

Definition

USING: accessors assocs compiler.cfg.def-use
compiler.cfg.instructions kernel ;

IN: compiler.cfg.liveness

:: same-base-bits? ( vreg base -- ? )
    vreg base =
    [ t ] [
        vreg insn-of :> insn insn ##copy? insn ##tagged>integer?
        or
        [ insn src>> base same-base-bits? ] [
            insn ##parallel-copy?
            [ vreg insn values>> at base same-base-bits? ] [ f ]
            if
        ] if
    ] if ;