CRPC-TR90063-S:  Experience with Interprocedural Analysis of Array Side 
Effects

Paul Havlak, Ken Kennedy

August, 1990

Optimizing compilers should produce efficient code even in the presence of
high-level language constructs. However, current programming support
systems are significantly lacking in their ability to analyze procedure
calls. This deficiency complicates parallel programming, because loops with
calls can be a significant source of parallelism. We describe an
implementation of regular section analysis, which summarizes
interprocedural side effects on subarrays in a form useful to dependence
analysis while avoiding the complexity of prior solutions. The paper gives
the results of experiments on the LINPACK library and a small set of
scientific codes.