elimination-candidate? ( insn -- ? )

Vocabulary

compiler.cfg.value-numbering.global.private

Inputs

insn

an object

Outputs

?

an object

Definition

USING: compiler.cfg.instructions
compiler.cfg.value-numbering.global kernel ;

IN: compiler.cfg.value-numbering.global.private

: elimination-candidate? ( insn -- ? )
    dup ##phi?
    [ drop t ] [
        dup global-value-insn? swap dup ##load-integer? swap
        ##load-reference? or not and
    ] if ;