编译原理课件中文chapter7

7.4

布尔表达式和控制流语句布尔表达式有两个基本目的计算逻辑值c=(a>b)&&a>1在控制流语句中用作条件表达式

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

布尔表达式和控制流语句布尔表达式有两种计算方式： if(1ori++>3)then布尔表达式的完全计算

E1orE2布尔表达式的“短路”计算E1orE2定义成ifE1thentrueelseE2E1andE2定义成

ifE1thenE2elsefalse

7.4

布尔表达式和控制流语句7.4.1布尔表达式的翻译E

E

orE|EandE|notE|(E) |idrelopid|true|falsea<b的翻译100:ifa<bgoto103101:t:=0102:goto104103:t:=1104:>,>=,<,<=,<>,==对于a<b的翻译而言，由于三地址代码中不包括形如t=a<b的格式，故此使用ifxrelopygotoL来实现。7.4

布尔表达式和控制流语句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

布尔表达式和控制流语句7.4.2控制流语句的翻译S

ifEthenS1 |ifEthenS1

elseS2 |whileEdoS1 |S1;S2

5/257.4

布尔表达式和控制流语句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

布尔表达式和控制流语句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

布尔表达式和控制流语句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

布尔表达式和控制流语句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

布尔表达式和控制流语句S

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

布尔表达式和控制流语句7.4.3布尔表达式的控制流翻译如果E是a<b的形式，那么代码是：ifa<bgotoE.truegotoE.false7.4

布尔表达式和控制流语句表达式

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

布尔表达式和控制流语句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

布尔表达式和控制流语句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

布尔表达式和控制流语句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

布尔表达式和控制流语句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

布尔表达式和控制流语句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

布尔表达式和控制流语句7.4.4开关语句的翻译switchE begin caseV1:S1 caseV2:S2 ... caseVn-1:Sn–1 default:Sn end7.4

布尔表达式和控制流语句分支数较少时 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

布尔表达式和控制流语句分支较多时，将分支测试的代码集中在一起，便于生成较好的分支测试代码。 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

布尔表达式和控制流语句中间代码增加一种case语句，便于代码生成器对它进行特别处理test: caseV1 L1 caseV2 L2 ... caseVn-1 Ln-1 caset Ln

next:7.4

布尔表达式和控制流语句7.4.5

过程调用的翻译S

callid(Elist)Elist

Elist,EElist

E