SVF::IteratedDominanceFrontier Class Reference

#include <DataFlowUtil.h>

Inheritance diagram for SVF::IteratedDominanceFrontier:

Public Member Functions
	IteratedDominanceFrontier ()
virtual	~IteratedDominanceFrontier ()
virtual void	getAnalysisUsage (AnalysisUsage &AU) const
iterator	getIDFSet (BasicBlock *B)

Static Public Attributes
static char	ID = 0

Private Member Functions
void	calculate (BasicBlock *, const DominanceFrontier &DF)

Private Attributes
const DominanceFrontier *	DF

Detailed Description

Iterated dominance frontier

Definition at line 151 of file DataFlowUtil.h.

Constructor & Destructor Documentation

IteratedDominanceFrontier()

SVF::IteratedDominanceFrontier::IteratedDominanceFrontier ( )

inline

Definition at line 162 of file DataFlowUtil.h.

                                :
        DominanceFrontierBase(), DF(nullptr)
    {
    }

~IteratedDominanceFrontier()

virtual SVF::IteratedDominanceFrontier::~IteratedDominanceFrontier ( )

inlinevirtual

Definition at line 167 of file DataFlowUtil.h.

    {
    }

Member Function Documentation

calculate()

void IteratedDominanceFrontier::calculate ( BasicBlock *  bb, const DominanceFrontier &  DF  )

private

Definition at line 125 of file DataFlowUtil.cpp.

{

    DomSetType worklist;

    DominanceFrontierBase<BasicBlock, false>::const_iterator it = DF.find(bb);
    assert(it != DF.end());

    worklist.insert(it->second.begin(), it->second.end());
    while (!worklist.empty())
    {
        BasicBlock *item = *worklist.begin();
        worklist.erase(worklist.begin());
        if (Frontiers[bb].find(item) == Frontiers[bb].end())
        {
            Frontiers[bb].insert(item);
            const_iterator parent = DF.find(item);
            assert(parent != DF.end());
            worklist.insert(parent->second.begin(), parent->second.end());
        }
    }
}

getAnalysisUsage()

virtual void SVF::IteratedDominanceFrontier::getAnalysisUsage ( AnalysisUsage &  AU ) const

inlinevirtual

Definition at line 171 of file DataFlowUtil.h.

    {
        AU.setPreservesAll();
        // AU.addRequired<DominanceFrontier>();
    }

getIDFSet()

iterator SVF::IteratedDominanceFrontier::getIDFSet ( BasicBlock *  B )

inline

Definition at line 183 of file DataFlowUtil.h.

    {
        if (Frontiers.find(B) == Frontiers.end())
            calculate(B, *DF);
        return Frontiers.find(B);
    }

Member Data Documentation

DF

const DominanceFrontier* SVF::IteratedDominanceFrontier::DF

private

Definition at line 155 of file DataFlowUtil.h.

ID

char IteratedDominanceFrontier::ID = 0

static

Definition at line 160 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