Lines Matching defs:A2
1416 APInt A2 = A0 - Q*A1; A0 = A1; A1 = A2;
2035 bool DependenceInfo::symbolicRDIVtest(const SCEV *A1, const SCEV *A2,
2043 LLVM_DEBUG(dbgs() << "\t A2 = " << *A2 << "\n");
2055 if (SE->isKnownNonNegative(A2)) {
2056 // A1 >= 0 && A2 >= 0
2068 const SCEV *A2N2 = SE->getMulExpr(A2, N2);
2069 LLVM_DEBUG(dbgs() << "\t A2*N2 = " << *A2N2 << "\n");
2076 else if (SE->isKnownNonPositive(A2)) {
2081 const SCEV *A2N2 = SE->getMulExpr(A2, N2);
2083 LLVM_DEBUG(dbgs() << "\t A1*N1 - A2*N2 = " << *A1N1_A2N2 << "\n");
2097 if (SE->isKnownNonNegative(A2)) {
2102 const SCEV *A2N2 = SE->getMulExpr(A2, N2);
2104 LLVM_DEBUG(dbgs() << "\t A1*N1 - A2*N2 = " << *A1N1_A2N2 << "\n");
2116 else if (SE->isKnownNonPositive(A2)) {
2129 const SCEV *A2N2 = SE->getMulExpr(A2, N2);
2130 LLVM_DEBUG(dbgs() << "\t A2*N2 = " << *A2N2 << "\n");