栈式虚拟机中带返回值赋值表达式的汇编冗余指令优化方法

在Java、C#等基于栈式虚拟机的编程语言中，a = 1;这类基础赋值表达式，编译器最初会生成包含冗余指令的伪汇编代码：

PUSHINT 1  # 将1推入求值栈顶
DUP        # 复制求值栈顶元素
ST a       # 将栈顶值存入变量a
DROP       # 弹出栈顶元素

而不是更精简的版本：

PUSHINT 1
ST a

这么做的核心原因是：赋值表达式本身需要返回右值（此处为1），以此支持a=b=1这类连续赋值场景——此时b=1返回的1会被作为a=的右值推入栈中。但在单独的赋值语句场景下，DUP和DROP完全是冗余的，编译器主要通过以下几种逻辑自动消除这些冗余指令：

• 数据流分析与栈状态跟踪
  编译器在指令流分析阶段会全程跟踪求值栈的状态变化。对于单独的赋值语句，编译器能明确识别出：执行ST a后，栈顶由DUP复制出来的值没有被任何后续指令使用，紧接着的DROP只是弹出这个无意义的元素。此时可以直接将DUP + ST a + DROP替换为ST a，同时保留前面的PUSHINT 1——因为ST a本身会消耗栈顶的原始值，刚好匹配精简后的逻辑，且不会破坏栈的平衡。

• 上下文场景判断
  编译器会根据赋值表达式所在的上下文做针对性处理：

  • 如果赋值是独立语句（比如单独一行的a=1;），此时表达式的返回值没有被后续代码消费，编译器可以安全移除DUP和DROP，直接生成精简指令。
  • 如果赋值是子表达式（比如a=b=1或者作为函数参数的foo(a=1)），此时返回值会被后续逻辑使用，就会保留DUP和DROP指令，确保栈顶有可用的返回值供后续指令读取。

• 模式匹配与指令替换
  编译器会预先定义诸如DUP + ST [var] + DROP的冗余指令模式，当在指令流中检测到完全匹配的模式，且上下文确认返回值无用途时，就直接将这三条指令替换为ST [var]，同时同步更新栈状态的跟踪记录，避免出现栈不平衡的问题。

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