check-validation-moving-phi ( word -- ? )

Vocabulary

compiler.cfg.register-allocation.validation

Inputs

word

an object

Outputs

?

an object

Definition

USING: arrays combinators kernel math sequences ;

IN: compiler.cfg.register-allocation.validation

:: check-validation-moving-phi ( word -- ? )
    12 <iota> [| seed |
        { -1 1 } [| flag |
            seed 1array seed 100 +
            1array flag word ( a b flag -- a b result )
            execute-effect :> ( a b result ) result flag 0 >
            a b ? eq?
        ] all?
    ] all? ;