第八章静态语义分析和中间代码生成-4.pptVIP

^T声明指针类型，E^表示对指针所指对象的访问 * * * * SSA（Static single assignment form，静态单赋值形式） * 使后续过程可以反复利用 * 使后续过程可以反复利用 * 参照布尔表达式的翻译方法，对非终结符S(和L)，设立语义变量S.CHAIN（和L.CHAIN ），用于记住需要在翻译完S(L)后回填转移目标的一串四元式 * 1常见的中间代码表示形式 在现行的编译程序中， AST是较常用的高级中间表示形式（接近源代码） TAC是较常用的低级中间表示形式（接近目标代码） 许多编译程序都是将源程序首先翻译成等价的AST，然后再从AST转换成TAC 抽象语法树AST的特点： 不含我们不关心的终结符（如逗号，括号），而只含标识符、常量等终结符 不具体体现语法分析的细节步骤，例如seq - stmt; seq，可以表示为链表 能完整体现源程序的语法结构，同时也没有损失源程序的任何语义信息 2 生成抽象语法树 抽象语法树AST的特点： 2 生成抽象语法树 1 语句系列 2 if语句 例：生成抽象语法树的语法制导方法 2 生成抽象语法树 S ? id := E S ? if E then S1 S ? while E do S1 S ? S1 ; S2 { S.ptr := mknode(‘assign’, mkleaf(id.entry), E.ptr) } { S.ptr := mknode(‘if_then’, E.ptr, S1.ptr) } { S.ptr := mknode(‘while_do’, E.ptr, S1.ptr) } { S.ptr := mknode(‘seq’ , S1.ptr , S2.ptr) } mknode: 构造AST内部结点 mkleaf : 构造AST叶结点 S.Ptr, E.ptr：指向AST某个结点的指针 例：生成抽象语法树的语法制导方法 2 生成抽象语法树 TreeNode * if_stmt(void) { TreeNode * t = newStmtNode(IfK); match(IF); if (t!=NULL) t-child[0] = exp(); match(THEN); if (t!=NULL) t-child[1] = stmt_sequence(); if (token==ELSE) { match(ELSE); if (t!=NULL) t-child[2] = stmt_sequence(); } match(END); return t; } E ? id E ? E1 + E2 E ? E1 ? E2 E ? ( E1 ) { E.ptr := mkleaf(id.entry) } { E.ptr := mknode(‘+’ , E1.ptr , E2.ptr)} { E.ptr := mknode(‘?’ , E1.ptr , E2.ptr)} { E.ptr := E1.ptr } TreeNode * simple_exp(void) { TreeNode * t = term(); while ((token==PLUS)||(token==MINUS)) { TreeNode * p = newExpNode(OpK); if (p!=NULL) { p-child[0] = t; p-attr.op = token; t = p; match(token); t-child[1] = term(); } } return t; } 3 生成三地址码 顺序执行的语句序列 其语句的一般形式 x := y op z (op 为操作符，y 和 z 为操作数， x 为结果) 也可写成四元式的形式： （op y z x） 三地址码TAC是一种接近汇编语言的中间表示 3 生成三地址码 TAC 语句 赋值语句 x := y op z （op 代表二元算术/逻辑运算） 赋值语句 x := op y （op 代表一元运算） 复写语句 x := y （y 的值赋值给 x） 无条件跳转语句 goto L （无条件跳转至标号 L） 条件跳转语句if x rop y goto L （rop 代表关系运算） 标号语句 L : （定义标号 L） 3 生成