RT，为什么可以记录 0 和 (1<<32-1) 经过这些操作之后的值 $s_0$ ,$s_1$ ，代表的是什么意义，最后输出的又为什么是

(x & s1) | ((x ^ m) & s0)