Lines Matching defs:N1
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
1930 const SCEV *N1 = collectUpperBound(Loop1, A1->getType());
1932 DEBUG(if (N1) dbgs() << "\t N1 = " << *N1 << "\n");
1941 if (N1) {
1942 // make sure that c2 - c1 <= a1*N1
1943 const SCEV *A1N1 = SE->getMulExpr(A1, N1);
1944 DEBUG(dbgs() << "\t A1*N1 = " << *A1N1 << "\n");
1962 if (N1 && N2) {
1963 // make sure that c2 - c1 <= a1*N1 - a2*N2
1964 const SCEV *A1N1 = SE->getMulExpr(A1, N1);
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
1985 const SCEV *A1N1 = SE->getMulExpr(A1, N1);
1988 DEBUG(dbgs() << "\t A1*N1 - A2*N2 = " << *A1N1_A2N2 << "\n");
2002 if (N1) {
2003 // make sure that a1*N1 <= c2 - c1
2004 const SCEV *A1N1 = SE->getMulExpr(A1, N1);
2005 DEBUG(dbgs() << "\t A1*N1 = " << *A1N1 << "\n");
