Automatic Generation of Interprocedural Data-Flow Analyzers and Optimizers

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