309                unsigned NumOut, SmallVectorImpl<StackEntry> &DFSInStack);
332                              SmallVectorImpl<StackEntry> &DFSInStack);
822     unsigned NumOut, SmallVectorImpl<StackEntry> &DFSInStack) {  in transferToOtherSystem()  argument
842               NumOut, DFSInStack);  in transferToOtherSystem()
844               DFSInStack);  in transferToOtherSystem()
852               NumOut, DFSInStack);  in transferToOtherSystem()
854               DFSInStack);  in transferToOtherSystem()
859       addFact(CmpInst::ICMP_ULT, A, B, NumIn, NumOut, DFSInStack);  in transferToOtherSystem()
864               NumOut, DFSInStack);  in transferToOtherSystem()
866       addFact(CmpInst::ICMP_UGT, A, B, NumIn, NumOut, DFSInStack);  in transferToOtherSystem()
872       addFact(CmpInst::ICMP_UGE, A, B, NumIn, NumOut, DFSInStack);  in transferToOtherSystem()
1402                      SmallVectorImpl<StackEntry> &DFSInStack) {  in removeEntryFromStack()  argument
1409   DFSInStack.pop_back();  in removeEntryFromStack()
1419     SmallVectorImpl<StackEntry> &DFSInStack) {  in checkOrAndOpImpliedByOther()  argument
1443   unsigned OldSize = DFSInStack.size();  in checkOrAndOpImpliedByOther()
1444   Info.addFact(Pred, A, B, CB.NumIn, CB.NumOut, DFSInStack);  in checkOrAndOpImpliedByOther()
1445   if (OldSize == DFSInStack.size())  in checkOrAndOpImpliedByOther()
1466   while (OldSize < DFSInStack.size()) {  in checkOrAndOpImpliedByOther()
1467     StackEntry E = DFSInStack.back();  in checkOrAndOpImpliedByOther()
1469                          DFSInStack);  in checkOrAndOpImpliedByOther()
1476                              SmallVectorImpl<StackEntry> &DFSInStack) {  in addFact()  argument
1511     DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned,  in addFact()
1520         DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned,  in addFact()
1531       DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned,  in addFact()
1654   SmallVector<StackEntry, 16> DFSInStack;  in eliminateConstraints()  local
1659     while (!DFSInStack.empty()) {  in eliminateConstraints()
1660       auto &E = DFSInStack.back();  in eliminateConstraints()
1674                            DFSInStack);  in eliminateConstraints()
1695                                          ReproducerCondStack, DFSInStack);  in eliminateConstraints()
1712       Info.addFact(Pred, A, B, CB.NumIn, CB.NumOut, DFSInStack);  in eliminateConstraints()
1713       if (ReproducerModule && DFSInStack.size() > ReproducerCondStack.size())  in eliminateConstraints()
1716       Info.transferToOtherSystem(Pred, A, B, CB.NumIn, CB.NumOut, DFSInStack);  in eliminateConstraints()
1717       if (ReproducerModule && DFSInStack.size() > ReproducerCondStack.size()) {  in eliminateConstraints()
1721                       E = (DFSInStack.size() - ReproducerCondStack.size());  in eliminateConstraints()
1784       count_if(DFSInStack, [](const StackEntry &E) { return E.IsSigned; });  in eliminateConstraints()
1786              DFSInStack.size() - SignedEntries &&  in eliminateConstraints()