join-blocks ( cfg -- )

Vocabulary

compiler.cfg.block-joining

Inputs

cfg

a cfg

Outputs

None

Word description

A compiler pass when optimizing the cfg.

Definition

USING: combinators compiler.cfg compiler.cfg.predecessors
compiler.cfg.rpo compiler.cfg.utilities kernel sequences ;

IN: compiler.cfg.block-joining

: join-blocks ( cfg -- )
    {
        [ needs-predecessors ]
        [
            post-order [
                dup join-block?
                [ dup predecessor join-block ] [ drop ] if
            ] each
        ]
        [ cfg-changed ]
        [ predecessors-changed ]
    } cleave ;