Sciweavers

Share
EUROPAR
2008
Springer

Efficiently Building the Gated Single Assignment Form in Codes with Pointers in Modern Optimizing Compilers

10 years 1 months ago
Efficiently Building the Gated Single Assignment Form in Codes with Pointers in Modern Optimizing Compilers
Abstract. Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs characterize the behavior of code fragments, providing compilers with valuable information to guide code optimizations. The XARK compiler framework provides a complete, robust and extensible solution to the automatic recognition problem that was shown to be effective to characterize the behavior of Fortran77 applications. Our goal is to migrate XARK to the GNU GCC compiler in order to widen its scope of application to program constructs (e.g., pointers, objects) supported by other programming languages (e.g., Fortran90/95, C/C++, Java). The first step towards this goal is the translation of the GCC intermediate representation into the Gated Single Assignment (GSA) form, an extension of Static Single Assignment (SSA) that captures data/control dependences and reaching definition information for scalar and array variables. This paper presents a...
Manuel Arenaz, Pedro Amoedo, Juan Touriño
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2008
Where EUROPAR
Authors Manuel Arenaz, Pedro Amoedo, Juan Touriño
Comments (0)
books