《编译原理教学-华南理工》实验介绍-编译原理.pptVIP

string gen_if_then_else( TreeNode * syntaxTree, int next ) { /* S-if E then Seq1 else Seq2 end * E.ture=newlabel; E.false=newlabel;　Seq1.next=S.next;　Seq2.next=S.next; * S.code =E.code || Label E.true || Seq1.code ||　goto S.next || Label E.fasle || Seq2.code || Label S.next int e_true = newLabel(); int e_false = newLabel(); string code = gen_judge( syntaxTree.child[0], e_true, e_false ) + label + e_true + gen_stmt_seq( syntaxTree.child[1], next ) + goto+ next + label+e_false+ gen_stmt_seq( syntaxTree.child[2],next) + label+ next; return code; } 3.2 TINY编译器的语法树结构 基本的语法树结构 1 语句序列： s;s;s seq s s s 存在问题 解决方法 当树的儿子节点个数不确定时，标准的表示方法是leftmost-child right-sibling ，语句序列的表示采用了该方法 从父亲节点到儿子节点唯一的连接是到连接到最左边的儿子节点 所有的儿子节点从左到右按标准的列表的方式连接在一起，它们之间是兄弟节点的关系。 存在问题 解决方法 用leftmost-child right-sibling 方式组织的语句序列对应的语法树: seq  s s s 可进一步去除 seq 节点，于是语法树可简化为： s s s 1 语句系列 2 if语句 基本的语法树的结构 3repeat语句 4 赋值语句 5 write语句 6 一个操作符的表达式 {sample program in TINY language- computes factorial} read x;{input an integer} if 0x then {don’t compute if x=0} fact:=1; repeat fact:=fact*x; x:=x-1 until x=0; write fact{output factorial of x} end 语法树的实现 语法分析器生成的语法树是标准的基于指针类型的结构 语法树的每个节点包含语法分析器及其后续阶段收集的信息，存放这些信息所需的空间可动态分配，也可将这些信息存放在符号表中 语法结构的种类不同，对应的语法树节点需要保存的属性也不同，因此可将语法树节点定义为一个可变结构体 TINY语法树的定义 typedef enum { StmtK, ExpK } NodeKind; typedef enum { IfK, RepeatK, AssignK, ReadK, WriteK } StmtKind; typedef enum { OpK, ConstK, IdK } ExpKind; #define MAXCHILDREN 3 typedef struct treeNode { struct treeNode * child[MAXCHILDREN] ; struct treeNode * sibling; int lineno; NodeKind nodekind; union { StmtKind stmt; ExpKind exp; } kind; union { TokenType op; Int val; char * name; } attr; ExpType type; } TreeNode; RET 4 TINY的递归下降语法分析器 TINY的语法分析器代码 TINY语法分析器包含两个代码文件： parse.h and parse.c 主要函数parse返回一个指向语法树的指针 TreeNode * parse(void) 用EBNF表示的TINY文法 … stmt-seq - stmt {;stmt} exp - simp-exp