Interprocedural analyses of Fortran programs

B Creusillet, F Irigoin
1998 Parallel Computing  
Interprocedural analyses (IPA) are becoming more and more common in commercial compilers. But research on the analysis of Fortran programs is still going on, as a number of problems are not yet satisfactorily solved and others are emerging with new language dialects. This paper presents a survey of the main interprocedural analysis techniques, with an emphasis on the suitability of the analysis framework for the characteristics of the original semantic problem. Our experience with the pips
more » ... procedural compiler workbench is then described. pips includes a make-like m e c hanism, PipsMake, which t a k es care of the interleavings between top-down and bottom-up analyses and allows a quick prototyping of new interprocedural analyses. Intensive summarization is used to reduce storage requirements and achieve reasonable analysis times when dealing with real-life applications. The speed/accuracy tradeo s made for pips are discussed in the light of other interprocedural tools.
doi:10.1016/s0167-8191(98)00028-3 fatcat:7nyfazdbivalxhorcl57cxd5ky