编译原理和技术讲义.ppt

* 《编译原理与技术》讲义 * PROC P2 ; （N??） e.g.10 过程嵌套声明（续） 符号栈 偏移栈 P0 8 top null 总偏移： P0 i INT 0 j INT 4 P1 8 总偏移： P1 k INT 0 f real 4 P2 0 总偏移： P2 * 《编译原理与技术》讲义 * l : int ; e.g.10 过程嵌套声明（续） 符号栈 偏移栈 P0 8 top null 总偏移： P0 i INT 0 j INT 4 P1 8 总偏移： P1 k INT 0 f real 4 P2 4 总偏移： P2 l INT 0 * 《编译原理与技术》讲义 * a1 ; e.g.10 过程嵌套声明（续） 符号栈 偏移栈 P0 8 top null 总偏移： P0 i INT 0 j INT 4 P1 8 总偏移： P1 k INT 0 f real 4 总偏移：4 P2 l INT 0 P2 proc * 《编译原理与技术》讲义 * a2 ; e.g.10 过程嵌套声明（续） 符号栈 偏移栈 P0 8 top null 总偏移： P0 i INT 0 j INT 4 总偏移：8 P1 k INT 0 f real 4 总偏移：4 P2 l INT 0 P2 proc P1 proc * 《编译原理与技术》讲义 * PROC P3 ; （N??） e.g.10 过程嵌套声明（续） 符号栈 偏移栈 P0 8 top null 总偏移： P0 i INT 0 j INT 4 总偏移：8 P1 k INT 0 f real 4 总偏移：4 P2 l INT 0 P2 proc P1 proc P3 0 总偏移： P3 * 《编译原理与技术》讲义 * temp : int; max : int; e.g.10 过程嵌套声明（续） 符号栈 偏移栈 P0 8 top null 总偏移： P0 i INT 0 j INT 4 总偏移：8 P1 k INT 0 f real 4 总偏移：4 P2 l INT 0 P2 proc P1 proc P3 8 总偏移： P3 temp INT 0 max INT 4 * 《编译原理与技术》讲义 * a3; e.g.10 过程嵌套声明（续） 符号栈 偏移栈 top null 总偏移： P0 i INT 0 j INT 4 总偏移：8 P1 k INT 0 f real 4 总偏移：4 P2 l INT 0 P2 proc P1 proc P0 8 总偏移：8 P3 temp INT 0 max INT 4 P3 proc * 《编译原理与技术》讲义 * P? M D ； e.g.10 过程嵌套声明（续） 符号 栈空 偏移 栈空 top null 总偏移：8 P0 i INT 0 j INT 4 总偏移：8 P1 k INT 0 f real 4 总偏移：4 P2 l INT 0 P2 proc P1 proc 总偏移：8 P3 temp INT 0 max INT 4 P3 proc * 《编译原理与技术》讲义 * 记录的说明 记录（record ）语法如下： T? record D end 说明D含义同前面。（一般不含有过程声明，但C++可以） 可以将记录中的域变量声明放在单独的符号表中（参照嵌套过程声明的做法，但外围过程指针为空）。 * 《编译原理与技术》讲义 * 记录说明的翻译 T? record L D end { T.type := record( top( tblptr ) ); //记录类型定义 T.width := top( offset ); // 记录的占用空间大小 pop( tblptr ); pop( offset ) } L?? { t := mktable( null ); // 无外围“过程” push(t, tblptr ); push( 0, offset ); // 域变量偏移从0开始 } D的翻译同前。 * 《编译原理与技术》讲义 * 有2个C语言的结构定义如下： struct A { struct B { char c1; char c1; char c2; long l; long l; char c2; double d; double d; } S1; } S2; e.g.11 记录域的偏移 * 《编译原理与技术》讲义 * e.g.11 记录域的偏移 数据（类型）的对齐－alignment 在 X86-Linux下： char