您的位置:首页 > 编程语言

[转载] LCC编译器的源程序分析(61)复合语句的代码块流程

2007-08-23 12:48 274 查看
LCC编译器要分析下面的程序,大体流程是这样的。
#001 #include <stdio.h>
#002
#003 int main(void)
#004 {
#005 int nTest1 = 1;
#006 int nTest2 = 2;
#007 int nTest3;
#008 int i;
#009
#010 nTest3 = nTest1 + nTest2;
#011 printf("nTest3 = %d/r/n",nTest3);
#012
#013 for (i = 0; i < 5; i++)
#014 {
#015 printf("%d/r/n",nTest3+i);
#016 }
#017
#018 printf(__TIME__" "__DATE__"/r/nhello world/n");
#019 return 0;
#020 }
#021
当遇到复合语句第4行开始时,就进入了复合语句处理,直到第20行退出来。在复合语句里,先要把所有局部变量的声明分析完成,也就是把第5行到第8行的局部变量保存到code::Blockbeg类型的代码块里,它的符号表就添加到cp->u.block.locals里。当然在分析局部变量时,就遇到第一个局部变量声明同时还进行初始化的动作,因此又要把代码生成块添加到代码表里,也就是添加code::Gen代码块。但代码块code::Blockbeg是先于code::Gen代码块的,因此后面nTest2、nTest3、i等几个局部变量声明,还是添加到code::Blockbeg代码块里,这样就很方便后面计算栈里分配局部变量的大小了。接着就会把第10行到第19行的代码生成code::Gen块、code::Jump块和code::Label块。
最后在第20行的复合语句结束时,再生成code::Blockend代码块。
因而在后端遍历代码表时,就先分析局部变量的代码块code::Blockbeg,然后分析code::Gen、code::Jump块和code::Label块,最后分析code::Blockend代码块。这就是复合语句的代码块流程。
内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签: