Lines Matching defs:DFSInStack

309                unsigned NumOut, SmallVectorImpl<StackEntry> &DFSInStack);
333                              SmallVectorImpl<StackEntry> &DFSInStack);
340                    unsigned NumOut, SmallVectorImpl<StackEntry> &DFSInStack,
871     unsigned NumOut, SmallVectorImpl<StackEntry> &DFSInStack) {
891               NumOut, DFSInStack);
893               DFSInStack);
901               NumOut, DFSInStack);
903               DFSInStack);
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);
1243 /// placeholder to keep the ReproducerCondStack in sync with DFSInStack.
1513                      SmallVectorImpl<StackEntry> &DFSInStack) {
1520   DFSInStack.pop_back();
1530     SmallVectorImpl<StackEntry> &DFSInStack) {
1541   unsigned OldSize = DFSInStack.size();
1544     while (OldSize < DFSInStack.size()) {
1545       StackEntry E = DFSInStack.back();
1547                            DFSInStack);
1562       Info.addFact(Pred, LHS, RHS, CB.NumIn, CB.NumOut, DFSInStack);
1571   if (OldSize == DFSInStack.size())
1595                              SmallVectorImpl<StackEntry> &DFSInStack) {
1596   addFactImpl(Pred, A, B, NumIn, NumOut, DFSInStack, false);
1599     addFactImpl(Pred, A, B, NumIn, NumOut, DFSInStack, true);
1604                                  SmallVectorImpl<StackEntry> &DFSInStack,
1640   DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned,
1649       DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned,
1660     DFSInStack.emplace_back(NumIn, NumOut, R.IsSigned,
1782   SmallVector<StackEntry, 16> DFSInStack;
1787     while (!DFSInStack.empty()) {
1788       auto &E = DFSInStack.back();
1802                            DFSInStack);
1823                                          ReproducerCondStack, DFSInStack);
1844       Info.addFact(Pred, A, B, CB.NumIn, CB.NumOut, DFSInStack);
1845       if (ReproducerModule && DFSInStack.size() > ReproducerCondStack.size())
1854                        CB.NumIn, CB.NumOut, DFSInStack);
1857                                      DFSInStack);
1860       if (ReproducerModule && DFSInStack.size() > ReproducerCondStack.size()) {
1862         // DFSInStack.
1864                       E = (DFSInStack.size() - ReproducerCondStack.size());
1929       count_if(DFSInStack, [](const StackEntry &E) { return E.IsSigned; });
1931              DFSInStack.size() - SignedEntries &&
1932          "updates to CS and DFSInStack are out of sync");
1934          "updates to CS and DFSInStack are out of sync");