[发明专利]一种寄存器的优化分配方法

权利要求书

1.一种寄存器的优化分配方法，其特征在于，包括如下步骤：

步骤S1：为第一个变量分配寄存器，并将所分配的寄存器添加到一个全局数组中；

步骤S2：为第二变量分配寄存器，若第二个变量与第一个变量不冲突，则优先分配当前全局数组中的寄存器，若第二个变量与第一个变量冲突，则为第二个变量另外分配一个寄存器，并将新分配的寄存器添加到全局数组中；

步骤S3：重复步骤S1-步骤S2，为每一个变量分配寄存器，并且，在为每一个变量分配寄存器时，回溯当前所有已分配过寄存器的变量，仅在其与当前所有分配过寄存器的变量均冲突时，再为其分配新的寄存器，最后，将未分配到寄存器的变量溢出到内存中。

2.如权利要求1所述的寄存器的优化分配方法，其特征在于：所述步骤S1-步骤S3中，在迭代为每个变量分配寄存器时，优先分配全局数组中与相邻变量不冲突的寄存器。

3.如权利要求1所述的寄存器的优化分配方法，其特征在于：所述步骤S1-步骤S3中，在迭代为每个变量分配寄存器时，优先给冲突图中较小的变量分配寄存器。

4.如权利要求3所述的寄存器的优化分配方法，其特征在于：所述步骤S1-步骤S3中，在迭代为每个变量分配寄存器时，按照冲突图中每个节点的度数，对所有的节点进行排序，按照度数由小到大的顺序进行分配。

5.如权利要求1所述的寄存器的优化分配方法，其特征在于：所述步骤S3中，若最后剩下有未能在整个活跃区间占有寄存器的变量，则将相应变量进行活跃范围的分割，使得相应变量在部分活跃区间内占有寄存器，以降低溢出的代价。

6.如权利要求5所述的寄存器的优化分配方法，其特征在于：所述步骤S3中，若最后仅剩下一个可分配的寄存器，且剩余两个未分配寄存器的冲突变量v1和v2，且该两个变量均无法从当前的全局数组中分配寄存器，则将优先级较低的变量v2进行活跃范围的分割，将其分为v2_1及v2_2，使v2_2不与v1冲突，并使v2_1溢出到内存中。

7.如权利要求5所述的寄存器的优化分配方法，其特征在于：所述步骤S3中，若最后仅剩下两个可分配的寄存器r1及r2以及四个变量v1、v2、v3、v4，且该四个变量均无法从当前的全局数组中分配寄存器，且其中一个变量与其它三个变量均冲突的情况下，将其中一个变量进行活跃范围的分割，将其分为v2_1及v2_2，使v2_1及v2_2分别与其它三个变量中的至少两个不冲突，以分配到其它三个变量所分别分配到的两个寄存器r1及r2，避免被溢出。

8.一种寄存器的优化分配方法，其特征在于包括：

活跃区域分割法；

优先给冲突图中度数较小的变量分配寄存器的方法；以及，

变量出栈时，优先分配全局数组中与相邻变量不冲突的寄存器的方法。

9.如权利要求8所述的寄存器的优化分配方法，其特征在于：使用变量出栈时，优先分配全局数组中与相邻变量不冲突的寄存器的方法时，相邻变量为已经分配了寄存器的变量。

10.如权利要求8所述的寄存器的优化分配方法，其特征在于：变量出栈时，优先分配全局数组中与相邻变量不冲突的寄存器的方法包括如下步骤：

步骤S1：为第一个变量分配寄存器，并将所分配的寄存器添加到一个全局数组中；

步骤S2：为第二变量分配寄存器，若第二个变量与第一个变量不冲突，则优先分配当前全局数组中的寄存器，若第二个变量与第一个变量冲突，则为第二个变量另外分配一个寄存器，并将新分配的寄存器添加到全局数组中；

步骤S3：重复步骤S1-步骤S2，为每一个变量分配寄存器，并且，在为每一个变量分配寄存器时，回溯当前所有已分配过寄存器的变量，仅在其与当前所有分配过寄存器的变量均冲突时，再为其分配新的寄存器，最后，将未分配到寄存器的变量溢出到内存中。