Question

我找到了这个例子，任何人都可以解释这里发生了什么吗？我正在使用LLVM 7.1。

uint8_t a = 0xff;
a = ~a >> 1;
// a = 0b1000000

uint8_t b = 0xff;
b = ~b;
b = b >> 1;
//b = 0

a和b应该相等??

编辑：添加了反汇编：

testt`main:
    0x100000f70 <+0>:  pushq  %rbp
    0x100000f71 <+1>:  movq   %rsp, %rbp
    0x100000f74 <+4>:  xorl   %eax, %eax
    0x100000f76 <+6>:  movl   $0x0, -0x4(%rbp)
    0x100000f7d <+13>: movl   %edi, -0x8(%rbp)
    0x100000f80 <+16>: movq   %rsi, -0x10(%rbp)
    0x100000f84 <+20>: movb   $-0x1, -0x11(%rbp)
    0x100000f88 <+24>: movzbl -0x11(%rbp), %edi
    0x100000f8c <+28>: xorl   $-0x1, %edi
    0x100000f8f <+31>: sarl   $0x1, %edi
    0x100000f92 <+34>: movb   %dil, %cl
    0x100000f95 <+37>: movb   %cl, -0x11(%rbp)
    0x100000f98 <+40>: movb   $-0x1, -0x12(%rbp)
    0x100000f9c <+44>: movzbl -0x12(%rbp), %edi
    0x100000fa0 <+48>: xorl   $-0x1, %edi
    0x100000fa3 <+51>: movb   %dil, %cl
    0x100000fa6 <+54>: movb   %cl, -0x12(%rbp)
    0x100000fa9 <+57>: movzbl -0x12(%rbp), %edi
    0x100000fad <+61>: sarl   $0x1, %edi
    0x100000fb0 <+64>: movb   %dil, %cl
    0x100000fb3 <+67>: movb   %cl, -0x12(%rbp)
    0x100000fb6 <+70>: popq   %rbp
    0x100000fb7 <+71>: retq

Answer 1

在第一种情况下，~a被提升为int，因此您获得：

a = 0xffffff00 >> 1 = 0x7fffff80

被截断为0x80。

在第二种情况下，截断在班次之前发生，所以你得到：

b = 0xffffff00

被截断为0x00，然后将其移位会得到0x00的结果。

（注意：上面假设32位整数，正常的2s补码表示和有符号值的逻辑右移。）

C位移动行为

1 个答案: