这是将变量传递给堆栈的正确方法吗？

Question

我写了一个简单的程序，它将一个预定义的数字转换为预定义的权力并返回结果。它在NASM汇编中，用于Linux。我一直试图让我的头在如何使用堆栈来传递函数的变量，并希望确保我做到了这一点。它返回正确的数字，但我不知道它是否正确：

section .text 
    global _start 

_start: 
    push dword 3  ;(power) 
    push dword 2  ;(num) 

    call power 

    mov ebx, eax 
    mov eax, 1 
    int 0x80 

power: 
    push ebp 
    mov ebp, esp 
    sub esp, 8  ;reserve space for two local vars 
    push dword [ebp+8] 
    pop dword [ebp-4] ;store original num as a local var 
    push dword [ebp+12] 
    pop dword [ebp-8] ;store power in a local counter var 
    dec dword [ebp-8] 
    mov eax, [ebp-4] ;store original num in eax (current val)  
    jmp power_loop 

power_loop: 
    imul eax, dword [ebp-4] ;multiply current val by original num 
    dec dword [ebp-8] ;decrement counter 

    cmp dword [ebp-8], 0 
    jne power_loop 

    mov esp, ebp  ;restore stack pointer 
    pop ebp 
    ret 

任何意见将不胜感激！

Answer 1

大部分看起来不错。但是，在电源恢复后，您应该从堆栈中移除变量。在这些情况下并不重要，因为_start不会返回，但如果您尝试从返回并且不清除的函数中调用函数，那么这很重要。函数的返回地址存储在堆栈中，并由ret指令弹出，所以如果堆栈顶部有其他东西，则会返回到错误的位置。

_start: 
    push dword 3 
    push dword 2 
    call power 
    add esp,8 ; Removes two dwords from stack 

如果你编写调用了很多其他功能的功能，最好是在函数的开始分配堆栈变量空间，每个函数调用之前写它，并从堆栈中删除在函数结束时。这样，您花更少的时间推送和弹出，因为您可以使用mov而不是正确的地址。

_start: 
    sub esp,8 ; Make room for two dwords 
    mov dword [esp+4], 3 
    mov dword [esp], 2 
    call power 
    add esp,8 ; Removes two dwords from stack 

随着你的幂函数评论：

• 开始EAX在1
• ：它目前只能如果功率至少2.您可以通过改变最小功率为0在循环之前，不要递减计数器变量
• 检查是否计数器在循环的开始是0

例：

; dec dword [ebp-8] ; Don't do this 
    mov eax, dword 1 
    jmp power_loop 

power_loop: 
    cmp dword [ebp-8], 0 
    je end_loop 

    imul eax, dword [ebp-4] ;multiply current val by original num 
    dec dword [ebp-8] ;decrement counter 
    jmp power_loop 

end_loop: 
    mov esp, ebp