编译原理课件 - 西安电子科技大学个人主页系统 我的西电 我 .pptVIP

* 4.5 简单算术表达式与赋值句 变量的(内部)类型转换 强制(coercion)：按照一定的原则，将不同类型的变量在内部转换为相同的类型，然后进行同类型变量的计算。 属性.mode：取值int或real 表达式E?E1op E2的类型判定树： 运算的转换原则 赋值的转换原则 * 4.5 简单算术表达式与赋值句 三地址码： T := itr E：将E从整型变为实型，结果存放T中 T := rti E：将E从实型变为整型，结果存放T中 语义规则(加入类型转换之后)： A → id := E {tmode:=entry(id.name).mode; if tmode=E.mode then emit(entry(id.name) := E.place); else T := newtemp; if tmode=int then emit(T := rti E.place); else emit(T := itr E.place); end if; emit(entry(id.name) := T); end if; } * 4.5 简单算术表达式与赋值句 E→E1 op E2 { T:=newtemp；E.mode:=real; if E1.mode=int then if E2.mode=int then emit(T := E1.place OPi E2.place); E.mode := int; else U:=newtemp; emit(U := itr E1.place); emit(T := U OPr E2.place); end if; else if E2.mode=int then U:=newtemp; emit(U := itr E2.place); emit(T := E1.place OPr U); else emit(T := E1.place OPr E2.place); end if; end if; E.place:=T; } 其他语义规则看教材197 * 4.5 简单算术表达式与赋值句 [例4.17] x:=-a*b+c的语法制导翻译，x、a、b是整型数，c是实型数。 序号 产生式 中间代码 (1) E1→a (2) E2→-E1 t1 := -a (3) E3→b (4) E4→E2*E3 t2 := t1*i b (5) E5→c (6) E6→E4+E5 t4 := itr t2 t3 := t4 +r c (7) A→x:=E6 t5 := rti t3 x := t5 .int .int .int .real .int(itor) .real(rtoi) P241: 4.5, 4.7 * * * * * * * * * * * * * * * * * * * * * 4.4声明语句的翻译 1. 变量的定义与声明 2. 过程的定义与声明 * * 4.4 声明语句的翻译 作用域信息的保存 过程的作用域 与程序块类似，在允许嵌套定义过程的程序设计语言中，相同的名字可以同时出现在不同的作用域中，因此有必要讨论如何设计符号表来存放它们。此处讨论的过程作用域，同样遵守静态作用域和最近嵌套原则。 * 4.4 声明语句的翻译 定义4.2 (嵌套深度)设主程序(最外层过程)的嵌套深度dmain=1，则 若过程A直接嵌套定义过程B，则dB=dA+1； 变量声明时所在过程的嵌套深度，被认为是该变量的嵌套深度。 与程序块相比，有两点不同，使得过程声明的处理复杂： 过程头是一个名字，可象引用变量一样被调用 程序块的执行与静态一致，而过程不一致。 1 void main() 2 { int a=0, b=0; // B0 3 { int b=1; // B1 4 { int a=2, c=4, d=5; } // B2 7 { int b=3; } // B3 11 } 12 } void swap(int x, int y) { int temp; temp=x; x=y; y=temp; } * 例4.14 快排序的Pascal程序： program sort(input,output); var a:array[0..10]of integer; x:integer; procedure readarray;