Method build

lib/rootdefanalysis/RDSpace.cpp:16–57

}

void RDSpace::build(const std::vector<Function *> &Funcs) {
  // 1. Check Input Validity
  for (auto *F : Funcs) {
    if (!F)
      throw std::invalid_argument("Function should not be null");
    if (!F->getParent())
      throw std::invalid_argument("Function should be defined in a module");
  }

  // 2. Initialize Member Variables that should be rebuilt whenever build calls
  EntryFuncs = Funcs;
  LinkMap.clear();
  CallerMap.clear();

  // 3. Connect given Functions using Link Map
  for (size_t S = 1, E = EntryFuncs.size(); S < E; ++S)
    LinkMap.insert(std::make_pair(EntryFuncs[S], EntryFuncs[S - 1]));

  // 4. Build search space for every visitable function from given functions
  std::queue<Function *> Queue;
  std::set<Function *> VisitedFuncs;
  for (auto *F : EntryFuncs)
    Queue.push(F);
  while (Queue.size() > 0) {
    auto *Next = Queue.front();
    assert(Next && "Unexpected Program State");

    Queue.pop();
    if (VisitedFuncs.find(Next) != VisitedFuncs.end())
      continue;

    VisitedFuncs.insert(Next);
    auto DiscoveredFuncs = buildCallerMap(*Next);
    for (auto *F : DiscoveredFuncs)
      Queue.push(F);
    if (BuiltFuncs.find(Next) != BuiltFuncs.end())
      continue;

    build(*Next);
    BuiltFuncs.insert(Next);
  }
}

std::set<Instruction *> RDSpace::next(Instruction &I) {
  auto *F = I.getFunction();