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函数是怎么样分配寄存器的。