Lines Matching refs:N2
1931 // 0 <= i <= N1 and some 0 <= j <= N2, where N1 and N2 are the (normalized)
1942 // a1*0 - a2*N2 <= c2 - c1 <= a1*N1 - a2*0
1943 // -a2*N2 <= c2 - c1 <= a1*N1
1946 // a1*0 - a2*0 <= c2 - c1 <= a1*N1 - a2*N2
1947 // 0 <= c2 - c1 <= a1*N1 - a2*N2
1950 // a1*N1 - a2*N2 <= c2 - c1 <= a1*0 - a2*0
1951 // a1*N1 - a2*N2 <= c2 - c1 <= 0
1954 // a1*N1 - a2*0 <= c2 - c1 <= a1*0 - a2*N2
1955 // a1*N1 <= c2 - c1 <= -a2*N2
1970 const SCEV *N2 = collectUpperBound(Loop2, A1->getType());
1972 DEBUG(if (N2) dbgs() << "\t N2 = " << *N2 << "\n");
1989 if (N2) {
1990 // make sure that -a2*N2 <= c2 - c1, or a2*N2 >= c1 - c2
1991 const SCEV *A2N2 = SE->getMulExpr(A2, N2);
1992 DEBUG(dbgs() << "\t A2*N2 = " << *A2N2 << "\n");
2001 if (N1 && N2) {
2002 // make sure that c2 - c1 <= a1*N1 - a2*N2
2004 const SCEV *A2N2 = SE->getMulExpr(A2, N2);
2006 DEBUG(dbgs() << "\t A1*N1 - A2*N2 = " << *A1N1_A2N2 << "\n");
2022 if (N1 && N2) {
2023 // make sure that a1*N1 - a2*N2 <= c2 - c1
2025 const SCEV *A2N2 = SE->getMulExpr(A2, N2);
2027 DEBUG(dbgs() << "\t A1*N1 - A2*N2 = " << *A1N1_A2N2 << "\n");
2050 if (N2) {
2051 // make sure that c2 - c1 <= -a2*N2, or c1 - c2 >= a2*N2
2052 const SCEV *A2N2 = SE->getMulExpr(A2, N2);
2053 DEBUG(dbgs() << "\t A2*N2 = " << *A2N2 << "\n");
