flushable-call? ( #call -- ? )

Vocabulary

compiler.tree.dead-code.simple

Inputs

#call

a #call

Outputs

?

boolean

Word description

t if the call is flushable. To be flushable, two conditions must hold; first the word must have been declared flushable. Then, if it has any "input-classes" declared, all inputs to the word must fit within those classes. For example, if an input is a string and the declared input class is integer, it doesn't fit and the word is not flushable.

Definition

USING: accessors compiler.tree.propagation.info kernel sequences
words ;

IN: compiler.tree.dead-code.simple

: flushable-call? ( #call -- ? )
    dup word>> dup flushable? [
        word>input-infos
        [ [ node-input-infos ] dip [ value-info<= ] 2all? ]
        [ drop t ] if*
    ] [ 2drop f ] if ;