Lines Matching defs:NumIn
125 unsigned NumIn;
130 : Inst(Inst), NumIn(DTN->getDFSNumIn()), NumOut(DTN->getDFSNumOut()),
134 : U(U), NumIn(DTN->getDFSNumIn()), NumOut(DTN->getDFSNumOut()),
139 : Cond(Pred, Op0, Op1), DoesHold(Precond), NumIn(DTN->getDFSNumIn()),
209 unsigned NumIn;
216 StackEntry(unsigned NumIn, unsigned NumOut, bool IsSigned,
218 : NumIn(NumIn), NumOut(NumOut), IsSigned(IsSigned),
308 void addFact(CmpInst::Predicate Pred, Value *A, Value *B, unsigned NumIn,
332 unsigned NumIn, unsigned NumOut,
339 void addFactImpl(CmpInst::Predicate Pred, Value *A, Value *B, unsigned NumIn,
870 CmpInst::Predicate Pred, Value *A, Value *B, unsigned NumIn,
890 addFact(CmpInst::ICMP_SGE, A, ConstantInt::get(B->getType(), 0), NumIn,
892 addFact(ICmpInst::getSignedPredicate(Pred), A, B, NumIn, NumOut,
900 addFact(CmpInst::ICMP_SGE, B, ConstantInt::get(B->getType(), 0), NumIn,
902 addFact(ICmpInst::getSignedPredicate(Pred), A, B, NumIn, NumOut,
908 addFact(CmpInst::ICMP_ULT, A, B, NumIn, NumOut, DFSInStack);
912 addFact(CmpInst::ICMP_UGE, A, ConstantInt::get(B->getType(), 0), NumIn,
915 addFact(CmpInst::ICMP_UGT, A, B, NumIn, NumOut, DFSInStack);
921 addFact(CmpInst::ICMP_UGE, A, B, NumIn, NumOut, DFSInStack);
1431 CmpInst *Cmp, ConstraintInfo &Info, unsigned NumIn, unsigned NumOut,
1439 Cmp->replaceUsesWithIf(ConstantC, [&DT, NumIn, NumOut,
1443 if (!DTN || DTN->getDFSNumIn() < NumIn || DTN->getDFSNumOut() > NumOut)
1562 Info.addFact(Pred, LHS, RHS, CB.NumIn, CB.NumOut, DFSInStack);
1594 unsigned NumIn, unsigned NumOut,
1596 addFactImpl(Pred, A, B, NumIn, NumOut, DFSInStack, false);
1599 addFactImpl(Pred, A, B, NumIn, NumOut, DFSInStack, true);
1603 unsigned NumIn, unsigned NumOut,
1640 DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned,
1649 DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned,
1660 DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned,
1762 if (A.NumIn == B.NumIn) {
1776 return A.NumIn < B.NumIn;
1789 LLVM_DEBUG(dbgs() << "Top of stack : " << E.NumIn << " " << E.NumOut
1791 LLVM_DEBUG(dbgs() << "CB: " << CB.NumIn << " " << CB.NumOut << "\n");
1792 assert(E.NumIn <= CB.NumIn);
1817 Cmp, Info, CB.NumIn, CB.NumOut, CB.getContextInst(),
1844 Info.addFact(Pred, A, B, CB.NumIn, CB.NumOut, DFSInStack);
1854 CB.NumIn, CB.NumOut, DFSInStack);
1856 Info.transferToOtherSystem(Pred, A, B, CB.NumIn, CB.NumOut,