将递归C函数转换为ARM汇编？

Question

对于一项家庭作业，我得到了一个递归C函数，用于计算需要转换为ARM程序集的整数分区。 我对ARM汇编的了解：

1） R0将保留呼叫的返回值

2） R1 ， R2和R3是参数寄存器

代码如下：

int count_partitions(int n, int m) { 

if (n == 0) 
    return 1; 

else if(n < 0) 
    return 0; 

else if (m == 0) 
    return 0; 

else 
    return count_partitions(n - m, m) + count_partitions(n, m - 1); 
}

我相信我已经正确地完成了前3个if & else-if语句。 对于最后的else语句，我的逻辑是找到count_partitions（n，m-1），将其存储到堆栈中，然后找到count_partitions(nm, m) ，并将其添加到我从堆栈中获得的上一个返回值-但是我的代码似乎不起作用？

我已经附上了我尝试过的解决方案，并对C代码的不同段及其相应的汇编代码进行了颜色编码。 谁能让我知道怎么了？

Answer 1

您可以在CMP命令之后使用此命令并跳转功能：

BEQ标签; 分支平等

BNE标签; 分支不平等

BLE标签; 分支机构少于平等

BLT标签; 少于分支

BGE标签; 分店比平等多

BGT标签; 分支大于

Answer 2

我认为我看到了几个问题：

• 您假设n在r1 。 这实际上在r0 。 m将在r1 ，而不是r2中。
• 因此，您需要同时保存r0和r1 。

一种更清洁的解决方案是使用如下所示的内容：

_count_partitions:
    ...             ; First part with comparison
                    ; but r1->r0 and r2->r1

    push {r4-r5}
    mov r4, r0      ; saved value of n
    mov r5, r1      ; saved value of m
    sub r0, r4, r5  ; n = n-m
    bl _count_partitions

    sub r1, r5, #1  ; m = m-1
    mov r5, r1      ; result of first function
    mov r0, r4      ; restore n
    bl _count_partitions

    add r0, r0, r5  ; cumulative result
    pop {r4,r5}
    pop {pc}