Interprocedural Register Allocation for Lazy Functional Languages

DMCA

Interprocedural Register Allocation for Lazy Functional Languages (1995)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Urban Boquist

Venue:	In Proceedings of the 1995 Conference on Functional Programming Languages and Computer Architecture
Citations:	8 - 1 self

BibTeX

@INPROCEEDINGS{Boquist95interproceduralregister,
    author = {Urban Boquist},
    title = {Interprocedural Register Allocation for Lazy Functional Languages},
    booktitle = {In Proceedings of the 1995 Conference on Functional Programming Languages and Computer Architecture},
    year = {1995}
}

OpenURL

Abstract

The aim of this paper is two-fold; first, we develop an interprocedural register allocation algorithm, an extended variant of Briggs' optimistic graph colouring. We use interprocedural coalescing as an elegant way to achieve a custom-made calling convention for each function. We add a restricted, and cheap, form of live range splitting in a way that is particularly useful for call intensive languages. Second, we apply our interprocedural register allocation algorithm to code generated from a lazy functional language. In doing this we use a monadic intermediate code, well suited for analysis and program transformation. We use program transformation techniques and the result of an abstract interpretation analysis on the intermediate code to eliminate all unknown control flow in the program. This will improve the chances of the register allocator to produce good results. Preliminary measurements show that we are able to eliminate up to 95% of all stack references compared to the Chalmers ...

Keyphrases

lazy functional language interprocedural register allocation interprocedural register allocation algorithm intermediate code elegant way program transformation technique unknown control flow good result extended variant monadic intermediate code live range splitting register allocator optimistic graph stack reference program transformation call intensive language interprocedural coalescing abstract interpretation analysis preliminary measurement

DMCA