程序设计语言与编译ppt课件_8.9 函数的翻译.pptxVIP

第八章语义分析;函数的定义：

init(){a=0;b=0;c=0;}

max(x,y){if(xy){returnx;}else{returnx+y;}}

采用下列文法：

Func→i(Formal){S_list}

Formal→F_list|ε

F_list→F_list,E|E

S→returnE;|return;

;F_list→E { F_list.tac=tac(formalE.addr)}

F_list→F_list1,E { F_list.tac=F_list1.tac

F_list.tac+=tac(formalE.addr)}

Formal→F_list { Formal.tac=F_list.tac}

;S→returnE; { S.tac=E.tac

S.tac+=tac(returnE.addr)}

S→return; { S.tac=tac(return)}

;Func→i(Formal){S_list}

{

Func.tac=tac(labeli)

Func.tac+=tac(begin)

Func.tac+=Formal.tac

Func.tac+=S_list.tac

Func.tac+=tac(end)

}

;函数的调用：

init()

c=max(a,b)

采用下列文法：

S→Call

E→Call

Call→i(Actual)

Actual→A_list|ε

A_list→E,A_list|E

;A_list→E { A_list.tac=tac(actualE.addr)}

A_list→E,A_list1 { A_list.tac=A_list1.tac

A_list.tac+=tac(actualE.addr)}

Actual→A_list { Actual.tac=A_list.tac}

;Call→i(Actual)

{

Call.tac=Actual.tac

t=new_temp()

sym_add(t)

Call.tac+=tac(t=calli)

Call.addr=t

}