基于ARMv8汇编实现数字转ASCII的问题求助

原代码存在的问题 #

• 余数计算错误：udiv指令仅将商存入x3，不会自动将余数存入x0，原代码直接用x0作为余数是错误的，需手动计算余数。
• 字符串顺序颠倒：循环中先存储数字的低位字符，最终缓冲区里的字符串是倒序的（比如数字123会被存成'3'->'2'->'1'），不符合常规字符串顺序。
• 缺少字符串结束符：未在转换后的字符串末尾添加\0，无法作为C风格字符串使用。
• 全局缓冲区线程不安全：全局buffer被所有调用共享，多线程环境下会出现数据覆盖问题。

修正后的代码 #

.global itoascii

itoascii:
    // 保存调用者寄存器（遵循ARMv8 AAPCS）
    stp x29, x30, [sp, #-16]!
    mov x29, sp

    /* 初始化变量 */
    mov x1, #10               // 除数：10
    adrp x2, buffer           // 加载buffer的页地址
    add x2, x2, :lo12:buffer  // 得到buffer的完整地址
    mov x5, x2                // 保存缓冲区起始地址，用于后续反转

convert_loop:
    udiv x3, x0, x1           // x3 = x0 / 10（商）
    msub x4, x3, x1, x0       // x4 = x0 - x3*10（余数）
    add x4, x4, #'0'          // 将余数转换为ASCII字符
    strb w4, [x2], #1         // 存储字符并移动指针

    mov x0, x3                // 更新被除数为商
    cmp x0, #0                // 判断商是否为0
    bne convert_loop          // 非0则继续循环

    // 添加字符串结束符
    mov w4, #0
    strb w4, [x2], #1

    // 反转字符串：x5是起始地址，x2是结束地址（指向'\0'的前一位）
    sub x2, x2, #2            // 回退到最后一个有效字符
reverse_loop:
    cmp x5, x2                // 起始地址 >= 结束地址则停止
    bge end_reverse

    // 交换x5和x2指向的字符
    ldrb w3, [x5]
    ldrb w4, [x2]
    strb w4, [x5]
    strb w3, [x2]

    add x5, x5, #1            // 起始指针后移
    sub x2, x2, #1            // 结束指针前移
    b reverse_loop

end_reverse:
    adrp x0, buffer           // 返回缓冲区起始地址
    add x0, x0, :lo12:buffer

    // 恢复调用者寄存器
    ldp x29, x30, [sp], #16
    ret

.data
    buffer: .fill 128, 1, 0   // 全局缓冲区，注意线程安全问题

关键修改点说明 #

1. 正确计算余数：使用msub x4, x3, x1, x0计算余数，公式为余数 = 被除数 - 商 * 除数，确保拿到正确的低位数字。
2. 字符串反转：转换完成后，通过双指针交换首尾字符，将倒序的字符序列转为正序。
3. 添加结束符：在反转前向缓冲区写入\0，保证字符串符合C语言规范。
4. 遵循调用规范：使用stp/ldp保存和恢复x29（帧指针）和x30（返回地址），符合ARMv8 AAPCS调用约定。
5. 缓冲区地址加载：用adrp + add的方式加载全局变量地址，兼容大地址空间的寻址要求。

额外优化建议 #

• 线程安全改进：改为让调用者传入缓冲区地址（作为第二个参数），避免全局缓冲区的竞争问题，示例如下：

  // 调用方式：itoascii(number, buffer_ptr)
  .global itoascii
  itoascii:
      stp x29, x30, [sp, #-16]!
      mov x29, sp
      mov x5, x1               // 保存调用者传入的缓冲区起始地址
      // 后续逻辑将x2替换为x1即可...
  

• 负数处理：原代码仅支持无符号数，如果需要处理负数，可先判断符号，存储'-'字符后再对绝对值进行转换。

内容的提问来源于stack exchange，提问作者CODECARL