Abstract A method for representing scalar data dependencies for an optimizing compiler wherein a global scalar data dependence graph is created to represent all of the scalar objects in an entire program. The scalar data dependencies are represented as three chains: a use-definition chain (ud); a definition-use chain (du) or a definition-definition chain (dd), and is created for the entire program and is maintained during the entire compilation or assembly of the program. The method for determining scalar data dependences for the entire program starts by analyzing the scalar data dependences within each basic block, in a single pass, processes all definitions and uses of all non-array data objects in the basic block, including simple variables and complex data objects such as records, unions, pointers and procedure calls in the presence of aliasing. From these objects, information is collected, such as whether the data objects are upwardly or downwardly exposed, pointers, pointer aliases, aggregate objects, array objects, uses, definitions; whether they are calls, indirect uses, or indirect definitions.
A method for constructing a global scalar data dependence graph for an optimizing compiler, the scalar data dependence graph representing relationships among scalar variables in one or more basic blocks that comprises an intermediate representation of a source code program to be executed on a computer processing system, the method of constructing the global scalar data dependence graph comprising the steps of: (a) performing a prepass on the intermediate representation of the source code program to process symbol information and to process expression information for all of the basic blocks; (b) building a local data dependence graph for each basic block, the local data dependence graph including one or more dependence nodes; (c) generating a KILL Set for each dependence node for each basic block; (d) generating an IN/OUT Set for each dependence node for each basic block; and (e) connecting all of the local data dependence graphs together to form a global scalar data dependence graph.
Claim 2
Independent Claim
157 words
A method for constructing a global scalar data dependence graph for an optimizing compiler, the scalar data dependence graph representing relationships among scalar variables in one or more basic blocks that comprises an intermediate representation of a source code program to be executed on a computer processing system, the method of constructing the global scalar data dependence graph comprising the steps of: (a) performing a prepass on the intermediate representation of the source code program to process symbol information and to process expression information for all of the basic blocks; (b) building a local data dependence graph for each basic block, the local data dependence graph including one or more dependence nodes; (c) generating a KILL Set for each dependence node for each basic block; (d) generating an IN/OUT Set for each dependence node for each basic block; and (e) connecting all of the local data dependence graphs together to form a global scalar data dependence graph.
Claim 3
Dependent Claim
23 words
The method of claim 1 wherein step (b) is performed in a single pass through the intermediate representation of the source code program.
Claim 4
Dependent Claim
26 words
The method of claim 1 wherein the dependence node is comprised of a data structure defining a definition-use chain, a use-definition chain and a definition-definition chain.
Claim 5
Dependent Claim
19 words
the method of claim 1 wherein the dependence node is capable of representing calls, simple, equivalenced, and aggregate variables.
Claim 6
Dependent Claim
29 words
The method of claim 1 wherein steps (b) through (e) further comprise the step of performing graph reduction by using conservative estimates for side effects calls and pointer dereferences.
Claim 7
Dependent Claim
28 words
The method of claim 1 wherein other information vital to subsequent optimizations is stored in the global scalar data dependence graph, including clear and exposed use bit vectors.
Claim 8
Dependent Claim
30 words
The method of claim 1 wherein the definition of a KILL Set in step (c); is expanded to include all definitions that are not generated by the current basic block.