71中间语言 构造赋值语句语法树的语法制导定义 修改构造结点的函数可生成有向无环图 产生式 语义规则 S>id=E S nptr=mkNodef'assign, mkLeaf (id, id entry), E.nptr) E>E+E2 Enptr=mkNode( +, Er nptr, E,nptr) E>E*E2 Enptr=mkNode(*, Er nptr, E2nptr) E>-E1Enptr= mkUNode('uminus', E nptr) E→(E1)E.mp=E1,np F→id Enptr=mkLeaf (id, identry
7.1 中 间 语 言 构造赋值语句语法树的语法制导定义 修改构造结点的函数可生成有向无环图 产 生 式 语 义 规 则 S → id =E S.nptr = mkNode(‘assign’, mkLeaf (id, id.entry), E.nptr) E → E1 +E2 E.nptr = mkNode( ‘+’, E1 .nptr, E2 .nptr) E → E1 E2 E.nptr = mkNode( ‘’, E1 .nptr, E2 .nptr) E → −E1 E.nptr = mkUNode( ‘uminus’, E1 .nptr) E → (E1 ) E.nptr = E1 .nptr F → id E.nptr = mkLeaf (id, id.entry)
71中间语言 713三地址代码 般形式:x=y0pz 例表达式x+y*翻译成的三地址语句序列是 t1=y*了 t2=x+t
7.1 中 间 语 言 7.1.3 三地址代码 一般形式：x = y op z • 例 表达式x + y z翻译成的三地址语句序列是 t 1 = y z t 2 = x + t 1
71中间语言 三地址代码是语法树或DAG的一种线性表示 例a=(-b+c*d)+C*d 语法树的代码 b assign c*d a t1+ t=c* d umnus d t,+ d b a= t
7.1 中 间 语 言 • 三地址代码是语法树或DAG的一种线性表示 • 例 a = (−b + cd ) + cd 语法树的代码 t 1 = −b t 2 = c d t 3 = t 1 + t 2 t 4 = c d t 5 = t 3 + t 4 a = t 5 uminus
71中间语言 三地址代码是语法树或DAG的一种线性表示 例a=(-b+c*d)+c*d 语法树的代码DAG的代码 b b assign c*d ca d t1+ t1+t2 t=c* d t4=t3+t2 2 minus t,+ d b a= t
7.1 中 间 语 言 • 三地址代码是语法树或DAG的一种线性表示 • 例 a = (−b + cd ) + cd 语法树的代码 DAG的代码 t 1 = −b t 1 = −b t 2 = c d t 2 = c d t 3 = t 1 + t 2 t 3 = t 1 + t 2 t 4 = c d t 4 = t 3 + t 2 t 5 = t 3 + t 4 a = t 4 a = t 5 assign a + + b c d uminus
71中间语言 本书常用的三地址语句 赋值语句x=ypz,x=0py, x=y 无条件转移 goto L 条件转移 ifx relop y goto l 过程调用 param和calp,n 过程返回 return y 索引赋值x=y和x引=y 地址和指针赋值x=&y,x=*和*x=y
7.1 中 间 语 言 本书常用的三地址语句 • 赋值语句x = y op z， x = op y， x = y • 无条件转移goto L • 条件转移if x relop y goto L • 过程调用param x 和call p , n • 过程返回 return y • 索引赋值x = y[i]和 x[i] = y • 地址和指针赋值x = &y，x = y和x = y