LCC编译器的源程序分析(39)goto语句

在现代设计的程序里，很少再用到goto语句了。虽然使用goto语句是比较高效，但它使程序也会得非常难懂，非常难维护，比较容易出错，所以很少使用goto语句的。goto语句为无条件跳转语句，它的一般形式为：

 goto 标号;

在LCC里的是用下面的代码来处理：

#001 case GOTO:   

#002         walk(NULL, 0, 0);

#003         definept(NULL);

#004         t = gettok();

#005         if (t == ID)

#006         {

#007               Symbol p = lookup(token, stmtlabs);

#008 

#009               if (p == NULL)

#010               {

#011                    p = install(token, &stmtlabs, 0, FUNC);

#012                    p->scope = LABELS;

#013                    p->u.l.label = genlabel(1);

#014                    p->src = src;

#015               }

#016               use(p, src);

#017               branch(p->u.l.label);

#018               t = gettok();

#019         }

#020         else

#021               error("missing label in goto/n"); expect(';');

#022         break;

第2行复位所有分配的内存。

第3行定义执行点。

第4行获取下一个记号。

第5行判断goto语句后面是否标号变量。如果是标号变量，就跳到第6行到第19行里处理。否则就在第21行里提示出错。

第7行里查找标号是否已经定义。

第9行是当标号还没有定义时，就把这个标号安装到符号表里。这是在第9行到第15行里处理。

第17行是生成跳转到标号的代码。

 

下面再来分析标号语句是怎么样定义的，如下：

#001 case ID:    

#002         if (getchr() == ':')

#003         {

#004               stmtlabel();

#005               statement(loop, swp, lev);

#006               break;

#007         }

第2行就判断一个ID标识符是否标号变量，如果在一个ID后面紧跟着一个冒号，就是表示声明了一个标号变量，所以在第4行里调用函数stmtlabel来处理标号。

第5行是处理标号后面的语句。

 

下面来分析函数stmtlabel：

#001 static void stmtlabel(void)

#002 {

#003  Symbol p = lookup(token, stmtlabs);

#004 

#005  if (p == NULL)

#006  {

#007         p = install(token, &stmtlabs, 0, FUNC);

#008         p->scope = LABELS;

#009         p->u.l.label = genlabel(1);

#010         p->src = src;

#011  }

#012 

#013  if (p->defined)

#014         error("redefinition of label `%s' previously defined at %w/n", p->name, &p->src);

#015 

#016  p->defined = 1;

#017  definelab(p->u.l.label);

#018  t = gettok();

#019  expect(':');

#020 }

第3行是查找这个标号是否定义。

第5行判断这个标号是否定义，如果没有定义就添加到符号表。

第7行是保存到符号表。

第8行到第10行都是设置标号的属性。

第13行当重复定义标号时，提示出错。

第16行设置这个标号已经定义。

第17行定义一个标号。

第18行获取下一个记号。

第19行检查标号后是否冒号。

 

这样就可以处理goto语句和标号语句了，到这里就把所有基本的语句分析完成了。