Lines Matching refs:Cmp
409 if (auto *Cmp = dyn_cast<CmpInst>(Cond)) in processAssume() local
410 collectCmpOps(Cmp, Values); in processAssume()
455 if (auto *Cmp = dyn_cast<CmpInst>(Cond)) in processBranch() local
456 collectCmpOps(Cmp, Values); in processBranch()
793 CmpInst *Cmp = dyn_cast<CmpInst>(Condition); in getConstraint() local
794 if (!Cmp) { in getConstraint()
801 if (Cmp->getOperand(0) == RenamedOp) { in getConstraint()
802 Pred = Cmp->getPredicate(); in getConstraint()
803 OtherOp = Cmp->getOperand(1); in getConstraint()
804 } else if (Cmp->getOperand(1) == RenamedOp) { in getConstraint()
805 Pred = Cmp->getSwappedPredicate(); in getConstraint()
806 OtherOp = Cmp->getOperand(0); in getConstraint()