Interprocedural Induction Variable Analysis

Induction variable analysis is an important part of the symbolic analysis in parallelizing compilers. Induction variables can be formed by for or [Formula: see text] loops within procedures or loops of recursive procedure calls. This paper presents an algorithm to find induction variables in formal parameters of procedures caused by recursive procedure calls. The compile-time knowledge of induction variables in formal parameters is essential to summarize array sections to be used for data dependence test and parallelization.