copy-allocation ( allocation -- allocation' )

Vocabulary

compiler.tree.escape-analysis.allocations

Inputs

allocation

an object

Outputs

allocation'

an object

Definition

USING: kernel sequences stack-checker.values ;

IN: compiler.tree.escape-analysis.allocations

: copy-allocation ( allocation -- allocation' )
    dup boolean? [
        [ <value> [ introduce-value ] [ copy-value ] [ ] tri ]
        map
    ] unless ;