程序设计语言与编译ppt课件_8.4 赋值语句的翻译.pptxVIP

第八章语义分析;示例语言的赋值语句：

a=1;a=-b;a=b*(c+d);

采用下列文法：

S→i=E

E→i|(E)|-E|E+E|E-E|E*E|E/E

;E→i {E.addr=i}

E→(E1) { E.addr=E1.addr

E.tac=E1.tac)}

S→i=E { S.tac=E.tac

S.tac+=tac(i=E.addr)}

;E→-E1 {

t=new_temp()

sym_add(t)

E.tac=E1.tac

E.tac+=tac(vart)

E.tac+=tac(t=-E1.addr)

E.addr=t

};E→E1+E2 {

t=new_temp()

sym_add(t)

E.tac=E1.tac

E.tac+=E2.tac

E.tac+=tac(vart)

E.tac+=tac(t=E1.addr+E2.addr)

E.addr=t

}

;E→E1-E2 { ...}

E→E1*E2 { ...}

E→E1/E2 { ...}

;源程序

a=-b*(c+d)

词法分析

i=-i*(i+i)

语法分析

●i=-i*(i+i)

i●=-i*(i+i);归约过程

i=-i●*(i+i)

i=-E●*(i+i)

语义动作

……;归约过程

i=-E●*(i+i)

i=E●*(i+i)

语义动作

sym_add

+=tac...

+=tac...;归约过程

i=E*(E+E●)

i=E*(E●)

语义动作

sym_add

+=tac

+=tac;归约过程

i=E*E●

i=E●

语义动作

sym_add

tac

+=tac

+=tac

+=tac;归约过程

i=E●

S●

语义动作

tac

+=tac