Lines Matching defs:NumOut

126   unsigned NumOut;
130 : Inst(Inst), NumIn(DTN->getDFSNumIn()), NumOut(DTN->getDFSNumOut()),
134 : U(U), NumIn(DTN->getDFSNumIn()), NumOut(DTN->getDFSNumOut()),
140 NumOut(DTN->getDFSNumOut()), Ty(EntryTy::ConditionFact) {}
210 unsigned NumOut;
216 StackEntry(unsigned NumIn, unsigned NumOut, bool IsSigned,
218 : NumIn(NumIn), NumOut(NumOut), IsSigned(IsSigned),
309 unsigned NumOut, SmallVectorImpl<StackEntry> &DFSInStack);
332 unsigned NumIn, unsigned NumOut,
340 unsigned NumOut, SmallVectorImpl<StackEntry> &DFSInStack,
871 unsigned NumOut, SmallVectorImpl<StackEntry> &DFSInStack) {
891 NumOut, DFSInStack);
892 addFact(ICmpInst::getSignedPredicate(Pred), A, B, NumIn, NumOut,
901 NumOut, DFSInStack);
902 addFact(ICmpInst::getSignedPredicate(Pred), A, B, NumIn, NumOut,
908 addFact(CmpInst::ICMP_ULT, A, B, NumIn, NumOut, DFSInStack);
913 NumOut, DFSInStack);
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,
1789 LLVM_DEBUG(dbgs() << "Top of stack : " << E.NumIn << " " << E.NumOut
1791 LLVM_DEBUG(dbgs() << "CB: " << CB.NumIn << " " << CB.NumOut << "\n");
1793 if (CB.NumOut <= E.NumOut)
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,