mt[kk] = mt[kk+M] ^ (y >> 1) ^ mag01[y & 0x1UL];
mag01 は2要素の配列 {0x0UL, 0x9908b0dfUL};
普通は比較命令 ceq を使う
spu_and(spu_ceq(spu_and(y, 1), 1), 0x9908b0dfUL)
これは Even 3 命令