Compilers for newest architectures using the SSA form intermediate language

使用 SSA 形式中间语言的最新架构编译器

基本信息

批准号：
11680347
负责人：
SASSA Masataka
金额：
$ 2.3万
依托单位：
TOKYO INSTITUTE OF TECHNOLOGY
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
1999
资助国家：
日本
起止时间：
1999 至 2000
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-11680347/
关键词：
Compiler Code generation Instruction level parallelism SSA (static single assignment) form Superscalar Optimization 中間コード

项目摘要

In recent computer architectures, delayed branches, superscalar processing with multiple functional units, pipeline processing and internal parallel processing are heavily used. In these architectures, an efficient object code can only be generated by using compilers which optimally arranges the object code. Therefore the role of compilers is becoming more important.On the other hand, the SSA (Static Single Assignment) form, where single assignment variables are used, is proposed as a new intermediate representation in compiler back-ends. It attracts attention because it simplifies dataflow analysis and optimizing transformation in compilers. However, optimizing transformation in SSA form and connection to later phases of compilers such as register allocation and code generation is not fully investigated.In this research, we aim at developing new methods of compilers for the above problems, centering around (1) method of generating efficient code which exploits the characteristic features of newest architectures, and (2) method of optimization and code generation based on the SSA form.During the term of the project, we got the following results :(1) Generation of efficient native code for a distributed programming language on a heterogeneous distributed environment (paper 1), (2) a code scheduler based on processor description for superscalar machines (paper 6), (3) a languase processor for PDA (Personal Digital Assistant) with a highly constrainted processor (paper 5), (4) methods of transformation into the SSA form, (5) research on attribute grammars (paper 2, 3) and systematic debugging (paper 4) which is the basis of the above optimization and code generation.

在最近的计算机体系结构中，大量使用了带有多个功能单元的超量表处理，管道处理和内部并行处理。在这些体系结构中，只能通过使用最佳安排对象代码的编译器来生成有效的对象代码。因此，编译器的作用变得越来越重要。另一方面，使用单个分配变量的SSA（静态单分配）形式被提议为编译器后端中的新中间表示。它吸引了注意力，因为它简化了数据流分析并优化编译器中的转换。然而，未对SSA形式的优化转换以及与编译器（例如寄存器分配和代码生成）的后期阶段的连接的优化转换。在这项研究中，我们旨在为上述问题开发新的编译器方法，以（1）为基于最新建筑的特征和（2）基于SSA的典范的有效代码的方法（1）产生有效的代码。 :(1) Generation of efficient native code for a distributed programming language on a heterogeneous distributed environment (paper 1), (2) a code scheduler based on processor description for superscalar machines (paper 6), (3) a languase processor for PDA (Personal Digital Assistant) with a highly constrainted processor (paper 5), (4) methods of transformation into the SSA form, (5) research on attribute grammars (paper 2, 3）和系统调试（论文4），这是上述优化和代码生成的基础。