如何在ARM Assembly的自定义函数内使用while循环(或任何循环)？

Question

我正在尝试解决一个问题，其中我有一个从10到50的计数器。对于每个数字，我必须检查它是否是8的倍数(如果是，则我将0xffff存储在R3中)，或者它是否是3的倍数(并且我将存储0xbbbb)，或者它是否是两者的倍数(我将0xffbb存储在R3中)。

为了检查数字是否是3的倍数，我的计划是从数字中减去3，直到它达到0或小于3。我正在努力弄清楚如何在自定义函数中使用循环。到目前为止，我的代码如下：

.section    .data
.balign 4
return_start:   .word 0
.balign 4
return_loop:    .word 0
.balign 4
return_8:   .word 0
.balign 4
return_3:   .word 0
.balign 4
return_3loop:   .word 0

.section    .text

.global _start
/* .func   _loop
.func   _multOf8
.func   _multOf3 */

_start:
    LDR R1, addr_return_start
    STR lr, [R1]

    mov r0, #10 /* Start with 10 */
    BL  _loop

    LDR lr, addr_return_start
    LDR lr, [LR]

_loop:
    add R0, #1  /* increment by 1 */
    MOV r3, #0 /* resetting r3 */
    CMP R0, #50 /* check if it is 50, if it is then go to the end */
    BEQ _end

    /* else check if it is a multple of 8 */
    BL  _multOf8
    /* check if it is a multiple of 3 */
    BL  _multOf3

    B   _loop

_multOf8:
    /* save LR */
    LDR R1, addr_return_8
    STR lr, [R1]

    AND r1, r0, #7
    CMP r1, #0
    MOVEQ r3, #0xffff   /* if it is a multiple of 8 */
    /* else return */
    LDR LR, addr_return_8
    LDR LR, [LR]
    BX LR

_multOf3:
    LDR R1, addr_return_3
    STR lr, [R1]

    /* if it is a multiple of 3 */
    /* will need to subtract it continuously? */
    PUSH R0
    BL  _3loop
    POP R0

    LDR LR, addr_return_3
    LDR LR, [lr]
    BX  lr

_3loop:
    LDR R1, addr_return_3loop
    STR lr, [R1]

_end:   B   _end

addr_return_start:  .word return_start

addr_return_loop:   .word return_loop

addr_return_8:  .word return_8

addr_return_3:  .word return_3

addr_return_3loop:  .word return_3loop

正如您所看到的，在函数_multOf3中，我试图分支到_3loop。问题是，我不知道如何处理LR以及如何从这个循环返回。我觉得如果我要存储LR，它会在我们每次迭代循环时不断地被覆盖。

任何帮助都将不胜感激！请注意，我是ARM组装的初学者。

Answer 1

ARM中的循环并不太复杂。有几种方法可以实现这一点。通常，您需要留出一个寄存器作为循环计数器。下面的例子是一个递减循环。

_loop: /* R2 is the loop counter */

/* do stuff here */

subs R2,R2,#1   /* the S at the end sets the flags accordingly. If the result is zero,
                   the zero flag will be set and BNE will not branch.
BNE _loop
/* if R2 = 0, execution will fall through to here, otherwise it jumps back to the loop's start

递增循环需要一个额外的步骤，因为您需要将循环计数器的值与所需的端点进行比较：

_loop /* R2 is the loop counter */

/* do stuff here */

add R2,R2,#1   /* no need for S at the end, it does us no good here. */
CMP R2,#50     /* 50 was arbitrarily chosen for this example. */
BNE _loop      /* this just checks if they're not equal, for this example it's sufficient but 
               it's better to use BLS for signed numbers or BLO/BCC for unsigned */