Loop peeling based on quasi-invariance/induction variables

2001 ◽  
Vol 6 (1-2) ◽  
pp. 362-367 ◽  
Author(s):  
Litong Song ◽  
Robert Glück ◽  
Yoshihiko Futamura
Keyword(s):  
Induction Variables

scholarly journals Interprocedural Induction Variable Analysis

2003 ◽  
Vol 14 (03) ◽  
pp. 405-423
Author(s):  
Peiyi Tang ◽  
Pen-Chung Yew
Keyword(s):  
Symbolic Analysis ◽  
Data Dependence ◽  
Parallelizing Compilers ◽  
Recursive Procedure ◽  
Induction Variables ◽  
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.

Beyond induction variables

1995 ◽  
Vol 17 (1) ◽  
pp. 85-122 ◽  
Author(s):  
Michael P. Gerlek ◽  
Eric Stoltz ◽  
Michael Wolfe
Keyword(s):  
Induction Variables
Sign in / Sign up

Export Citation Format

Share Document