Lines Matching defs:NumOut
127 unsigned NumOut;
131 : Inst(Inst), NumIn(DTN->getDFSNumIn()), NumOut(DTN->getDFSNumOut()),
136 NumIn(DTN->getDFSNumIn()), NumOut(DTN->getDFSNumOut()),
142 NumOut(DTN->getDFSNumOut()), Ty(EntryTy::ConditionFact) {}
211 unsigned NumOut;
217 StackEntry(unsigned NumIn, unsigned NumOut, bool IsSigned,
219 : NumIn(NumIn), NumOut(NumOut), IsSigned(IsSigned),
310 unsigned NumOut, SmallVectorImpl<StackEntry> &DFSInStack);
332 unsigned NumIn, unsigned NumOut,
838 unsigned NumOut, SmallVectorImpl<StackEntry> &DFSInStack) {
858 NumOut, DFSInStack);
859 addFact(CmpInst::getSignedPredicate(Pred), A, B, NumIn, NumOut,
868 NumOut, DFSInStack);
869 addFact(CmpInst::getSignedPredicate(Pred), A, B, NumIn, NumOut,
875 addFact(CmpInst::ICMP_ULT, A, B, NumIn, NumOut, DFSInStack);
880 NumOut, DFSInStack);
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,
1741 LLVM_DEBUG(dbgs() << "Top of stack : " << E.NumIn << " " << E.NumOut
1743 LLVM_DEBUG(dbgs() << "CB: " << CB.NumIn << " " << CB.NumOut << "\n");
1745 if (CB.NumOut <= E.NumOut)
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);