Validating register allocations for straight line programs

Research output: Contribution to journalConference article

Abstract

Straight line programs are essentially sequences of assignment statements. A general program consists of straight line segments with flow of control between these segments. The interfaces between a straight line segment and the rest of the program place constraints on register allocations for the segment. These constraints may render a register allocation for a straight line program unrealizable. An algorithm is given to determine if a register allocation for a straight line program is realizable. It is shown that the algorithm takes O(n3) steps, where n is the number of statements in the program. An unrealizable assignment may be made realizable by introducing stores into memory at appropriate points. It is shown how the minimum number of such stores may be found.

Original languageEnglish (US)
Pages (from-to)222-237
Number of pages16
JournalProceedings of the Annual ACM Symposium on Theory of Computing
DOIs
StatePublished - May 1 1972
Externally publishedYes
Event4th Annual ACM Symposium on Theory of Computing, STOC 1972 - Denver, United States
Duration: May 1 1972May 3 1972

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Validating register allocations for straight line programs'. Together they form a unique fingerprint.

  • Cite this