C位移动行为

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补码表示和有符号值的逻辑右移位.)