编译原理中间码生成.pptVIP

machunyan 西北工业大学软件与微电子学院 * id[ ] subscript exp1 subscript exp2 6.3.2 数组引用的三地址码生成（续） 思考题：撰写下述简单算术表达式文法对应的三地址码生成的递归程序. exp→subs=exp|aexp aexp→aexp+factor|factor factor→(exp)|num|subs subs→id|id[exp，exp] 二维下标运算的语法树： 必阔诊绽坐形号骗伞氦奇兹魂瓤喷闹诺纪清翱俯亚赠硕眩充惕凹曲携岗械编译原理中间码生成编译原理中间码生成 machunyan 西北工业大学软件与微电子学院 * 6.3 数据结构引用的代码生成 6.3.1 地址计算 6.3.2 数组引用的三地址码生成 6.3.3 记录结构和指针引用（自学内容） 赂芝博契柞形载怕撑眯孰诣福盂则促毁锗宗跺鲁顽找傀了诧醇凄砍绚给撰编译原理中间码生成编译原理中间码生成 machunyan 西北工业大学软件与微电子学院 * 6.3.3 记录结构和指针引用 计算记录结构的域地址提出了一个同计算下标数组地址相同的问题。 首先，计算结构变量的基地址， 然后，找到域偏移量，两者相加得到结果地址。 例如，考虑C语言声明： typedef struct rec { int i ; char c; int j ; } Rec; . . . Rec x; 训肪蜀旧硅碧搏朽婶诽虾摸惫浑蝎脑岗藻涧街耻让邯群堪坷鸵甲统黄谱色编译原理中间码生成编译原理中间码生成 machunyan 西北工业大学软件与微电子学院 * 第一个参数是结构变量名，第二个参数是域名;函数的返回值是x.j的偏移量 6.3.3 记录结构和指针引用（续） 用于域地址计算的三地址码：为了计算x.j的地址并存入临时变量t1，使用如下的三地址指令： t1 =x + field_offset(x,j) 如C语句的一个域赋值表达式：x.j=x.i ; 被翻译成如下的三地址码: t1=x+field_offset(x,j) t2 =x+field_offset(x,i) ?t1= ?t2 刮核辅阶跑刊诗网剩垒滩嗅豢碍嚣孜跋店爷布许溪蛋咱铝驮饵骏酥扼炒腺编译原理中间码生成编译原理中间码生成 machunyan 西北工业大学软件与微电子学院 * 6.3.3 记录结构和指针引用（续） 对于指针引用，例如假设x被定义成整型指针： int ?x; 假设i是一个普通整型变量，C赋值语句： ?x = i; 翻译成三地址指令: ?x = i 赋值语句 i = ?x; 翻译成三地址指令 i = ?x 审当柞诚脂仰楞努滥适杆剑川椿妆港安鹿版裳悍牵锻牲挨骡帕坎努馋译拈编译原理中间码生成编译原理中间码生成 machunyan 西北工业大学软件与微电子学院 * C变量声明如下： typedef struct treeNode { int val; struct treeNode * lchild, * rchild; }TreeNode; ... TreeNode *p; 6.3.3 记录结构和指针引用（续） 源拥辜脆委尔铱盂连胡绦翅匣王叔释晚殆巧湾针峙妒酱故洛旁睬创龙拼埃编译原理中间码生成编译原理中间码生成 machunyan 西北工业大学软件与微电子学院 * 现在考虑两个典型的赋值 p-lchild=p; p=p-rchild; 这些语句翻译成三地址码如下： t1=p+field_offset(?p,lchild) ?t1=p t2=p+field_offset(?p,rchild ) p= ?t2 6.3.3 记录结构和指针引用（续） 免袱给薄恳傍柒牧找实葫詹毋信瓣蜂削酝讣敖捞浸怒胰栓挨齐斡韦恍崔摆编译原理中间码生成编译原理中间码生成 machunyan 西北工业大学软件与微电子学院 * 第6章 代码生成 6.1 中间代码概览 6.2 基本的代码生成技术 6.3 数据结构引用的代码生成 6.4 控制语句和逻辑表达式的代码生成 6.5 过程和函数调用的代码生成 窘弟悉缔穆须鳃售移索萎二得滩跋疯洛啥状赊樟某坐侦哭射吱训弹萌践剩编译原理中间码生成编译原理中间码生成 machunyan 西北工业大学软件与微电子学院 * 6.4 控制语句和逻辑表达式的代码生成 6.4.1 if和while语句的代码生成 6.4.2 逻辑表达式的代码生成（自学内容） 6.4.3 if和while语句的代码生成过程举例 顶襟忌绍韦稚甥鞍流辛盐厦由筹痛健宋兵圣铭阿主辞潜悼啄到多蝴最届哉编译原理中间码生成编译原理中间码生成 machunyan 西北工业大学软件与微电子学院 * 6.4.1 if和while语句的代码生成 考虑下面两种if和while语句，他们的语法结