声语句的翻译教学课件.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