Question

你好，这是我第一次在这里发帖，但是我正在做一个家庭作业，就是用这些给定的规则来设计一个装配函数syracuse（N，sequence）： 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指令将操作数EBX除以64位整数EDX：EAX。由于您没有清除EDX，您可能无法获得所需的结果（包括整数溢出异常）。在xor edx, edx之前尝试idiv。

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

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

1 个答案: