寄存器分配.PPTVIP

寄存器分配 影响程序速度的因素 cpu， register， cache， memory， disk 寄存器分配是“后端”的三个重要任务之一。 getreg 书上的办法。 寄存器分配的概念 register allocation decides which program values shall reside in registers register assignment picks the specific register in which these values will reside. (eax? edx?) Memory Model Register-to-register model Assume IR program variable names are virtual registers. The allocator’s task is to map the set of virtual registers onto the registers provided by the target machine, called physical registers. In this scheme, the allocator inserts additional loads and stores for those virtual registers that cannot be allocated a phisical register. Memory-to-memory model Assume IR program variable names are memory references. The allocator determines when it is both safe and profitable to promote values into registers. 决定什么变量可以放在寄存器是tricky main() { int *A, *B, i, j; int C[100], D[100]; if (fee()) { A = C; B = D; }else { A = C; B = C; } j = fie(); for (i=0; i100; i++) A[i] = A[i] * B[j]; } 决定什么变量可以放在寄存器是tricky subroutine fum integer x, y ... call foe(x,x) ... call foe(x,y) end subroutine foe(a,b) integer a, b ... end 决定什么变量可以放在寄存器是tricky var i: integer; p: ^integer; begin i:=8; p := @i; for i:=0 to 9 do writeln(p^); end 决定什么变量可以放在寄存器是tricky c 的 memory specifier: volatile register 因此，我们下面的讨论假设Register-to-register model ，而把决定什么变量可以放在寄存器交给分析器或中间代码生成器。 寄存器类 寄存器并不都是一样的，如IA-32 有6+2个通用寄存器: EAX, EBX, ECX, EDX, ESI, EDI， EBP, ESP 。 有若干个特殊寄存器，CS, DS, SS, ES, FS, GS… EFlags, EIP MMX FP XMM 调试、测试寄存器等。 寄存器分配很难 寄存器类之间有复杂的interaction，如 mul, imul指令不能与浮点数指令并行执行； MMX, SIMD指令不能和浮点指令同时执行 即使是单类，最优算法也是NP完全问题。不存在多项式算法 寄存器分配约定 k个机器寄存器，n个虚拟寄存器，nk spill: 某些虚拟寄存器不能分配到物理寄存器，其值在使用时用load指令装入，定义时用store指令保存。 简单的寄存器分配策略 原则：用得最多的变量应该放在寄存器里 算法： 1） 计算频率（使用计数usage counts） 2） 排序 3）分配 （注意不能把k个物理寄存器用光，应留几个用于处理内存变量的装入和存储） 4）重写代码 例子 LOOP: X = 2 * E Z = Y + X + 1 IF some condition THEN Y = Z + Y D = Y