ARM64中LDRB指令是否填充整个64位寄存器？w0与x0指令有何区别？

这是ARM64架构的设计规则导致的，和你熟悉的x86有明显不同：

1. ARM64 32位寄存器的写操作特性
   任何对32位通用寄存器（如w0）的写入操作，都会自动将对应的64位寄存器（X0）的高32位清零。这是ARM64的硬性规则，目的是简化架构设计和避免数据歧义。

2. ldrb w0, [x1]的执行逻辑

   • 从x1指向的内存地址读取1字节数据
   • 将该字节零扩展为32位值（即高24位补0），写入w0
   • 由于写入了w0，X0的高32位被自动清零
   • 最终X0的高56位全为0，低8位是读取的字节

3. ldrb x0, [x1]的执行逻辑

   • 从x1指向的内存地址读取1字节数据
   • 将该字节零扩展为64位值（即高56位补0），直接写入X0
   • 最终X0的高56位全为0，低8位是读取的字节

4. 两者的实际差异
   在ldrb（零扩展）场景下，两条指令执行后X0的最终结果看起来是一样的，但存在以下隐性区别：

   • 语义层面：ldrb w0, [x1]明确表示后续操作针对32位寄存器w0，代码可读性更强；ldrb x0, [x1]则直接针对64位寄存器X0。
   • 符号扩展场景差异：如果换成符号扩展指令ldrsb，差异会立刻显现：
     • ldrsb w0, [x1]：字节符号扩展为32位后写入w0，X0高32位被清零，最终X0为0x00000000 + 32位符号扩展值
     • ldrsb x0, [x1]：字节直接符号扩展为64位写入X0，最终X0为64位符号扩展值

总结来说，ARM64的32位寄存器写操作会强制清零对应64位寄存器的高32位，这是和x86最核心的差异点之一，也是你产生困惑的根本原因。

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