Digital computer register allocation and code spilling using interference graph coloring

• US 5,249,295 A
• Filed: 03/08/1993
• Issued: 09/28/1993
• Est. Priority Date: 06/20/1990
• Status: Expired due to Term

• Current Assignee: Rice University
• Original Assignee: Rice University
• Inventors: Cooper, Keith D., Briggs, Preston P., Torczon, Linda M., Kennedy, Kenneth W. Jr.
• Primary Examiner(s): Shaw, Gareth D.
• Assistant Examiner(s): KATBAB, ABDOLLAH
• Application Number:
  US08/027,937
• Time in Patent Office: 204 Days
• Field of Search: 395/650, 386/DIG. 2, 386/964.0, 386/964.5, 386/964.2, 386/926.5
• US Class Current: 717/157
• CPC Class Codes: G06F 8/441 Register allocation; Assignment of physical memory space to logical memory space

Abstract

A method is disclosed for allocating internal machine registers in a digital computer for use in storing values defined and referenced by a computer program. An allocator in accordance with the present invention constructs a interference graph having a node therein for the live range of each value defined by a computer program, and having an edge between every two nodes whose associated live ranges interfere with each other. The allocator models the register allocation process as a graph-coloring problem, such that for a computer having R registers, the allocator of the present invention iteratively attempts to R-color the interference graph. The interference graph is colored to the extent possible on each iteration before a determination is made that one or more live ranges must be spilled. After spill code has been added to the program to transform spilled live ranges into multiple smaller live ranges, the allocator constructs a new interference graph and the process is repeated.

Claims

1. A machine-executed method for allocating a plurality R of internal registers of a computer for the storage of a plurality of values to be defined and reference during execution of a program by said computer, wherein each one of said plurality of values is "live" during a particular portion of the execution of said program, said particular portion being referred to as a "live range" of said each one value, and wherein two lives range overlapping is referred to as an "interference", the method comprising the steps of:

(a) constructing an interference graph having one node for each live range of said program and an edge for each interference between two live ranges;

(b) assigning one of R distinct colors to each node in said graph such that no two of said nodes which are connected by one of said edges are assigned the same one of said R colors, leaving any given nod uncolored when said given node cannot be assigned a color different from all others of nodes which are connected to said given node;

(c) for each node left uncolored in step (b), modifying said program such that certain ones of said live ranges corresponding to said uncolored nodes are transformed into a plurality of smaller live ranges;

(d) repeating steps (a) through (c) above until no nodes in said interference graph are left uncolored in step (b);

(e) assigning each one of said R colors to a unique one of said R registers, the assignment of a particular one of said R colors to a particular one of said R registers signifying that a value whose live range was represented in step (a) by node to which said particular one of said R colors was assigned in step (b) above will be stored in said particular register.

2. The method of claim 1, wherein the step 1(b) of assigning one of R colors to each node in said graph comprises the sub-steps of:

(1) removing all nodes from said graph having fewer than R edges incident upon them in arbitrary order, along with all edges incident to said removed nodes;

(2) when only nodes having R or more edges incident thereto remain in said graph, removing said nodes and edges incident thereto in ascending order of the ratio of estimated spill cost to degree of each of said remaining nodes, where spill cost for a given node is estimated based on a number of modifications to said computer program required to transform a live range corresponding to said given node into a plurality of smaller live ranges and on the locations of said modifications in said program, and where said degree of a given node is the number of edges incident upon said given node;

(3) re-inserting each of said nodes into said interference graph, along with corresponding edges incident thereto, in reverse order of said nodes'"'"' removal, such that as each one node is re-inserted into said graph, said one node is assigned one of said R distinct colors that is different from any color assigned to any node that is connected to said one node via an edge, and such that any re-inserted node having edges incident thereto which connect said re-inserted node to nodes of each of said R distinct colors is left uncolored.

3. The method of claim 2, wherein said step 1(b)(1) of removing nodes having fewer than R edges incident thereto and said step of removing nodes having R or more edges incident thereto further comprising the steps of:

(A) defining an array N having x elements N through N, such that each element N of array N is the first element of a jth one of x lists of elements and such that each element N is a null element if said jth one of said x lists is empty;

(B) for each one node in said interference graph, said one node having k edges incident thereto, inserting an element corresponding to said one node as the last element in a kth one of said x lists of elements, wherein said kth one of said x lists is a list of elements corresponding to nodes having k edges adjacent thereto;

(C) searching said array N starting from N and moving toward N until a first non-null element N is found;

(D) removing from said interference graph a node having y edges incident thereto those corresponding element in one of said x lists was part of the list of elements starting with N, where N was the first non-null element found in array N in steps 1(b)(1)(C), and removing from said interference graph all of said y edges incident to said removed node;

(E) identifying the nodes which were connected to said removed node from step 1(b)(1)(D) by an edge in said interference graph prior to removing said removed node in step 1(b)(1)(D);

(F) for each one of the nodes identified in step 1(b)(3)(E), moving said element corresponding thereto of said ascertained node in array N one step downward, such that for each one of said identified nodes that is in an ith one of said x lists, said element corresponding to said identified node is moved to an (i-1)th one of said x lists;

(G) repeating steps 1(b)(3)C) through (1(b)(3)(F) until said all nodes and edges have been removed from said interference graph.

4. The method of claim 3, wherein said step 1(b)(1)(E) of identifying comprises the step of traversing an adjacency list which identifies pairs of nodes in said interference graph that are connected via an edge, to identify all pairs in said adjacency list in which said removed node is a member.

5. A machine-executed method for allocating the use during execution of a program of a fixed number R of registers in a computer, such that any two values defined by said program whose live ranges overlap are not stored in the same one of said registers, comprising the steps of:

(a) constructing a graph having nodes and edges therein, wherein each node corresponding to one live range of a value defined by sad program, and wherein each edge between two nodes in said graph in said graph represents an overlap of the live ranges corresponding to said two nodes;

(b) performing an R-coloring of said interference graph wherein for each one node in the graph, a color is assigned to said one node which differs from any color assigned to any node connected to said one node by an edge, and wherein any node having R or more nodes connected thereto by an edge is left uncolored;

(c) for each node left uncolored in step (b), inserting spill code instructions into said computer program to split the live range corresponding to said uncolored node into a plurality of shorter live ranges;

(d) repeating steps (a) through (c) until no node is left uncolored in step (b).

6. The method according to claim 5, wherein the step 6(b) of R-coloring said interference graph comprises the sub-steps of:

(1) removing all nodes from said graph having fewer than R edges incident upon them in arbitrary order, along with all edges incident to said removed nodes;

(2) when only nodes having R or more edges incident thereto remain in said graph, removing said nodes and edges incident thereto in ascending order of the ratio of estimated spill cost to degree, where spill cost for a given node is estimated based upon the amount of spill code required to spill said given node weighted by the loop nesting depth of points where said spill code must be inserted, and where said degree of a given node is the number of edges incident upon it;

(3) re-inserting each of said nodes into said interference graph, along with corresponding edges incident thereto, in reverse order of said nodes'"'"' removal, such that as each one node is re-inserted into said graph, it is assigned one of R possible colors that is different from any color assigned to any node that is connected to said one node via an edge, and such that any re-inserted node having edges incident thereto which connect said re-inserted node to nodes of each of said R possible colors is left uncolored.

7. The method of claim 6, wherein said step 6(b)(2) of removing nodes having fewer than R edges incident thereto and said step of removing nodes having R or more edges incident thereto further comprise the steps of:

(A) defining an array N having x elements N through N, such that each element N of array N is the first element of a jth one of x lists of elements and such that each element N is a null element if said jth list is empty;

(B) for each one node in said interference graph, said one node having k edges incident thereto, inserting an element corresponding to said one node as the last element in a kth one of said x lists of elements, wherein said kth one of said x lists is a list of elements corresponding to nodes having k edges adjacent thereto;

(C) searching said array N starting from N and moving toward N until a first non-null element N is found;

(D) removing from said interference graph a node having y edges incident thereto those corresponding element was part of the list of elements starting with N, where N was the first non-null element found in array N is step 6(b)(2)(C), and removing from said interference graph all of said y edges incident to said removed node;

(E) identifying the nodes which were connected to said removed node from step 6(b)(2)(D) by an edge in said interference graph prior to removing said removed node in step 6(b)(2)(D);

(F) for each one of the nodes identified in step 6(b)(2)(E), moving said element corresponding to said ascertained node in array N one step downward, such that for each one of said identified nodes that is in an ith one of said x lists, said element corresponding to said identified node is moved to an (i-1)th one of said x lists;

(G) repeating steps 6(b)(2)C) through (6(b)(2)(F) until said all nodes and edges have been removed from said interference graph.

8. The method of claim 7, wherein said step 6(b)(2)(E) of identifying comprises the step of traversing an adjacency list identifying pairs of nodes in said interference graph that are connected via an edge, to identify all pairs in said adjacency list in which said removed node is a member.