Lines Matching defs:A1
1495 APInt A0(Bits, 1, true), A1(Bits, 0, true);
1503 APInt A2 = A0 - Q*A1; A0 = A1; A1 = A2;
1510 X = AM.slt(0) ? -A1 : A1;
2111 bool DependenceInfo::symbolicRDIVtest(const SCEV *A1, const SCEV *A2,
2117 LLVM_DEBUG(dbgs() << "\t A1 = " << *A1);
2118 LLVM_DEBUG(dbgs() << ", type = " << *A1->getType() << "\n");
2122 const SCEV *N1 = collectUpperBound(Loop1, A1->getType());
2123 const SCEV *N2 = collectUpperBound(Loop2, A1->getType());
2130 if (SE->isKnownNonNegative(A1)) {
2132 // A1 >= 0 && A2 >= 0
2135 const SCEV *A1N1 = SE->getMulExpr(A1, N1);
2136 LLVM_DEBUG(dbgs() << "\t A1*N1 = " << *A1N1 << "\n");
2156 const SCEV *A1N1 = SE->getMulExpr(A1, N1);
2159 LLVM_DEBUG(dbgs() << "\t A1*N1 - A2*N2 = " << *A1N1_A2N2 << "\n");
2172 else if (SE->isKnownNonPositive(A1)) {
2177 const SCEV *A1N1 = SE->getMulExpr(A1, N1);
2180 LLVM_DEBUG(dbgs() << "\t A1*N1 - A2*N2 = " << *A1N1_A2N2 << "\n");
2196 const SCEV *A1N1 = SE->getMulExpr(A1, N1);
2197 LLVM_DEBUG(dbgs() << "\t A1*N1 = " << *A1N1 << "\n");