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

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 代码块。这就是复合语句的代码块流程。

 

Trackback: http://tb.blog.csdn.net/TrackBack.aspx?PostId=1725083