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 函数是怎么样分配寄存器的。
 
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

caimouse

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值