gvn-branch-program ( x: fixnum flag: boolean -- y: fixnum )

Vocabulary

compiler.cfg.value-numbering.global.validation

Inputs

x	a fixnum
flag	a boolean

Outputs

y

a fixnum

Definition

USING: kernel math typed ;

IN: compiler.cfg.value-numbering.global.validation

TYPED:: gvn-branch-program
    ( x: fixnum flag: boolean -- y: fixnum )
    x 7 bitxor :> a flag [ a 3 bitand ] [ a 1 bitand ] if
    x 7 bitxor bitxor ; inline