53   unsigned NumIn;  member
61   StackEntry(unsigned NumIn, unsigned NumOut, bool IsNot, bool IsSigned,  in StackEntry()
63       : NumIn(NumIn), NumOut(NumOut), IsNot(IsNot), IsSigned(IsSigned),  in StackEntry()
146                unsigned NumIn, unsigned NumOut,
167                              bool IsNegated, unsigned NumIn, unsigned NumOut,
394     CmpInst::Predicate Pred, Value *A, Value *B, bool IsNegated, unsigned NumIn,  in transferToOtherSystem()  argument
410               IsNegated, NumIn, NumOut, DFSInStack);  in transferToOtherSystem()
411       addFact(CmpInst::ICMP_SLT, A, B, IsNegated, NumIn, NumOut, DFSInStack);  in transferToOtherSystem()
416       addFact(CmpInst::ICMP_ULT, A, B, IsNegated, NumIn, NumOut, DFSInStack);  in transferToOtherSystem()
421               IsNegated, NumIn, NumOut, DFSInStack);  in transferToOtherSystem()
425       addFact(CmpInst::ICMP_UGE, A, B, IsNegated, NumIn, NumOut, DFSInStack);  in transferToOtherSystem()
435   unsigned NumIn;  member
445       : NumIn(DTN->getDFSNumIn()), NumOut(DTN->getDFSNumOut()), IsBlock(true),  in ConstraintOrBlock()
448       : NumIn(DTN->getDFSNumIn()), NumOut(DTN->getDFSNumOut()), IsBlock(false),  in ConstraintOrBlock()
575                              bool IsNegated, unsigned NumIn, unsigned NumOut,  in addFact()  argument
608     DFSInStack.emplace_back(NumIn, NumOut, IsNegated, R.IsSigned,  in addFact()
617       DFSInStack.emplace_back(NumIn, NumOut, IsNegated, R.IsSigned,  in addFact()
691     return std::tie(A.NumIn, A.IsBlock) < std::tie(B.NumIn, B.IsBlock);  in eliminateConstraints()
703       LLVM_DEBUG(dbgs() << "Top of stack : " << E.NumIn << " " << E.NumOut  in eliminateConstraints()
705       LLVM_DEBUG(dbgs() << "CB: " << CB.NumIn << " " << CB.NumOut << "\n");  in eliminateConstraints()
706       assert(E.NumIn <= CB.NumIn);  in eliminateConstraints()
812       Info.addFact(Pred, A, B, CB.Not, CB.NumIn, CB.NumOut, DFSInStack);  in eliminateConstraints()
813       Info.transferToOtherSystem(Pred, A, B, CB.Not, CB.NumIn, CB.NumOut,  in eliminateConstraints()