第7章语义分析和中间代码产生.ppt

E→id1 relop id2 E→id {E.truelist:=makelist(nextquad); E.falselist:=makelist(nextquad+1); emit(‘j’ relop.op ‘,’ id1.place ‘,’ id2.place ‘,’ ‘0’) emit(‘j, -, -, 0’) } {E.truelist:=makelist(nextquad); E.falselist:=makelist(nextquad+1); emit(‘jnz’ ‘,’ id.place ‘,’ ‘-’ ‘,’ ‘0’); emit(‘j, -, -, 0’) } * §7.4 布尔表达式的翻译 5、例题：ab or cd and ef M .tl={100} .fl={101} E E or E ε M E and E ε b a d c f e 100 (j,a,b,0） 101 (j, - , -, 0 ) 102 (j,c,d, 0 ） 103 (j, - , -, 0) .quad=102 .tl={102} .fl={103} .quad=104 .tl={104} .fl={105} 104 (j,e,f,0） 105 (j, - , -, 0) .tl={104} .fl={103,105} 104 .tl={100,104} .fl={103,105} 102 * §7.4 布尔表达式的翻译 6、练习 (ab)and(cd)or(ef) * §7.5控制语句的翻译 一、控制流语句 S?if E then S1 |if E then S1 else S2 |while E do S1 * §7.5 控制语句的翻译 E.true: E.false: E.code S1.code S→if E then S1 E.true:=newlable E.false:=S.next S1.next:=S.next S.code:=E.code||gen(E.true’:’) ||S1.code * §7.5 控制语句的翻译 S→if E then S1 else S2 E.true:=newlable E.false:=newlable S1.next:=S.next S2.next:=S.next S.code:=E.code|| gen(E.true’:’) ||S1.code|| gen(‘goto’ S.next)|| gen(E.false’:’)||S2.code E.code S1.code goto S.next S2.code E.true: E.false: S.next: * §7.5 控制语句的翻译 S→while E do S1 S.begin:=newlable E.true:=newlable E.false:=S.next S1.next:=S.begin S.code:=gen(S.begin‘:’)|| E.code||gen(E.true’:’)|| S1.code||gen(‘goto’ S.begin) E.code S1.code goto S.begin E.true: E.false: S.begin: * §7.5 控制语句的翻译 S while E do S1 a b if E then S else S c d x := E E + E y z * §7.5 控制语句的翻译 while ab do if cd then x:=y+z else x:=y-z; L1: if ab goto L2 goto Lnext L2: if cd goto L3 goto L4 L3: T1:=y+z x:=T1 goto L1 L4: T2:=y-z x:=T2 goto L1 Lnext: * §7.5 控制语句的翻译 S?if E then S1 |if E then S1 else S2 |while E do S1