Abstract:Interprocedural analysis is one of the critical issues for parallelizing compilers. Traditionally, inline and interprocedural information propagation are the two methods to solve the problem. Recently, a new technique called cloning shows its advantage. Cloning creates specialized copies of procedure body to allow distinct call site inherits an environment context that allows for better code optimization. Previous research focused on constant propagation. This paper presents a method that can propagate the information of symbolic linear equations. The capability of cloning is enhanced by the new method. The authors implemented their scheme in AFT, a parallelizing compiler that they developed. The test result illustrates the effectiveness of this method.