BibTeX
@MISC{Kienle98asuif,
author = {Holger M. Kienle},
title = {A SUIF Java compiler},
year = {1998}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
To compete with optimized C, object-oriented languages need classical optimizations as well as specific object-oriented optimizations. Therefore, a compiler infrastructure that enables object-oriented compiler research isof great interest for the research community. The SUIF compiler system with the OSUIF extension offers such a research environment. SUIF defines an intermediate representation for procedural languages and offers standard optimization passes. OSUIF extends SUIF with an intermediate representation tailored towards object-oriented languages, hence allowing specific object-oriented optimizations. To enable Java-related compiler research in (O)SUIF, we have implemented j2s, a Java bytecode front end for the OSUIF/SUIF 2.0 compiler system. Our compiler uses off-line compilation, so that the whole program is known at compile time. Thus, static whole-program optimizations such as class hierarchy analysis and type inference can be implemented with (O)SUIF and applied during the compilation. j2s supports the complete Java Virtual Machine specification, except for threads and exception handling, which are currently not supported by the runtime system and (O)SUIF. Because we implemented an off-line compiler, the dynamic loading of classes is also not supported. The compiler is divided into the (O)SUIF front end and the runtime system. The main part of
Keyphrases
suif java compiler specific object-oriented optimization intermediate representation runtime system suif front end java bytecode front end suif compiler system osuif extension offer off-line compilation research environment class hierarchy analysis osuif suif whole program compiler system object-oriented language procedural language compiler infrastructure classical optimization compile time exception handling java-related compiler research static whole-program optimization main part complete java virtual machine specification towards object-oriented language off-line compiler dynamic loading research community standard optimization pass type inference
