LCC编译器的源程序分析(49) 寄存器分配

前面已经说到要分配寄存器，下面就来分析寄存器分配的函数askreg。

#001static Symbol askreg(Symbol rs, unsigned rmask[]) {

#002int i;

#003

#004if (rs->x.wildcard == NULL)

#005 return askfixedreg(rs);

#006for (i = 31; i >= 0; i--) {

#007 Symbol r = rs->x.wildcard[i];

#008 if (r != NULL

#009 && !(r->x.regnode->mask&~rmask[r->x.regnode->set])

#010 && askfixedreg(r))

#011 return r;

#012}

#013return NULL;

#014}

在第1行里传入符号rs和寄存器是否可以使用标志。

第4行判断是否需要分配寄存器。

第6行到12行里循环地检查可用标志是否可以分配寄存器。

下面是askfixedreg函数的代码：

#001static Symbol askfixedreg(Symbol s) {

#002Regnode r = s->x.regnode;

#003int n = r->set;

#004

#005if (r->mask&~freemask[n])

#006 return NULL;

#007else {

#008 freemask[n] &= ~r->mask;

#009 usedmask[n] |=r->mask;

#010 return s;

#011}

#012}

第1行里传入寄存器s。

第5行判断这个寄存器是否有空，如果没有空就返回NULL。

第8行到第9行标志这个寄存器已经分配成功。

由上面两个函数就可以标识那个寄存器可使用，那个不可以使用。后面再分析怎么样获取一个有效的寄存器。