(cleanup-folding) ( #call -- nodes )

Vocabulary

compiler.tree.cleanup

Inputs

#call

a #call

Outputs

nodes

a sequence

Word description

Replace a #call having a known result with a #drop of its inputs followed by #push nodes for the outputs.

Definition

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

IN: compiler.tree.cleanup

: (cleanup-folding) ( #call -- nodes )
    [
        [ node-output-infos ] [ out-d>> ] bi
        [ [ literal>> ] dip <#push> ] 2map
    ] [ in-d>> <#drop> ] bi prefix ;