Interprocedural communication optimizations for message passing architectures

Reducing communication costs is a very important goal of compilers for message passing parallel machines. In this paper we present a general interprocedural technique for performing communication optimizations across procedure boundaries. Our technique uses the result of local analysis to model the communication as a communication loop, and then performs flow-sensitive interprocedural data-flow analysis to avoid redundant communication, and to perform communication aggregation. Preliminary results are also presented to demonstrate the usefulness of our technique on real applications.