Register Promotion by Sparse Partial Redundancy Elimination of Loads and Stores (1998)
| Venue: | In Proceedings of the ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation |
| Citations: | 38 - 2 self |
BibTeX
@INPROCEEDINGS{Lo98registerpromotion,
author = {Raymond Lo and Fred Chow and Robert Kennedy and Shin-ming Liu and Peng Tu},
title = {Register Promotion by Sparse Partial Redundancy Elimination of Loads and Stores},
booktitle = {In Proceedings of the ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation},
year = {1998},
pages = {26--37}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
An algorithm for register promotion is presented based on the observation that the circumstances for promoting a memory location's value to register coincide with situations where the program exhibits partial redundancy between accesses to the memory location. The recent SSAPRE algorithm for eliminating partial redundancy using a sparse SSA representation forms the foundation for the present algorithm to eliminate redundancy among memory accesses, enabling us to achieve both computational and live range optimality in our register promotion results. We discuss how to effect speculative code motion in the SSAPRE framework. We present two different algorithms for performing speculative code motion: the conservative speculation algorithm used in the absence of profile data, and the the profile-driven speculation algorithm used when profile data are available. We define the static single use (SSU) form and develop the dual of the SSAPRE algorithm, called SSUPRE, to perform the partial redun...
