1三地址码与临时变量
闭卷重建三地址码与临时变量的输入制品、规则、输出不变量与失败反例。
编译原理与编译器项目 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2基本块与控制流图
闭卷重建基本块与控制流图的输入制品、规则、输出不变量与失败反例。
3短路布尔与回填
闭卷重建短路布尔与回填的输入制品、规则、输出不变量与失败反例。
4SSA与phi函数直觉
闭卷重建SSA与phi函数直觉的输入制品、规则、输出不变量与失败反例。
5IR验证器与支配关系
闭卷重建IR验证器与支配关系的输入制品、规则、输出不变量与失败反例。
6实验：AST生成三地址码
闭卷重建实验：AST生成三地址码的输入制品、规则、输出不变量与失败反例。
7实验：基本块与CFG构造
闭卷重建实验：基本块与CFG构造的输入制品、规则、输出不变量与失败反例。
第 1 页 · 背面（答案）
核心：基本块与控制流图必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为基本块与控制流图准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；基本块与控制流图遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：三地址码与临时变量必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为三地址码与临时变量准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；三地址码与临时变量遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：SSA与phi函数直觉必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为SSA与phi函数直觉准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；SSA与phi函数直觉遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：短路布尔与回填必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为短路布尔与回填准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；短路布尔与回填遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：实验：AST生成三地址码必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为实验：AST生成三地址码准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；实验：AST生成三地址码遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：IR验证器与支配关系必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为IR验证器与支配关系准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；IR验证器与支配关系遇到二义、未定义行为或目标机限制时必须显式诊断。
核心：实验：基本块与CFG构造必须把输入制品、变换规则、输出不变量和诊断位置同时写清；每一步都能由下一阶段独立验证；实验：为实验：基本块与CFG构造准备最小正常程序、边界程序、非法程序和回归程序，输出逐阶段Token、树、类型或IR证据；边界：不能以最终程序偶然运行替代阶段正确性；实验：基本块与CFG构造遇到二义、未定义行为或目标机限制时必须显式诊断。