编译原理布尔表达式和控制流语句

7.4布尔表达式和控制流语句布尔表达式的作用用作计算逻辑值用作控制流语句如if-then,if-then-else和while-do等之中的条件表达式7.4.1布尔表达式计算布尔表达式的方法从表达式各部分的值计算出整个表达式的值优化计算（短路）AorBifAthentrueelseBAandBifAthenBelsefalsenotAifAthenfalseelsetrue7.4.2控制流语句的翻译S→ifBthenS1|ifBthenS1elseS2

|whileBdoS1

|S1;S2控制流语句的属性文法产生式语义规则S→ifBthenS1B.true:=newlabelB.false:=S.nextS1.next:=S.nextS.code:=B.code||gen(B.true':')||S1.code

B.codeS1.codetoB.truetoB.falseB.true:B.false:S.nextnewlabel每次调用产生一个新的标号：L1,L2,...S→ifBthenS1elseS2B.true:=newlabelB.false:=newlabelS1.next:=S.nextS2.next:=S.nextS.code:=B.code||gen(B.true':')||S1.code||gen('goto'S.next)||gen(B.false':')||S2.code

B.codeS1.codegotoS.nextS2.codetoB.truetoB.falseB.true:B.false:S.next:S→whileBdoS1S.begin:=newlabelB.true:=newlabelB.false:=S.nextS1.next:=S.beginS.code:=gen(S.begin':')||B.code||gen(B.true':')||S1.code||gen('goto'S.begin)B.codeS1.codegotoS.begintoB.truetoB.falseB.true:B.false:S.nextS.begin:SS1;S2{S1.next:=newlabel;S2.next:=S.next;S.code:=S1.code||gen(S1.next,‘:’)||S2.code}S1.codeS2.codeS1.next:...(d)S1;S27.4.3布尔式的控制流翻译ifBthenS1elseS2B.codeS1.codegotoS.nextS2.codetoB.truetoB.falseB.true:B.false:S.next:如果E是a<b的形式，那么代码是：ifa<bgotoE.truegotoE.false对于每一个布尔表达式B，设置两个继承属性：B.true是B为真时控制流转向的标号，B.false是B为假时控制流转向的标号BB1orB2{B1.true:=B.true;B1.false:=newlabel;B2.true:=B.true;B2.false:=B.false;B.code:=B1.code||gen(B1.false,‘:’)||B2.code}BB1andB2{B1.true:=newlabel;B1.false:=B.false;B2.true:=B.true;B2.false:=B.false;B.code:=B1.code||gen(B1.true,‘:’)||B2.code}BnotB1{B1.true:=B.false;B1.false:=B.true;B.code:=B1.code}B(B1){B1.true:=B.true;B1.false:=B.false;B.code:=B1.code}BE1relopE2{B.code:=E1.code||E2.code||gen(‘if’,E1.place,relop.op,E2.place,‘goto’,B.true)|| gen(‘goto’,B.false)}Btrue{B.code:=gen(‘goto’,B.true)}Bfalse{B.code:=gen(‘goto’,B.false)}例：考虑如下语句

whilea<bdoifc<dthenx:=y+zelsex:=y-zL1:ifa<bgotoL2gotoLnextL2:ifc<dgotoL3gotoL4L3:T1:=y+z;x:=T1gotoL1L4:T2:=y-zx:=T2gotoL1Lnext:7.4.4开关语句的翻译switchE begin caseV1:S1 caseV2:S2 ... caseVn-1:Sn

–1 default:Sn end执行流程计算开关表达式E的值分支测试执行相匹配常量后的分支的语句执行了这三步后就代表开关语句执行结束分支数较少时

t:=E的代码 |Ln-2:ift

Vn-1gotoLn-1

ift

V1gotoL1 | Sn-1的代码

S1的代码 | gotonext gotonext |Ln-1:Sn的代码

L1: ift

V2gotoL2|next: S2的代码

gotonextL2: ... ...分支较多时，将分支测试的代码集中在一起，便于生成较好的分支测试代码。

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:

gotonext中间代码增加一种case语句，便于代码生成器对它进行特别处理test: caseV1 L1 caseV2 L2 ... caseVn-1 Ln-1 caset Ln

next:改进表格法开关表V1S1的地址V2S2的地址......Vn-1Sn-1的地址Sn的地址t杂凑法（Hash表）

position=H(t)S2的地址S1的地址S3的地址数组法选择子E的取值范围较小（例如0到127），在这个区间只有少数几个值不被选为Ci。建立一个数组B[0:127]，B[Ci]中存放着Si的地址，对于不被选为Ci的每个整数J，令B[J]中存放Sn的地址7.4.5过程调用的翻译Scallid(Elist)ElistElist,EElistE过程调用id(E1,E2,…,En)的中间代码结构E1.place:=E1的代码E2.place:=E2的代码

...En.place:=En的代码paramE1.placeparamE2.pl