next up previous
Next: Parallelization Analysis Algorithms Up: Interprocedural Analysis Issues Previous: Selective Procedure Cloning.

Interprocedural Framework.

As different data-flow problems share many commonalities (for example, support for parameter passing), it is useful to have an interprocedural framework to manage the complexity of the implementation and allow code reuse. The region-based analysis and selective procedure cloning techniques are encapsulated in a common interprocedural framework as part of FIAT, a tool for developing interprocedural analysis systems [11]. FIAT facilitates adding new interprocedural analyses by providing parameterized templates to drive flow-sensitive analysis and cloning; each analysis problem is implemented by instantiating the templates with functions to compute solutions to data-flow equations. For the interprocedural parallelization system in SUIF, we have extended FIAT significantly to support array data-flow analysis and flow-sensitive analysis.

Saman Amarasinghe
Fri Sep 15 09:15:06 PDT 1995