predep - preprocessing for the dependence analyzer
predep -normalize | -presc [ -verbose ] infile outfile ...
This pass performs two preprocessing steps that are useful to the parallelizer.
-presc This preprocessing pass is needed by the dependence analyzer to handle array accesses with symbolic coefficients. Since the sign of the symbolic coefficient affects the dependence, the code is modified such that multiple loop nests are created for symbolic coefficients. Three loop nests are created for a symbolic coefficient such that the symbolic coefficient is greater than zero, less than zero, or equal to zero in each of the nests.
The pass predep was written by Saman Amarasinghe. The normalization code in the dependence library was originally written by Dror Maydan and Michael Wolf and was ported to new SUIF by Jennifer Anderson. The dependence analysis of array accesses with symbolic coefficients in the dependence library was written by Saman Amarasinghe.