eliminatable-copy? ( vreg1 vreg2 -- ? )

Vocabulary

compiler.cfg.ssa.destruction.coalescing

Inputs

vreg1	vreg
vreg2	vreg

Outputs

?

a boolean

Word description

Determines if a vreg copy can be eliminated. It can be eliminated if the vregs have the same register class and same representation size.

Definition

USING: combinators.short-circuit compiler.cfg.registers
cpu.architecture kernel ;

IN: compiler.cfg.ssa.destruction.coalescing

: eliminatable-copy? ( vreg1 vreg2 -- ? )
    [ rep-of ] bi@
    { [ [ reg-class-of ] same? ] [ [ rep-size ] same? ] } 2&& ;