check-block-phis ( bb -- )

Vocabulary

compiler.cfg.checker.private

Inputs

bb

an object

Outputs

None

Definition

USING: accessors assocs compiler.cfg.checker
compiler.cfg.instructions kernel namespaces sequences sets ;

IN: compiler.cfg.checker.private

:: check-block-phis ( bb -- )
    f :> non-phi?! bb instructions>> [| insn |
        insn ##phi? [
            non-phi? [ bb insn misplaced-phi ] when
            insn inputs>> keys bb expected-predecessors get at
            set= [ bb insn bad-phi-inputs ] unless
        ] [ t non-phi?! ] if
    ] each ;