analyze-recursive-phi ( #enter-recursive -- )

Vocabulary

compiler.tree.escape-analysis.recursive

Inputs

#enter-recursive

an object

Outputs

None

Definition

USING: accessors compiler.tree.escape-analysis.allocations
compiler.tree.escape-analysis.branches kernel sequences ;

IN: compiler.tree.escape-analysis.recursive

: analyze-recursive-phi ( #enter-recursive -- )
    [ ] [ recursive-stacks ] [ out-d>> ] tri
    [ [ merge-values ] 2each ] [
        [ (merge-allocations) ] dip
        [ [ allocation ] map check-fixed-point ]
        [ record-allocations ] 2bi
    ] 2bi ;