[发明专利]动态二进制翻译系统中可重定向的寄存器分配方法

权利要求书

1.一种动态二进制翻译系统中可重定向的寄存器分配方法，其特征在于包括如下步骤：

1)初始化寄存器分配器的目标平台，包括寄存器数目，寄存器之间的数据移动机器指令，内存到寄存器的数据移动机器指令以及寄存器到内存的数据移动机器指令；

2)初始化块寄存器分配器内部数据结构，包括初始化寄存器状态的数据结构数据，所有寄存器状态设为空闲，所有目标平台寄存器所匹配的变量设为空，所有匹配的变量所在指令设为空；初始化基本块所有变量所在位置为内存；清空存放基本块变量next-use信息的所有队列；

3)从基本块头部到尾部扫描收集next-use信息，依次把基本块内变量的next-use信息分别放进变量各自的队列；

4)根据不同翻译需要对基本块中的变量进行寄存器的分配，分为普通分配、强制要求特定寄存器分配、强制要求非特定寄存器分配；当变量没有特殊寄存器要求时使用普通分配，在变量有特定寄存器要求的情况下使用强制要求特定寄存器分配，在变量需要除了某个特定寄存器之外的其他寄存器的情况下使用强制要求非特定寄存器分配；

5)对于普通分配，依次查看寄存器的状态，如果有寄存器已被分配给该变量，则继续保持这种分配；否则再依次查看寄存器的状态，若有空闲寄存器或者有寄存器对应变量因所存储数据不再被利用而失去活性，且变量在后续指令是被定义的，则把该空闲寄存器或者对应变量失去活性的寄存器分配给该变量；若有空闲寄存器或者有寄存器对应变量失去活性，且变量在后续指令是被使用的，则把该空闲寄存器或者对应变量失去活性的寄存器分配给该变量，并把该变量对应的内存的数据装载到该空闲寄存器或者对应变量失去活性的寄存器；若无空闲寄存器且没有寄存器对应变量失去活性，且变量在后续指令是被定义的，则先找出next-use信息最大值的变量所对应的寄存器，如果next-use信息最大值的变量后续会被使用，则把该寄存器的值保存到对应变量的内存，然后把该寄存器分配给该变量，如果next-use信息最大值的变量后续不会被使用，则直接把该寄存器分配给该变量；若无空闲寄存器且没有寄存器对应变量失去活性，且变量在后续指令是被使用的，则先找出next-use信息最大值的变量所对应的寄存器，如果next-use信息最大值的变量后续会被使用，则把该寄存器的值保存到对应变量的内存，然后把该寄存器分配给该变量，并把该变量对应的内存的数据装载到该寄存器，如果next-use信息最大值的变量后续不会被使用，则直接把该寄存器分配给该变量，并把该变量对应的内存的数据装载到该寄存器；

6)对于强制要求特定寄存器分配，如果强制要求寄存器已被分配的变量恰好是该变量，则继续保持这种分配；如果强制要求寄存器被分配的变量不是该变量，且被分配的变量因所存储数据还会被利用而存在活性，则把强制要求特定寄存器的值保存到对应变量的内存，完成数据保护处理，把该强制要求特定寄存器分配给该变量，如果该变量后续指令是被使用的并且该变量在内存里，把该变量对应的内存的数据装载到强制要求特定寄存器，如果该变量后续指令是被使用的并且该变量在寄存器里，把该变量对应的寄存器的数据装载到强制要求特定寄存器；如果强制要求寄存器被分配的变量不是该变量，且被分配的变量失去活性，则把该强制要求特定寄存器分配给该变量，如果该变量后续指令是被使用的并且该变量在内存里，把该变量对应的内存的数据装载到强制要求特定寄存器，如果该变量后续指令是被使用的并且该变量在寄存器里，把该变量对应的寄存器的数据装载到强制要求特定寄存器；

7)对于强制要求非特定寄存器分配，先保存强制要求非特定寄存器的状态到一个临时变量，如果强制要求非特定寄存器已经分配给了该变量，并且该变量存在活性，则保存强制要求非特定寄存器到该变量对应的内存，更改临时变量的状态为空闲，更改强制要求非特定寄存器的状态为受保护的，然后对该变量进行普通分配，将受保护的强制要求非特定寄存器改回临时变量的值，并以普通分配的结果作为分配结果；如果强制要求非特定寄存器已经分配给了该变量，并且该变量失去活性，则更改临时变量的状态为空闲，更改强制要求非特定寄存器的状态为受保护的，然后对该变量进行普通分配，将受保护的强制要求非特定寄存器改回临时变量的值，并以普通分配的结果作为分配结果；如果强制要求非特定寄存器没有分配给该变量，更改强制要求非特定寄存器的状态为受保护的，然后对该变量进行普通分配，将受保护的强制要求非特定寄存器改回临时变量的值，并以普通分配的结果作为分配结果。