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

国防科技大学计算机系602教研室 产生式 语义规则E→E1orE2 E1.true:=E.true; E1.false:=newlabel; E2.true:=E.true; E2.false:=E.false; E.code:=E1.code|| gen(E1.false‘:’)||E2.code E1.codeToE.trueToE1.falseE2.codeToE.trueToE.false国防科技大学计算机系602教研室 产生式 语义规则 E→E1andE2 E1.true:=newlabel; E1.false:=E.false; E2.true:=E.true; E2.false:=E.fasle; E.code:=E1.code|| gen(E1.true‘:’)||E2.codeE1.codeToE.falseToE1.trueE2.codeToE.trueToE.false国防科技大学计算机系602教研室 产生式 语义规则 E→notE1 E1.true:=E.false; E1.false:=E.true; E.code:=E1.codeE→(E1) E1.true:=E.true; E1.false:=E.false; E.code:=E1.code国防科技大学计算机系602教研室 产生式 语义规则 E→id1relopid2E.code:=gen(‘if’id1.place relop.opid2.place‘goto’E.true)|| gen(‘goto’E.false)E→true E.code:=gen(‘goto’E.true)E→false E.code:=gen(‘goto’E.false)考虑如下表达式：

aborcdandef

假定整个表达式的真假出口已分别置为Ltrue和Lfalse，则按定义将生成如下的代码：国防科技大学计算机系602教研室gotoL1L1: ifcdgotoL2gotoLfalseifabgotoLtruegotoLfalseL2: ifefgotoLtrue12345布尔表达式的翻译国防科技大学计算机系602教研室两遍扫描为给定的输入串构造一棵语法树；对语法树进行深度优先遍历，进行语义规则中规定的翻译。一遍扫描一遍扫描实现布尔表达式的翻译国防科技大学计算机系602教研室1采用四元式形式把四元式存入一个数组中，数组下标就代表四元式的标号约定2四元式(jnz,a,-,p) 表示ifagotop3四元式(jrop,x,y,p)表示ifxropygotop4四元式(j,-,-,p)表示gotop5国防科技大学计算机系602教研室有时,四元式转移地址无法立即知道,我们只好把这个未完成的四元式地址作为E的语义值保存,待机回填。0102国防科技大学计算机系602教研室为非终结符E赋予两个综合属性E.truelist和E.falselist。它们分别记录布尔表达式E所应的四元式中需回填“真”、“假”出口的四元式的标号所构成的链表例如:假定E的四元式中需要回填真出口的p，q，r三个四元式，则E.truelist为下列链:(p)(x，x，x，0)…(q)(x，x，x，p)…(r)(x，x，x，q)链尾E.truelist=r国防科技大学计算机系602教研室为了处理E.truelist和E.falselist，引入下列语义变量和过程:变量nextquad，它指向下一条将要产生但尚未形成的四元式的地址(标号)。nextquad的初值为1