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 的表示了。