The program-dependence-graph from anahith

program-dependence-graph's People

Contributors

Stargazers

Watchers

program-dependence-graph's Issues

No edge of type control

I'm not getting any edges between blocks of type control in my tests. Am I missing something?

 std::vector<std::tuple<std::size_t, std::size_t, std::string>>
  getOutEdgeBB(std::shared_ptr<pdg::FunctionPDG> fpdg, llvm::Value *I, llvm::Function *F,
               std::size_t blockId) {
    std::vector<std::tuple<std::size_t, std::size_t, std::string>> outBBEdges;
    if (!fpdg->hasNode(I)) {
      return outBBEdges;
    }
    auto *srcBB = llvm::dyn_cast<llvm::Instruction>(I)->getParent();
    auto node = fpdg->getNode(I);
    for (auto edge_it = node->outEdgesBegin();
         edge_it != node->outEdgesEnd(); ++edge_it) {
      pdg::PDGNode* destNode = (*edge_it)->getDestination().get();
      // Check if the edge is to or from another BB
      auto* llvmNode = llvm::dyn_cast<pdg::PDGLLVMNode>(destNode);
      if (!llvmNode) {
        continue;
      }
      auto nodeValue = llvmNode->getNodeValue();
      if (!nodeValue) {
            continue;
      }
      //llvm::dbgs() << "   Node value " << *nodeValue << "\n";
      // TODO: check this
      if (llvm::isa<pdg::PDGLLVMInstructionNode>(llvmNode)) {
        auto *destInst = llvm::dyn_cast<llvm::Instruction>(nodeValue);
        auto *nodeBB = destInst->getParent();
        if (nodeBB != nullptr && nodeBB!=srcBB) {
            std::string edge_label = "c";
            if(llvm::isa<pdg::PDGDataEdge>((*edge_it).get())){
              edge_label="d";
            } //same result when using isDataEdge() method
            outBBEdges.push_back(std::make_tuple(
                blockId, getUniqueBlockName(nodeBB, nodeBB->getParent()),edge_label));
        }
      }
    }
    return outBBEdges;
  }

Recommend Projects