6编译原理之中间代码生成.ppt

控制转移语句的回填(3) Break、Continue的处理 虽然break、continue在语法上就是一个句子，但是它的代码却和外围语句相关。 方法： 跟踪外围语句S， 生成一个跳转指令坯 将这个指令坯的位置加入到S的nextlist中。 跟踪的方法 在符号表中设置break条目，令其指向外围语句 在符号表中设置指向S的nextlist的指针，然后把这个指令坯的位置直接加入到nextlist中。 6.8 switch语句 许多语言都有“switch”或“case”语句 语句结构 switch (E) of { case V1:S1; case V2:S2; … case Vn-1 : Sn-1; otherwise: Sn } switch语句的翻译 计算表达式E的值。 在case列表中寻找与表达式值相同的值Vj。当case表中明确列出的值都不与表达式匹配时，就用默认值和表达式匹配。 执行和匹配值关联的语句Sj。 其中步骤2是一个n路分支，可采用多种方式实现。 实现条件跳转的方式 创建一个对照关系表 编译器生成一个简单循环，检查表达式E的值 当匹配某个Ｖi时，执行对应的Si 均不匹配时，肯定与末项匹配 实现条件跳转的方式 散列表 当值的个数超过10个或更多时的一种更高效的方法 符号表（散列表） 队列。 Pi是Li在 符号表中 的位置 翻译法(一): T:=E L1: if T?Ｖ1 goto L2 S1的代码 goto next L2: if T?Ｖ2 goto L3 S2的代码 goto next L3: … Ln-1: if T?Ｖn-1 goto Ln Sn-1的代码 goto next Ln: Sn的代码 next: 翻译法(二): 计算E并放入T中的代码 goto test L1: 关于S1的中间码 goto next … Ln-1: 关于Sn-1的中间码 goto next Ln: 关于Sn的中间码 goto next test: if T=Ｖ1 goto L1 if T=Ｖ2 goto L2 … if T=Ｖn-1 goto Ln-1 goto Ln next: 用来翻译switch语句的case三地址代码指令 Case　ｔ Ｖ1 L1 Case　ｔ Ｖ2 L2 … Case　ｔ Ｖn-1 Ln-1 Case　ｔ t Ln next: 过程的中间代码 在三地址码中，函数调用被拆分为准备进行调用时的参数求值，然后是调用本身。 过程调用的处理 过程调用主要对应两种事: 传递参数 转子 传地址:把实在参数的地址传递给相应的形式参数 调用段预先把实在参数的地址传递到被调用段可以拿到的地方； 程序控制转入被调用段之后，被调用段首先把实在参数的地址抄进自己相应的形式单元中； 过程体对形式参数的引用域赋值被处理成对形式单元的间接访问。 翻译方法：把实参的地址逐一放在转子指令的前面. 例如， CALL S(A，X+Y) 翻译为: 计算X+Y置于T中的代码 param A /*第一个参数的地址*/ param T /*第二个参数的地址*/ call S,2 /*转子*/ 过程调用的翻译 过程调用文法: (1) S → call id (Elist) (2) Elist → Elist, E (3) Elist → E 参数的地址存放在一个队列中 最后对队列中的每一项生成一条param语句 翻译模式 3. Elist→E { 初始化queue仅包含E.place;n=0 } 2. Elist→Elist, E { 将E.place加入到queue的队尾;n=n+1 } 1. S→call id (Elist) { for 队列queue中的每一项p do gen(‘param’ p); gen(‘call’ id.addr ‘,’ n) } * 8跟数组a的元素大小有关 * 在许多语言中，隐式转换限于拓宽类型转换 * * * * * * * * * * * L:语句列表 A:赋值语句 * * * * * * 当看到基本字CASE时，产生标号test,next和一个临时单元T.计算E并放入T中,看到of时，生成一个goto test的四元式，然后设置一个空队列queue.当遇到ci时，产生一个标号li，把它连同nextquad填入符号表，然后把(ci,pi)排在队列末尾。 增量式翻译方案 主属性