0

我正在尝试将 Ackermann 函数编写为汇编代码（在 ARMV8 中）。

（http://mathworld.wolfram.com/AckermannFunction.html https://en.wikipedia.org/wiki/Ackermann_function）

它需要递归。我的代码进入无限递归。我找不到堆栈指针处理的问题。

X0 和 X1 是输入寄存器。我在 X0 中返回结果。

     ack:
        SUB SP, SP, #24
        STUR X0,[SP,#16] // save input1 to stack pointer
        STUR X1,[SP,#8] // save input2 to stack pointer
        STUR X30,[SP,#0] // save return adress
        SUBS XZR,X0,#0 // check input1 <= 0
        B.GT cond1 
        ADD X0,X1,#1 
        B last 
  cond1:
        SUBS XZR,X1,#0
        B.GT gobig
        SUB X0,X0,#1
        MOVZ X1,0 
        ADD X1,X1,1 
        BL ack // call ack with input1-1 and 1
        LDUR X30,[SP,#0] //restore return address
        ADD SP,SP,#24
        BR X30 // return register adress
  gobig:
        LDUR X0,[SP,#16]
        LDUR X1,[SP,#8]
        SUB X1,X1,#1
        BL ack //call ack with input1 and input2-1 (call result r)
        ADD X1,X0,#0
        LDUR X0,[SP,#16]
        SUB X0,X0,#1
        BL ack //call ack wih input1-1 and r
  last:
        LDUR X30,[SP,#0]
        ADD SP,SP,#24 //restore stack pointer
        BR X30 //return adress register
4

0 回答 0