ARM汇编指令实现辗转相除法求寄存器R0和R1中的最大公约数，并存在R0中。

ARM汇编语言实现辗转相除法（也称欧几里得算法）通常涉及以下步骤，用于计算寄存器R0和R1之间的最大公约数（GCD）：

1. **初始化**：
- 将R0设置为较大的数（通常是15），R1设置为较小的数（这里是9）。

2. **循环条件**：
- 使用`CMP R1, #0`检查R1是否已经变为0。如果是，则R0就是最大公约数，跳出循环。

3. **减法操作**：
- 使用`SUB R0, R0, R1`更新R0为两数相减的结果（即新的较大数），R1为原来较小数。

4. **交换余数**：
- 如果需要，使用`ADD R2, R0, R1`将R1的值加到R2中，然后`SUB R0, R2, R0`来交换R0和R2的值，这样R0就变成了新的余数。

5. **重复步骤2**：
- 判断R1是否大于0，如果不是，说明已得到最大公约数（现在在R0中），跳到结束部分；否则返回第2步。

6. **结束标志**：
- 当R1变为0，程序会到达一个标记（如`gcd_found`）来表示已经找到了最大公约数。

下面是具体的代码示例：

...
gcd_loop:
    CMP R1, #0
    BEQ gcd_done     ; 如果R1为0，退出循环
    ADD R2, R0, R1   ; 将R1移到R2，准备下一轮做减法
    SUB R0, R2, R0   ; 更新R0为新的余数
    BRA gcd_loop     ; 重复上述步骤

gcd_done:
    ; 最大公约数在R0中，这里可以处理结果
    ; ...
    END

注意：这只是一个简化版的代码框架，实际执行时还需要加上跳转、存储状态等细节，并确保正确处理边界情况。在编写完整的代码时，可能还需要考虑异常处理和其他辅助指令。