Lines Matching refs:Prod1
464 const SCEV *Prod1 = SE->getMulExpr(X->getA(), Y->getB());
466 if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) {
469 Prod1 = SE->getMulExpr(X->getC(), Y->getB());
471 if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2))
473 if (isKnownPredicate(CmpInst::ICMP_NE, Prod1, Prod2)) {
480 if (isKnownPredicate(CmpInst::ICMP_NE, Prod1, Prod2)) {
526 collectConstantUpperBound(X->getAssociatedLoop(), Prod1->getType())) {
