## A unified approach to global program optimization (1973)

### Cached

### Download Links

- [drona.csa.iisc.ernet.in]
- [drona.csa.iisc.ernet.in]
- DBLP

### Other Repositories/Bibliography

Venue: | In Conference Record of the ACM Symposium on Principles of Programming Languages |

Citations: | 308 - 0 self |

### BibTeX

@INPROCEEDINGS{Kildall73aunified,

author = {Gary A. Kildall},

title = {A unified approach to global program optimization},

booktitle = {In Conference Record of the ACM Symposium on Principles of Programming Languages},

year = {1973},

pages = {194--206},

publisher = {ACM Press}

}

### Years of Citing Articles

### OpenURL

### Abstract

A technique is presented for global analysie of program structure in order to perform compile time optimization of object code generated for expressions. The global expression optimization presented includes constant propagation, common subexpression elimination, elimination of redundant register load operations, and live expression analysis. A general purpose program flow analysis algorithm is developed which depends upon the existence of an “optimizing function. ” The algorithm is defined formally using a directed graph model of program flow structure, and is shown to be correct, Several optimizing functions are defined which, when used in conjunction with the flow analysis algorithm, provide the various forms of code optimization. The flow analysis algorithm is sufficiently general that additional functions can easily be defined for other forms of globa ~ cod: optimization. 1. INTRODUCTION of the graph represent program control flow Dossi-A number of techniques have evolved for the bilities between the nodes at execution–time. compile-time analysis of program structure in order to locate redundant computations, perform constant