Lines Matching refs:N2
1962 // 0 <= i <= N1 and some 0 <= j <= N2, where N1 and N2 are the (normalized)
1973 // a1*0 - a2*N2 <= c2 - c1 <= a1*N1 - a2*0
1974 // -a2*N2 <= c2 - c1 <= a1*N1
1977 // a1*0 - a2*0 <= c2 - c1 <= a1*N1 - a2*N2
1978 // 0 <= c2 - c1 <= a1*N1 - a2*N2
1981 // a1*N1 - a2*N2 <= c2 - c1 <= a1*0 - a2*0
1982 // a1*N1 - a2*N2 <= c2 - c1 <= 0
1985 // a1*N1 - a2*0 <= c2 - c1 <= a1*0 - a2*N2
1986 // a1*N1 <= c2 - c1 <= -a2*N2
2003 const SCEV *N2 = collectUpperBound(Loop2, A1->getType());
2005 DEBUG(if (N2) dbgs() << "\t N2 = " << *N2 << "\n");
2022 if (N2) {
2023 // make sure that -a2*N2 <= c2 - c1, or a2*N2 >= c1 - c2
2024 const SCEV *A2N2 = SE->getMulExpr(A2, N2);
2025 DEBUG(dbgs() << "\t A2*N2 = " << *A2N2 << "\n");
2034 if (N1 && N2) {
2035 // make sure that c2 - c1 <= a1*N1 - a2*N2
2037 const SCEV *A2N2 = SE->getMulExpr(A2, N2);
2039 DEBUG(dbgs() << "\t A1*N1 - A2*N2 = " << *A1N1_A2N2 << "\n");
2055 if (N1 && N2) {
2056 // make sure that a1*N1 - a2*N2 <= c2 - c1
2058 const SCEV *A2N2 = SE->getMulExpr(A2, N2);
2060 DEBUG(dbgs() << "\t A1*N1 - A2*N2 = " << *A1N1_A2N2 << "\n");
2083 if (N2) {
2084 // make sure that c2 - c1 <= -a2*N2, or c1 - c2 >= a2*N2
2085 const SCEV *A2N2 = SE->getMulExpr(A2, N2);
2086 DEBUG(dbgs() << "\t A2*N2 = " << *A2N2 << "\n");