| B. Creusillet and F. Irigoin. Interprocedural analyses of Fortran programs. Parallel Computing, 24(3-4):629-648, May 1998. |
....optimization. Compilers. From the perspective of conventional compiler techniques, cross component optimization concerns optimising across sequences of loop nests, which may or may not be encapsulated in subroutines. Data access summary information, as used for interprocedural analysis [13] forms metadata describing each component. Unfortunately, with irregular data (even irregular multiblock) the actual dependence between two operations is data dependent. The data alignment problem for regular data has been extensively studied [14,15] One natural approach is to exploit these ....
B. Creusillet and F. Irigoin. Interprocedural analyses of Fortran programs. Parallel Computing, 24(3-4):629-648, May 1998.
....does support an e#cient intersection. Convex Polyhedra[AI91] Represent any a#ne constraints, but intersection operation (integer programming) is expensive. Presburger Formulae[Pug94] Represent some non a#ne constraints. Intersection (Omega Test) can usually be done e#ciently. Lists of Polyhedra[CI97] Represent unions of convex polyhedra without introducing approximations. Intersection operation is even less e#cient than for individual polyhedra. Guarded Array Regions[GLL97] Represent high level constraints on accesses explicitly to ensure as little approximation as possible. E#cient ....
B. Creusillet and F. Irigoin. Interprocedural Analyses of Fortran Programs. Journal on Parallel Computing, 24(3-4):629--648, June 1997.
....optimisation. 2 Compilers. From the perspective of conventional compiler techniques, cross component optimisation concerns optimising across sequences of loop nests, which may or may not be encapsulated in subroutines. Data access summary information, as used for interprocedural analysis [14] forms metadata describing each component. Unfortunately, with irregular data (even irregular multiblock) the actual dependence between two operations is data dependent. The data alignment problem for regular data has been extensively studied [10,12] One natural approach is to exploit these ....
B. Creusillet and F. Irigoin. Interprocedural analyses of Fortran programs. Parallel Computing, 24(3--4):629--648, May 1998.
....led to the generalization of existing frameworks to work with many different ones. For example, the PIPS analysis framework has adopted a generic framework supporting intervals, lists of convex polyhedra and Presburger formulae side by side with the original single convex polyhedron representation[CI97b] with the attendant rise in implementation complexity. Department of Computer Science, Courant Institute of Mathematical Sciences, New York University, 251 Mercer St. New York, NY 10012 1185, nschwart cs.nyu.edu. 1 1.1 LMADs in Fortran However, the recent introduction of the Access Region ....
Batrice Creusillet and Franois Irigoin. Interprocedural Analyses of Fortran Programs. Journal on Parallel Computing, 24(3-4):629--648, June 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC