Lines Matching defs:A1
1283 APInt A0(Bits, 1, true), A1(Bits, 0, true);
1291 APInt A2 = A0 - Q*A1; A0 = A1; A1 = A2;
1298 X = AM.slt(0) ? -A1 : A1;
1922 bool DependenceAnalysis::symbolicRDIVtest(const SCEV *A1,
1930 DEBUG(dbgs() << "\t A1 = " << *A1);
1931 DEBUG(dbgs() << ", type = " << *A1->getType() << "\n");
1935 const SCEV *N1 = collectUpperBound(Loop1, A1->getType());
1936 const SCEV *N2 = collectUpperBound(Loop2, A1->getType());
1943 if (SE->isKnownNonNegative(A1)) {
1945 // A1 >= 0 && A2 >= 0
1948 const SCEV *A1N1 = SE->getMulExpr(A1, N1);
1949 DEBUG(dbgs() << "\t A1*N1 = " << *A1N1 << "\n");
1969 const SCEV *A1N1 = SE->getMulExpr(A1, N1);
1972 DEBUG(dbgs() << "\t A1*N1 - A2*N2 = " << *A1N1_A2N2 << "\n");
1985 else if (SE->isKnownNonPositive(A1)) {
1990 const SCEV *A1N1 = SE->getMulExpr(A1, N1);
1993 DEBUG(dbgs() << "\t A1*N1 - A2*N2 = " << *A1N1_A2N2 << "\n");
2009 const SCEV *A1N1 = SE->getMulExpr(A1, N1);
2010 DEBUG(dbgs() << "\t A1*N1 = " << *A1N1 << "\n");