congruent? ( alloc1 alloc2 -- ? )

Vocabulary

compiler.tree.escape-analysis.recursive

Inputs

alloc1	an object
alloc2	an object

Outputs

?

an object

Definition

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

IN: compiler.tree.escape-analysis.recursive

: congruent? ( alloc1 alloc2 -- ? )
    {
        { [ 2dup [ boolean? ] either? ] [ eq? ] }
        { [ 2dup 2length = not ] [ 2drop f ] }
        [ [ [ allocation ] bi@ congruent? ] 2all? ]
    } cond ;