基于Lex&Yacc的MiniC转3AC：纯整数算术运算生成与优化疑问

两种生成方式的选择 #

• 未优化版本：t0 = 2+3;
t1 = t0+4;
x = t1;
  实现逻辑简单，语法分析阶段只需按运算优先级递归生成临时变量，无需额外判断操作数类型，适合快速搭建基础代码生成器。
• 优化版本：x = 9;
  属于常量折叠优化，能减少临时变量与冗余运算指令，提升目标代码效率，但需要在语法分析过程中增加常量表达式的求值逻辑。

单遍生成器中实现常量折叠的方法 #

如果你不想做多遍优化，可在Yacc的语义动作阶段直接处理：

• 给表达式的语义值增加两个属性：value（存储常量表达式的计算结果）和is_const（标记当前表达式是否为纯常量运算）。
• 处理二元运算（如+）时，先检查左右操作数的is_const属性：
  • 若两者均为常量，直接计算结果，将当前表达式的is_const设为真，value赋值为计算结果，无需生成临时变量。
  • 若任意一方不是常量，则按常规逻辑生成临时变量与三地址码，is_const设为假。
• 以2+3+4为例，第一步计算2+3得到常量5，第二步用5和4计算得到9，最终直接生成x = 9;。

编译器的常规处理模式 #

大部分工业级编译器采用先生成未优化中间代码，再通过独立优化器做多遍优化的流程：

• 前端（语法分析+代码生成）专注于生成结构正确的中间代码，不嵌入过多优化逻辑，保证编译过程的稳定性与可维护性。
• 独立的优化器模块负责常量折叠、公共子表达式消除、死代码删除等多种优化，可针对不同目标平台灵活调整策略。
• 但教学用小型编译器或轻量场景下，也会选择在前端直接做常量折叠这类“窥孔优化”，减少后续优化压力。

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