Automatic generation of interprocedural data-flow analyzers and optimizers

Authors:
Ruiqi Lian;Zhaoqing Zhang;Ruliang Qiao
Affiliations:
Institute of Computing Technology, The Chinese Academy of Sciences, Beijing 100080, P.R. China;Institute of Computing Technology, The Chinese Academy of Sciences, Beijing 100080, P.R. China;Institute of Computing Technology, The Chinese Academy of Sciences, Beijing 100080, P.R. China
Venue:
Journal of Computer Science and Technology
Year:
2002

Citing 13
Cited 0

The program summary graph and flow-sensitive interprocedual data flow analysis

PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Interprocedural Def-Use associations in C programs

TAV4 Proceedings of the symposium on Testing, analysis, and verification
Sharlit—a tool for building optimizers

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Interprocedural modification side effect analysis with pointer aliasing

PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
Context-sensitive interprocedural points-to analysis in the presence of function pointers

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Automatic generation of data-flow analyzers: a tool for building optimizers

Automatic generation of data-flow analyzers: a tool for building optimizers
Efficient context-sensitive pointer analysis for C programs

PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
Generating testing and analysis tools with Aria

ACM Transactions on Software Engineering and Methodology (TOSEM)
Interprocedural compilation of Fortran D

Journal of Parallel and Distributed Computing - Special issue on compilation techniques for distributed memory systems
Advanced compiler design and implementation

Advanced compiler design and implementation
An Extensible System for Source Code Analysis

IEEE Transactions on Software Engineering
A unified approach to global program optimization

POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
FIAT: A Framework for Interprocedural Analysis and Transfomation

Proceedings of the 6th International Workshop on Languages and Compilers for Parallel Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Interprocedural analysis and optimization are very important for compilers to exploit parallelism of modern high-performance computer systems. But it is very complicated, easy to make mistakes and difficult to maintain and port. To solve the problem, we construct an automatic generator of interprocedural analyzers and optimizers -- IGEN. In IGEN, first a new model to describe the interprocedural data-flow problem is designed. It is fit for all traditional data-flow problems and can be used in context-sensitive algorithms. Then, the structure and the working environment of IGEN are described in detail. Finally, the implementation of IGEN and our experimental result are given.