SVF::MSSAPHI< Cond > Class Template Reference

#include <MSSAMuChi.h>

Inheritance diagram for SVF::MSSAPHI< Cond >:

Public Types
typedef Map< u32_t, const MRVer * >	OPVers
Public Types inherited from SVF::MSSADEF
enum	DEFTYPE {   SSACHI , StoreMSSACHI , CallMSSACHI , EntryMSSACHI ,   SSAPHI }

Public Member Functions
	MSSAPHI (const SVFBasicBlock *b, const MemRegion *m, Cond c=true)
	Constructors for PHI.
virtual	~MSSAPHI ()
void	setOpVer (const MRVer *v, u32_t pos)
	Set operand ver.
const MRVer *	getOpVer (u32_t pos) const
	Get operand ver.
u32_t	getOpVerNum () const
	Get the number of operand ver.
OPVers::const_iterator	opVerBegin () const
	Operand ver iterators.
OPVers::const_iterator	opVerEnd () const
const SVFBasicBlock *	getBasicBlock () const
	Return the basic block.
Cond	getCond () const
	Return condition.
virtual void	dump ()
	Print PHI.
Public Member Functions inherited from SVF::MSSADEF
	MSSADEF (DEFTYPE t, const MemRegion *m)
	Constructor/Destructor for MSSADEF.
virtual	~MSSADEF ()
const MemRegion *	getMR () const
	Return memory region.
DEFTYPE	getType () const
	Return type of this CHI.
void	setResVer (MRVer *v)
	Set result operand ver.
MRVer *	getResVer () const
	Set operand vers.
bool	operator< (const MSSADEF &rhs) const
	Avoid adding duplicated chis and phis.

Static Public Member Functions
static bool	classof (const MSSAPHI *phi)
	Methods for support type inquiry through isa, cast, and dyn_cast:
static bool	classof (const MSSADEF *phi)

Private Attributes
const SVFBasicBlock *	bb
OPVers	opVers
Cond	cond

Additional Inherited Members
Protected Attributes inherited from SVF::MSSADEF
DEFTYPE	type
const MemRegion *	mr
MRVer *	resVer

Detailed Description

template<class Cond>
class SVF::MSSAPHI< Cond >

Definition at line 630 of file MSSAMuChi.h.

Member Typedef Documentation

OPVers

template<class Cond >

typedef Map<u32_t,const MRVer*> SVF::MSSAPHI< Cond >::OPVers

Definition at line 634 of file MSSAMuChi.h.

Constructor & Destructor Documentation

MSSAPHI()

template<class Cond >

SVF::MSSAPHI< Cond >::MSSAPHI ( const SVFBasicBlock *  b, const MemRegion *  m, Cond  c = true  )

inline

Constructors for PHI.

Definition at line 642 of file MSSAMuChi.h.

                                                                       :
        MSSADEF(MSSADEF::SSAPHI,m), bb(b), cond(c)
    {
    }

~MSSAPHI()

template<class Cond >

virtual SVF::MSSAPHI< Cond >::~MSSAPHI ( )

inlinevirtual

Definition at line 646 of file MSSAMuChi.h.

    {
    }

Member Function Documentation

classof() [1/2]

template<class Cond >

static bool SVF::MSSAPHI< Cond >::classof ( const MSSADEF *  phi )

inlinestatic

Definition at line 702 of file MSSAMuChi.h.

    {
        return phi->getType() == MSSADEF::SSAPHI ;
    }

classof() [2/2]

template<class Cond >

static bool SVF::MSSAPHI< Cond >::classof ( const MSSAPHI< Cond > *  phi )

inlinestatic

Methods for support type inquiry through isa, cast, and dyn_cast:

Definition at line 698 of file MSSAMuChi.h.

    {
        return true;
    }

dump()

template<class Cond >

virtual void SVF::MSSAPHI< Cond >::dump ( )

inlinevirtual

Print PHI.

Reimplemented from SVF::MSSADEF.

Definition at line 709 of file MSSAMuChi.h.

    {
        SVFUtil::outs() << this->getMR()->getMRID() << "V_" << this->getResVer()->getSSAVersion() <<
                        " = PHI(";
        for(OPVers::iterator it = opVers.begin(), eit = opVers.end(); it!=eit; ++it)
            SVFUtil::outs() << "MR_" << this->getMR()->getMRID() << "V_" << it->second->getSSAVersion() << ", ";
 
        SVFUtil::outs() << ")\n";
    }

getBasicBlock()

template<class Cond >

const SVFBasicBlock * SVF::MSSAPHI< Cond >::getBasicBlock ( ) const

inline

Return the basic block.

Definition at line 685 of file MSSAMuChi.h.

    {
        return bb;
    }

getCond()

template<class Cond >

Cond SVF::MSSAPHI< Cond >::getCond ( ) const

inline

Return condition.

Definition at line 691 of file MSSAMuChi.h.

    {
        return cond;
    }

getOpVer()

template<class Cond >

const MRVer * SVF::MSSAPHI< Cond >::getOpVer ( u32_t  pos ) const

inline

Get operand ver.

Definition at line 659 of file MSSAMuChi.h.

    {
        OPVers::const_iterator it = opVers.find(pos);
        assert(it!=opVers.end() && "version is nullptr, did not rename?");
        return it->second;
    }

getOpVerNum()

template<class Cond >

u32_t SVF::MSSAPHI< Cond >::getOpVerNum ( ) const

inline

Get the number of operand ver.

Definition at line 667 of file MSSAMuChi.h.

    {
        return opVers.size();
    }

opVerBegin()

template<class Cond >

OPVers::const_iterator SVF::MSSAPHI< Cond >::opVerBegin ( ) const

inline

Operand ver iterators.

Definition at line 674 of file MSSAMuChi.h.

    {
        return opVers.begin();
    }

opVerEnd()

template<class Cond >

OPVers::const_iterator SVF::MSSAPHI< Cond >::opVerEnd ( ) const

inline

Definition at line 678 of file MSSAMuChi.h.

    {
        return opVers.end();
    }

setOpVer()

template<class Cond >

void SVF::MSSAPHI< Cond >::setOpVer ( const MRVer *  v, u32_t  pos  )

inline

Set operand ver.

Definition at line 652 of file MSSAMuChi.h.

    {
        assert(v->getMR() == this->getMR() && "inserting different memory region?");
        opVers[pos] = v;
    }

Member Data Documentation

bb

template<class Cond >

const SVFBasicBlock* SVF::MSSAPHI< Cond >::bb

private

Definition at line 636 of file MSSAMuChi.h.

cond

template<class Cond >

Cond SVF::MSSAPHI< Cond >::cond

private

Definition at line 638 of file MSSAMuChi.h.

opVers

template<class Cond >

OPVers SVF::MSSAPHI< Cond >::opVers

private

Definition at line 637 of file MSSAMuChi.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/MSSA/MSSAMuChi.h