计算机复试编译原理哈工大课件ch62

7.2.3E→EorE|EandE|notE|(E）|idrelopid 1or(not0and0)or=1or(1and0)or=1or0or=1or2例：A例：AorB如果A为真，那么B必计算，此时AorB同理，Aand同理，AandB如果A为假，那么B就不必计算，此时AandB二、数值表示 布尔表达式：aorbandnot：t1:=not：t2:=band：t3:=aor关系表达式 ：等价于ifa<bthen1else：100：ifa＜bgoto 101：

101:(=,0,102:(j,,103:(=,1,址语句在输出序列中的索引序号,也就

101:(=,0,102:(j,,103:(=,1,E→E1or E→E1andE2 E→id1relopid2{emit('if'id1.placeemit(E.place':=''0'); emit(E.place':=''1')} 例：布尔表达式a<bandc<dande<f E E ③a<bandc<dande<语义动作执行顺序：③③①③ a<bandc<dande<f可100:ifa<bgoto103102:goto104:ifc<dgoto107106:goto104

108:t3=t1andt2109:ife<fgoto112111:goto113:t5=t3and对于出现在条件语句ifEthens1elses2中 ，对于while语句E.true指向循环的开始，E.false指向while1、基本思想:假定E形如a＜d,则将生 E.true:ifa＜bgotoE.true（真出口）E.false:gotoE.false E.true:（jabE.true)（真出口E.false:(j,,,E.false（假出口EandEEorE、notEE→E→E1andE→E1or

E→E1or

E→E1and

E1.false:=E.false; E1.true:=E.false;E1.false:=E.true;

E1.true:=E.true;E1.false:=E.false; E.code:=gen(‘if’id1.placerelop.opid2.place‘goto’ E.code:=gen(‘goto’E.true)E.code:=gen(‘goto’E.false)考虑如下表达式a<bandc<dande<fIfIfc<dgotoGotoIfa<bgotoGotoIfe<fgotoGoto(jnz,a,_,P)表示ifagotoPifxropygoto goto （J>,a,b, ,ifa>bthens1else（J>,a,b

,

ifa<bgotogotoL1:ifc<dgotogotoL2:ife<fgotogoto

Ifa<bandc<dande<fthens1elseifa<bthenx=0else2 ) ,)E→E1orM|E1andM|not|id1relop表，i是四元式数组的一个索引（下标），或说i是四元式代码序列的一个标号。

function{IFELSE{P=P2whileP的第4分量不为

whileQ≠0 M M.falselist=E.falselist}EE1OR EE1ANDEnot { E(E Eid1relop{E.truelist:=makelist(nextquad);E.falselist:=makelist(nextquad+1);emit(´if´id1.placerelop.op E 7E 重新考虑表达式a＜bandc＜dandE E2M

a<b andε⑧

,K+1 ,K+3 emit(goto— (j<,a,b,k+2(j (j<,c,d,k+4(j k+1(j<,e,b (j ,k+3

文法 S→ifEthen|ifEthenS1else|whileEdo

toE.truetoE.falsegotogoto

toE.truetoE.falsegotogoto

toE.truetoE.false语法制导定义S→ifEthen

S→ifEthenS1elseS2

doS1

E.false:=S.next;E.codegen(E.true’:’)S1.code例考虑如下语句whilea＜bdoifc＜dthenx：=y＋z

L1：ifa＜bgotogotoL2：ifc＜dgotoL3gotoL4L3：t1：=gotoL1(L5)L4： S→ifES→ifEthenS→ifEthenSelseS→whileEdoS→beginLS→（6）S→（7）L→ A为赋值语 E为一个布尔表达

IfEIfEthens1else

S1的代 IfIfEthenS1

WhileEdoS1文法：（1） E（2）T→C1（3）S（4）SW→U→WESS→beginLS→S→L→ EC.nextlist=E.false}T→C1{q=nextquad 2 S.}W→U→WEU.Head=W.Head}S{PS.xt.e)emit(J,-,-,U.head)S.nextlist=U.nextlist}S LL1;M SbeginLifa＜bandc＜dande＜f thenX=1 whileg＜hdo a＜bandc＜dand

(j<,a,b,k+2 (j (j<,c,d,k+4 (j k+1 (j<,e,b (j ,k+3ififEX=1elseX=2TC③ Ethen① X=2*1KK(j<,a,b, (j (j<,c,d,k+4(j K+8(j<,e,b(j ,(=,1, (j ,)(=,1,x①*1⑨②*1⑨③eSe:=（3）SS}S；S；whileg＜hdoX=3 UM⑦M AS11ε12while⑤ *2do X=31112⑤*2⑥*1⑨⑦

(j<,e,b, (j ,k+8 (=,1, (j ,K+9 (=,2, (j<,g,h,K+11 (j （10）LL1;M

(=,3 (j KK(j<,a,b,)(j ,)(j<,c,d)(j )eb,)(j,,k+8(=1, (j,,)(=1,,x(j<,g,h)(j ,)(=,3,a)(j , 7.2.4S→callidElist→ ③过程的运行状态；④返回地址应存入指定的单元中；⑤应生成一条转移指例过程调用“cal