相关疑难解决方法(0)

我正在寻找一种方法来将局部变量分配给寄存器.我知道有几种严肃的方法(即维基百科上提到的方法),但我仍然坚持如何"溢出"完成.此外,相关文献相当令人生畏.我希望有一些更简单的东西可以满足我的优先事项:

1. 正确性 - 一种算法,无论有多少局部变量,都会生成正确的代码.
2. 简单 - 我无需阅读太多文献即可理解.
3. 效率 - 它需要比现有方法更好,即:

将操作转换x = y # z为:

movl y, %eax
movl z, %ebx
op %ebx, %eax
movl %eax, x

由于我的目标是英特尔386,因此一些相关的限制是:

• 二进制操作有两个参数,其中一个是源和目标.一元操作只需一个参数.
• 操作只能访问一个内存位置; 因此,二进制运算需要寄存器中至少有一个参数.
• 最多有六个寄存器:%eax %ebx %ecx %edx %esi %edi.(%ebp也可作为最后手段.)
• 有一些特殊情况,例如整数除法和返回寄存器,但我现在可以忽略它们.

编译器目前有三个步骤:

• i386ification:所有操作都转换为表单a = a # b(或a = #a用于一元操作).
• 活力分析:确定每个操作之前和之后的活变量集.
• 寄存器分配:构建干扰图并着色.

然后编译器抛出它的蜡笔,不知道接下来该做什么.

例

public int mf(int cr, int ci) {
    int i = 0;
    int zr = 0;
    int zi = …