LCC编译器的源程序分析(33)break语句
2007-06-11 21:55
225 查看
break语句可以使用流程跳出switch语句的分支选择,当然它还可以用来从循环体内跳出循环体,即提前结束循环,接着执行循环下面的语句。但它不能用于循环语句和switch语句之外的其它语句中。
比如下面的例子:
for(;;)
{
if( a++ > 100)
break;
}
现在就来分析一下面处理break的代码:
#001 case BREAK:
#002 walk(NULL, 0, 0);
#003 definept(NULL);
#004
#005 if (swp && swp->lab > loop)
#006 branch(swp->lab + 1);
#007 else if (loop)
#008 branch(loop + 2);
#009 else
#010 error("illegal break statement/n");
#011
#012 t = gettok();
#013 expect(';');
#014 break;
第2行复位分配的内存。
第3行定义了执行点。
第5行判断是switch语句和其它循环语句的区分。如果是switch语句就要生成swp->lab + 1的跳转目标的标号(第6行)。如果是循环语句就要生成loop + 2的跳转目标的标号,也就是以前介绍过的标号3的位置,那样就达到跳出循环的目的(第8行)。
第10行是当break在其它语句里就出错的情况处理。
第12行是获取下一个记号。
第13行是希望以分号结束break语句。
这样就处理完成break语句的语义和语法的分析
比如下面的例子:
for(;;)
{
if( a++ > 100)
break;
}
现在就来分析一下面处理break的代码:
#001 case BREAK:
#002 walk(NULL, 0, 0);
#003 definept(NULL);
#004
#005 if (swp && swp->lab > loop)
#006 branch(swp->lab + 1);
#007 else if (loop)
#008 branch(loop + 2);
#009 else
#010 error("illegal break statement/n");
#011
#012 t = gettok();
#013 expect(';');
#014 break;
第2行复位分配的内存。
第3行定义了执行点。
第5行判断是switch语句和其它循环语句的区分。如果是switch语句就要生成swp->lab + 1的跳转目标的标号(第6行)。如果是循环语句就要生成loop + 2的跳转目标的标号,也就是以前介绍过的标号3的位置,那样就达到跳出循环的目的(第8行)。
第10行是当break在其它语句里就出错的情况处理。
第12行是获取下一个记号。
第13行是希望以分号结束break语句。
这样就处理完成break语句的语义和语法的分析
相关文章推荐
- [转载]LCC编译器的源程序分析(33)break语句
- LCC编译器的源程序分析(33)break语句
- LCC编译器的源程序分析(28)函数表达式语句
- LCC编译器的源程序分析(32)for循环语句
- LCC编译器的源程序分析(34)continue语句
- LCC编译器的源程序分析(37)default语句
- LCC编译器的源程序分析(61)复合语句的代码块流程
- [转载]LCC编译器的源程序分析(30)while循环语句
- [转载] LCC编译器的源程序分析(34)continue语句
- LCC编译器的源程序分析(20)复合语句
- LCC编译器的源程序分析(27)基本语句
- LCC编译器的源程序分析(29)if条件语句
- LCC编译器的源程序分析(32)for循环语句
- LCC编译器的源程序分析(36)case语句
- LCC编译器的源程序分析(37)default语句
- LCC编译器的源程序分析(39)goto语句
- LCC编译器的源程序分析(61)复合语句的代码块流程
- LCC编译器的源程序分析(61)复合语句的代码块流程
- [转载]LCC编译器的源程序分析(31)do while循环语句
- [转载]LCC编译器的源程序分析(35)switch语句