SVF::PTACFInfoBuilder Class Reference

#include <DataFlowUtil.h>

Public Types
typedef Map< const Function *, DominatorTree * >	FunToDTMap
	map a function to its dominator tree More...
typedef Map< const Function *, PostDominatorTree * >	FunToPostDTMap
	map a function to its post dominator tree More...
typedef Map< const Function *, LoopInfo * >	FunToLoopInfoMap
	map a function to its loop info More...

Public Member Functions
	PTACFInfoBuilder ()
	Constructor. More...
	~PTACFInfoBuilder ()
LoopInfo *	getLoopInfo (const Function *f)
	Get loop info of a function. More...
PostDominatorTree *	getPostDT (const Function *f)
	Get post dominator tree of a function. More...
DominatorTree *	getDT (const Function *f)
	Get dominator tree of a function. More...

Private Attributes
FunToLoopInfoMap	funToLoopInfoMap
	map a function to its loop info More...
FunToDTMap	funToDTMap
	map a function to its dominator tree More...
FunToPostDTMap	funToPDTMap
	map a function to its post dominator tree More...

Detailed Description

Definition at line 121 of file DataFlowUtil.h.

Member Typedef Documentation

FunToDTMap

typedef Map<const Function*, DominatorTree*> SVF::PTACFInfoBuilder::FunToDTMap

map a function to its dominator tree

Definition at line 123 of file DataFlowUtil.h.

FunToLoopInfoMap

typedef Map<const Function*, LoopInfo*> SVF::PTACFInfoBuilder::FunToLoopInfoMap

map a function to its loop info

Definition at line 125 of file DataFlowUtil.h.

FunToPostDTMap

typedef Map<const Function*, PostDominatorTree*> SVF::PTACFInfoBuilder::FunToPostDTMap

map a function to its post dominator tree

Definition at line 124 of file DataFlowUtil.h.

Constructor & Destructor Documentation

PTACFInfoBuilder()

PTACFInfoBuilder::PTACFInfoBuilder

(

)

Constructor.

Definition at line 41 of file DataFlowUtil.cpp.

{
//    Module* mod = LLVMModuleSet::getLLVMModuleSet()->getMainLLVMModule();
//    llvm::legacy::PassManager PM;
//    PM.add(new llvm::PTACFInfoBuilderPass());
//    PM.run(*mod);
}

~PTACFInfoBuilder()

PTACFInfoBuilder::~PTACFInfoBuilder

(

)

Definition at line 49 of file DataFlowUtil.cpp.

                                   {
    for(FunToLoopInfoMap::iterator it = funToLoopInfoMap.begin(), eit = funToLoopInfoMap.end(); it!=eit; ++it)
    {
        if(it->second != nullptr)
        {
            delete it->second;
        }
    }
    for(FunToDTMap::iterator it = funToDTMap.begin(), eit = funToDTMap.end(); it!=eit; ++it)
    {
        if(it->second != nullptr)
        {
            delete it->second;
        }
    }
    for(FunToPostDTMap::iterator it = funToPDTMap.begin(), eit = funToPDTMap.end(); it!=eit; ++it)
    {
        if(it->second != nullptr)
        {
            delete it->second;
        }
    }
}

Member Function Documentation

getDT()

DominatorTree * PTACFInfoBuilder::getDT

(

const Function *

f

)

Get dominator tree of a function.

Definition at line 110 of file DataFlowUtil.cpp.

{
    Function* fun = const_cast<Function*>(f);
    FunToDTMap::iterator it = funToDTMap.find(fun);
    if(it==funToDTMap.end())
    {
        DominatorTree* dt = new DominatorTree(*fun);
        funToDTMap[fun] = dt;
        return dt;
    }
    else
        return it->second;
}

getLoopInfo()

LoopInfo * PTACFInfoBuilder::getLoopInfo

(

const Function *

f

)

Get loop info of a function.

Definition at line 74 of file DataFlowUtil.cpp.

{
    assert(f->isDeclaration()==false && "external function (without body) does not have a loopInfo");
    Function* fun = const_cast<Function*>(f);
    FunToLoopInfoMap::iterator it = funToLoopInfoMap.find(fun);
    if(it==funToLoopInfoMap.end())
    {
        DominatorTree* dt = new DominatorTree(*fun);
        LoopInfo* loopInfo = new LoopInfo(*dt);
        funToLoopInfoMap[fun] = loopInfo;
        return loopInfo;
    }
    else
        return it->second;
}

getPostDT()

PostDominatorTree * PTACFInfoBuilder::getPostDT

(

const Function *

f

)

Get post dominator tree of a function.

Definition at line 91 of file DataFlowUtil.cpp.

{
    assert(f->isDeclaration()==false && "external function (without body) does not have a PostDominatorTree");

    Function* fun = const_cast<Function*>(f);
    if(f->isDeclaration())
        return nullptr;
    FunToPostDTMap::iterator it = funToPDTMap.find(fun);
    if(it==funToPDTMap.end())
    {
        PostDominatorTree * PDT = new PostDominatorTree(*fun);
        funToPDTMap[fun] = PDT;
        return PDT;
    }
    else
        return it->second;
}

Member Data Documentation

funToDTMap

FunToDTMap SVF::PTACFInfoBuilder::funToDTMap

private

map a function to its dominator tree

Definition at line 143 of file DataFlowUtil.h.

funToLoopInfoMap

FunToLoopInfoMap SVF::PTACFInfoBuilder::funToLoopInfoMap

private

map a function to its loop info

Definition at line 142 of file DataFlowUtil.h.

funToPDTMap

FunToPostDTMap SVF::PTACFInfoBuilder::funToPDTMap

private

map a function to its post dominator tree

Definition at line 144 of file DataFlowUtil.h.

---

The documentation for this class was generated from the following files:

• /home/runner/work/SVF-1/SVF-1/include/SVF-FE/DataFlowUtil.h
• /home/runner/work/SVF-1/SVF-1/lib/SVF-FE/DataFlowUtil.cpp