493         dyn_cast<SCEVConstant>(SE->getMinusSCEV(C1A2, C2A1));  in intersectConstraints()
495         dyn_cast<SCEVConstant>(SE->getMinusSCEV(C1B2, C2B1));  in intersectConstraints()
497         dyn_cast<SCEVConstant>(SE->getMinusSCEV(A1B2, A2B1));  in intersectConstraints()
499         dyn_cast<SCEVConstant>(SE->getMinusSCEV(A2B1, A1B2));  in intersectConstraints()
922   const SCEV *Delta = SE->getMinusSCEV(X, Y);  in isKnownPredicate()
1044   const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst);  in strongSIVtest()
1181   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in weakCrossingSIVtest()
1404   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in exactSIVtest()
1617   const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst);  in weakZeroSrcSIVtest()
1727   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in weakZeroDstSIVtest()
1810   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in exactRDIVtest()
1957   const SCEV *C2_C1 = SE->getMinusSCEV(C2, C1);  in symbolicRDIVtest()
1958   const SCEV *C1_C2 = SE->getMinusSCEV(C1, C2);  in symbolicRDIVtest()
1989         const SCEV *A1N1_A2N2 = SE->getMinusSCEV(A1N1, A2N2);  in symbolicRDIVtest()
2010         const SCEV *A1N1_A2N2 = SE->getMinusSCEV(A1N1, A2N2);  in symbolicRDIVtest()
2288   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in gcdMIVtest()
2349     const SCEV *DstCoeff = SE->getMinusSCEV(SrcCoeff, SrcCoeff);  in gcdMIVtest()
2386     Delta = SE->getMinusSCEV(SrcCoeff, DstCoeff);  in gcdMIVtest()
2464   const SCEV *Delta = SE->getMinusSCEV(B0, A0);  in banerjeeMIVtest()
2671       SE->getMulExpr(SE->getMinusSCEV(A[K].NegPart, B[K].PosPart),  in findBoundsALL()
2674       SE->getMulExpr(SE->getMinusSCEV(A[K].PosPart, B[K].NegPart),  in findBoundsALL()
2711     const SCEV *Delta = SE->getMinusSCEV(A[K].Coeff, B[K].Coeff);  in findBoundsEQ()
2722     const SCEV *Delta = SE->getMinusSCEV(A[K].Coeff, B[K].Coeff);  in findBoundsEQ()
2754       SE->getMinusSCEV(Bound[K].Iterations,  in findBoundsLT()
2757       getNegativePart(SE->getMinusSCEV(A[K].NegPart, B[K].Coeff));  in findBoundsLT()
2759       SE->getMinusSCEV(SE->getMulExpr(NegPart, Iter_1), B[K].Coeff);  in findBoundsLT()
2761       getPositivePart(SE->getMinusSCEV(A[K].PosPart, B[K].Coeff));  in findBoundsLT()
2763       SE->getMinusSCEV(SE->getMulExpr(PosPart, Iter_1), B[K].Coeff);  in findBoundsLT()
2769       getNegativePart(SE->getMinusSCEV(A[K].NegPart, B[K].Coeff));  in findBoundsLT()
2773       getPositivePart(SE->getMinusSCEV(A[K].PosPart, B[K].Coeff));  in findBoundsLT()
2801       SE->getMinusSCEV(Bound[K].Iterations,  in findBoundsGT()
2804       getNegativePart(SE->getMinusSCEV(A[K].Coeff, B[K].PosPart));  in findBoundsGT()
2808       getPositivePart(SE->getMinusSCEV(A[K].Coeff, B[K].NegPart));  in findBoundsGT()
2815     const SCEV *NegPart = getNegativePart(SE->getMinusSCEV(A[K].Coeff, B[K].PosPart));  in findBoundsGT()
2818     const SCEV *PosPart = getPositivePart(SE->getMinusSCEV(A[K].Coeff, B[K].NegPart));  in findBoundsGT()
3031   Src = SE->getMinusSCEV(Src, DA_K);  in propagateDistance()
3069     Src = SE->getMinusSCEV(Src, SE->getMulExpr(AP_K, SE->getConstant(CdivB)));  in propagateLine()
3132   Src = SE->getAddExpr(Src, SE->getMinusSCEV(XA_K, YAP_K));  in propagatePoint()
3209   SrcSCEV = SE->getMinusSCEV(SrcSCEV, SrcBase);  in tryDelinearize()
3210   DstSCEV = SE->getMinusSCEV(DstSCEV, DstBase);  in tryDelinearize()