6 search results - page 1 / 2 » Eliminating Branches using a Superoptimizer and the GNU C Co... |
PLDI
1992
ACM
13 years 9 months ago
1992
ACM
FM
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
PLDI
1996
ACM
13 years 9 months ago
1996
ACM
Dynamic compilation enables optimizations based on the values of invariant data computed at run-time. Using the values of these runtime constants, a dynamic compiler can eliminate...
SCAM
2005
IEEE
13 years 11 months ago
2005
IEEE
Most software for embedded systems, including digital signal processing systems, is coded in assembly language. For both understanding the software and for reverse compiling it to...
MICRO
2000
IEEE
13 years 5 months ago
2000
IEEE
level of abstraction, compared with the program representation for scalar optimizations. For example, loop unrolling and loop unrolland-jam transformations exploit the large regist...