编写一段ARM汇编程序，完成计算2个寄存器R0,R1中存放的2个数值的最大公约数

ARM汇编语言中，我们可以使用欧几里得算法（Euclidean algorithm）来计算最大公约数（GCD）。以下是使用迭代的方式实现的一个简单示例：

// 定义宏，用于交换两个寄存器中的值
define SWAP(rn, rm)
    push {lr}          // 保存LR上下文
    ldr r2, [rn]       // 将rn的内容加载到r2
    str r2, [rm]       // 存储r2到rm的位置
    mov r2, [rn]       // 将rn更新为原始值
    str r2, [rn]       // 存储新值回rn
    pop {lr}           // 恢复LR上下文

// 计算最大公约数
main:
    cmp r0, #0         // 检查是否需要处理边界情况
    beq end            // 如果r0为0，直接结束循环

gcd_loop:
    cmp r1, #0         // 检查是否r1为0
    bne gcd_not_zero   // 如果不是，进入下一个步骤

    // 如果r1为0，r0就是最大公约数，跳到end
    mov r0, r1
    b end

gcd_not_zero:
    // 使用SWAP宏交换r0和r1的值，r0变为两数较大者
    SWAP(r0, r1)

    // r0现在包含较大的数，做除法操作并更新余数
    sdiv r1, r0        // r1 = r0 / r1, r0 = r0 % r1 (r0现在为新的较小数)

    // 判断是否还有除不尽的情况，如果r1非零，则继续循环
    bne gcd_loop        // 当r1为0时，循环结束

end:
    bx lr              // 返回主函数

这个程序首先检查其中一个数是否为0，然后通过不断取模（sdiv指令）和交换数值，逐步缩小两个数直到找到最大公约数。请注意，实际应用中可能需要将上述代码放入更大的结构体中，并考虑异常处理等细节。