Lines Matching refs:getMulExpr
468 const SCEV *Prod1 = SE->getMulExpr(X->getA(), Y->getB()); in intersectConstraints()
469 const SCEV *Prod2 = SE->getMulExpr(X->getB(), Y->getA()); in intersectConstraints()
473 Prod1 = SE->getMulExpr(X->getC(), Y->getB()); in intersectConstraints()
474 Prod2 = SE->getMulExpr(X->getB(), Y->getC()); in intersectConstraints()
487 const SCEV *C1B2 = SE->getMulExpr(X->getC(), Y->getB()); in intersectConstraints()
488 const SCEV *C1A2 = SE->getMulExpr(X->getC(), Y->getA()); in intersectConstraints()
489 const SCEV *C2B1 = SE->getMulExpr(Y->getC(), X->getB()); in intersectConstraints()
490 const SCEV *C2A1 = SE->getMulExpr(Y->getC(), X->getA()); in intersectConstraints()
491 const SCEV *A1B2 = SE->getMulExpr(X->getA(), Y->getB()); in intersectConstraints()
492 const SCEV *A2B1 = SE->getMulExpr(Y->getA(), X->getB()); in intersectConstraints()
553 const SCEV *A1X1 = SE->getMulExpr(Y->getA(), X->getX()); in intersectConstraints()
554 const SCEV *B1Y1 = SE->getMulExpr(Y->getB(), X->getY()); in intersectConstraints()
1107 const SCEV *Product = SE->getMulExpr(UpperBound, AbsCoeff); in strongSIVtest()
1262 SE->getMulExpr(SE->getConstant(Delta->getType(), 2), ConstCoeff)); in weakCrossingSIVtest()
1285 const SCEV *ML = SE->getMulExpr(SE->getMulExpr(ConstCoeff, UpperBound), in weakCrossingSIVtest()
1691 const SCEV *Product = SE->getMulExpr(AbsCoeff, UpperBound); in weakZeroSrcSIVtest()
1801 const SCEV *Product = SE->getMulExpr(AbsCoeff, UpperBound); in weakZeroDstSIVtest()
2015 const SCEV *A1N1 = SE->getMulExpr(A1, N1); in symbolicRDIVtest()
2024 const SCEV *A2N2 = SE->getMulExpr(A2, N2); in symbolicRDIVtest()
2036 const SCEV *A1N1 = SE->getMulExpr(A1, N1); in symbolicRDIVtest()
2037 const SCEV *A2N2 = SE->getMulExpr(A2, N2); in symbolicRDIVtest()
2057 const SCEV *A1N1 = SE->getMulExpr(A1, N1); in symbolicRDIVtest()
2058 const SCEV *A2N2 = SE->getMulExpr(A2, N2); in symbolicRDIVtest()
2076 const SCEV *A1N1 = SE->getMulExpr(A1, N1); in symbolicRDIVtest()
2085 const SCEV *A2N2 = SE->getMulExpr(A2, N2); in symbolicRDIVtest()
2720 SE->getMulExpr(SE->getMinusSCEV(A[K].NegPart, B[K].PosPart), in findBoundsALL()
2723 SE->getMulExpr(SE->getMinusSCEV(A[K].PosPart, B[K].NegPart), in findBoundsALL()
2763 SE->getMulExpr(NegativePart, Bound[K].Iterations); in findBoundsEQ()
2766 SE->getMulExpr(PositivePart, Bound[K].Iterations); in findBoundsEQ()
2807 SE->getMinusSCEV(SE->getMulExpr(NegPart, Iter_1), B[K].Coeff); in findBoundsLT()
2811 SE->getMinusSCEV(SE->getMulExpr(PosPart, Iter_1), B[K].Coeff); in findBoundsLT()
2853 SE->getAddExpr(SE->getMulExpr(NegPart, Iter_1), A[K].Coeff); in findBoundsGT()
2857 SE->getAddExpr(SE->getMulExpr(PosPart, Iter_1), A[K].Coeff); in findBoundsGT()
3077 const SCEV *DA_K = SE->getMulExpr(A_K, CurConstraint.getD()); in propagateDistance()
3116 Src = SE->getMinusSCEV(Src, SE->getMulExpr(AP_K, SE->getConstant(CdivB))); in propagateLine()
3130 Src = SE->getAddExpr(Src, SE->getMulExpr(A_K, SE->getConstant(CdivA))); in propagateLine()
3144 Src = SE->getAddExpr(Src, SE->getMulExpr(A_K, SE->getConstant(CdivA))); in propagateLine()
3153 Src = SE->getMulExpr(Src, A); in propagateLine()
3154 Dst = SE->getMulExpr(Dst, A); in propagateLine()
3155 Src = SE->getAddExpr(Src, SE->getMulExpr(A_K, C)); in propagateLine()
3157 Dst = addToCoefficient(Dst, CurLoop, SE->getMulExpr(A_K, B)); in propagateLine()
3176 const SCEV *XA_K = SE->getMulExpr(A_K, CurConstraint.getX()); in propagatePoint()
3177 const SCEV *YAP_K = SE->getMulExpr(AP_K, CurConstraint.getY()); in propagatePoint()