汇编中的递归？

Question

我试图更好地掌握汇编，当我必须处理寄存器、弹出/推送等时，我对如何递归调用函数有点困惑。

我正在 C++ 中嵌入 x86 汇编。在这里，我试图创建一个方法，给定一个整数数组，它将构建一个包含这些整数的链接列表，按照它们在数组中出现的顺序。

我通过调用递归函数来做到这一点：

insertElem (struct elem *head, struct elem *newElem, int data) 

-head：列表的头部

-data：将插入到列表末尾的数字

-newElem：指向内存中将存储新元素的位置（数据字段）

我的问题是我不断覆盖寄存器而不是典型的链表。 例如，如果我给它一个数组 {2,3,1,8,3,9}，我的链表将返回第一个元素（head），并且仅返回最后一个元素，因为在 head 被删除后，元素不断相互覆盖。不再为空。

所以这里我的链接列表看起来像这样： 2-->9 而不是 2-->3-->1-->8-->3-->9

我感觉我不知道如何组织和处理寄存器。 newElem 位于 EBX 中并且不断被重写。提前致谢！

Answer 1

如果没有看过你的 asm 代码，很难给出答案。我的第一个想法是，处理链表时不需要递归函数。

无论如何，跨函数调用保留寄存器的一般方法是将它们压入堆栈并随后弹出：

;
; ebx = current element
;
TraverseList:

   ; If this is the end of the list we can skip the recursive invocation
   cmp [ebx+next], 0
   je NoNextElement

   push ebx               ; Save current element (ebx) on stack
     mov ebx, [ebx+next]  ; Put next element in ebx
     call TraverseList    ; Recursive invocation
   pop ebx                ; Restore current element (ebx) from stack

NoNextElement:

   ; Do stuff with the current element (ebx)
   ...
   ret

Answer 2

对于任何与汇编程序相关的“如何”问题，最通用的答案是：gcc -S。如果您对任何事情有疑问，只需看看一个像样的 C 编译器如何将其转换为较低级别的代码。

在您的情况下，您需要在堆栈帧上维护局部变量。仅将寄存器用于在任何外部子例程调用后不需要保留的值。

Answer 3

尝试像这样的东西作为你的asm代码

__asm{
        mov ebx, dword ptr[esp+4] //head
        mov ecx, dword ptr[esp+8] //newElem
        mov edx, dword ptr[esp+12] // data

    cmp [ebx+4], 0
    je NO_NEXT_ELEMENT

    mov ebx, [ebx+4]
    mov ecx, [ecx+4]

    push edx
    push ecx
    push ebx
    call insertElem
    pop ebx
    pop ecx
    pop edx


NO_NEXT_ELEMENT:


    mov dword ptr[ebx+4], ecx 
    mov dword ptr[ecx], edx
    mov [ecx+4], 0

    ret
}

编辑：刚刚运行这个并意识到这是行不通的。它给出访问冲突读/写位置错误。但希望它能给你一个开始，也许有人可以清理一下。