lib/Analysis/DependenceAnalysis.cpp

1291     APInt A2 = A0 - Q*A1; A0 = A1; A1 = A2;
1923                                           const SCEV *A2,
1932   DEBUG(dbgs() << "\t    A2 = " << *A2 << "\n");
1944     if (SE->isKnownNonNegative(A2)) {
1945       // A1 >= 0 && A2 >= 0
1957         const SCEV *A2N2 = SE->getMulExpr(A2, N2);
1958         DEBUG(dbgs() << "\t    A2*N2 = " << *A2N2 << "\n");
1965     else if (SE->isKnownNonPositive(A2)) {
1970         const SCEV *A2N2 = SE->getMulExpr(A2, N2);
1972         DEBUG(dbgs() << "\t    A1*N1 - A2*N2 = " << *A1N1_A2N2 << "\n");
1986     if (SE->isKnownNonNegative(A2)) {
1991         const SCEV *A2N2 = SE->getMulExpr(A2, N2);
1993         DEBUG(dbgs() << "\t    A1*N1 - A2*N2 = " << *A1N1_A2N2 << "\n");
2005     else if (SE->isKnownNonPositive(A2)) {
2018         const SCEV *A2N2 = SE->getMulExpr(A2, N2);
2019         DEBUG(dbgs() << "\t    A2*N2 = " << *A2N2 << "\n");