end-stack-analysis ( cfg -- )

Vocabulary

compiler.cfg.stacks

Inputs

cfg

a cfg

Outputs

None

Word description

Ends the stack analysis of the current cfg. This is the last step of the cfg construction (but comes before all optimization passes).

Definition

USING: compiler.cfg.stacks.finalize compiler.cfg.stacks.global
compiler.cfg.utilities ;

IN: compiler.cfg.stacks

: end-stack-analysis ( cfg -- )
    {
        compute-anticip-sets
        compute-live-sets
        compute-pending-sets
        compute-dead-sets
        compute-avail-sets
        finalize-stack-shuffling
    } apply-passes ;