LEGv8汇编中MOVZ x2, #0x10, LSL 32为何看似无作用？

首先明确LEGv8中MOVZ和MOVK的核心行为：

• MOVZ Rd, #imm16, LSL shift：将16位立即数imm16写入Rd的指定16位段（shift只能是0、16、32、48，对应bits0-15、16-31、32-47、48-63），其余所有位强制清零。
• MOVK Rd, #imm16, LSL shift：将16位立即数imm16写入Rd的指定16位段，其余位保持原有值不变。

对你的现象的解释 #

你遇到的“0x10似乎没作用”，核心原因是：
你执行MOVZ x2, #0x10, LSL 32后，0x10被写入了x2的bits32-47位（高32位的低16位），而后续的MOVK指令只修改了低32位的内容（bits0-31），并没有触及高32位。如果你的调试工具或打印逻辑只输出了寄存器的低32位，那么看到的结果自然和注释掉第一条指令的情况一致——因为低32位完全由后两条指令决定，高32位的0x10不会出现在输出中。

而当你把0x10改成0x20后结果增加32，这说明你可能在修改时误改了其他参数（比如把LSL 32改成了LSL 0，让0x20写入了bits0-15位），或者你的打印逻辑出现了异常，或者汇编器对指令的解析不符合预期。正常情况下，0x20写入bits32-47位只会让整个64位值增加0x100000000（即4294967296），而不是32。

验证方法 #

你可以尝试打印x2的完整64位值：

• 保留MOVZ x2, #0x10, LSL 32时，完整值应为0x00100600C614（十进制68820190740）。
• 注释掉第一条指令时，完整值为0x00000600C614（十进制100714004）。
  两者的高32位明显不同，低32位完全一致。

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