Lines Matching defs:DFSInStack

310                unsigned NumOut, SmallVectorImpl<StackEntry> &DFSInStack);
333                              SmallVectorImpl<StackEntry> &DFSInStack);
838     unsigned NumOut, SmallVectorImpl<StackEntry> &DFSInStack) {
858               NumOut, DFSInStack);
860               DFSInStack);
868               NumOut, DFSInStack);
870               DFSInStack);
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);
1212 /// placeholder to keep the ReproducerCondStack in sync with DFSInStack.
1482                      SmallVectorImpl<StackEntry> &DFSInStack) {
1489   DFSInStack.pop_back();
1499     SmallVectorImpl<StackEntry> &DFSInStack) {
1523   unsigned OldSize = DFSInStack.size();
1524   Info.addFact(Pred, A, B, CB.NumIn, CB.NumOut, DFSInStack);
1525   if (OldSize == DFSInStack.size())
1546   while (OldSize < DFSInStack.size()) {
1547     StackEntry E = DFSInStack.back();
1549                          DFSInStack);
1556                              SmallVectorImpl<StackEntry> &DFSInStack) {
1591     DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned,
1600         DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned,
1611       DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned,
1734   SmallVector<StackEntry, 16> DFSInStack;
1739     while (!DFSInStack.empty()) {
1740       auto &E = DFSInStack.back();
1754                            DFSInStack);
1775                                          ReproducerCondStack, DFSInStack);
1796       Info.addFact(Pred, A, B, CB.NumIn, CB.NumOut, DFSInStack);
1797       if (ReproducerModule && DFSInStack.size() > ReproducerCondStack.size())
1800       Info.transferToOtherSystem(Pred, A, B, CB.NumIn, CB.NumOut, DFSInStack);
1801       if (ReproducerModule && DFSInStack.size() > ReproducerCondStack.size()) {
1803         // DFSInStack.
1805                       E = (DFSInStack.size() - ReproducerCondStack.size());
1871       count_if(DFSInStack, [](const StackEntry &E) { return E.IsSigned; });
1873              DFSInStack.size() - SignedEntries &&
1874          "updates to CS and DFSInStack are out of sync");
1876          "updates to CS and DFSInStack are out of sync");