propagate-after ( node -- )

Vocabulary

compiler.tree.propagation.nodes

Inputs

node

an object

Outputs

None

Definition

IN: compiler.tree.propagation.nodes

GENERIC: propagate-after ( node -- )

Methods

USING: accessors compiler.tree compiler.tree.propagation.info
compiler.tree.propagation.nodes compiler.tree.propagation.simple
kernel ;

M: #call propagate-after
    dup word>> word>input-infos propagate-input-infos ;


USING: accessors compiler.tree
compiler.tree.propagation.branches
compiler.tree.propagation.info compiler.tree.propagation.nodes
kernel namespaces sequences ;

M: #phi propagate-after
    condition-value get [
        [ out-d>> ] [ phi-in-d>> flip ] [ phi-info-d>> flip ]
        tri [
            [ possible-boolean-values ] map
            branch-phi-constraints
        ] 3each
    ] [ drop ] if ;


USING: compiler.tree compiler.tree.propagation.nodes kernel ;

M: node propagate-after drop ;