Lines Matching full:prod1
463 const SCEV *Prod1 = SE->getMulExpr(X->getA(), Y->getB());
465 if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) {
468 Prod1 = SE->getMulExpr(X->getC(), Y->getB());
470 if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2))
472 if (isKnownPredicate(CmpInst::ICMP_NE, Prod1, Prod2)) {
479 if (isKnownPredicate(CmpInst::ICMP_NE, Prod1
525 collectConstantUpperBound(X->getAssociatedLoop(), Prod1->getType())) {