program-dependence-graph/include/ProgramDependencyGraph.hh at main · ARISTODE/program-dependence-graph · GitHub

History

40 lines (38 loc) · 1.71 KB

Raw

#ifndef PROGRAMDEPENDENCYGRAPH_H_

#define PROGRAMDEPENDENCYGRAPH_H_

#include "LLVMEssentials.hh"

#include "Graph.hh"

#include "PDGCallGraph.hh"

#include "DataDependencyGraph.hh"

#include "ControlDependencyGraph.hh"

namespace pdg

{

class ProgramDependencyGraph : public llvm::ModulePass

{

public:

static char ID;

ProgramDependencyGraph() : llvm::ModulePass(ID) {};

bool runOnModule(llvm::Module &M) override;

void getAnalysisUsage(llvm::AnalysisUsage &AU) const override;

ProgramGraph *getPDG() { return _PDG; }

llvm::StringRef getPassName() const override { return "Program Dependency Graph"; }

FunctionWrapper *getFuncWrapper(llvm::Function &F) { return _PDG->getFuncWrapperMap()[&F]; }

CallWrapper *getCallWrapper(llvm::CallInst &call_inst) { return _PDG->getCallWrapperMap()[&call_inst]; }

void connectGlobalVarWithUses();

void connectInTrees(Tree *src_tree, Tree *dst_tree, EdgeType edge_type);

void connectOutTrees(Tree *src_tree, Tree *dst_tree, EdgeType edge_type);

void connectCallerAndCallee(CallWrapper &cw, FunctionWrapper &fw);

void connectIntraprocDependencies(llvm::Function &F);

void connectInterprocDependencies(llvm::Function &F);

void connectFormalInTreeWithAddrVars(Tree &formal_in_tree);

void connectFormalOutTreeWithAddrVars(Tree &formal_out_tree);

void connectActualInTreeWithAddrVars(Tree &actual_in_tree, llvm::CallInst &ci);

void connectActualOutTreeWithAddrVars(Tree &actual_out_tree, llvm::CallInst &ci);

bool canReach(Node &src, Node &dst);

bool canReach(Node &src, Node &dst, std::set<EdgeType> exclude_edge_types);

private:

llvm::Module *_module;

ProgramGraph *_PDG;

};

}

#endif

program-dependence-graph/include/ProgramDependencyGraph.hh at main · ARISTODE/program-dependence-graph · GitHub

Expand file tree

Breadcrumbs

ProgramDependencyGraph.hh

Latest commit

History

Breadcrumbs

ProgramDependencyGraph.hh

File metadata and controls