为何存在move与li两种伪指令？单一mov伪指令方案是否更优？

MIPS架构中同时存在move（寄存器间复制）和li（加载立即数）伪指令，这种设计确实比你设想的单一mov伪指令更优，核心原因在于以下几点：

1. 语义明确，可读性更强 #

• 看到move $s0, $s1时，能立刻明白这是寄存器到寄存器的数值复制，无需查看第二个参数的类型；
• 看到li $s0, 0x12345678时，也能直接知道这是向寄存器加载立即数，哪怕这个立即数需要多条机器指令实现（比如超过16位时会生成lui+ori组合）。
• 如果用单一mov，阅读代码时必须先判断第二个参数是寄存器还是立即数，在复杂汇编代码中会增加理解成本，甚至可能因为符号定义等问题产生误解。

2. 避免歧义场景 #

虽然常规情况下寄存器（带$前缀）和立即数（纯数字/符号）容易区分，但存在特殊场景：

• 若代码中定义了与寄存器同名的符号（比如.equ s1, 0x100），单一mov $s0, s1会让汇编器和阅读者混淆：到底是取寄存器$s1的值，还是符号s1对应的立即数？
• 分开的move和li则从语法层面规避了这个问题：move的第二个参数必须是寄存器，li的第二个参数必须是立即数或立即数符号，完全不存在歧义。

3. 简化汇编器实现逻辑 #

单一mov伪指令要求汇编器在解析时额外判断第二个参数的类型：

• 若是寄存器，生成add $d, $zero, $s；
• 若是立即数，生成addi $d, $zero, imm（或更长指令组合）。
  而分开的move和li则让汇编器逻辑更直接：
• move固定对应寄存器到寄存器的add指令；
• li固定处理立即数加载，根据立即数长度自动生成对应机器指令序列，无需额外类型判断，降低了汇编器的实现复杂度和出错概率。

4. 符合架构设计直觉与历史习惯 #

MIPS的伪指令设计是为了简化常用操作，而寄存器复制、加载立即数是两个完全独立的高频操作：

• 很多汇编架构中都将这两个操作分开（比如ARM的mov寄存器间操作、ldr加载立即数），这种设计延续了程序员的使用习惯，降低学习成本；
• 从指令集设计角度，寄存器间移动和立即数加载的底层实现逻辑不同（后者可能涉及多指令组合），用不同伪指令区分更贴合硬件操作的本质。

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