编译原理运行时环境资料摘要.pptVIP

lcc的运行时环境处理 lcc的运行时环境处理 调用序列 print(“%s: \n”, f-x.name); print(“push ebx\n”); print(“push esi\n”); print(“push edi\n”); print(“push ebp\n”); print(“mov ebp,esp\n”); lcc的运行时环境处理 处理参数 offset = 16 + 4; for (i = 0; callee[i]; i++) { Symbol p = callee[i]; Symbol q = caller[i]; p-x.offset = q-x.offset; p-x.name = q-x.name = stringf(“%d”, p-x.offset); p-sclass = q-sclass = AUTO; offset += roundup(q-type-size, 4); } lcc的运行时环境处理 返回序列 print(“mov esp,ebp\n”); print(“pop ebp\n”); print(“pop edi\n”); print(“pop esi\n”); print(“pop ebx\n”); print(“ret\n”); lcc的运行时环境处理 数据定义 静态局部符号保证唯一名字 if (p-scope = LOCAL p-sclass == STATIC) p-x.name = stringf(“L%d”, genlabel(1)); 生成的符号?合法汇编名 if (p-generated) p-x.name = stringf(“L%s”, p-name); 全局符号加下划线前缀 if (p-scope == GLOBAL || p-sclass == EXTERN) p-x.name = stringf(“_%s”, p-name); ... lcc的运行时环境处理 数据定义 空间分配 case C: print(“db %d\n”, v.uc); return; case S: print(“dw %d\n”, v.ss); return; case I: print(“dd %d\n”, v.i); return; case U: print(“dd 0%xH\n”, v.u); return; case P: print(“dd 0%xH\n”, v.p); return; … 7.5.4 传名方式(call-by-name) Algol，拷贝规则，copy-rule 过程像宏一样处理 被调用——用过程体程序文本替换过程名 实参的程序文本替换形参 宏扩展，marco-expansion内联扩展，in-line expansion 被调用过程内的局部名字保证与调用过程中的名字不混淆——可认为这些局部名字在宏扩展前改名为独一无二的名字 实参可能被加以括号，以保证完整性 例7.8 … swap(i, a[i]); … 在传名方式下，实际上相当于如下代码 … temp := i; i := a[i]; a[i] := temp; … 结果与传值、传地址均不相同！ 设I0=1，a[1]=0，I0?temp?1?temp a[I0]?i——0?i I0?a[a[I0]]——1?a[0] 而期望的是I0?a[I0]——1?a[1] 原因：x:=temp，x的地址此时才计算， 而传地址方式确定x地址的位置 例7.9 内联函数 x := f(A) + f(B); ? t1 := A; t2 := B; t3 := f(t1); t4 := f(t2); x := t3 + t4; 7.6 符号表 保存作用域和绑定信息 基本操作 添加新标识符——insert 查找标识符——lookup 符号表表项——记录 一致性 某些信息保存在外部，用指针指向 两个主要组成部分 名字：定长字符串；统一保存，指针指向 属性 实现方式一：线性表 数组方式 固定大小，可能浪费，也可能不足 链表方式 动态内存分配，根据输入大小确定 时间复杂度 查找操作：与表大小线性关系 插入操作 一个名字允许多个表项（不检查）：常数时间 检查重复表项：线性 n次插入，e次查找：cn(n+e)，O(n2) 实现方式二：hash表 开地址法：“链表数组” 长度m的数组，每个元素为指向一个符号表项链表的指针 hash函数：H(名字)?{0, 1, …, m-1} H(名字)=i?名字存入第i个链表 若hash函数设计良好，每个链表长度n/m n次插入，e次查找：cn(n+e)/m hash函数的计算应该很高效 hash函数的选择 原则 计算简单 使表项均匀分布 常用算法 字符?整数?名字?