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

前面已经说到要分配寄存器,下面就来分析寄存器分配的函数askreg。
#001 static Symbol askreg(Symbol rs, unsigned rmask[]) {
#002 int i;
#003
#004 if (rs->x.wildcard == NULL)
#005 return askfixedreg(rs);
#006 for (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 }
#013 return NULL;
#014 }
在第1行里传入符号rs和寄存器是否可以使用标志。
第4行判断是否需要分配寄存器。
第6行到12行里循环地检查可用标志是否可以分配寄存器。

下面是askfixedreg函数的代码:
#001 static Symbol askfixedreg(Symbol s) {
#002 Regnode r = s->x.regnode;
#003 int n = r->set;
#004
#005 if (r->mask&~freemask[n])
#006 return NULL;
#007 else {
#008 freemask[n] &= ~r->mask;
#009 usedmask[n] |= r->mask;
#010 return s;
#011 }
#012 }
第1行里传入寄存器s。
第5行判断这个寄存器是否有空,如果没有空就返回NULL。
第8行到第9行标志这个寄存器已经分配成功。

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

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