gvn-loop-program ( x: fixnum n: fixnum -- y: fixnum )


Vocabulary
compiler.cfg.value-numbering.global.validation

Inputs
xa fixnum
na fixnum


Outputs
ya fixnum


Definition
USING: math typed ;

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

TYPED:: gvn-loop-program
( x: fixnum n: fixnum -- y: fixnum )
x 31 bitxor :> base 0 :> total! n
[| i | x 31 bitxor i bitxor total + total! ] each-integer
total base bitxor ; inline