575         dyn_cast<SCEVConstant>(SE->getMinusSCEV(C1A2, C2A1));  in intersectConstraints()
577         dyn_cast<SCEVConstant>(SE->getMinusSCEV(C1B2, C2B1));  in intersectConstraints()
579         dyn_cast<SCEVConstant>(SE->getMinusSCEV(A1B2, A2B1));  in intersectConstraints()
581         dyn_cast<SCEVConstant>(SE->getMinusSCEV(A2B1, A1B2));  in intersectConstraints()
1076   const SCEV *Delta = SE->getMinusSCEV(X, Y);  in isKnownPredicate()
1110   const SCEV *Bound = SE->getMinusSCEV(S, Size);  in isKnownLessThan()
1124       SE->getMinusSCEV(S, SE->getSMaxExpr(Size, SE->getOne(Size->getType())));  in isKnownLessThan()
1245   const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst);  in strongSIVtest()
1378   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in weakCrossingSIVtest()
1580   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in exactSIVtest()
1776   const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst);  in weakZeroSrcSIVtest()
1885   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in weakZeroDstSIVtest()
1965   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in exactRDIVtest()
2126   const SCEV *C2_C1 = SE->getMinusSCEV(C2, C1);  in symbolicRDIVtest()
2127   const SCEV *C1_C2 = SE->getMinusSCEV(C1, C2);  in symbolicRDIVtest()
2158         const SCEV *A1N1_A2N2 = SE->getMinusSCEV(A1N1, A2N2);  in symbolicRDIVtest()
2179         const SCEV *A1N1_A2N2 = SE->getMinusSCEV(A1N1, A2N2);  in symbolicRDIVtest()
2448   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in gcdMIVtest()
2509     const SCEV *DstCoeff = SE->getMinusSCEV(SrcCoeff, SrcCoeff);  in gcdMIVtest()
2544     Delta = SE->getMinusSCEV(SrcCoeff, DstCoeff);  in gcdMIVtest()
2617   const SCEV *Delta = SE->getMinusSCEV(B0, A0);  in banerjeeMIVtest()
2837       SE->getMulExpr(SE->getMinusSCEV(A[K].NegPart, B[K].PosPart),  in findBoundsALL()
2840       SE->getMulExpr(SE->getMinusSCEV(A[K].PosPart, B[K].NegPart),  in findBoundsALL()
2875     const SCEV *Delta = SE->getMinusSCEV(A[K].Coeff, B[K].Coeff);  in findBoundsEQ()
2886     const SCEV *Delta = SE->getMinusSCEV(A[K].Coeff, B[K].Coeff);  in findBoundsEQ()
2915     const SCEV *Iter_1 = SE->getMinusSCEV(  in findBoundsLT()
2918       getNegativePart(SE->getMinusSCEV(A[K].NegPart, B[K].Coeff));  in findBoundsLT()
2920       SE->getMinusSCEV(SE->getMulExpr(NegPart, Iter_1), B[K].Coeff);  in findBoundsLT()
2922       getPositivePart(SE->getMinusSCEV(A[K].PosPart, B[K].Coeff));  in findBoundsLT()
2924       SE->getMinusSCEV(SE->getMulExpr(PosPart, Iter_1), B[K].Coeff);  in findBoundsLT()
2930       getNegativePart(SE->getMinusSCEV(A[K].NegPart, B[K].Coeff));  in findBoundsLT()
2934       getPositivePart(SE->getMinusSCEV(A[K].PosPart, B[K].Coeff));  in findBoundsLT()
2959     const SCEV *Iter_1 = SE->getMinusSCEV(  in findBoundsGT()
2962       getNegativePart(SE->getMinusSCEV(A[K].Coeff, B[K].PosPart));  in findBoundsGT()
2966       getPositivePart(SE->getMinusSCEV(A[K].Coeff, B[K].NegPart));  in findBoundsGT()
2973     const SCEV *NegPart = getNegativePart(SE->getMinusSCEV(A[K].Coeff, B[K].PosPart));  in findBoundsGT()
2976     const SCEV *PosPart = getPositivePart(SE->getMinusSCEV(A[K].Coeff, B[K].NegPart));  in findBoundsGT()
3186   Src = SE->getMinusSCEV(Src, DA_K);  in propagateDistance()
3224     Src = SE->getMinusSCEV(Src, SE->getMulExpr(AP_K, SE->getConstant(CdivB)));  in propagateLine()
3286   Src = SE->getAddExpr(Src, SE->getMinusSCEV(XA_K, YAP_K));  in propagatePoint()
3498   const SCEV *SrcSCEV = SE->getMinusSCEV(SrcAccessFn, SrcBase);  in tryDelinearizeParametricSize()
3499   const SCEV *DstSCEV = SE->getMinusSCEV(DstAccessFn, DstBase);  in tryDelinearizeParametricSize()