从CSAPP理解以下汇编代码

Question

我最近正在阅读 CSAPP，并且对汇编代码示例有疑问。这是一个来自 CSAPP 的例子，代码如下：

    long pcount_goto
    (unsigned long x) {
    long result = 0;
    result += x & 0x1;
    x >>= 1;
    if(x) goto loop;
    return result;

 而对应的汇编代码为：

   movl    $0, %eax     #  result = 0
   .L2:                 # loop:
    movq    %rdi, %rdx
    andl    $1, %edx    #  t = x & 0x1
    addq    %rdx, %rax   #  result += t
    shrq    %rdi         #  x >>= 1
    jne .L2                 #  if (x) goto loop
    rep; ret

我的问题可能看起来很幼稚，因为我对汇编代码很陌生，但如果有人能帮助我解决这些问题，我将不胜感激。

1. %eax、%rax（还有 %edx、%rdx）有什么区别。我已经看到它们出现在汇编代码中，但它们似乎指的是相同的空间/地址。使用两个不同的名称有什么意义？

2. 在代码中

   andl    $1, %edx    #  t = x & 0x1
   

   我知道 %edx 现在存储 t，但是 x 到哪里去呢？

3. 在代码中

   shrq    %rdi  
   

   我觉得

    shrq   1, %rdi
   

   应该更好吗？

4. 对于

   jne .L2                 #  if (x) goto loop
   

   如果 (x) 去哪里了？我看不到任何判断。

Answer 1

这些都是非常基本的问题，您自己的一点研究应该可以回答所有这些问题。总之，

1. e 寄存器是r 寄存器的低 32 位。您可以根据需要的尺寸选择一种。还有 16 位和 8 位寄存器。请查阅基本架构手册。
2. and 指令修改了它的参数，不是a = b & c，而是a &= b。
3. shrq $1, %rdi 是有效的，shrq %rdi 只是它的别名。
4. 如果结果为零，jne 会自动检查 shrq 之前设置的零标志。