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 行标志这个寄存器已经分配成功。

 

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