c 位操作以匹配描述

Question

我应该将文字描述与位运算相匹配。 W 比 a 和 b 数据结构中的总位数少 1。所以如果 a 是 32 位长 W 是 31 以下是文字描述：

1. One’s complement of a
2. a.
3. a&b.
4. a * 7.
5. a / 4 .
6. (a<0)?1:-1.

这里是按位描述：

a.  ̃( ̃a | (b ˆ (MIN_INT + MAX_INT)))
b. ((aˆb)& ̃b)|( ̃(aˆb)&b)
c. 1+(a<<3)+ ̃a
d. (a<<4)+(a<<2)+(a<<1)
e. ((a<0)?(a+3):a)>>2
f. a ˆ (MIN_INT + MAX_INT)
g.  ̃((a|( ̃a+1))>>W)&1
h.  ̃((a >> W) << 1)
i. a >> 2

我解决了其中的一些问题，即：

a.  ̃( ̃a | (b ˆ (MIN_INT + MAX_INT))) = a & b
b. ((aˆb)& ̃b)|( ̃(aˆb)&b) = a
c. 1+(a<<3)+ ̃a = 7 * a
d. (a<<4)+(a<<2)+(a<<1) = 16*a + 4*a + 2*a = 22*a
e. e. ((a<0)?(a+3):a)>>2 = (a<0)?(a/4 + 3/4) : a/4 = a/4 + ((a<0)?(3/4:0)
f. a ˆ (MIN_INT + MAX_INT) = ~a
i. a >> 2 = a/4

所以基本上我需要帮助的只是 g 和 h

g.  ̃((a|( ̃a+1))>>W)&1
h.  ̃((a >> W) << 1)

如果你不介意的话，你能不能也提供一个解释？

我认为这就是 g：

g.  ̃((a|( ̃a+1))>>W)&1 = ~((a|(two's complement of a) >>W)&1 
= ~((a|sign of two's complement of a) &1 = ~(-a)&1

但这可能是 1 或 0，所以我认为我做的不对。

对于这个：

h.  ̃((a >> W) << 1) = ~((sign of a) << 1) = ~((sign of a)*2) 

我不知道从那里去哪里......

感谢您的帮助！！！

Answer 1

对于 g，考虑 (a|~a) 将所有位设置为 1，所以：

~((a|~a) >> W) & 1
~(all_ones >> W) & 1
~1 & 1
0

将 1 加到 ~a 可能会影响此结果的唯一方法是，如果加法翻转了 ~a 的最高有效位（由于 W 右移）。仅当a 为 0 或 2^W 时才会发生这种情况。在后一种情况下，我们将得到与上面相同的结果，因为 (a|X) 的最高位将始终被设置。但是，当a 为 0 时，~a+1（0 的二进制补码）也为 0，整个表达式的最终结果将改为 1。

因此，当a为零时，g为1，否则为0（即-g等价于C表达式a == 0）。这似乎与您的任何措辞描述都不匹配。事实上，我看不出任何表达式 (X & 1) 可能与您的任何措辞描述相匹配。您的任何文字描述都不匹配仅计算为 0 或 1 的表达式（对于 a、b 的所有值）。

对于h，考虑如果a 是负数，那么它的最高位被设置。因为a 是有符号的，所以将其右移31 个位置会将符号位拖到a 的所有32 位上。然后将其左移一个位置将最低有效位设置为 0。补码产生 1。如果 a 为非负数，则其最高位为 0，右移 31 个位置产生 0。仍然左移 1 个位置产生 0。产生所有位集的补码，即 -1 的 2 的补码代表。因此，h 等价于 (a