[转载]LCC编译器的源程序分析(29)if条件语句

 

if语句是用来判定所给定的条件是否满足，根据判定的结果决定执行给出来的两种操作之一。if语句有下面三种形式：

1．             if（表达式）语句

2．             if（表达式）语句1 else 语句2

3．             if（表达式1）语句1

else if（表达式2）语句2

else if（表达式3）语句3

else 语句4

那么LCC又是怎么样处理if语句的呢？LCC在函数statement调用ifstmt来处理的。下面就来查看ifstmt函数的源程序。

#001 static void ifstmt(int lab, int loop, Swtch swp, int lev)

#002 {

#003  t = gettok();

#004  expect('(');

#005  definept(NULL);

#006  

第3行获取下一个记号，主要就是获取条件括号。

第4行是判断下一个记号是左括号开始。

第5行是定义了运行点。

 

#007  walk(conditional(')'), 0, lab);

#008  

第7行是先调用函数conditional来处理条件表达式，然后再调用函数walk把条件表达式变成DAG森林。

 

#009  refinc /= 2.0;

#010  statement(loop, swp, lev);

#011  

第9行是引用计数。由于条件语句分为两个分支，所以需要除2。

第10行是调用函数statement处理条件后面的第一个语句，这是递归调用处理。

 

#012  if (t == ELSE)

#013  {

#014         branch(lab + 1);

#015         t = gettok();

#016         definelab(lab);

#017         statement(loop, swp, lev);

#018         if (findlabel(lab + 1)->ref)

#019               definelab(lab + 1);

#020  }

#021  else

#022         definelab(lab);

#023 }

第12行是判断下一个记号是否有else关键字，如果有这个关键字说明它是第二、第三种if语句的形式，那么第13行到第20行就是处理else后面的语句。

第14行调用函数branch来生成跳转标号代码。

第15行是获取下一个记号。

第16行定义一个标号。

第17行是递归调用函数statement来处理else后面的语句。

第22行是生成标号1。

 

LCC会把if语句生成下面形式：

if 表达式 == 0 goto 标号1

语句1

goto 标号2

标号1：语句2

标号2：

上面的代码definelab(lab)是生成标号1，definelab(lab + 1)是生成标号2。