LCC编译器的源程序分析(47)计算需要使用栈大小

计算栈的大小，是通过后端接口的代码来完成计算的。栈的大小，主要就是局部变量、临时变量、调用参数和返回值等使用的字节大小，如果变量可以放到寄存器，就不需加到栈的大小里。上面已经看了下面的代码：

#044 case Blockbeg:

#045 {

#046 Symbol *p = cp->u.block.locals;

#047 (*IR->blockbeg)(&cp->u.block.x);

#048 for ( ; *p; p++)

#049 if ((*p)->ref != 0.0)

#050 (*IR->local)(*p);

#051 else if (glevel) (*IR->local)(*p);

#052 }

#053 break;

现在，就接着查看IR->blockbeg接口的函数，它的代码如下：

#001void blockbeg(Env *e) {

#002 e->offset = offset;

#003 e->freemask[IREG] = freemask[IREG];

#004 e->freemask[FREG] = freemask[FREG];

#005}

第2行是保存当前使用栈的大小。

第3行是保存使用的寄存器。

第4行是保存自由的寄存器。

IR->local接口的代码如下：

#001static void local(Symbol p) {

#002if (isfloat(p->type))

#003 p->sclass = AUTO;

#004if (askregvar(p, (*IR->x.rmap)(ttob(p->type))) == 0) {

#005 assert(p->sclass == AUTO);

#006 offset = roundup(offset + p->type->size,

#007 p->type->align < 4 ? 4 : p->type->align);

#008 p->x.offset = -offset;

#009 p->x.name = stringd(-offset);

#010}

#011}

这个函数local是计算一个符号使用栈的开始位置。

第2行判断是否是浮点数据类型，如果是就设置为自动存储类型。

第4行是查询这个符号是否可以使用寄存器，如果不使用寄存器，就放置在栈里，然后就添加栈的大小。

第6行是按4字节对齐取整栈的开始位置。

第8行和第9行是保存变量保存在栈的开始位置。

下一节再来分析寄存器分配部分的函数。