post-order ( cfg -- blocks )

Vocabulary

compiler.cfg.rpo

Inputs

cfg

a cfg

Outputs

blocks

a sequence

Word description

Lists the blocks in the cfg sorted in descending order on the number slot. The blocks are first numbered if they haven't already been.

Definition

USING: accessors kernel make ;

IN: compiler.cfg.rpo

: post-order ( cfg -- blocks )
    [ post-order>> ] [
        [ HS{ } clone over entry>> post-order-traversal drop ]
        { } make dup number-blocks >>post-order post-order>>
    ] ?unless ;