LCC编译器的源程序分析(43)赋值表达式的有向无环图

由于INDIR树与ADDRL树的类型相同,所以已经转换为ADDRL树,直接对ADDRL树进行进访问了,下面就是在函数listnodes里处理赋值表达式的ADDRL树,它的代码如下:
#412 case ADDRL:
#413 {
#414 assert(tlab == 0 && flab == 0);
#415 if (tp->u.sym->generated)
#416 addlocal(tp->u.sym);
#417
#418 p = node(tp->op + sizeop(voidptype->size), NULL, NULL, tp->u.sym);
#419 }
#420 break;
第415行判断是否生成的变量,如果是就需要添加到局变量里。
第418行是创建DAG节点。

接着下来就处理常量表达式树,并把它转换为DAG节点,它的代码如下:
#101 case CNST:
#102 {
#103 Type ty = unqual(tp->type);
#104 assert(ty->u.sym);
#105
#106 if (tlab || flab)
#107 {
#108 assert(ty == inttype);
#109 if (tlab && tp->u.v.i != 0)
#110 list(jump(tlab));
#111 else if (flab && tp->u.v.i == 0)
#112 list(jump(flab));
#113 }
#114 else if (ty->u.sym->addressed)
#115 p = listnodes(cvtconst(tp), 0, 0);
#116 else
#117 p = node(op, NULL, NULL, constant(ty, tp->u.v));
#118 }
#119 break;
第103行是获取树的类型。
第106行是判断是否条件判断树。
第114行判断这个符号是否地址常量类型。
第117行生成常量的DAG节点。

通过这面几节的分析,就把一个语句(int nTest1 = 1;)变换到DAG的表示了。

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License