程序设计语言与编译ppt课件_8.6 if语句的翻译.pptxVIP

第八章语义分析第五节goto语句的翻译第六节if语句的翻译第七节while语句的翻译第八节for语句的翻译

示例语言的if语句：if(a){b=1;}if(a+b){c=1;}if(a){b=1;c=2;}if(a){b=1;c=2;if(d){e=1;}}采用下列文法：S_list→S_listS|SS→if(E){S_list}if语句的翻译

S_list→S { S_list.tac=S.tac}S_list→S_list1S { S_list.tac=S_list1.tac S_list.tac+=S.tac}语义子程序

S→if(E){S_list} { S.tac=E.tac L=new_label() sym_add(L) S.tac+=tac(ifzE.addrgotoL) S.tac+=S_list.tac S.tac+=tac(labelL)} 语义子程序

源程序if(a){ a=-b*(c+d); b=a;}翻译实例归约过程1. a归约到E2. a=-b*(c+d);归约到S13. S1归约到S_list14. b=a;归约到S25. S_list1S2归约到S_list26. if(E){S_list2}归约到S

2. a=-b*(c+d);归约到S1vart1t1=-bvart2t2=c+dvart3t3=t1*t2a=t3翻译实例4. b=a;归约到S2b=a5. S_list1S2归约到S_list2vart1t1=-bvart2t2=c+d

vart3t3=t1*t2a=t3b=a6. if(E){S_list2}归约到SifzagotoL1vart1翻译实例t1=-bvart2t2=c+dvart3t3=t1*t2a=t3b=alabelL1

符号表翻译实例编号属性1a、变量、int2b、变量、int3c、变量、int……10t1、临时变量、int11t2、临时变量、int12t3、临时变量、int13L1、标号、label……

语句实例：if(a){b=1;}else{b=2;}if(a+b){b=1;}else{b=2;}if(a){b=a+1;c=b+2;}else{b=2;c=3;}if(a){if...{if...else...}...}else{if...{if...{if...else...}...}...};采用下列文法：S→if(E){S_list1}else{S_list2}if-else语句的翻译

S→if(E){S_list1}else{S_list2}{ S.tac=E.tac L1=new_label() sym_add(L1) S.tac+=tac(ifzE.addrgotoL1) S.tac+=S_list1.tac语义子程序 L2=new_label() sym_add(L2) S.tac+=tac(gotoL2) S.tac+=tac(labelL1) S.tac+=S_list2.tac S.tac+=tac(labelL2)}

源程序if(a){ a=-b*(c+d); b=a;}else { c=a;}翻译实例归约过程1. a归约到E2. a=-b*(c+d);b=a;归约到S_list13. c=a;归约到S_list24. if(E){S_list1}else{S_list2}归约到S

2.a=-b*(c+d);b=a;归约到S_list1vart1t1=-bvart2t2=c+dvart3t3=t1*t2a=t3b=a翻译实例3. c=a;归约到S_list2c=a

4. if(E){S_list1}else{S_list2}归约到SifzagotoL1vart1t1=-