147                SmallVectorImpl<StackEntry> &DFSInStack);
168                              SmallVectorImpl<StackEntry> &DFSInStack);
395     unsigned NumOut, SmallVectorImpl<StackEntry> &DFSInStack) {  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()
576                              SmallVectorImpl<StackEntry> &DFSInStack) {  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()
697   SmallVector<StackEntry, 16> DFSInStack;  in eliminateConstraints()  local
701     while (!DFSInStack.empty()) {  in eliminateConstraints()
702       auto &E = DFSInStack.back();  in eliminateConstraints()
722       DFSInStack.pop_back();  in eliminateConstraints()
812       Info.addFact(Pred, A, B, CB.Not, CB.NumIn, CB.NumOut, DFSInStack);  in eliminateConstraints()
814                                  DFSInStack);  in eliminateConstraints()
820       count_if(DFSInStack, [](const StackEntry &E) { return E.IsSigned; });  in eliminateConstraints()
821   assert(Info.getCS(false).size() == DFSInStack.size() - SignedEntries &&  in eliminateConstraints()