Slide08 807007748

[object Object],[object Object],语义分析与中间代码生成词法分析语法分析中间代码生成中间代码优化目标代码优化目标代码生成静态语义分析语义处理

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],语义分析与中间代码生成

[object Object],[object Object],语义分析与中间代码生成

[object Object],语义分析 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],语义分析

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],语义分析

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],语义分析

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],语义分析

[object Object],[object Object],[object Object],P  D ; S D  D ; D  id ： T T  boolean  char  integer  real  array [ num ] of T   T E  true  false  literal  num  num . num  id  E op E  E rop E  E [ E ]  E  S  id := E  if E then S  while E do S  S ; S 语义分析

[object Object],[object Object],[object Object],[object Object],[object Object],语义分析

[object Object],[object Object],[object Object],P  D ; E D  D 1 ; D 2 D  id ： T T  boolean T  char T  integer T  real T  array [ num ] of T 1 T   T 1 { addtype ( id . entry , T.type )} { T.type := bool } { T.type := char } { T.type := int } { T.type := real } { T.type := array (1.. num .val, T 1 .type ) } { T.type := pointer ( T 1 .type ) } 语义分析

[object Object],[object Object],[object Object],E  true E  false E  literal E  num E  num . num E  id E  E 1 op E 2 { E.type := bool } { E.type := bool } { E.type := char } { E.type := int } { E.type := real } { E.type := lookup_type ( id . entry ) } { E.type := if E 1 .type = real and E 2 .type = real then real else if E 1 .type = int and E 2 .type = int then int else type_error } 语义分析

[object Object],[object Object],[object Object],E  E 1 rop E 2 E  E 1 [ E 2 ] E  E 1  { E.type := if E 1 .type = real and E 2 .type = real then bool else if E 1 .type = int and E 2 .type = int then bool else type_error } { E.type := if E 2 .type = int and E 1 .type = array(s,t) then t else type_error } { E.type := if E 1 .type = pointer ( t ) then t else type_error } 语义分析

[object Object],[object Object],[object Object],S  id := E S  if E then S 1 S  while E do S 1 S  S 1 ; S 2 { S.type := if lookup_type ( id . entry ) = E.type then ok else type_error } { S.type := if E.type = bool then S 1 .type else type_error } { S.type := if E.type = bool then S 1 .type else type_error } { S.type := if S 1 .type = ok and S 2 .type = ok then ok else type_error } 语义分析

[object Object],[object Object],[object Object],E  E 1 op E 2 E  E 1 rop E 2 { E.type := if E 1 .type = real and E 2 .type = real then real else if E 1 .type = int and E 2 .type = int then int else if E 1 .type = real and E 2 .type = int then real else if E 1 .type = int and E 2 .type = real then real else type_error } { …… } 语义分析

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],语义分析

中间代码生成 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

中间代码生成 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

中间代码生成 ,[object Object],[object Object],[object Object],[object Object],[object Object]

中间代码生成 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

中间代码生成 ,[object Object],[object Object],[object Object],[object Object],^ + + / A * E - B D C - D C N

中间代码生成 ,[object Object],[object Object],[object Object],[object Object],^ + + / A * E B - D C N

中间代码生成 ,[object Object],[object Object]

中间代码生成 ,[object Object],[object Object],[object Object],S  id := E S  if E then S 1 S  while E do S 1 S  S 1 ; S 2 E  id E  E 1 + E 2 E  E 1  E 2 E  ( E 1 ) …… { S.ptr := mknode(‘assign’, mkleaf( id .entry), E.ptr) } { S.ptr := mknode(‘if_then’, E.ptr, S 1 .ptr) } { S.ptr := mknode(‘while_do’, E.ptr, S 1 .ptr) } { S.ptr := mknode(‘ ; ’ , S 1 .ptr , S 2 .ptr) } { E.ptr := mkleaf( id .entry) } { E.ptr := mknode(‘ + ’ , E 1 .ptr , E 2 .ptr) } { E.ptr := mknode(‘  ’ , E 1 .ptr , E 2 .ptr) } { E.ptr := E 1 .ptr } …… mknode : 构造内部结点 Mkleaf : 构造叶子结点

中间代码生成 ,[object Object],[object Object],[object Object],[object Object]

中间代码生成 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

中间代码生成 ,[object Object],S  id := E E  E 1 + E 2 E  E 1  E 2 E  - E 1 E  ( E 1 ) E  id { p := lookup ( id . name ); if （ p  nil) then S.code := E.code || gen (p ‘:=‘ E.place) else error } { E.place := newtemp; E.code := E 1 .code || E 2 .code || gen ( E.place ‘:=‘ E 1 .place ‘+’ E 2 .place) } { E.place := newtemp; E.code := E 1 .code || E 2 .code || gen ( E.place ‘:=‘ E 1 .place ‘  ’ E 2 .place) } { E.place := newtemp; E.code := E 1 .code || gen ( E.place ‘:=‘ ‘uminus‘ E 1 .palce) } { E.place := E 1 .place ; E.code := E 1 .code } { p := lookup ( id . name ); if （ p  nil) then E.place := p else error ; E.code := ‘’ } ,[object Object]

中间代码生成 ,[object Object],[object Object],P  D ; E D  D 1 ; D 2 D  id ： T T  char T  integer T  real T  array [ num ] of T 1 T   T 1 E  … { enter ( id . name , T.type )} { T.type := char } { T.type := integer } { T.type := real } { T.type := array (1.. num .val, T 1 .type ) } { T.type := pointer ( T 1 .type ) } enter ( id . name , T.type ) : 将符号表中 id . name 所对应表项的 type 域置为 T.type

中间代码生成 ,[object Object],[object Object],P  { D.offset := 0 } D ; E D  { D 1 .offset := D.offset } D 1 ; { D 2 .offset := D.offset + D 1 .width } D 2 { D.width := D 1 .width + D 2 .width } D  id ： T { enter ( id . name , T.type, D.offset ) ； D.width := T.width } T  char { T.type := char ; T.width := 1 } T  integer { T.type := integer ; T.width := 4 } T  real { T.type := real ; T.width := 8 } T  array [ num ] of T 1 { T.type := array( num .val, T 1 .type ) ; T.width := num .val  T 1 .width } T   T 1 { T.type := pointer ( T 1 .type ) ; T.width := 4 } E  …

中间代码生成 ,[object Object],[object Object],[object Object],[object Object],[object Object],… D  id ： T { enter ( id . name , T.type, D.offset ) ； D.width := T.width } … T  array [ num ] of T 1 { T.type := array( num .val, T 1 .width ) ; T.width := num .val  T 1 .width } …

中间代码生成 ,[object Object],[object Object],S  id := E S  E 1 [ E 2 ] := E 3 E  E 1 [ E 2 ] E  id … { p := lookup ( id . name ); if （ p  nil) then S.code := E.code || gen (p ‘:=‘ E.place) else error } { S.code := E 2 .code || E 3 .code || gen (E 1 .place ‘[’ E 2 .place ‘]’ ‘:=‘ E 3 .place) } { E.place := newtemp; E.code := E 2 .code || gen ( E.place ‘:=‘ E 1 .place ‘ [ ’ E 2 .place ‘]’ ) } { p := lookup ( id . name ); if （ p  nil) then E.place := p else error ; E.code := ‘’}

中间代码生成 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],l 1 u 1 l 2 u 2 l n u n type a n C … … l i : 第 i 维的下界 u i : 第 i 维的上界 type : 数组元素的类型 a : 数组首元素的地址 n : 数组维数 C : 随后解释

中间代码生成 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],（这里的 C 即为前页内情向量中的 C ）

中间代码生成 ,[object Object],[object Object],E  E 1 or E 2 E  E 1 and E 2 E  not E 1 E  ( E 1 ) E  id 1 rop id 2 E  true E  false { E.place := newtemp; E.code := E 1 .code || E 2 .code || gen ( E.place ‘:=‘ E 1 .place ‘ or ’ E 2 .place) } { E.place := newtemp; E.code := E 1 .code || E 2 .code || gen ( E.place ‘:=‘ E 1 .place ‘ and ’ E 2 .place) } { E.place := newtemp; E.code := E 1 .code || gen ( E.place ‘:=‘ ‘ not ’ E 1 .palce) } { E.place := E 1 .place ; E.code := E 1 .code } { E.place := newtemp; E.code := gen ( ‘ if ‘ id 1 .place rop.op id 2 .place ‘goto’ nextstat+3) || gen ( E.place ‘:=‘ ‘0’ ) || gen ( ‘goto’ nextstat+2) || gen ( E.place ‘:=‘ ‘1’ ) } { E.place := newtemp; E.code := gen( E.place ‘:=‘ ‘1’ ) } { E.place := newtemp; E.code := gen( E.place ‘:=‘ ‘0’ ) } nextstat 返回输出代码序列中下一条 TAC 语句的下标

中间代码生成 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

中间代码生成 ,[object Object],[object Object],E  E 1 or E 2 E  E 1 and E 2 E  not E 1 E  ( E 1 ) E  id 1 rop id 2 E  true E  false { E 1 .true := E .true ; E 1 .false := newlabel; E 2 .true := E .true ; E 2 .false := E .false ; E.code := E 1 .code || gen (E 1 .false ‘ : ‘ ) || E 2 .code } { E 1 .false := E .false ; E 1 .true := newlabel; E 2 .true := E .true ; E 2 .false := E .false ; E.code := E 1 .code || gen (E 1 .true ‘ : ‘ ) || E 2 .code } { E 1 .true := E .false ; E 1 .false := E .true ; E.code := E 1 .code } { E 1 .true := E .true ; E 1 .false := E .false ; E.code := E 1 .code } { E.code := gen ( ‘ if ‘ id 1 .place rop.op id 2 .place ‘goto’ E .true ) || gen ( ‘goto’ E .false ) } { E.code := gen ( ‘goto’ E .true ) } { E.code := gen ( ‘goto’ E .false ) }

中间代码生成 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],E.code S 1 .code E.true: E.false: …… to E.true to E.false newlable 返回一个新的语句标号 S.next 属性表示 S 之后要执行的首条 TAC 语句的标号

中间代码生成 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],E.code S 1 .code E.true: E.false: goto S .next to E.true to E.fase …… S 2 .code S.next:

中间代码生成 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],E.code S 1 .code S.begin: E.false: goto S .begin to E.true to E.false …… E.true:

中间代码生成 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],S 1 .code S 2 .code S.next: …… S 1 .next:

中间代码生成 ,[object Object],[object Object],E  { E 1 .true := E .true ; E 1 .false := newlabel } E 1 or { E 2 .true := E .true ; E 2 .false := E .false } E 2 { E.code := E 1 .code || gen (E 1 .false ‘ : ‘ ) || E 2 .code } E  { E 1 .false := E .false ; E 1 .true := newlabel } E 1 and { E 2 .true := E .true ; E 2 .false := E .false } E 2 { E.code := E 1 .code || gen (E 1 .true ‘ : ‘ ) || E 2 .code } E  not { E 1 .true := E .false ; E 1 .false := E .true } E 1 { E.code := E 1 .code } E  ( { E 1 .true := E .true ; E 1 .false := E .false } E 1 ) { E.code := E 1 .code } E  id 1 rop id 2 　 { E.code := gen ( ‘ if ‘ id 1 .place rop.op id 2 .place ‘goto’ E .true ) || gen ( ‘goto’ E .false ) } E  true { E.code := gen ( ‘goto’ E .true ) } E  false { E.code := gen ( ‘goto’ E .false ) }

中间代码生成 ,[object Object],[object Object],[object Object],[object Object],[object Object],E.code S 1 .code E.true: E.false: …… to E.true to E.false newlable 返回一个新的语句标号 S.next 属性表示 S 之后要执行的首条 TAC 语句的标号

中间代码生成 ,[object Object],[object Object],E.code S 1 .code E.true: E.false: goto S .next to E.true to E.fase …… S 2 .code S.next: S  if { E.true := newlable; 　　　　 E.false := newlable } 　　 E 　 then 　　　　 { S 1 .next := S.next } 　　 S 1 　 else 　　　　 { S 2 .next := S.next } 　　 S 2 　　　　　 { S .code := E.code || 　　　　　 gen(E.true ‘:’) || 　　　　　 S 1 .code || 　　　　　 gen(‘goto’ S.next) || 　　　　　 gen(E.false ‘:’) || 　　　　　 S 2 .code 　　　　 }

中间代码生成 ,[object Object],[object Object],E.code S 1 .code S.begin: E.false: goto S .begin to E.true to E.false …… E.true: S  while 　　　　　 { E.true := newlable; 　　　　 E .false := S.next } 　　 E do 　　　 { S 1 .next := newlable ｝　　 S 1 　　　　　 { S.begin := 　 S 1 .next; 　　　 S .code := gen(S.begin ‘:’) 　　　　　 || E.code 　　　　　 || gen(E.true ‘:’) 　　　　　 || S 1 .code 　　　　　 || gen(‘goto’ S.begin) 　　　 }

中间代码生成 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],S 1 .code S 2 .code S.next: …… S 1 .next:

中间代码生成 ,[object Object],[object Object],E  E 1 or M E 2 E  E 1 and M E 2 E  not E 1 { backpatch(E 1 .falselist ,M.gotostm) ; E .truelist := merge(E 1 .truelist , E 2 .truelist ) ; E .falselist := E 2 .falselist } { backpatch(E 1 .truelist ,M.gotostm) ; E .falselist := merge(E 1 .falselist , E 2 .falselist ) ; E .truelist := E 2 .truelist } { E .truelist := E 1 .falselist ; E .falselist := E 1 .truelist } 注 : 这里可以规定产生式的优先级依次递增来解决冲突问题（下同）

中间代码生成 ,[object Object],[object Object],E  ( E 1 ) E  id 1 rop id 2 E  true E  false M   { E .truelist := E 1 .truelist ; E .falselist := E 1 .falselist } { E .truelist := makelist ( nextstm ); E .falselist := makelist ( nextstm+1 ); emit ( ‘ if ‘ id 1 .place rop.op id 2 .place ‘goto _’ ) ; emit ( ‘goto _’ ) } { E .truelist := makelist ( nextstm ); emit ( ‘goto _’ ) } { E .falselist := makelist ( nextstm ); emit ( ‘goto _’ ) } { M .gotostm := nextstm }

中间代码生成 ,[object Object],[object Object],（ 0 ） if a<b goto _ or and （ 1 ） goto _ （ 3 ） goto _ （ 2 ） if c<d goto _ （ 4 ） if e<f goto _ （ 5 ） goto _ (4) (2) E .truelist={0,4} E .falselist={3,5}  M .gotostm=2  M .gotostm=4 E .truelist={4} E .falselist={3,5} E .truelist={0} E .falselist={1} < a b E .truelist={2} E .falselist={3} < c d E .truelist={4} E .falselist={5} < e f

中间代码生成 ,[object Object],[object Object],S  if E then M S 1 { backpatch(E .truelist ,M.gotostm) ; S .nextlist := merge(E .falselist , S 1 .nextlist ) } S  if E then M 1 S 1 N else M 2 S 2 { backpatch(E .truelist , M 1 .gotostm) ; backpatch(E .falselist , M 2 .gotostm) ; S .nextlist := merge(S 1 .nextlist, merge(N .nextlist , S 2 .nextlist ) ) } M   { M .gotostm := nextstm } N   { N .nextlist := makelist( nextstm ); emit(‘goto _’) }

中间代码生成 ,[object Object],[object Object],S  while M 1 E do M 2 S 1 { backpatch(S 1 .nextlist, M 1 .gotostm) ; backpatch(E .truelist, M 2 .gotostm) ; S .nextlist := E .falselist ; emit(‘goto’, M 1 .gotostm) } S  begin L end { S .nextlist := L .nextlist } S  A { S .nextlist := nil } L  L 1 ; M S { backpatch(L 1 .nextlist, M.gotostm) ; L .nextlist := S .nextlist } L  S { L .nextlist := S .nextlist }

中间代码生成 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],…… (100) goto 0 …… (200) goto 100 …… (300) goto 200 …… (400) L :

中间代码生成 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],…… (100) goto 400 …… (200) goto 400 …… (300) goto 400 …… (400) L : …… (500) goto 400 ……

中间代码生成 ,[object Object],[object Object],S  id : S { p := lookup ( id . name ); if ( p=nil) then enter( id . name ) ; setlbdefined( id . name ,1) ; setlbadd( id . name , nextstm ); backpatch( nextstm ) } S  goto id { p := lookup ( id . name ); if ( p=nil) then { enter( id . name ) ; setlbdefined( id . name ,0) ; setlbadd( id . name ,0); emit(‘goto’, 0)}; else emit(‘goto’, getlbadd( id . name ) ) if getlbdefined (id.name)=0 then setlbadd( id . name , nextstm-1 ) }

中间代码生成 ,[object Object],[object Object],S  call id ( L ) { S .code := L .code ； for L.arglist 中的每一项 p do S.code := S.code || gen ( ‘ param ’ p ) ； S.code := S.code || gen ( ‘call’ id .place , L . n ) } L  L 1 , E { L.n := L 1 .n + 1; L.arglist := append(L 1 .arglist ,makelist(E.place)); L.code := L 1 .code || E.code } L   { L.n := 0; L.arglist := null ； L.code := ‘ ’ } L.n : 参数个数 L.arglist : 实参地址的列表 makelist : 创建实参地址结点 append : 在实参表中添加结点

课后作业 1 熟练掌握本讲出现的每个属性文法 / 翻译模式的设计目的 , 设计思想和设计技术 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

课后作业 3 参考本讲稿第 45-49 页的翻译模式及所用到的语义函数 , 重复 2 中 (1), (2) 的工作。 ,[object Object],[object Object]

Thank You That’s all for today.

Slide08 807007748

Empfohlen

Empfohlen

Weitere ähnliche Inhalte

Was ist angesagt?

Was ist angesagt? (17)

Ähnlich wie Slide08 807007748

Ähnlich wie Slide08 807007748 (20)

Slide08 807007748