无法理解此汇编代码

Question

我要考试了，我正在努力组装。我已经编写了一些简单的 C 代码，得到了它的汇编代码，然后尝试对汇编代码进行评论作为练习。 C代码：

#include <stdio.h>
#include <stdlib.h>

int main(int argc, char const *argv[])
{
   int x = 10;
   char const* y = argv[1];

   printf("%s\n",y );

   return 0;
}

它的汇编代码：

   0x00000000000006a0 <+0>: push   %rbp                   # Creating stack
   0x00000000000006a1 <+1>: mov    %rsp,%rbp              # Saving base of stack into base pointer register
   0x00000000000006a4 <+4>: sub    $0x20,%rsp             # Allocate 32 bytes of space on the stack
   0x00000000000006a8 <+8>: mov    %edi,-0x14(%rbp)       # First argument stored in stackframe
   0x00000000000006ab <+11>:    mov    %rsi,-0x20(%rbp)   # Second argument stored in stackframe
   0x00000000000006af <+15>:    movl   $0xa,-0xc(%rbp)    # Value 10 stored in x's address in the stackframe
   0x00000000000006b6 <+22>:    mov    -0x20(%rbp),%rax   # Second argument stored in return value register
   0x00000000000006ba <+26>:    mov    0x8(%rax),%rax     # ??
   0x00000000000006be <+30>:    mov    %rax,-0x8(%rbp)    # ??
   0x00000000000006c2 <+34>:    mov    -0x8(%rbp),%rax    # ??
   0x00000000000006c6 <+38>:    mov    %rax,%rdi          # Return value copied to 1st argument register - why??
   0x00000000000006c9 <+41>:    callq  0x560              # printf??
   0x00000000000006ce <+46>:    mov    $0x0,%eax          # Value 0 is copied to return register
   0x00000000000006d3 <+51>:    leaveq                    # Destroying stackframe
   0x00000000000006d4 <+52>:    retq                      # Popping return address, and setting instruction pointer equal to it

无论我有什么“？？”，一个友好的灵魂可以帮助我吗？ （意思是我不明白发生了什么或者我不确定）？

Answer 1

   0x00000000000006ba <+26>:    mov    0x8(%rax),%rax     # get argv[1] to rax
   0x00000000000006be <+30>:    mov    %rax,-0x8(%rbp)    # move argv[1] to local variable
   0x00000000000006c2 <+34>:    mov    -0x8(%rbp),%rax    # move local variable to rax (for move to rdi)
   0x00000000000006c6 <+38>:    mov    %rax,%rdi          # now rdi has argv[1]
   0x00000000000006c9 <+41>:    callq  0x560              # it is puts (optimized)

Answer 2

我会试着猜测一下：

mov    -0x20(%rbp),%rax   # retrieve argv[0]
mov    0x8(%rax),%rax     # store argv[1] into rax
mov    %rax,-0x8(%rbp)    # store argv[1] (which now is in rax) into y
mov    -0x8(%rbp),%rax    # put y back into rax (which might look dumb, but possibly it has its reasons)
mov    %rax,%rdi          # copy y to rdi, possibly to prepare the context for the printf

当您处理汇编程序时，请指定您使用的架构。英特尔处理器可能使用与 ARM 处理器不同的一组指令，相同的指令可能不同，或者它们可能依赖于不同的假设。您可能知道，优化会更改编译器生成的汇编程序指令的顺序，您可能需要指定是否也使用它（看起来不像？）以及您使用的编译器，因为每个人都有自己的生成汇编程序的策略.

也许我们永远不会知道为什么编译器必须通过从 rax 复制来为 printf 准备上下文，这可能是编译器的选择或特定架构强加的义务。由于所有这些烦人的原因，大多数人更喜欢使用诸如 C 之类的“高级语言”，这样指令集总是正确的，尽管它对人类来说可能看起来很愚蠢（我们知道计算机在设计上是愚蠢的）并不总是最好的选择，这就是为什么仍然有很多编译器。

我可以再给你两个提示：

1. 您的 IDE 必须有一种方法可以将汇编器指令与 C 代码交错，并在汇编器中单步执行。尝试找出并自己探索它

2. IDE 还应该具有探索程序内存的功能。如果您发现尝试输入 0x560 地址并查看它会引导您。这很可能是您的 printf 的入口点

希望我的回答能帮到你，祝你好运