Value Profiling

Value Profiling (1997)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Brad Calder , Peter Feller , Alan Eustace

Venue:	In MICRO-97
Citations:	117 - 5 self

BibTeX

@INPROCEEDINGS{Calder97valueprofiling,
    author = {Brad Calder and Peter Feller and Alan Eustace},
    title = {Value Profiling},
    booktitle = {In MICRO-97},
    year = {1997},
    pages = {259--269}
}

OpenURL

Abstract

Identifying variables as invariant or constant at compile-time allows the compiler to perform optimizations including constant folding, code specialization, and partial evaluation. Some variables, which cannot be labeled as constants, may exhibit semi-invariant behavior. A semiinvariant variable is one that cannot be identified as a constant at compile-time, but has a high degree of invariant behavior at run-time. If run-time information was available to identify these variables as semi-invariant, they could then benefit from invariant-based compiler optimizations. In this paper we examine the invariance found from profiling instruction values, and show that many instructions have semi-invariant values even across different inputs. We also investigate the ability to estimate the invariance for all instructions in a program from only profiling load instructions. In addition, we propose a new type of profiling called Convergent Profiling. Estimating the invariance from loads and converg...

Keyphrases

different input many instruction new type semiinvariant variable load instruction run-time information high degree convergent profiling code specialization semi-invariant value semi-invariant behavior invariant-based compiler optimization partial evaluation instruction value constant folding invariant behavior