Skip to Main content Skip to Navigation
Journal articles

Interprocedural Array Region Analyses

Abstract : Many program optimizations require exact knowledge of the sets of array elements that are referenced in or that flow between state ments or procedures. Some examples are array privatization generation of communications in distributed memory machines or compile time op timization of cache behavior in hierarchical memory machines. Exact array region analysis is introduced in this article. These regions exactly represent the eff ects of statements and procedures upon array variables. To represent the flow of these data we also introduce two new types of array region analyses IN and OUT regions. The intraprocedural propagation is presented as well as a general linear framework for interprocedural analyses which handles array reshapes. The intra - and inter- procedural propagation of array regions is imple mented in PIPS, the interprocedural parallelizer of FORTRAN programs developed at Ecole des mines de Paris.
Document type :
Journal articles
Complete list of metadatas

Cited literature [31 references]  Display  Hide  Download

https://hal-mines-paristech.archives-ouvertes.fr/hal-00752611
Contributor : Claire Medrala <>
Submitted on : Friday, November 16, 2012 - 10:41:45 AM
Last modification on : Wednesday, October 14, 2020 - 4:09:04 AM
Long-term archiving on: : Saturday, December 17, 2016 - 11:10:58 AM

File

A-282.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00752611, version 1

Citation

Béatrice Creusillet, François Irigoin. Interprocedural Array Region Analyses. International Journal of Parallel Programming, Springer Verlag, 1996, Vol. 24 (No. 6), pp. 513-546. ⟨hal-00752611⟩

Share

Metrics

Record views

271

Files downloads

561