Lines Matching refs:N2
1890 // 0 <= i <= N1 and some 0 <= j <= N2, where N1 and N2 are the (normalized)
1901 // a1*0 - a2*N2 <= c2 - c1 <= a1*N1 - a2*0
1902 // -a2*N2 <= c2 - c1 <= a1*N1
1905 // a1*0 - a2*0 <= c2 - c1 <= a1*N1 - a2*N2
1906 // 0 <= c2 - c1 <= a1*N1 - a2*N2
1909 // a1*N1 - a2*N2 <= c2 - c1 <= a1*0 - a2*0
1910 // a1*N1 - a2*N2 <= c2 - c1 <= 0
1913 // a1*N1 - a2*0 <= c2 - c1 <= a1*0 - a2*N2
1914 // a1*N1 <= c2 - c1 <= -a2*N2
1931 const SCEV *N2 = collectUpperBound(Loop2, A1->getType());
1933 DEBUG(if (N2) dbgs() << "\t N2 = " << *N2 << "\n");
1950 if (N2) {
1951 // make sure that -a2*N2 <= c2 - c1, or a2*N2 >= c1 - c2
1952 const SCEV *A2N2 = SE->getMulExpr(A2, N2);
1953 DEBUG(dbgs() << "\t A2*N2 = " << *A2N2 << "\n");
1962 if (N1 && N2) {
1963 // make sure that c2 - c1 <= a1*N1 - a2*N2
1965 const SCEV *A2N2 = SE->getMulExpr(A2, N2);
1967 DEBUG(dbgs() << "\t A1*N1 - A2*N2 = " << *A1N1_A2N2 << "\n");
1983 if (N1 && N2) {
1984 // make sure that a1*N1 - a2*N2 <= c2 - c1
1986 const SCEV *A2N2 = SE->getMulExpr(A2, N2);
1988 DEBUG(dbgs() << "\t A1*N1 - A2*N2 = " << *A1N1_A2N2 << "\n");
2011 if (N2) {
2012 // make sure that c2 - c1 <= -a2*N2, or c1 - c2 >= a2*N2
2013 const SCEV *A2N2 = SE->getMulExpr(A2, N2);
2014 DEBUG(dbgs() << "\t A2*N2 = " << *A2N2 << "\n");
