512         dyn_cast<SCEVConstant>(SE->getMinusSCEV(C1A2, C2A1));  in intersectConstraints()
514         dyn_cast<SCEVConstant>(SE->getMinusSCEV(C1B2, C2B1));  in intersectConstraints()
516         dyn_cast<SCEVConstant>(SE->getMinusSCEV(A1B2, A2B1));  in intersectConstraints()
518         dyn_cast<SCEVConstant>(SE->getMinusSCEV(A2B1, A1B2));  in intersectConstraints()
1013   const SCEV *Delta = SE->getMinusSCEV(X, Y);  in isKnownPredicate()
1047   const SCEV *Bound = SE->getMinusSCEV(S, Size);  in isKnownLessThan()
1061       SE->getMinusSCEV(S, SE->getSMaxExpr(Size, SE->getOne(Size->getType())));  in isKnownLessThan()
1182   const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst);  in strongSIVtest()
1315   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in weakCrossingSIVtest()
1517   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in exactSIVtest()
1713   const SCEV *Delta = SE->getMinusSCEV(SrcConst, DstConst);  in weakZeroSrcSIVtest()
1822   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in weakZeroDstSIVtest()
1902   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in exactRDIVtest()
2063   const SCEV *C2_C1 = SE->getMinusSCEV(C2, C1);  in symbolicRDIVtest()
2064   const SCEV *C1_C2 = SE->getMinusSCEV(C1, C2);  in symbolicRDIVtest()
2095         const SCEV *A1N1_A2N2 = SE->getMinusSCEV(A1N1, A2N2);  in symbolicRDIVtest()
2116         const SCEV *A1N1_A2N2 = SE->getMinusSCEV(A1N1, A2N2);  in symbolicRDIVtest()
2385   const SCEV *Delta = SE->getMinusSCEV(DstConst, SrcConst);  in gcdMIVtest()
2446     const SCEV *DstCoeff = SE->getMinusSCEV(SrcCoeff, SrcCoeff);  in gcdMIVtest()
2481     Delta = SE->getMinusSCEV(SrcCoeff, DstCoeff);  in gcdMIVtest()
2554   const SCEV *Delta = SE->getMinusSCEV(B0, A0);  in banerjeeMIVtest()
2774       SE->getMulExpr(SE->getMinusSCEV(A[K].NegPart, B[K].PosPart),  in findBoundsALL()
2777       SE->getMulExpr(SE->getMinusSCEV(A[K].PosPart, B[K].NegPart),  in findBoundsALL()
2812     const SCEV *Delta = SE->getMinusSCEV(A[K].Coeff, B[K].Coeff);  in findBoundsEQ()
2823     const SCEV *Delta = SE->getMinusSCEV(A[K].Coeff, B[K].Coeff);  in findBoundsEQ()
2852     const SCEV *Iter_1 = SE->getMinusSCEV(  in findBoundsLT()
2855       getNegativePart(SE->getMinusSCEV(A[K].NegPart, B[K].Coeff));  in findBoundsLT()
2857       SE->getMinusSCEV(SE->getMulExpr(NegPart, Iter_1), B[K].Coeff);  in findBoundsLT()
2859       getPositivePart(SE->getMinusSCEV(A[K].PosPart, B[K].Coeff));  in findBoundsLT()
2861       SE->getMinusSCEV(SE->getMulExpr(PosPart, Iter_1), B[K].Coeff);  in findBoundsLT()
2867       getNegativePart(SE->getMinusSCEV(A[K].NegPart, B[K].Coeff));  in findBoundsLT()
2871       getPositivePart(SE->getMinusSCEV(A[K].PosPart, B[K].Coeff));  in findBoundsLT()
2896     const SCEV *Iter_1 = SE->getMinusSCEV(  in findBoundsGT()
2899       getNegativePart(SE->getMinusSCEV(A[K].Coeff, B[K].PosPart));  in findBoundsGT()
2903       getPositivePart(SE->getMinusSCEV(A[K].Coeff, B[K].NegPart));  in findBoundsGT()
2910     const SCEV *NegPart = getNegativePart(SE->getMinusSCEV(A[K].Coeff, B[K].PosPart));  in findBoundsGT()
2913     const SCEV *PosPart = getPositivePart(SE->getMinusSCEV(A[K].Coeff, B[K].NegPart));  in findBoundsGT()
3123   Src = SE->getMinusSCEV(Src, DA_K);  in propagateDistance()
3161     Src = SE->getMinusSCEV(Src, SE->getMulExpr(AP_K, SE->getConstant(CdivB)));  in propagateLine()
3223   Src = SE->getAddExpr(Src, SE->getMinusSCEV(XA_K, YAP_K));  in propagatePoint()
3435   const SCEV *SrcSCEV = SE->getMinusSCEV(SrcAccessFn, SrcBase);  in tryDelinearizeParametricSize()
3436   const SCEV *DstSCEV = SE->getMinusSCEV(DstAccessFn, DstBase);  in tryDelinearizeParametricSize()