Lines Matching defs:A2
1503 APInt A2 = A0 - Q*A1; A0 = A1; A1 = A2;
2111 bool DependenceInfo::symbolicRDIVtest(const SCEV *A1, const SCEV *A2,
2119 LLVM_DEBUG(dbgs() << "\t A2 = " << *A2 << "\n");
2131 if (SE->isKnownNonNegative(A2)) {
2132 // A1 >= 0 && A2 >= 0
2144 const SCEV *A2N2 = SE->getMulExpr(A2, N2);
2145 LLVM_DEBUG(dbgs() << "\t A2*N2 = " << *A2N2 << "\n");
2152 else if (SE->isKnownNonPositive(A2)) {
2157 const SCEV *A2N2 = SE->getMulExpr(A2, N2);
2159 LLVM_DEBUG(dbgs() << "\t A1*N1 - A2*N2 = " << *A1N1_A2N2 << "\n");
2173 if (SE->isKnownNonNegative(A2)) {
2178 const SCEV *A2N2 = SE->getMulExpr(A2, N2);
2180 LLVM_DEBUG(dbgs() << "\t A1*N1 - A2*N2 = " << *A1N1_A2N2 << "\n");
2192 else if (SE->isKnownNonPositive(A2)) {
2205 const SCEV *A2N2 = SE->getMulExpr(A2, N2);
2206 LLVM_DEBUG(dbgs() << "\t A2*N2 = " << *A2N2 << "\n");