《编译原理及实践教程》第5章中间代码生成.pptVIP

自顶向下的语法制导翻译 优点： 不需要改造文法 在需要的任何位置调用语义动作 自顶向下的语法分析有两种： 递归下降分析 LL(1)分析 递归下降的语法制导翻译 例：对如下文法进行递归下降的分析，并增加语义 只包含两个语句：赋值句和REPEAT语句 需要翻译布尔表达式 实施策略： 递归下降方法是：对每一个非终结符写一个过程。 现在在该过程中适当的位置增加语义动作即可。 各产生式对应的首终结符为： 主程序： 增加的语义部分 增加的语义部分 用C语言实现repeat() int *repeats()/* repeat语句的语法制导的翻译过程*/ { r_head = nxq; /*记录repeat语句开头的四元式编号*/ token= getnexttoken();/*读取下一个token字*/ s1_chain = st_sort(token);/*处理repeat后的语句*/ token= getnexttoken(); if (!strcmp(token ,;)) /*读到;*/ token= getnexttoken(); if (strcmp(token,until)) error(缺少 until);/*应为until*/ backpatch(s1_chain, nxq); token= getnexttoken(); bexp(be_tc,be_fc,token);/*处理布尔表达式*/ backpatch(be_fc,r_head);/*回填假出口*/ return be_tc;/*返回真出口，即repeat语句的下一个语句的四元式编号*/ } * * * * * * ３. 翻译的语义动作 FILL(entry(i),Type)表示将类型Type填入符号表中 entry(i) 表示变量名i在符号表中的入口 Name TYPE KIND VAL ADDR a 4 integer 符号表： VAR id1,id2,id3:integer;的归约过程 integer : id3 IDS , , id2 id2 IDS , , , id1 id1 id1 IDS VAR VAR VAR VAR …… …… …… …… …… (a) (b) (c) (d) (e) 常量说明语句的翻译 １. 常量说明语句的文法描述 ２. 常量说明语句的翻译 策略：和变量说明一样，先翻译后面的产生式，再翻译前面的产生式，以便在归约时，执行语义动作，将常量的值、类型、种属填入符号表。 例： Constant A=123 ３. 翻译的语义动作 将常量INT在符号表中的入口或值直接填入常量符号i所指符号表的VAL栏 将常数的类型填入符号表的Type栏 3，4产生式的翻译与5，6产生式的翻译相同 1，2产生式没有语义动作 Name TYPE KIND VAL ADDR A 4 integer 数值常数 123 将常数的种属填入符号表的Kind栏 可执行语句的翻译 定义的一些语义变量和过程 GENCODE(OP,ARG1,ARG2,RESULT)：语义过程，产生一个四元式，并填入四元式表，编号自动增1 。 NEWT：函数，返回一个临时变量序号。在翻译可执行语句的过程中，可能需要使用临时变量，假定用NEWT过程来申请临时变量Ti，每申请一次，i增1。 ENTRY(i)：函数，查找变量i的入口地址；检查id.name是否在符号表中，如在则返回一指向该登陆项的指针，否则返回NULL E.PLACE：与给终结符E相联系的语义变量，可能是某变量的入口地址，或者为临时变量序号。 简单赋值语句的翻译 １. 简单赋值语句的文法描述 2. 简单赋值语句的代码结构 例如：x := 2+3 * 2; 3. 简单赋值语句的翻译 此处只假定是整数运算 例：赋值句A:=B+C*(-D)的自底向上分析 设：翻译此赋值句之前四元式的最大编号为K 因此，四元式表中增加了4条四元式： K …（翻译此赋值语句之前的四元式） K+1 (@i，FD·PLACE，_，FD·PLACE) K+2 (*i，Tc·PLACE，FD·PLACE，T·PLACE) K+3 (+i，EB·PLACE，T·PLACE，E·PLACE) K+4 (:=，E·PLACE，_，ENTRY(iA)) 布尔表达式的翻译 3 .布尔表达式的文法描述 １.布尔表达式的作用 用作控制语句中的条件表达式 用在逻辑赋值语句中 2 .布尔表达式的形式 (1)单个布尔量;(2) 布尔量的运算not, and,or, 优先级比关系运算高;(3)关系运算:E1 rop E2, E1E2是算术表达式，rop为关系运算符: ,,=,=,= （1）BE→BE or BT （2）BE→BT （3）