S的中间代码(ENDWHILE,_,_,_).ppt

第七章 中间代码生成;中间语言;三地址中间代码;语法制导方法;类型检查和类型转换;中间代码生成中的几个问题;简单表达式的LL语法制导;下标变量中间代码生成;表达式中间代码生成的例子;赋值语句的形式为：Left := Right 赋值语句的四元式结构 ： Left 的中间代码 Right 的中间代码 (FLOAT , right , —, t ) (ASSIG , Right（t）, n , Left ) 语法制导： S ?L:=R #ASSIGN #ASSIGN： 从语义栈中取出赋值号左右分量的语义信息； 比较类型是否相同，如果不同，则生成类型转换中间代码； 生成赋值四元式(ASSIG , Right （t）, n , Left )。 ;过函调用的中间代码 f(E1，E2，…，En): E1.tuple … En.tuple (ACT,E1.Arg) … (ACT,En.Arg) (CALL,f,—，result) 或(CALL,f，—) ;形参实参结合中间代码: (VALACT, Ei.Arg, offseti, sizei)……值参 (VARACT, Ei.Arg, offseti, sizei)……变参 (FUNCACT, Ei.Arg, offseti, sizei)……函数参数 (PROACT, Ei.Arg, offseti, sizei)……过程参数;例：x + f (H(10), g(Y)) 其中x是整型变量，H为形参函数名，H的形参为 值参，f、g为实在函数名，f的参数均为值参， g的参数为变参。 （ VALACT,10,?1,1 ） ( CALL, H, false, t1 ) ( VARACT, Y,?1,1 ) ( CALL, g, true, t2 ) ( VALACT, t1, ?1,size1 ) ( VALACT, t2, ?2,size2 ) ( CALL, f, true, t3 ) ( ADDI, x, t3, t4 );过/函调用中间代码的生成;过/函调用的语法制导;GOTO语句和标号语句的中间代码;条件语句的中间代码;条件语句的语法制导 S→ if E then #ThenIf S ElsePart #EndIf ElsePart → else #ElseIf S ElsePart → ? #ThenIf 根据Sem [ top ]的值，检查它的类型是否为boolean类型，如果是则产生中间代码 (THEN, Sem[top], _, _)。 #ElseIf 产生中间代码 (ELSE, _, _, _) #EndIf 产生中间代码 (ENDIF, _, _, _) ;While语句的中间代码;while语句的语法制导 S→ while #StartWhile E do #DoWhile S #EndWhile #StartWhile 产生中间代码 (WHILE, _, _, _) #DoWhile 遇 do 时（表达式E处理完，其值在Sem[top]）： ⑴ 类型检查：检查E是否为boolean类型； ⑵ 产生中间代码 (DO, E.FORM , _, _)； ⑶ E弹栈：pop(1)； #EndWhile 产生中间代码 (ENDWHILE, _, _, _) ;过程/函数声明的中间代码;过/函声明的中间代码形式;过程声明的例子;过程/函数声明的语法制导