Lines Matching refs:WorkList
599 std::vector<WorkListItem> &WorkList) {
603 WorkList.push_back(WorkListItem{From, To, State});
606 static void initializeWorkList(std::vector<WorkListItem> &WorkList,
621 WorkList);
623 WorkList);
639 std::vector<WorkListItem> &WorkList) {
659 MatchState::FlowFromMemAliasNoReadWrite, ReachSet, WorkList);
664 propagate(Src, *ToNodeBelow, ToState, ReachSet, WorkList);
686 propagate(FromNode, AssignEdge.Other, State, ReachSet, WorkList);
690 propagate(FromNode, RevAssignEdge.Other, State, ReachSet, WorkList);
695 propagate(FromNode, MemAlias, State, ReachSet, WorkList);
739 std::vector<InstantiatedValue> WorkList, NextList;
748 WorkList.push_back(Node);
752 while (!WorkList.empty()) {
753 for (const auto &Dst : WorkList) {
775 WorkList.swap(NextList);
793 std::vector<WorkListItem> WorkList, NextList;
794 initializeWorkList(WorkList, ReachSet, Graph);
796 while (!WorkList.empty()) {
797 for (const auto &Item : WorkList)
800 NextList.swap(WorkList);