checked-ssa-pass ( cfg pass -- )

Vocabulary

compiler.cfg.checker

Inputs

cfg	an object
pass	an object

Outputs

None

Definition

USING: accessors combinators continuations kernel namespaces ;

IN: compiler.cfg.checker

:: checked-ssa-pass ( cfg pass -- )
    cfg pass ( cfg -- ) execute-effect check-ssa? get [
        [ cfg check-ssa ] [ cfg word>> pass rot ssa-pass-error ]
        recover
    ] when ; inline