convert-to-zero-vector? ( insn -- ? )

Vocabulary

compiler.cfg.representations.peephole

Inputs

insn

an insn

Outputs

?

a boolean

Word description

When a literal zeroes/ones vector is unboxed, we replace the ##load-reference with a ##zero-vector or ##fill-vector instruction since this is more efficient.

Definition

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

IN: compiler.cfg.representations.peephole

: convert-to-zero-vector? ( insn -- ? )
    {
        [ dst>> rep-of vector-rep? ]
        [ obj>> B{ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 } = ]
    } 1&& ;