LCC编译器的源程序分析(30)while循环语句

while语句的语义是这样定义的：
while(表达式) 语句1
当表达式为非0值时执行while语句中的内嵌语句1。其特点就是先判断表达式的值，然后再执行语句。LCC是通过下面的代码来处理这个语句的：
#015 case WHILE:
#016 whilestmt(genlabel(3), swp, lev + 1);
#017 break;
上面第16行语句里，第一个参数genlabel(3)是指while语句使用三个标号。第二参数swp是指明是否在switch语句里。第三个参数是指明递归调用次数。

然后调用函数whilestmt处理。
#001 static void whilestmt(int lab, Swtch swp, int lev)
#002 {
#003 Coordinate pt;
#004 Tree e;
#005
#006 refinc *= 10.0;
#007 t = gettok();
#008 expect('(');
第7行获取下一个记号。
第8行测试下一个是否左括号开始。

#009 walk(NULL, 0, 0);
#010 pt = src;
#011 e = texpr(conditional, ')', FUNC);
第9行是复位分配的内存。
第10行是保存当前源程序位置。
第11行是调用函数conditional来处理条件表达式。

#012 branch(lab + 1);
#013 definelab(lab);
#014 statement(lab, swp, lev);
#015 definelab(lab + 1);
#016 definept(&pt);
#017 walk(e, lab, 0);
#018 if (findlabel(lab + 2)->ref)
#019 definelab(lab + 2);
#020 }
第12行是处理标号2分支。
第13行是定义标号1。
第14行是处理语句1。
第15行是定义标号2.
第16行是定义执行点。
第17行是对条件表达式生成DAG代码。
第18行是判断是否需要生成标号3。

while语句最终生成的汇编代码有下面的形式：
跳转到标号2
标号1：语句1
标号2：如果条件表达式不等于0 就跳转到标号1运行
标号3：
上面的标号3是为了方便里面有跳转语句跳出循环体的，比如使用goto、break、return等等，就需跳到标号3运行。