126   unsigned NumIn;  member
131       : Inst(Inst), NumIn(DTN->getDFSNumIn()), NumOut(DTN->getDFSNumOut()),  in FactOrCheck()
136         NumIn(DTN->getDFSNumIn()), NumOut(DTN->getDFSNumOut()),  in FactOrCheck()
141       : Cond(Pred, Op0, Op1), DoesHold(Precond), NumIn(DTN->getDFSNumIn()),  in FactOrCheck()
210   unsigned NumIn;  member
217   StackEntry(unsigned NumIn, unsigned NumOut, bool IsSigned,  in StackEntry()
219       : NumIn(NumIn), NumOut(NumOut), IsSigned(IsSigned),  in StackEntry()
309   void addFact(CmpInst::Predicate Pred, Value *A, Value *B, unsigned NumIn,
332                              unsigned NumIn, unsigned NumOut,
837     CmpInst::Predicate Pred, Value *A, Value *B, unsigned NumIn,  in transferToOtherSystem()  argument
857       addFact(CmpInst::ICMP_SGE, A, ConstantInt::get(B->getType(), 0), NumIn,  in transferToOtherSystem()
859       addFact(CmpInst::getSignedPredicate(Pred), A, B, NumIn, NumOut,  in transferToOtherSystem()
867       addFact(CmpInst::ICMP_SGE, B, ConstantInt::get(B->getType(), 0), NumIn,  in transferToOtherSystem()
869       addFact(CmpInst::getSignedPredicate(Pred), A, B, NumIn, NumOut,  in transferToOtherSystem()
875       addFact(CmpInst::ICMP_ULT, A, B, NumIn, NumOut, DFSInStack);  in transferToOtherSystem()
879       addFact(CmpInst::ICMP_UGE, A, ConstantInt::get(B->getType(), 0), NumIn,  in transferToOtherSystem()
882       addFact(CmpInst::ICMP_UGT, A, B, NumIn, NumOut, DFSInStack);  in transferToOtherSystem()
888       addFact(CmpInst::ICMP_UGE, A, B, NumIn, NumOut, DFSInStack);  in transferToOtherSystem()
1400     CmpInst *Cmp, ConstraintInfo &Info, unsigned NumIn, unsigned NumOut,  in checkAndReplaceCondition()  argument
1408     Cmp->replaceUsesWithIf(ConstantC, [&DT, NumIn, NumOut,  in checkAndReplaceCondition()
1412       if (!DTN || DTN->getDFSNumIn() < NumIn || DTN->getDFSNumOut() > NumOut)  in checkAndReplaceCondition()
1524   Info.addFact(Pred, A, B, CB.NumIn, CB.NumOut, DFSInStack);  in checkOrAndOpImpliedByOther()
1555                              unsigned NumIn, unsigned NumOut,  in addFact()  argument
1591     DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned,  in addFact()
1600         DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned,  in addFact()
1611       DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned,  in addFact()
1714     if (A.NumIn == B.NumIn) {  in eliminateConstraints()
1728     return A.NumIn < B.NumIn;  in eliminateConstraints()
1741       LLVM_DEBUG(dbgs() << "Top of stack : " << E.NumIn << " " << E.NumOut  in eliminateConstraints()
1743       LLVM_DEBUG(dbgs() << "CB: " << CB.NumIn << " " << CB.NumOut << "\n");  in eliminateConstraints()
1744       assert(E.NumIn <= CB.NumIn);  in eliminateConstraints()
1769             Cmp, Info, CB.NumIn, CB.NumOut, CB.getContextInst(),  in eliminateConstraints()
1796       Info.addFact(Pred, A, B, CB.NumIn, CB.NumOut, DFSInStack);  in eliminateConstraints()
1800       Info.transferToOtherSystem(Pred, A, B, CB.NumIn, CB.NumOut, DFSInStack);  in eliminateConstraints()