## Dataflow Analysis of Array and Scalar References (1991)

Venue: | International Journal of Parallel Programming |

Citations: | 209 - 2 self |

### BibTeX

@ARTICLE{Feautrier91dataflowanalysis,

author = {Paul Feautrier},

title = {Dataflow Analysis of Array and Scalar References},

journal = {International Journal of Parallel Programming},

year = {1991},

volume = {20}

}

### Years of Citing Articles

### OpenURL

### Abstract

Given a program written in a simple imperative language (assignment statements, for loops, affine indices and loop limits), this paper presents an algorithm for analyzing the patterns along which values flow as the execution proceeds. For each array or scalar reference, the result is the name and iteration vector of the source statement as a function of the iteration vector of the referencing statement. The paper discusses several applications of the method: conversion of a program to a set of recurrence equations, array and scalar expansion, program verification and parallel program construction. Keywords dataflow analysis, semantics analysis, array expansion. 1 Introduction It is a well known fact that scientific programs spend most of their running time in executing loops operating on arrays. Hence if a restructuring or optimizing compiler is to do a good job, it must be able to do a thorough analysis of the addressing patterns in such loops. If taken in full generality, ...