检测程序集溢出？

Question

我正在编写一个计算斐波那契数的汇编程序，但我需要找到一种方法来检测当数字太大时是否溢出。我当前的代码是：

.file   "fib.c"
.text
.globl fib
    .type   fib, @function
fib:
    pushl %ebp
    movl %esp, %ebp
    movl 8(%ebp), %eax
    cmpl $0, %eax
    je .end
    cmpl $1, %eax
    je .end

    pushl %edx

    subl $1, %eax
    push %eax
    call fib
    popl %ebx
    movl %eax, %edx

    movl 8(%ebp), %eax
    subl $2, %eax
    push %eax
    call fib
    popl %ebx
    addl %edx, %eax
    jo .overflow
    popl %edx

.end:
    movl %ebp, %esp
    popl %ebp
    ret
.overflow:
    movl $-1, %eax
    ret

我以为我可以只使用 jo 测试来查看是否有溢出（大约第 25 行），但是当我输入一个应该溢出的数字时出现分段错误。

任何想法我可以如何正确地做到这一点？ （顺便说一句，如果重要的话，在 32 位机器上运行）

谢谢， 迈克

编辑： 对于任何感兴趣的人，这里是工作版本。我没有清除堆栈，也没有在第一次计算后检查 movl 上的溢出。

.file "fib.c"
.text
.globl fib
    .type   fib, @function
fib:
    pushl %ebp
    movl %esp, %ebp
    movl 8(%ebp), %eax
    cmpl $0, %eax
    je .end
    cmpl $1, %eax
    je .end

    pushl %edx  

    subl $1, %eax
    pushl %eax
    call fib
    popl %ebx
    movl %eax, %edx
    jo .overflow

    movl 8(%ebp), %eax
    subl $2, %eax
    pushl %eax
    call fib
    popl %ebx
    addl %edx, %eax
    jo .overflow
    popl %edx

.end:
    movl %ebp, %esp
    popl %ebp
    ret
.overflow:
    movl $-1, %eax
    movl $-1, %edx
    jmp .end

Answer 1

因为你使用递归，我怀疑 stack 是溢出的，导致你的段错误。

---

再想一想，当您遇到数字溢出时，您会在没有先清理堆栈的情况下“退出”。改为跳转到“.end”：

.overflow:
    movl $-1, %eax
    jmp .end

Answer 2

不确定这是否能解决您的问题，但这里有几个拼写错误，您说 push 而不是 pushl。