7.4

布爾表達(dá)式和控制流語(yǔ)句布爾表達(dá)式有兩個(gè)基本目的計(jì)算邏輯值c=(a>b)&&a>1在控制流語(yǔ)句中用作條件表達(dá)式

if(a>b&&a>1)then…1/257.4

布爾表達(dá)式和控制流語(yǔ)句布爾表達(dá)式有兩種計(jì)算方式： if(1ori++>3)then布爾表達(dá)式的完全計(jì)算

E1orE2布爾表達(dá)式的“短路”計(jì)算E1orE2定義成ifE1thentrueelseE2E1andE2定義成

ifE1thenE2elsefalse

7.4

布爾表達(dá)式和控制流語(yǔ)句7.4.1布爾表達(dá)式的翻譯E

E

orE|EandE|notE|(E) |idrelopid|true|falsea<b的翻譯100:ifa<bgoto103101:t:=0102:goto104103:t:=1104:>,>=,<,<=,<>,==對(duì)于a<b的翻譯而言，由于三地址代碼中不包括形如t=a<b的格式，故此使用ifxrelopygotoL來(lái)實(shí)現(xiàn)。7.4

布爾表達(dá)式和控制流語(yǔ)句E

E1orE2

{E.place:=newtemp;

emit(E.place,‘:=’,E1.place,‘or’E2.place)}E

id1relopid2

{E.place:=newtemp;emit(‘if’,id1.place,relop.op,id2.place,‘goto’,nextstat+3);emit(E.place,‘:=’,‘0’);emit(‘goto’,nextstat+2);emit(E.place,‘:=’,‘1’)}a<b的翻譯100:ifa<bgoto103101:t:=0102:goto104103:t:=1104:7.4

布爾表達(dá)式和控制流語(yǔ)句7.4.2控制流語(yǔ)句的翻譯S

ifEthenS1 |ifEthenS1

elseS2 |whileEdoS1 |S1;S2

5/257.4

布爾表達(dá)式和控制流語(yǔ)句E.codeS1.codeE.true:...指向E.true指向E.false(a)if--thenE.codeS1.codeE.true:...指向E.true指向E.falseE.false:gotoS.next(S1.next)S2.code(b)if-then-elseE.codeS1.codeE.true:...指向E.true指向E.falsegotoS.beginS.begin:(c)while-doS1.codeS2.codeS1.next:...(d)

S1;S2Es1Es1s2Es1S1.next:7.4

布爾表達(dá)式和控制流語(yǔ)句S

ifEthenS1{E.true:=newlabel;

E.false:=S.next;

S1.next:=S.next;

S.code:=E.code||gen(E.true,‘:’)||S1.code}E.codeS1.codeE.true:...指向E.true指向E.false(a)if-then7.4

布爾表達(dá)式和控制流語(yǔ)句S

ifEthenS1elseS2{E.true:=newlabel;

E.false:=newlabel;

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.codeS1.codeE.true:...指向E.true指向E.falseE.false:gotoS.nextS2.code(b)if-then-else7.4

布爾表達(dá)式和控制流語(yǔ)句S

whileEdoS1

{S.begin:=newlabel;

E.true:=newlabel;

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.codeS1.codeE.true:...指向E.true指向E.falsegotoS.beginS.begin:(c)while-do7.4

布爾表達(dá)式和控制流語(yǔ)句S

S1;S2{S.code:=S1.code||gen(S1.next,‘:’)||S2.code}S1.codeS2.codeS1.next:...(d)S1;S210/257.4

布爾表達(dá)式和控制流語(yǔ)句7.4.3布爾表達(dá)式的控制流翻譯如果E是a<b的形式，那么代碼是：ifa<bgotoE.truegotoE.false7.4

布爾表達(dá)式和控制流語(yǔ)句表達(dá)式

a<borc<dande<f的代碼是： ifa<bgotoLtrue gotoL1L1: ifc<dgotoL2 gotoLfalseL2: ife<fgotoLtrue gotoLfalse7.4

布爾表達(dá)式和控制流語(yǔ)句E

E1andE2{E1.true:=newlabel;

E1.false:=E.false;

E2.true:=E.true;

E2.false:=E.false;

E.code:=E1.code||gen(E1.true,‘:’)||E2.code}E1.codeE2.codeE1.true:...指向E1.true指向E1.falseE1andE27.4

布爾表達(dá)式和控制流語(yǔ)句E

E1andE2{E1.true:=newlabel;

E1.false:=E.false;

E2.true:=E.true;

E2.false:=E.false;

E.code:=E1.code||gen(E1.true,‘:’)||E2.code}E

(E1

){E1.true:=E.true;

E1.false:=E.false;

E.code:=E1.code}7.4

布爾表達(dá)式和控制流語(yǔ)句E

E1orE2{E1.true:=E.true;

E1.false:=newlabel;

E2.true:=E.true;

E2.false:=E.false;

E.code:=E1.code||gen(E1.false,‘:’)||E2.code}15/257.4

布爾表達(dá)式和控制流語(yǔ)句E

E1orE2{E1.true:=E.true;

E1.false:=newlabel;

E2.true:=E.true;

E2.false:=E.false;

E.code:=E1.code||gen(E1.false,‘:’)||E2.code}E

notE1{E1.true:=E.false;

E1.false:=E.true;

E.code:=E1.code}7.4

布爾表達(dá)式和控制流語(yǔ)句E

id1relopid2{E.code:=gen(‘if’,id1.place,relop.op,id2.place, ‘goto’,E.true)||

gen(‘goto’,E.false)}E

true{E.code:=gen(‘goto’,E.true)}E

false{E.code:=gen(‘goto’,E.false)}如果E是a<b的形式，那么代碼是：ifa<bgotoE.truegotoE.false7.4

布爾表達(dá)式和控制流語(yǔ)句7.4.4開(kāi)關(guān)語(yǔ)句的翻譯switchE begin caseV1:S1 caseV2:S2 ... caseVn-1:Sn–1 default:Sn end7.4

布爾表達(dá)式和控制流語(yǔ)句分支數(shù)較少時(shí) t:=E的代碼 ift

V1gotoL1

S1的代碼 gotonext L1: ift

V2gotoL2 S2的代碼 gotonextL2: ... ...Ln-2:ift

Vn-1gotoLn-1

Sn-1的代碼| gotonextLn-1:Sn的代碼next:7.4

布爾表達(dá)式和控制流語(yǔ)句分支較多時(shí)，將分支測(cè)試的代碼集中在一起，便于生成較好的分支測(cè)試代碼。 t:=E的代碼 |Ln: Sn的代碼 gototest

| gotonext L1: S1的代碼 |test:ift=V1gotoL1

gotonext | ift=V2gotoL2

L2: S2的代碼

| ...

gotonext | ift=Vn-1gotoLn-1 ... | gotoLnLn-1: Sn-1的代碼 |next:

gotonext20/257.4

布爾表達(dá)式和控制流語(yǔ)句中間代碼增加一種case語(yǔ)句，便于代碼生成器對(duì)它進(jìn)行特別處理test: caseV1 L1 caseV2 L2 ... caseVn-1 Ln-1 caset Ln

next:7.4

布爾表達(dá)式和控制流語(yǔ)句7.4.5

過(guò)程調(diào)用的翻譯S

callid(Elist)Elist

Elist,EElist

E