eliminate-phi-introductions ( introductions seq terminated -- seq' )

Vocabulary

compiler.tree.normalization

Inputs

introductions	an object
seq	an object
terminated	an object

Outputs

seq'

an object

Definition

USING: kernel math sequences stack-checker.branches ;

IN: compiler.tree.normalization

: eliminate-phi-introductions
    ( introductions seq terminated -- seq' )
    [
        [ nip ] [
            dup [ +top+ eq? ] trim-head [ 2length - tail* ] keep
            append
        ] if
    ] 3map ;