语法制导翻译 (2)2.pptVIP

（4）文法G[A]SLR(1)分析表状态ACTIONGOTOi+*():=#AVETF0S2131acc2r83S44S9S85675S106r3S11r3r37r5r5r5r58S9S812679r7r7r7r710S9S813711S9S81412S10S1513r2S11r2r214r4r4r4r415r6r6r6r6第60页，共96页，星期日，2025年，2月5日（5）对x:=a+b*c语法制导翻译产生四元式过程（以赋值语句x:=a+b*c为例）步骤状态栈符号栈PLACE输入串归约规则调用子程序四元式10＃－X:=a+b*c#SUB8202＃x－Vx:=a+b*c#V::=i303＃V－Vx:=a+b*c#4034＃V:=－Vx-a+b*c#50349＃V:=a－Vx-Fa+b*c#F::=iSUB760347＃V:=F－Vx-Fa+b*c#T::=FSUB570346＃V:=T－Vx-Ta+b*c#E::=TSUB380345＃V:=E－Vx-Ea+b*c#903450＃V:=E+－Vx-Ea-b*c#10034509＃V:=E+b－Vx-Ea-Fb*c#F::=iSUB711034507＃V:=E+F－Vx-Ea-Tb*c#T::=FSUB512034503＃V:=E+T－Vx-Ea-Tb*c#130345031＃V:=E+T*－Vx-Ea-Tb-c#14＃V:=E+T*c－Vx-Ea-Tb-FC#F::=iSUB715＃V:=E+T*F－Vx-Ea-T1#T::=T(1)*FSUB4(*,b,c,T1)16034503＃V:=E+T－Vx-T2#E::=E(1)+TSUB2(+,a,T1,T2)170345＃V:=E－Vx-T2#A::=V:=ESUB1(:=,T2,,x)1801＃A#第61页，共96页，星期日，2025年，2月5日§5.3自底向上语法制导翻译一、简单算术表达式和赋值语句翻译1、翻译成四元式分析表几点说明在分析表中Vx,Ea,Tb,Fc之类记号，表示与非终结符V,E,T,F相关联的V·PLACE,E.PLACE,T.PLACE,F.PLACE中存放着ENTRY(x),ENTRY(a),ENTRY(b),ENTRY(c)符号指针，指向符号表。在四元式中，如（*，b,c,T1)，*实际上是某种整数编码，反映运算符本身及其信息特征，如类型等。b,c实际上也是指示器，指示符号表入口；T1是临时变量，实际上也是整数码.第62页，共96页，星期日，2025年，2月5日§5.3自底向上语法制导翻译一、简单算术表达式和赋值语句翻译2、类型检查与类型转换(1)目的1)类型检查是编译程序语义检查不可缺少的一部分。类型检查就是对访问数据的操作和被访问数据的类型进行检查检查操作的合法性和数据类型的相容性。例如，在PASCAL语言中，若算术运算符的操作数为布尔量，或者赋给实型变量值是个指针，则编译程序报告“类型不相容”的诊断信息。2)允许类型混合，但在处理时要统一，所以必须进行类型转换。例如，加法运算“+”允许运算对象是整型数或实型数,如果一个运算对象是实型，另一个运算对象是整型，其运算结果的类型是实型，由于实型数和整型数的内部表示不相同，因此为了使整型数能参加实型数运算，必须事先将整型数转换成实型数。第63页，共96页，星期日，2025年，2月5日§5.3自底向上语法制导翻译一、简单算术表达式和赋值语句翻译2、类型检查与类型转换（2）类型检查类型检查可在生成中间代码时进行，也可在生成目标代码时进行，但最好是在生成中间代码时进行，因为语法和语义检查最好尽早进行，这样能尽早避免徒劳的工作。在上面对简单算术表达式和赋值语句翻译到四元式的讨论中，我们假定各个变量是同一类型整型变量，并且规定在四元式的op代码中，本身就会有类型信息。所以，在上例各语义子程序中，我们并未考虑有关类型方面语义处理。第64页，共96页，星期日，2025年，2月5日§5.3自底向上语法制导翻译一、简单算术表达式和赋值语句翻译2、类型检查与类