484     const SCEV *Prod1 = SE->getMulExpr(X->getA(), Y->getB());  in intersectConstraints()
485     const SCEV *Prod2 = SE->getMulExpr(X->getB(), Y->getA());  in intersectConstraints()
489       Prod1 = SE->getMulExpr(X->getC(), Y->getB());  in intersectConstraints()
490       Prod2 = SE->getMulExpr(X->getB(), Y->getC());  in intersectConstraints()
503       const SCEV *C1B2 = SE->getMulExpr(X->getC(), Y->getB());  in intersectConstraints()
504       const SCEV *C1A2 = SE->getMulExpr(X->getC(), Y->getA());  in intersectConstraints()
505       const SCEV *C2B1 = SE->getMulExpr(Y->getC(), X->getB());  in intersectConstraints()
506       const SCEV *C2A1 = SE->getMulExpr(Y->getC(), X->getA());  in intersectConstraints()
507       const SCEV *A1B2 = SE->getMulExpr(X->getA(), Y->getB());  in intersectConstraints()
508       const SCEV *A2B1 = SE->getMulExpr(Y->getA(), X->getB());  in intersectConstraints()
569     const SCEV *A1X1 = SE->getMulExpr(Y->getA(), X->getX());  in intersectConstraints()
570     const SCEV *B1Y1 = SE->getMulExpr(Y->getB(), X->getY());  in intersectConstraints()
1172     const SCEV *Product = SE->getMulExpr(UpperBound, AbsCoeff);  in strongSIVtest()
1323       SE->getMulExpr(SE->getConstant(Delta->getType(), 2), ConstCoeff));  in weakCrossingSIVtest()
1346     const SCEV *ML = SE->getMulExpr(SE->getMulExpr(ConstCoeff, UpperBound),  in weakCrossingSIVtest()
1730     const SCEV *Product = SE->getMulExpr(AbsCoeff, UpperBound);  in weakZeroSrcSIVtest()
1839     const SCEV *Product = SE->getMulExpr(AbsCoeff, UpperBound);  in weakZeroDstSIVtest()
2048         const SCEV *A1N1 = SE->getMulExpr(A1, N1);  in symbolicRDIVtest()
2057         const SCEV *A2N2 = SE->getMulExpr(A2, N2);  in symbolicRDIVtest()
2069         const SCEV *A1N1 = SE->getMulExpr(A1, N1);  in symbolicRDIVtest()
2070         const SCEV *A2N2 = SE->getMulExpr(A2, N2);  in symbolicRDIVtest()
2090         const SCEV *A1N1 = SE->getMulExpr(A1, N1);  in symbolicRDIVtest()
2091         const SCEV *A2N2 = SE->getMulExpr(A2, N2);  in symbolicRDIVtest()
2109         const SCEV *A1N1 = SE->getMulExpr(A1, N1);  in symbolicRDIVtest()
2118         const SCEV *A2N2 = SE->getMulExpr(A2, N2);  in symbolicRDIVtest()
2737       SE->getMulExpr(SE->getMinusSCEV(A[K].NegPart, B[K].PosPart),  in findBoundsALL()
2740       SE->getMulExpr(SE->getMinusSCEV(A[K].PosPart, B[K].NegPart),  in findBoundsALL()
2778       SE->getMulExpr(NegativePart, Bound[K].Iterations);  in findBoundsEQ()
2781       SE->getMulExpr(PositivePart, Bound[K].Iterations);  in findBoundsEQ()
2820       SE->getMinusSCEV(SE->getMulExpr(NegPart, Iter_1), B[K].Coeff);  in findBoundsLT()
2824       SE->getMinusSCEV(SE->getMulExpr(PosPart, Iter_1), B[K].Coeff);  in findBoundsLT()
2864       SE->getAddExpr(SE->getMulExpr(NegPart, Iter_1), A[K].Coeff);  in findBoundsGT()
2868       SE->getAddExpr(SE->getMulExpr(PosPart, Iter_1), A[K].Coeff);  in findBoundsGT()
3085   const SCEV *DA_K = SE->getMulExpr(A_K, CurConstraint.getD());  in propagateDistance()
3124     Src = SE->getMinusSCEV(Src, SE->getMulExpr(AP_K, SE->getConstant(CdivB)));  in propagateLine()
3138     Src = SE->getAddExpr(Src, SE->getMulExpr(A_K, SE->getConstant(CdivA)));  in propagateLine()
3152     Src = SE->getAddExpr(Src, SE->getMulExpr(A_K, SE->getConstant(CdivA)));  in propagateLine()
3161     Src = SE->getMulExpr(Src, A);  in propagateLine()
3162     Dst = SE->getMulExpr(Dst, A);  in propagateLine()
3163     Src = SE->getAddExpr(Src, SE->getMulExpr(A_K, C));  in propagateLine()
3165     Dst = addToCoefficient(Dst, CurLoop, SE->getMulExpr(A_K, B));  in propagateLine()
3183   const SCEV *XA_K = SE->getMulExpr(A_K, CurConstraint.getX());  in propagatePoint()
3184   const SCEV *YAP_K = SE->getMulExpr(AP_K, CurConstraint.getY());  in propagatePoint()