了解汇编、nasm、x86 中的 printf function。 我不知道为什么这段代码没有打印出任何东西

Question

BITS 64;

          global    main
          extern    printf

          section   .text
main:                                       ; This is called by the C library startup code
          push      rbx                     ; required to make printf 16-byte aligned.
                                            ; For now we only do this once!
          
          push      qword 300
          call      sum 

          mov       rdi, dfmt               ; set 1st parameter (format)
          mov       rsi, rax                  ; set 2nd parameter (low byte)
          xor       rax, rax                ; because printf is varargs we must clear rax
          call      printf                  ; printf(format, current_number)

          pop       rbx                     ; must restore rbx for Linux
          ret                               ; Return from main back into C library wrapper

sum:
      push      rbp                     ; retrieve parameter
          push      rbx                     ; save previous 
          mov       rbp, rsp
          add       rsp, 24                 ; create room for integer
          mov       rbx, [rbp]              ; rbx = param
            
          cmp       rbx, 0                  ; if (n <= 0)
          je        base                 
          
          dec       rbx                     ; decrement rbx to place in stack
          push      rbx                     ; put (rbx - 1) in stack
          inc       rbx
          call      sum                     ; calculate sum(n - 1)
          add       rax, rbx     
          pop       rbx 
          
          jmp end
          base:
          mov       rax, 1
          
          end:
          pop       rbx
          pop       rbp
          ret
           
dfmt:
          db  "%ld", 10, 0

Answer 1

让我们一点一点地通过go。

在main的 function 中，您有push qword 300 。 我认为这是为了将参数传递给sum ？ 如果是这样......那不是你在做什么。 我建议改为遵循 AMD64 调用约定并使用mov rdi, 300然后call sum ，它希望在rdi中找到它的第一个参数。

无论如何， sum ，您要做的第一件事就是push rbp ，这是非常标准的。 然后你push rbx 。 那是一个被调用者保存的寄存器，很好。 然后是mov rbp, rsp ，这又是非常标准的。

现在你用add rsp,24释放一些堆栈，我不明白。 堆栈向较低地址增长，因此要保留一些堆栈，您将从rsp中减去。 但也许那不是你正在做的？

现在它真的让我感到困惑。 你做mov rbx, [rbp] ，但由于main function 没有修改rbp ，它不会指向我们想要的任何地方。 我只能假设这是试图获取堆栈上的参数？

老实说，在这一点上我被难住了。

通常使用以下样板启动您的 function。

push rbp
mov rbp, rsp

原因是为了保护堆栈。 现在所有引用都可以针对rbp完成，它永远不会在您的代码中更改（它始终指向您的堆栈帧）。 它是一个被调用者保存的寄存器，所以无论如何我们都必须保存它，并且在设置它之前在堆栈上这样做。

通常使用以下样板来结束您的 function。

mov rsp, rbp
pop rbp
ret

根据 AMD64 调用约定，这会将堆栈指针和rbp恢复到它们在入口时的状态。 有一个同义词： leave 。 下面的代码是等价的。

leave
ret

现在，当您使用printf （或任何可能使用xmm寄存器的 function）时，您还必须确保在调用之前堆栈在 16 字节边界上对齐。 您可以假设堆栈在进入main时对齐。 push rbp会搞砸（关闭 8），但是当您执行call printf时，您将再推送 8 个字节（返回地址）并 presto。 堆栈对齐。

我最后的建议是使用 AMD64 调用约定而不是使用堆栈。 将参数放在rdi中，并在rax中获取返回值。

在不知道您要做什么的情况下，我无法提供更多帮助。