mt[kk] = mt[kk+M] ^ (y >> 1) ^ mag01[y & 0x1UL];
1 bit 右シフトした結果と xor を取ってるが、 mag01 の部分の最上位 bit は調整できるので、 quad word 単位の右シフトに変えることができる。
Even 5 命令 => Even 1 + Odd 3 命令