1常量折叠与传播
闭卷重建常量折叠与传播的输入制品、规则、输出不变量与失败反例。
编译原理与编译器项目 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2公共子表达式消除
闭卷重建公共子表达式消除的输入制品、规则、输出不变量与失败反例。
3死代码与不可达块删除
闭卷重建死代码与不可达块删除的输入制品、规则、输出不变量与失败反例。
4循环不变量外提
闭卷重建循环不变量外提的输入制品、规则、输出不变量与失败反例。
5强度削弱与优化边界
闭卷重建强度削弱与优化边界的输入制品、规则、输出不变量与失败反例。
6实验：IR常量折叠器
闭卷重建实验：IR常量折叠器的输入制品、规则、输出不变量与失败反例。
7实验：死代码消除器
闭卷重建实验：死代码消除器的输入制品、规则、输出不变量与失败反例。
第 1 页 · 背面（答案）
核心：公共子表达式消除必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为公共子表达式消除准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；公共子表达式消除遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：常量折叠与传播必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为常量折叠与传播准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；常量折叠与传播遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：循环不变量外提必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为循环不变量外提准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；循环不变量外提遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：死代码与不可达块删除必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为死代码与不可达块删除准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；死代码与不可达块删除遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：实验：IR常量折叠器必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为实验：IR常量折叠器准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；实验：IR常量折叠器遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：强度削弱与优化边界必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为强度削弱与优化边界准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；强度削弱与优化边界遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：实验：死代码消除器必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为实验：死代码消除器准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；实验：死代码消除器遇到二义、未定义行为或目标机限制时必须显式诊断。