递归是高级语言里的重要技巧,在 functional language 中更是基本要素,但在汇编语言中却很少直接用到,大多数 compiler 遇到有递归的函数时一般会自动转换成 loop 。不过,理解如何在汇编中使用递归倒是十分重要的。
我在我之前的文章中有谈过如何使用 SBC 里使用递归计算 sigmaRX,有兴趣的朋友可以看看这里。stack 在递归里是一个重要的元素,所有的临时结果都要暂时保存在 stack 里,然后再一步一步推上来。下面就用递归语法实现 sigmaRX 在 HC11 上的运行:
;函数:sigmaRX
;sigmaRX(n) = n + sigmaRX(n-2), sigmaRX(0) = 0, sigmaRX(1) = 1
;n 位于 B;返回值位于 IX
sigmaRX: cmpb #0 ;1st base case, if n=0
bgt cOne ;if n>0 check 2nd base case
ldx #0 ;else retun value is 0
rts
cOne: cmpb #1 ;2nd base case
bgt recCall ;if n>1 goto recursive part
ldx #1 ;else return value is 1
rts
RecCall: pshb ;save parameter on the stack
decb
decb
jsr sigmaRX ;recursive call
pulb ;restore the value from the stack
abx ;abx will do IX = IX + B
rts
就这么简单,每次借 stack 保存一下参数,计算结果就一直放在 IX 上。