Optimizations for advanced architectures using compiler infrastructures

点击翻译按钮获取中文摘要

1. In the field of compilers, research on optimizations for advanced architectures using compiler infrastructures, which facilitate technology transfer, and coping with new intermediate, representations such as SSA (Static Single Assignment) form, are highly expected. In this research we developed new compiling techniques focusing on :(1) Active use of compiler infrastructure(2) Method of generation of optimized code for advanced architecture such as super scalar and VLIW machines(3) Optimization method using new internal representations such as SSA form2. We got the following results in 2001-2002.(1) We made a basic optimizer using the SSA form utilizing a compiler infrastructure, which was developed separately under the Grant "Special Coordination Fund for Promoting Science and Technology".(2) We made a comparison of algorithms for back translation from SSA form into normal form, using the above compiler infrastructure.(3) We developed an advanced optimization method using the SSA form, and investigated its realization utilizing a compiler infrastructure.(4) We also made research on systematic debugging, program specialization, and generator of interpreters, which are the base of the above optimization and code generation.