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

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

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

#002Symbol r;

#003

#004assert(p);

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

#006 return 0;

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

#008 p->sclass = AUTO;

#009 return 0;

#010}

#011else if (p->temporary) {

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

#013 return 1;

#014}

#015else 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}

#022else {

#023 p->sclass = AUTO;

#024 return 0;

#025}

#026}

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

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

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

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

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

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