哈工大编译原理--布尔表达式.pptVIP

１、设计S-for(i=e1,ie2,e3) S语句的翻译模式 ２、写出下面句子 ab and cd or ef　的语义分析结果 If ab and cd or efthen x=0 else x=1 例过程调用“call i(a+b, c)” 代码 如下： t：= a＋b／*计算a＋b置于单元t中 *／ param t ／* 第一个实参地址*／ param c ／*第二个实参地址*／ call I.place, 2 ／*调用过程i *／ 语法制导翻译： 1.S→call id （Elist） ｛ 求Elist的代码 for each item p on queue do emit（param p)； emit（call id.place）} 2. Elist→Elist，E { 将E.place加入到queue的队尾} 3． Elist→E ｛初始化queue仅包含E.place} 总结： 1、中间代码 ：三地址码 2、说明语句： 局部数据和非局部数据的访问 3、可执行语句 简单赋值和复杂赋值 布尔表达式 控制语句 回填 作业： 1、设计S-For i=e1 to e2 do S1 S语句的翻译模式 2、设计S-repeat S until E语句的翻译模式 7.使用一遍扫描的布尔表达式的翻译模式 1 E?E1 OR ME2 {backpatch(M.falselist,M.quad); E.truelist:=merge(M.truelist,E2.truelist); E.falselist:=E2.falselist } M ? ? {M.quad:=nextquad M.truelist=E.truelist M.falselist=E.falselist } 3 E?not E1 { E.truelist:=E1.falselist; E.falselist:=E1.truelist } 4 E ?( E ) {E.truelist:= E1.truelist; E.falselist:=E1.falselist} 2 E?E1 AND ME2 {backpatch(M.truelist,M.quad); E.truelist:=E2.truelist; E.falselist:=merge(M.falselist,E2.falselist);} 6 E ?true {E.truelist:= makelist(nextquad); emit(′goto—′); } 7 E ?false {E.falselist:= makelist(nextquad); emit(′goto—′); } 5 E ?id1 relop id2 {E.truelist:= makelist(nextquad); E.falselist:= makelist(nextquad+1); emit(′if′id1.place relop.op id2.place′goto—′); emit(′goto—′); } E ② ab Cd Ef 重新考虑表达式a＜b and c＜d and e＜f 一棵作了注释的分析树如下图所示 ε ε E1 and M E2 E12 and ② M E22 ⑤ ⑧ ⑤ ⑧ ⑤ 语义动作执行顺序: ⑤⑧⑤②⑧⑤② K: K+1: (J,a,b, ) (j, , , ) M.quad:= k+2 M.truelist=K M.falselist=k