Lines Matching defs:Pred

247 ///   icmp Pred, <induction variable>, <loop invariant limit>
249 ICmpInst::Predicate Pred;
252 LoopICmp(ICmpInst::Predicate Pred, const SCEVAddRecExpr *IV,
254 : Pred(Pred), IV(IV), Limit(Limit) {}
257 dbgs() << "LoopICmp Pred = " << Pred << ", IV = " << *IV
296 ICmpInst::Predicate Pred, const SCEV *LHS,
350 auto Pred = ICI->getPredicate();
365 Pred = ICmpInst::getSwappedPredicate(Pred);
372 return LoopICmp(Pred, AR, RHSS);
377 ICmpInst::Predicate Pred, const SCEV *LHS,
384 if (SE->isLoopEntryGuardedByCond(L, Pred, LHS, RHS))
386 if (SE->isLoopEntryGuardedByCond(L, ICmpInst::getInversePredicate(Pred),
396 return Builder.CreateICmp(Pred, LHSV, RHSV);
429 // iterations. Consider latchType = i64, LatchStart = 5, Pred = ICMP_SGE,
433 if (!SE.getMonotonicPredicateType(LatchCheck.IV, LatchCheck.Pred))
464 NewLatchCheck.Pred = LatchCheck.Pred;
575 ICmpInst::getFlippedStrictnessPredicate(LatchCheck.Pred);
579 LLVM_DEBUG(dbgs() << "Pred: " << LimitCheckPred << "\n");
583 auto *FirstIterationCheck = expandCheck(Expander, Guard, RangeCheck.Pred,
628 ICmpInst::getFlippedStrictnessPredicate(LatchCheck.Pred);
643 if (ICmpInst::isEquality(RC.Pred) &&
646 RC.Pred = RC.Pred == ICmpInst::ICMP_NE ?
670 if (RangeCheck->Pred != ICmpInst::ICMP_ULT) {
672 << RangeCheck->Pred << ")!\n");
794 for (auto *Pred : predecessors(IfTrueBB))
795 PN->addIncoming(Pred == GuardBB ? AssumeCond : Builder.getTrue(), Pred);
839 Result->Pred = ICmpInst::getInversePredicate(Result->Pred);
854 auto IsUnsupportedPredicate = [](const SCEV *Step, ICmpInst::Predicate Pred) {
856 return Pred != ICmpInst::ICMP_ULT && Pred != ICmpInst::ICMP_SLT &&
857 Pred != ICmpInst::ICMP_ULE && Pred != ICmpInst::ICMP_SLE;
860 return Pred != ICmpInst::ICMP_UGT && Pred != ICmpInst::ICMP_SGT &&
861 Pred != ICmpInst::ICMP_UGE && Pred != ICmpInst::ICMP_SGE;
866 if (IsUnsupportedPredicate(Step, Result->Pred)) {
867 LLVM_DEBUG(dbgs() << "Unsupported loop latch predicate(" << Result->Pred
985 if (BasicBlock *Pred = BB->getSinglePredecessor())
986 if (BB == Pred->getSingleSuccessor()) {
987 BB = Pred;
993 if (BasicBlock *Pred = BB->getSinglePredecessor()) {
994 if (auto *BI = dyn_cast<BranchInst>(Pred->getTerminator()))