-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.

-normalize

Normalize all the *TREE*_*FORs* by modifying all array references and loop definitions so that the step is always one and the loop test is always less-than-or-equal.

-expand <number>

Maximum number of symbolic coefficients each loop nest is expanded. The default is 2 symbolic coefficient. After expanding for <number> symbolic coefficient 2^<number> loop nests are created.

-verbose

Print a detailed description on what is going on.