语义分析和中间代码生成.pptVIP

3.转移语句的四元式条件转移(jrop,P1,P2,0)(jnz,P1,-,0)无条件转移(j,-,-,0)4.翻译方案B→i{B.T:=ip;gen(jnz,entry(i),-,0);B.F:=ip;gen(j,-,-,0)}B→i1ropi2{B.T:=ip;gen(jrop,entry(i1),entry(i2),0);B.F:=ip;gen(j,-,-,0)}二.无条件转移语句的翻译1.gotoL的两种情形（1）L已经定义…L:.../*此时，将L登记入符号表*/…gotoL;/*查表，发现L已定义，生成四元式*/…（2）L未定义…gotoL;/*将L记入符号表，定义否标记为“否”*/…gotoL;/*拉链*/…L:…/*定义否标记改为“是”，回填*/…名字类型…定义否地址L标号未r……(p)(j,_,_,0)……(q)(j,_,_,p)……(r)(j,_,_,q)……………2.带标号语句的处理方法设文法：S→labelSlabel→i:当用label→i:进行归约时(1)若i（假定为L）不在符号表中，则把它填入，置“类型”栏为“标号”，“定义否”栏为“已”，“地址”栏为ip的当前值；(2)若L已在符号表中，但“类型”不为“标号”，或“定义否”为“已”，则“名字重定义”；(3)若L已在符号表中，但“类型”为“标号”，则把标志“未”改为“已”，然后把“地址栏”中的链首取出，同时把ip当前值填入其中，最后执行backpatch（q，ip）语义过程进行回填。其中，backpatch（q，ip）为语义过程：把q为链首的链上所有四元式的第四区段都填为ip。三.条件语句的翻译1.文法及其分析S→ifBthenS1│ifBthenS1elseS2L→S│L;SBS1?ifBthenS1B为假B为真S1的第一条四元式用以“回填BS1S2?ifBthenS1elseS2B为假B为真S1、S2的第一条四元式用以“回填”此处产生一无条件转移语句由上面几个图可见：(1)B具有真假出口B为真假时的转向不同在翻译B时其真假出口有待“回填”(2)因if语句的嵌套,必须记录不确定转移目标的四元式的地址—拉链技术2.改写文法M→ifBthenN→MS1elseS→MS1|NS1L→SL→XSX→L;3.语句变量及过程(1)N.CHAIN:记录不确定转移目标的四元式形成的链；如：S.CHAIN记录了S中不确定转移目标的且转向地址均相同的四元式（这些四元式形成一个链,S.CHAIN为链头）如:(p)(j,-,-,0)……(q)(j,-,-,p)……(r)(j,-,-,q)S.CHAIN=r(2)merge(t1,t2):语义函数,将t1、t2合并，返回合并后的链头t2;(3)backpatch(t1,code):语义过程,用code回填t1;如:(p)(j,-,-,0)(u)(j,-,-,0)………...(q)(j,-,-,p)(v)(j,-,-,u)………...(r)(j,-,-,q)(w)(j,-,-,v)t1=rt2=w执行merge(t1,t2)后得(p)(j,-,-,0)(u)(j,-,-,r)………...(q)(j,-,-,p)(v)(j,-,-,u)……