check-ssa ( cfg -- )

Vocabulary

compiler.cfg.checker

Inputs

cfg

a cfg

Outputs

None

Word description

Checks predecessor caches, phi placement and incoming edges, unique definitions, and dominance of ordinary and phi-edge uses. Expected edges are derived independently before any predecessor repair. Analysis caches created by the checker do not escape its scope.

Definition

USING: accessors assocs compiler.cfg
compiler.cfg.checker.private compiler.cfg.dominance
compiler.cfg.rpo kernel namespaces sequences sets ;

IN: compiler.cfg.checker

:: check-ssa ( cfg -- )
    [
        cfg clone :> checked checked cfg-changed
        checked reverse-post-order :> blocks cfg post-order>>
        [ blocks set= [ cfg stale-cfg-order ] unless ] when*
        blocks collect-edges blocks [ check-block-phis ] each
        cfg predecessors-valid?>> [
            blocks [| bb |
                bb predecessors>> bb expected-predecessors get
                at set= [ bb bad-predecessors ] unless
            ] each
        ] when H{ } clone ssa-definitions set blocks
        [ collect-definitions ] each checked needs-dominance
        blocks [ check-block-uses ] each
    ] with-scope ;