按位和左/右移

Question

我有一个32位数字，我想将最后16位设置为零。在Python：

#a is in base 10 
In [143]: a 
Out[143]: 536899058 

通常情况下，我会做的数量和位掩码之间的位与。

# 11111111 11111111 00000000 00000000 is 4294901760 in base 10 
In [145]: a & 4294901760 
Out[145]: 536870912L 

在这种特定的情况下，是否有在的任何缺点的由16个比特移位数到右边，然后移它回到左 16点的位置？

In [146]: (a >> 16) << 16 
Out[146]: 536870912 

Answer 1

除了混淆你的意图和采取一个以上的指令，没有。

如果您想100％确定，请将您的查询输入到SMT解算器中，该解算器可以理解位向量和二元运算符（如Z3）。它会证明这些陈述是否相同（扰流：他们是）;在线编号为here。

x = BitVec('x', 32) 

prove(x & 0xFFFF0000 == ((x >> 16) << 16))