linearization-order ( cfg -- bbs )

Vocabulary

compiler.cfg.linearization

Inputs

cfg

a cfg

Outputs

bbs	a sequence

Word description

Lists the basic blocks in linearization order. That is, the order in which they will be written in the generated assembly code.

See also

generate, reverse-post-order

Definition

USING: accessors combinators compiler.cfg.linearization.private
compiler.cfg.loop-detection compiler.cfg.predecessors
compiler.cfg.rpo kernel ;

IN: compiler.cfg.linearization

: linearization-order ( cfg -- bbs )
    {
        [ needs-post-order ]
        [ needs-loops ]
        [ needs-predecessors ]
        [
            [ linear-order>> ] [
                dup (linearization-order) >>linear-order
                linear-order>>
            ] ?unless
        ]
    } cleave ;