x86汇编程序崩溃，可能忽略简单的错误

Question

您好，这是我第一次在这里发布，但我正在做一个家庭作业的任务是设计一个装配函数syracuse（N，序列）与这些给定的规则： 1。如果N是1，则结束循环。 2.如果N是偶数，则N = N/2，循环的开始时转到3. 如果N是奇数，则N = 3N + 1，循环的开始时转到

很简单，那么他要我们显示一些信息并创建报告。但是，我一直盯着这个代码几个小时，现在我无法弄清楚什么是错的。一旦我注释掉了这个调用，该程序就能很好地工作，不会崩溃，否则会崩溃。我想我只是忽略了一些简单而基本的东西，你们中的任何一个人可以提供帮助吗？

下面是代码：

.586 
.MODEL FLAT 
INCLUDE io.h 
cr EQU 0dh;carriage return 
Lf EQU 0ah;line feed 
.STACK 4096 
.DATA 
array DWORD ? 
n  DWORD 0 
steps DWORD 0 
prompt BYTE "Enter N: ", 0 
count BYTE cr, Lf, "Total Numbers: " 
string BYTE 40 DUP (?) 
result BYTE cr, Lf, "N: " 

;result2 BYTE cr, Lf, "Steps: " 
lbl BYTE 11 DUP (?) 
BYTE cr, Lf, 0 
.CODE 
_start PROC 
    output prompt ;ask for n 
    input string, 40 
    atod string ; convert to int 
    mov n, eax 
    dtoa lbl, n ;convert to ascii 
    output result; print out n 

    push n 
    push array 
    call syracuse 
    add esp, 8 
    ret 
_start ENDP 
syracuse PROC ; syracuse(n, array) 
    push ebp 
    mov ebp, esp 
    push ebx;save ebx 
    push eax;save eax 
    push esi 
    mov eax, [ebp+8] ;first parameter 
    lea esi, [ebp+12] ;beginning of the array 
      mov ecx, 0 
    whileLoop: inc ecx; ecx++ 
       mov [esi+4], eax 
       cmp eax, 1 
       je endLoop ;if n = 1, then end 
       mov ebx, 2 
       idiv ebx 
       cmp edx, 0 
       je evenProc ; if n is even 

       ;if n is odd then 3N + 1 
       shl eax, 1 
       add eax, 2 
       jmp whileLoop    
    evenProc: ;if n is even then N = N/2 
     mov ebx, 2 
     idiv eax 
     jmp whileLoop 
    endLoop: 
     dtoa lbl, ecx 
     output count;display count 
     pop esi 
     pop eax 
     pop ebx 
     pop ebp 
     ret 

syracuse ENDP 
END 

Answer 1

最好的办法是通过你的组件使用调试器和步进。但是，有一些东西跳到我身上：

array不是数组，它只是一个未初始化的DWORD。

push n 
push array 

这是基于syracuse如何访问其参数而倒退的。通常，您的调用约定将按推送顺序从右到左。如果数组首先被推入，它的值将在EBP + 12，n将在EBP + 8。

mov [esi+4], eax 

ESI = EBP + 12。因此，[ESI + 4] = [EBP + 16]，堆栈位置可能会存储start的调用者的返回地址;可能不是一个好主意来改变它。由于array不是真正的数组，并且您每次都写入相同位置，所以您可能完全跳过使用ESI并使用mov [ebp+12], eax代替（尽管您似乎完全丢弃了该值;也许您想要将地址array）？）。

idiv ebx 

在这种情况下，idiv指令将64位整数EDX：EAX除以操作数EBX。既然你没有清除EDX，你可能得不到你想要的结果（包括整数溢出异常）。在idiv之前尝试xor edx, edx。

我没有真正检查是否所有的逻辑是正确的，只是看到了上述问题。