语义分析和中间代码生成(2) 中间代码的形式 DAG图、抽象语法树、三地址代码 。类型声明 类型表达式、类型等价 类型的声明、局部变量的存储布局、记录和类 表达式的翻译 数组元素的寻址、数组引用的翻译 控制流语句的翻译 控制流语句、布尔表达式、非回填VS.回填 8语义分析和中间代码生成 (2) • 中间代码的形式 – DAG图、抽象语法树、三地址代码 • 类型声明 – 类型表达式、类型等价 – 类型的声明、局部变量的存储布局、记录和类 • 表达式的翻译 – 数组元素的寻址、数组引用的翻译 • 控制流语句的翻译 – 控制流语句、布尔表达式、非回填 vs. 回填 8 南大编译许畅