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