《第7章语义分析与中间代码生成ppt课件.ppt》由会员分享,可在线阅读,更多相关《第7章语义分析与中间代码生成ppt课件.ppt(126页珍藏版)》请在三一办公上搜索。
1、第7章 语义分析与中间代码生成,School of Computer Science&Technology Harbin Institute of Technology,重点:三地址码,各种语句的目标代码结构、语法制导定义与翻译模式。难点:布尔表达式的翻译,对各种语句的目标 代码结构、语法制导定义与翻译模式的 理解。,2023/5/17,2,第7章语义分析与中间代码生成,7.1 中间代码的形式7.2 声明语句的翻译7.3 赋值语句的翻译7.4 类型检查7.5 控制结构的翻译7.6 回填7.7 switch语句的翻译7.8 过程调用和返回语句的翻译7.9 输入输出语句的翻译7.10 本章小结,2
2、023/5/17,3,7.1 中间代码的形式,中间代码的作用过渡:经过语义分析被译成中间代码序列中间代码的形式中间语言的语句中间代码的优点形式简单、语义明确、独立于目标语言便于编译系统的实现、移植、代码优化常用的中间代码语法树(6.3.5节)逆波兰表示、三地址码(三元式和四元式)、DAG图表示,2023/5/17,4,7.1.1 逆波兰表示,中缀表达式的计算顺序不是运算符出现的自然顺序,而是根据运算符间的优先关系来确定的,因此,从中缀表达式直接生成目标代码一般比较麻烦。波兰逻辑学家J.Lukasiewicz于1929年提出了后缀表示法,其优点为:表达式的运算顺序就是运算符出现的顺序,它不需要使
3、用括号来指示运算顺序。,2023/5/17,5,7.1.1 逆波兰表示,例7.1 下面给出的是一些表达式的中缀、前缀和后缀表示。中缀表示前缀表示后缀表示a+b+abab+a*(b+c)*a+bcabc+*(a+b)*(c+d)*+ab+cd ab+cd+*a:=a*b+c*d:=a+*ab*cd abc*bd*+:=,2023/5/17,6,7.1.2 三地址码,所谓三地址码,是指这种代码的每条指令最多只能包含三个地址,即两个操作数地址和一个结果地址。如x+y*z三地址码为:t1:=y*z t2:=x+t1三地址码中地址的形式:名字、常量、编译器生成的临时变量。,2023/5/17,7,7.1
4、.2 三地址码,例7.2 赋值语句a:=(-b)*(c+d)-(c+d)的三地址码如图7.1所示,t1:=minus bt2:=c+dt3:=t1*t2t4:=c+dt5:=t3-t4a:=t5,图7.1 a:=(-b)*(c+d)-(c+d)的三地址码,2023/5/17,8,7.1.2 三地址码,1形如x:=y op z的赋值指令;2形如x:=op y的赋值指令;3形如 x:=y的复制指令;4无条件跳转指令goto L;5形如 if x goto L(或if false x goto L)的条件跳转指令;6形如if x relop y goto L的条件跳转指令;7过程调用和返回使用如下的
5、指令来实现:param x用来指明参数;call p,n和y=call p,n用来表示过程调用和函数调用;return y表示过程返回;8形如x:=yi和xi:=y的变址复制指令;9形如x:=&y、x:=*y和*x:=y的地址和指针赋值指令。,2023/5/17,9,四元式,四元式是一种比较常用的中间代码形式,它由四个域组成,分别称为op、arg1、arg2和result。op是一个一元或二元运算符,arg1和arg2分别是op的两个运算对象,它们可以是变量、常量或编译器生成的临时变量,运算结果则放入result中。,图7.2(a)图7.1中三地址码的四元式表示,2023/5/17,10,三元
6、式,为了节省临时变量的开销,有时也可以使用只有三个域的三元式来表示三地址码。三元式的三个域分别称为op,arg1和arg2,op,arg1和arg2的含义与四元式类似,区别只是arg1和arg2可以是某个三元式的编号(图7.2(b)中用圆括号括起来的数字),表示用该三元式的运算结果作为运算对象。,图7.2(b)图7.1中三地址码的三元式表示,2023/5/17,11,生成三地址码的语法制导定义,2023/5/17,12,7.1.3 图表示,类似于表达式的抽象语法树一样,在dag(directed acyclic graph)中,每个节点对应一个运算符,代表表达式的一个子表达式,其子节点则与该运
7、算符的运算对象相对应,叶节点对应的是变量或者常量,可以看成是原子运算。利用dag可以很容易地消除公共子表达式例7.3 表达式a+a*(b-c)-(b-c)/d的dag如图7.5所示。,图7.5 a+a*(b-c)-(b-c)/d的dag图,2023/5/17,13,生成dag的语法制导定义,2023/5/17,14,7.2 声明语句的翻译,声明语句的作用为程序中用到的变量或常量名指定类型 类型的作用 类型检查:类型检查的任务是验证程序运行时的行为是否遵守语言的类型的规定,也就是是否符合该语言关于类型的相关规则。辅助翻译:编译器从名字的类型可以确定该名字在运行时所需要的存储空间。在计算数组引用的
8、地址、加入显式的类型转换、选择正确版本的算术运算符以及其它一些翻译工作时同样需要用到类型信息。编译的任务在符号表中记录被说明对象的属性(种别、类型、相对地址、作用域等),为执行做准备,2023/5/17,15,7.2.1 类型表达式,类型可以具有一定的层次结构,因此用类型表达式来表示。类型表达式的定义如下:1基本类型是类型表达式。典型的基本类型包括boolean、char、integer、real及void等。2类型名是类型表达式。3将类型构造符array应用于数字和类型表达式所形成的表达式是类型表达式。如果T是类型表达式,那么array(I,T)就是元素类型为T、下标集为I的数组类型表达式。
9、4如果T1和T2是类型表达式,则其笛卡尔乘积T1T2也是类型表达式。,2023/5/17,16,7.2.1 类型表达式,5类型构造符record作用于由域名和域类型所形成的表达式也是类型表达式。记录record是一种带有命名域的数据结构,可以用来构成类型表达式。例如,下面是一段Pascal程序段:type row=recordaddress:integer;lexeme:array1.15 of charend;var table:array 1.10 of row;该程序段声明了表示下列类型表达式的类型名row:record(addressinteger)(lexemearray(1.15,
10、char),2023/5/17,17,7.2.1 类型表达式,6如果T是类型表达式,那么pointer(T)也是类型表达式,表示“指向类型为T的对象的指针”。函数的类型可以用类型表达式DR来表示。考虑如下的Pascal声明:function f(a,b:char):integer;其定义域类型为charchar,值域类型为pointer(integer)。所以函数f的类型可以表示为如下的类型表达式:charcharpointer(integer)7类型表达式可以包含其值为类型表达式的变量。,2023/5/17,18,7.2.2 类型等价,许多类型检查的规则都具有如下的形式:if两个类型表达式等
11、价then返回一种特定类型else返回type_error。如果用图来表示类型表达式,当且仅当下列条件之一成立时,称两个类型T1和T2是结构等价的:T1和T2是相同的基本类型;T1和T2是将同一类型构造符应用于结构等价的类型上形成的;T1是表示T2的类型名。如果将类型名看作只代表它们自己的话,则上述条件中的前两个将导致类型表达式的名字等价两个类型表达式名字等价当且仅当它们完全相同,2023/5/17,19,7.2.3 声明语句的文法,P prog id(input,output)D;SD D;D|List:T|proc id D;SList List1,id|idT integer|real|
12、array C of T1|T1|record DC num C|D 程序说明部分的抽象S 程序体部分的抽象T 类型的抽象,需要表示成类型表达式C 数组下标的抽象,2023/5/17,20,语义属性、辅助过程与全局变量的设置,文法变量T(类型)的语义属性type:类型(表达式)width:类型所占用的字节数辅助子程序enter:将变量的类型和地址填入符号表中array:数组类型处理子程序全局变量offset:已分配空间字节数,用于计算相对地址,2023/5/17,21,7.2.4 过程内声明语句的翻译,P offset:=0 DDD;DDid:T enter(id.name,T.type,of
13、fset);offset:=offset+T.widthTinteger T.type:=integer;T.width:=4Treal T.type:=real;T.width:=8Tarray num of T1 T.type:=array(num.val,T1.type);T.width:=num.val*T1.widthTT1 T.type:=pointer(T1.type);T.width:=4,PMDM offset:=0,2023/5/17,22,例 x:real;i:integer 的翻译,enter(x,real,0),offset=0,offset=8,T.type=rea
14、lT.width=8,offset=12,T.type=integerT.width=4,enter(i,integer,8),Did:T enter(id.name,T.type,offset);offset:=offset+T.width,2023/5/17,23,例 x:real;i:integer 的翻译,Poffset:=0Doffset:=0D;Doffset:=0 x:Tenter(x,T.type,offset);offset:=offset+T.width;Doffset:=0 x:realT.type:=real;T.width:=8 enter(x,T.type,offs
15、et);offset:=offset+T.width;Dx:real(x,real,0);offset:=8;Dx:real(x,real,0);offset:=8;i:T enter(id.name,T.type,offset);offset:=offset+T.widthx:real(x,real,0);offset:=8;i:integerT.type:=integer;T.width:=4enter(i,T.type,offset);offset:=offset+T.widthx:real(x,real,0);i:integer(i,integer,8);offset:=12,2023
16、/5/17,24,7.2.5 嵌套过程中声明语句的翻译,所讨论语言的文法P prog id(input,output)D;S D D;D|id:T|proc id D;S 语义动作用到的函数mktable(previous):创建一个新的符号表;enter(table,name,type,offset)addwidth(table,width):符号表的大小;enterproc(table,name,newtable)在table指向的符号表中为name建立一个新表项;,2023/5/17,25,P prog id(input,output)M D;S addwidth(top(tblptr)
17、,top(offset);pop(tblptr);pop(offset)M t:=mktable(nil);push(t,tblptr);push(0,offset)D D1;D2D proc id;N D1;S t:=top(tblptr);addwidth(t,top(offset);pop(tblptr);pop(offset);enterproc(top(tblptr),id.name,t)Did:T enter(top(tblptr),id.name,T.type,top(offset);top(offset):=top(offset)+T.widthN t:=mktable(top
18、(tblptr);push(t,tblptr);push(0,offset),7.2.5 嵌套过程中声明语句的翻译,2023/5/17,26,program sort(input,output);var a:array0.10 of integer;x:integer;procedure readarray;var i:integer;begin aend;procedure exchange(i,j:integer);begin x:=ai;ai:=aj;aj:=x;end;procedure quicksort(m,n:integer);var k,v:integer;function p
19、artition(y,z:integer):integer;var i,j:integer;begin a v exchange(i,j)end;begin end;begin end;,例 一个带有嵌套的pascal程序(图7.11),2023/5/17,27,表 头,空,sort,offset,tblptr,top,top,0,2023/5/17,28,表 头,空,sort,offset,tblptr,top,top,40,a array 0,2023/5/17,29,x integer 40,a array 0,表 头,空,sort,offset,tblptr,top,top,44,20
20、23/5/17,30,表 头,空,sort,readarrary,表 头,offset,tblptr,top,top,44,0,a array 0,x integer 40,2023/5/17,31,表 头,空,sort,readarrary,表 头,offset,tblptr,top,top,44,4,a array 0,x integer 40,i integer 0,2023/5/17,32,表 头,空,sort,readarrary,表 头 4,offset,tblptr,top,top,44,a array 0,x integer 40,i integer 0,readarray,指
21、向readarray,2023/5/17,33,表 头,空,sort,readarrary,表 头 4,offset,tblptr,44,a array 0,x integer 40,i integer 0,readarray,指向readarray,exchange,表 头,top,top,0,2023/5/17,34,表 头,空,sort,readarrary,表 头 4,offset,tblptr,44,a array 0,x integer 40,i integer 0,readarray,指向readarray,exchange,表 头 0,top,top,exchange,指向ex
22、change,2023/5/17,35,表 头,空,sort,readarrary,表 头 4,offset,tblptr,44,a array 0,x integer 40,i integer 0,readarray,指向readarray,exchange,表 头 0,top,top,exchange,指向exchange,表 头,quicksort,0,2023/5/17,36,表 头,空,sort,readarrary,表 头 4,offset,tblptr,44,a array 0,x integer 40,i integer 0,readarray,指向readarray,exch
23、ange,表 头 0,top,top,exchange,指向exchange,表 头,quicksort,4,k integer 0,2023/5/17,37,表 头,空,sort,readarrary,表 头 4,offset,tblptr,44,a array 0,x integer 40,i integer 0,readarray,指向readarray,exchange,表 头 0,top,top,exchange,指向exchange,表 头,quicksort,8,k integer 0,v integer 4,2023/5/17,38,表 头,空,sort,readarrary,
24、表 头 4,offset,tblptr,44,a array 0,x integer 40,i integer 0,readarray,指向readarray,exchange,表 头 0,top,top,exchange,指向exchange,表 头,quicksort,8,k integer 0,v integer 4,表 头,partition,0,2023/5/17,39,表 头,空,sort,readarrary,表 头 4,offset,tblptr,44,a array 0,x integer 40,i integer 0,readarray,指向readarray,exchan
25、ge,表 头 0,top,top,exchange,指向exchange,表 头,quicksort,8,k integer 0,v integer 4,表 头,partition,4,i integer 0,2023/5/17,40,表 头,空,sort,readarrary,表 头 4,offset,tblptr,44,a array 0,x integer 40,i integer 0,readarray,指向readarray,exchange,表 头 0,top,top,exchange,指向exchange,表 头,quicksort,8,k integer 0,v integer
26、 4,表 头,partition,8,i integer 0,j integer 4,2023/5/17,41,表 头,空,sort,readarrary,表 头 4,offset,tblptr,44,a array 0,x integer 40,i integer 0,readarray,指向readarray,exchange,表 头 0,top,top,exchange,指向exchange,表 头,quicksort,8,k integer 0,v integer 4,表 头 8,partition,i integer 0,j integer 4,partition,2023/5/17
27、,42,表 头,空,sort,readarrary,表 头 4,offset,tblptr,44,a array 0,x integer 40,i integer 0,readarray,指向readarray,exchange,表 头 0,top,top,exchange,指向exchange,表 头 8,quicksort,k integer 0,v integer 4,表 头 8,partition,i integer 0,j integer 4,partition,quicksort,2023/5/17,43,表 头 44,空,sort,readarrary,表 头 4,offset,
28、tblptr,a array 0,x integer 40,i integer 0,readarray,指向readarray,exchange,表 头 0,top,top,exchange,指向exchange,表 头 8,quicksort,k integer 0,v integer 4,表 头 8,partition,i integer 0,j integer 4,partition,quicksort,2023/5/17,44,7.2.6 记录的翻译,空间分配设置首地址和各元素的相对地址大于所需的空间(对齐)例:struct Node float x,y;struct node*nex
29、t;node;,0,4,8,2023/5/17,45,7.2.6 记录的翻译,符号表及有关表格处理为每个记录类型单独构造一张符号表将域名id的信息(名字、类型、字节数)填入到该记录的符号表中所有域都处理完后,offset将保存记录中所有数据对象的宽度总和T.type通过将类型构造器record应用于指向该记录符号表的指针获得,2023/5/17,46,7.2.6 记录的翻译,T record D endT record L D endT.type:=record(top(tblptr);T.width:=top(offset);pop(tblptr);pop(offset)L t:=mktab
30、le(nil);push(t,tblprt);push(0,offset),2023/5/17,47,7.3 赋值语句的翻译,翻译的需求充分了解各种语言现象的语义包括:控制结构、数据结构、单词充分了解它们的实现方法目标语言的语义了解中间代码的语义了解运行环境,2023/5/17,48,辅助子程序与语义属性设置,辅助子程序gencode(code),emit(code):产生一条中间代码newtemp:产生新的临时变量lookup:检查符号表中是否出现某名字语义属性设置中间代码序列:code地址:addr下一条四元式序号:nextquad,2023/5/17,49,7.3.1 简单赋值语句的翻译
31、,S id:=E p:=lookup(id.name);if p nil thengencode(p,:=,E.addr)else error E E1+E2E.addr:=newtemp;emit(E.addr,:=,E1.addr,+,E2.addr)E E1 E.addr:=newtemp;emit(E.addr,:=,uminus,E1.addr)E(E1)E.addr:=E1.addr E id p:=lookup(id.name);if p nil then E.addr:=p else error,2023/5/17,50,临时名字的重用,大量临时变量的使用对优化有利大量临时变量
32、会增加符号表管理的负担也会增加运行时临时数据占的空间E E1+E2的动作产生的代码的一般形式为计算E1到t1计算E2到t2t3:=t1+t2()()()()临时变量的生存期像配对括号那样嵌套或并列,2023/5/17,51,基于临时变量生存期特征的三地址代码,x:=a b+c d e f,引入一个计数器c,它的初值为0。每当临时变量仅作为运算对象使用时,c减去1;每当要求产生新的临时名字时,使用$c并把c增加1。,2023/5/17,52,7.3.2 数组元素的寻址,数组元素引用的翻译完成上下界检查生成完成相对地址计算的代码目标x:=yi 和 yi:=xy为数组地址的固定部分相当于第1个元素的
33、地址,i是相对地址,不是数组下标,数组说明的翻译符号表及有关表格(内情向量)的处理维数、下标上界、下标下界、类型等首地址、需用空间计算按行存放、按列存放影响具体元素地址的计算,2023/5/17,53,数组元素地址计算行优先,一维数组Alow1:up1(nk=upk-lowk+1)addr(Ai)=base+(i-low1)*w=(base-low1*w)+i*w=c+i*w二维数组Alow1:up1,low2:up2;Ai1,i2addr(Ai1,i2)=base+(i1-low1)*n2+(i2-low2)*w=base+(i1-low1)*n2*w+(i2-low2)*w=base-lo
34、w1*n2*w-low2*w+i1*n2*w+i2*w=base-(low1*n2-low2)*w+(i1*n2+i2)*w=c+(i1*n2+i2)*w,A1,1,A1,2,A1,3 A2,1,A2,2,A2,3,2023/5/17,54,数组元素地址计算的翻译方案设计,下标变量访问的产生式L idElist|idElist Elist,E|E为了使数组各维的长度n在我们将下标表达式合并到Elist时是可用的,需将产生式改写为:L Elist|idElist Elist,E|idE,2023/5/17,55,数组元素地址计算的翻译方案设计,L Elist|id Elist Elist,E|i
35、dE目的使我们在整个下标表达式列表Elist的翻译过程中随时都能知道符号表中相应于数组名id的表项,从而能够了解登记在符号表中的有关数组id的全部信息。于是我们就可以为非终结符Elist引进一个综合属性Elist.array,用来记录指向符号表中相应数组名字表项的指针。,2023/5/17,56,数组元素地址计算的翻译方案设计,属性Elist.array,用来记录指向符号表中相应数组名字表项的指针。Elist.ndim,用来记录Elist中下标表达式的个数,即数组的维数。Elist.addr,用来临时存放Elist的下标表达式计算出来的值。函数limit(array,j),返回nj,2023/
36、5/17,57,7.3.3 带有数组引用的赋值语句的翻译,S Left:=EE E+EE(E)E LeftLeft ElistLeft idElist Elist,EElist idE,2023/5/17,58,赋值语句的翻译模式,Leftid Left.addr:=id.addr;Left.offset:=null ElistidE Elist.addr:=E.addr;Elist.ndim:=1;Elist.array:=id.addr ElistElist1,E t:=newtemp;m:=Elist1.ndim+1;gencode(t,:=,Elist1.addr,limit(Elis
37、t1.array,m);gencode(t,:=,t,+,E.addr);Elist.array:=Elist1.array;Elist.addr:=t;Elist.ndim:=mLeft Elist Left.addr:=newtemp;Left.offset:=newtemp;gencode(Left.addr,:=,base(Elist.array),invariant(Elist.array);gencode(Left.offset,:=,Elist.addr,w),i1*n2,(i1*n2)+i2,(i1*n2)+i2)*w,base-(low1*n2-low2)*w,2023/5/
38、17,59,赋值语句的翻译模式,E Left if Left.offset=null then/Left是简单变量/E.addr:=Left.addr else begin E.addr:=newtemp;gencode(E.addr,:=,Left.addr,Left.offset,)endE E1+E2 E.addr:=newtemp;gencode(E.addr,:=,E1.place,+,E2.addr)E(E1)E.addr:=E1.addr S Left:=E if Left.offset=null then/Left是简单变量/gencode(Left.addr,:=,E.add
39、r)else gencode(Left.addr,Left.offset,:=,E.addr),(i1*n2)+i2)*w+(base-(low1*n2-low2)*w),(i1*n2)+i2)*w+(base-(low1*n2-low2)*w),2023/5/17,60,例:设A是一个1020的整型数组 w=4,S,:=,Left.place:=xLeft.offset:=null,x,E.addr:=t4,Left.addr:=t2Left.offset:=t3,Elist.addr:=t1Elist.ndim:=2Elist.array:=A,Elist.addr:=yElist.ndi
40、m:=1Elist.array:=A,E.addr:=z,Left.addr:=zLeft.offset:=null,E.addr:=y,Left.addr:=yLeft.offset:=null,A,z,y,x:=A y,z 的注释分析树,2023/5/17,61,例,S,:=,Left.addr:=xLeft.offset:=null,x,E.addr:=t4,Left.addr:=t2Left.offset:=t3,Elist.addr:=t1Elist.ndim:=2Elist.array:=A,Elist.addr:=yElist.ndim:=1Elist.array:=A,E.ad
41、dr:=z,Left.addr:=zLeft.offset:=null,E.addr:=y,Left.addr:=yLeft.offset:=null,A,z,y,x:=A y,z 的注释分析树,t1:=y 20 t1:=t1+z,2023/5/17,62,例,S,:=,Left.addr:=xLeft.offset:=null,x,E.addr:=t4,Left.addr:=t2Left.offset:=t3,Elist.addr:=t1Elist.ndim:=2Elist.array:=A,Elist.addr:=yElist.ndim:=1Elist.array:=A,E.addr:=z
42、,Left.addr:=zLeft.offset:=null,E.addr:=y,Left.addr:=yLeft.offset:=null,A,z,y,x:=A y,z 的注释分析树,t1:=y 20 t1:=t1+z,t2:=baseA 84 t3:=4 t1,2023/5/17,63,例,S,:=,Left.addr:=xLeft.offset:=null,x,E.addr:=t4,Left.addr:=t2Left.offset:=t3,Elist.addr:=t1Elist.ndim:=2Elist.array:=A,Elist.addr:=yElist.ndim:=1Elist.a
43、rray:=A,E.addr:=z,Left.addr:=zLeft.offset:=null,E.addr:=y,Left.addr:=yLeft.offset:=null,A,z,y,x:=A y,z 的注释分析树,t1:=y 20 t1:=t1+z,t4:=t2 t3,t2:=baseA 84 t3:=4 t1,2023/5/17,64,例,S,:=,Left.addr:=xLeft.offset:=null,x,E.addr:=t4,Left.addr:=t2Left.offset:=t3,Elist.addr:=t1Elist.ndim:=2Elist.array:=A,Elist.
44、addr:=yElist.ndim:=1Elist.array:=A,E.addr:=z,Left.addr:=zLeft.offset:=null,E.addr:=y,Left.addr:=yLeft.offset:=null,A,z,y,x:=A y,z 的注释分析树,t1:=y 20 t1:=t1+z,t4:=t2 t3,x:=t4,t2:=baseA 84 t3:=4 t1,2023/5/17,65,7.4 类型检查,类型检查具有发现程序错误的能力,为了进行类型检查,编译程序需要为源程序的每个语法成分赋予一个类型表达式,名字的类型表达式保存在符号表中,其他语法成分(如表达式E或语句S)
45、的类型表达式则作为文法符号的属性保存在语义栈中。类型检查的任务就是确定这些类型表达式是否符合一定的规则,这些规则的集合通常称为源程序的类型系统,2023/5/17,66,7.4.1 类型检查的规则,类型综合从子表达式的类型确定表达式的类型要求名字在引用之前必须先进行声明 if f的类型为st and x的类型为s then 表达式f(x)的类型为t 类型推断根据语言结构的使用方式来确定其类型 经常被用于从函数体推断函数类型 if f(x)是一个表达式then 对某两个类型变量和,f具有类型 and x具有类型,2023/5/17,67,7.4.2 类型转换,x:=y+i j(x和y的类型是re
46、al,i和j的类型是integer)中间代码t1:=i int jt2:=inttoreal t1 t3:=y real+t2 x:=t3,2023/5/17,68,7.4.2 类型转换,E E1+E2的语义子程序E.addr:=newtempif E1.type=integer and E2.type=integer then begin gencode(E.addr,:=,E1.addr,int+,E2.addr);E.type=integerendelse if E1.type=integer and E2.type=real then beginu:=newtemp;gencode(u
47、,:=,inttoreal,E1.addr);gencode(E.addr,:=,u,real+,E2.addr);E.type:=realend.,2023/5/17,69,7.5 控制结构的翻译,高级语言的控制结构顺序结构 begin 语句;;语句end分支结构 if_then_else、if_thenswitch、case循环结构 while_do、do_while for、repeat_untilgoto语句三地址码goto n(j,_,_,n)if x relop y goto n(jrelop,x,y,n),2023/5/17,70,7.5.1 布尔表达式的翻译,基本文法B B1
48、or B2|B1 and B2|not B1|(B1)|E1 relop E2|true|false处理方式数值表示法(与算术表达式的处理类似)真:B.addr=1假:B.addr=0真假出口表示法(作为其他语句的条件改变控制流程,隐含着程序中的位置)真出口:B.true假出口:B.false,2023/5/17,71,7.5.1 布尔表达式的翻译,a or b and not ct1:=not ct2:=b and t1t3:=a or t2ab100:if ab goto 103101:t:=0102:goto 104103:t:=1104,2023/5/17,72,用数值表示布尔值的翻译
49、,nextquad是下一条三地址码指令的序号,每生成一条三地址码指令gencode便会将nextquad加1 B B1 or B2 B.addr:=newtemp;gencode(B.addr:=B1.addrorB2.addr)B B1 and B2 B.addr:=newtemp;gencode(B.addr:=B1.addrandB2.addr)B not B1 B.addr:=newtemp;gencode(B.addr:=notB1.addr),2023/5/17,73,用数值表示布尔值的翻译,B(B1)B.addr:=B1.addr B E1 relop E2 B.addr:=ne
50、wtemp;gencode(ifE1.addr relop.op E2.addrgotonextquad+3);gencode(B.addr:=0);gencode(gotonextquad+2);gencode(B.addr:=1)B true B.addr:=newtemp;gencode(B.addr:=1)B false B.addr:=newtemp;gencode(B.addr:=0),2023/5/17,74,例7.8 对ab or cd and ef的翻译,100:if ab goto 103 107:t2:=1101:t1:=0 108:if ef goto 111102:g