125   unsigned NumIn;  member
130       : Inst(Inst), NumIn(DTN->getDFSNumIn()), NumOut(DTN->getDFSNumOut()),  in FactOrCheck()
135         NumIn(DTN->getDFSNumIn()), NumOut(DTN->getDFSNumOut()),  in FactOrCheck()
140       : Cond(Pred, Op0, Op1), DoesHold(Precond), NumIn(DTN->getDFSNumIn()),  in FactOrCheck()
209   unsigned NumIn;  member
216   StackEntry(unsigned NumIn, unsigned NumOut, bool IsSigned,  in StackEntry()
218       : NumIn(NumIn), NumOut(NumOut), IsSigned(IsSigned),  in StackEntry()
308   void addFact(CmpInst::Predicate Pred, Value *A, Value *B, unsigned NumIn,
331                              unsigned NumIn, unsigned NumOut,
821     CmpInst::Predicate Pred, Value *A, Value *B, unsigned NumIn,  in transferToOtherSystem()  argument
841       addFact(CmpInst::ICMP_SGE, A, ConstantInt::get(B->getType(), 0), NumIn,  in transferToOtherSystem()
843       addFact(CmpInst::getSignedPredicate(Pred), A, B, NumIn, NumOut,  in transferToOtherSystem()
851       addFact(CmpInst::ICMP_SGE, B, ConstantInt::get(B->getType(), 0), NumIn,  in transferToOtherSystem()
853       addFact(CmpInst::getSignedPredicate(Pred), A, B, NumIn, NumOut,  in transferToOtherSystem()
859       addFact(CmpInst::ICMP_ULT, A, B, NumIn, NumOut, DFSInStack);  in transferToOtherSystem()
863       addFact(CmpInst::ICMP_UGE, A, ConstantInt::get(B->getType(), 0), NumIn,  in transferToOtherSystem()
866       addFact(CmpInst::ICMP_UGT, A, B, NumIn, NumOut, DFSInStack);  in transferToOtherSystem()
872       addFact(CmpInst::ICMP_UGE, A, B, NumIn, NumOut, DFSInStack);  in transferToOtherSystem()
1362     CmpInst *Cmp, ConstraintInfo &Info, unsigned NumIn, unsigned NumOut,  in checkAndReplaceCondition()  argument
1370     Cmp->replaceUsesWithIf(ConstantC, [&DT, NumIn, NumOut,  in checkAndReplaceCondition()
1374       if (!DTN || DTN->getDFSNumIn() < NumIn || DTN->getDFSNumOut() > NumOut)  in checkAndReplaceCondition()
1444   Info.addFact(Pred, A, B, CB.NumIn, CB.NumOut, DFSInStack);  in checkOrAndOpImpliedByOther()
1475                              unsigned NumIn, unsigned NumOut,  in addFact()  argument
1511     DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned,  in addFact()
1520         DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned,  in addFact()
1531       DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned,  in addFact()
1634     if (A.NumIn == B.NumIn) {  in eliminateConstraints()
1648     return A.NumIn < B.NumIn;  in eliminateConstraints()
1661       LLVM_DEBUG(dbgs() << "Top of stack : " << E.NumIn << " " << E.NumOut  in eliminateConstraints()
1663       LLVM_DEBUG(dbgs() << "CB: " << CB.NumIn << " " << CB.NumOut << "\n");  in eliminateConstraints()
1664       assert(E.NumIn <= CB.NumIn);  in eliminateConstraints()
1689             Cmp, Info, CB.NumIn, CB.NumOut, CB.getContextInst(),  in eliminateConstraints()
1712       Info.addFact(Pred, A, B, CB.NumIn, CB.NumOut, DFSInStack);  in eliminateConstraints()
1716       Info.transferToOtherSystem(Pred, A, B, CB.NumIn, CB.NumOut, DFSInStack);  in eliminateConstraints()