actually-defined-by* ( value node -- )

Vocabulary

compiler.tree.def-use.simplified

Inputs

value	an object
node	an object

Outputs

None

Definition

IN: compiler.tree.def-use.simplified

GENERIC: actually-defined-by* ( value node -- )

Methods

USING: accessors compiler.tree compiler.tree.def-use.simplified
kernel sequences ;

M: #call-recursive actually-defined-by*
    [ out-d>> index ] [ label>> return>> in-d>> nth ] bi
    (actually-defined-by) ;


USING: accessors compiler.tree compiler.tree.def-use.simplified
kernel sequences ;

M: #enter-recursive actually-defined-by*
    [ out-d>> index ] keep
    [ in-d>> nth (actually-defined-by) ] [
        label>> calls>>
        [ node>> in-d>> nth (actually-defined-by) ] with each
    ] 2bi ;


USING: accessors compiler.tree compiler.tree.def-use.simplified
kernel sequences stack-checker.branches ;

M: #phi actually-defined-by*
    [ out-d>> index ] [ phi-in-d>> ] bi [
        nth dup +bottom+ eq?
        [ drop ] [ (actually-defined-by) ] if
    ] with each ;


USING: compiler.tree compiler.tree.def-use.simplified kernel
sequences ;

M: #renaming actually-defined-by*
    inputs/outputs swap [ index ] dip nth (actually-defined-by)
    ;


USING: compiler.tree compiler.tree.def-use.simplified
compiler.tree.def-use.simplified.private kernel namespaces sets
;

M: node actually-defined-by* real-usage boa accum get adjoin ;