check-fixed-point ( node alloc1 alloc2 -- )

Vocabulary

compiler.tree.escape-analysis.recursive

Inputs

node	an object
alloc1	an object
alloc2	an object

Outputs

None

Definition

USING: accessors kernel sequences ;

IN: compiler.tree.escape-analysis.recursive

: check-fixed-point ( node alloc1 alloc2 -- )
    [ congruent? ] 2all?
    [ drop ] [ label>> f >>fixed-point drop ] if ;