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

在 LCC 里是使用非常简单的寄存器分配算法，并且局限于森林里的临时变量的分配。下面就来分析寄存器分配的代码：

#001 int askregvar(Symbol p, Symbol regs) {

#002  Symbol r;

#003 

#004  assert(p);

#005  if (p->sclass != REGISTER)

#006         return 0;

#007  else if (!isscalar(p->type)) {

#008         p->sclass = AUTO;

#009         return 0;

#010  }

#011  else if (p->temporary) {

#012         p->x.name = "?";

#013         return 1;

#014  }

#015  else if ((r = askreg(regs, vmask)) != NULL) {

#016         p->x.regnode = r->x.regnode;

#017         p->x.regnode->vbl = p;

#018         p->x.name = r->x.name;

#019         debug(dumpregs("(allocating %s to symbol %s)/n", p->x.name, p->name));

#020         return 1;

#021  }

#022  else {

#023         p->sclass = AUTO;

#024         return 0;

#025  }

#026 }

第 5 行判断存储类型是否不能为寄存器类型，如果非寄存器类型就直接跳出处理。

第 7 行判断是否枚举等类型，如果是就返回。

第 11 行判断是否临时变量，如果是就返回。

第 15 行是调用函数 askreg 来分配寄存器，如果分配的寄存器不为空，就在第 16 行到第 20 行里保存分配的寄存器。

第 22 行到第 26 行是分配寄存器不成功返回。

 

如果分配寄存器不成功，编译器会把这个变量放到栈的帧里面。下一次再分析 askreg 函数是怎么样分配寄存器的。