SVF::MSSACHI< Cond > Class Template Reference

#include <MSSAMuChi.h>

Inheritance diagram for SVF::MSSACHI< Cond >:

Public Types
typedef MSSADEF::DEFTYPE	CHITYPE
Public Types inherited from SVF::MSSADEF
enum	DEFTYPE {   SSACHI , StoreMSSACHI , CallMSSACHI , EntryMSSACHI ,   SSAPHI }

Public Member Functions
	MSSACHI (CHITYPE t, const MemRegion *m, Cond c)
	Constructor/Destructor for MSSACHI.
virtual	~MSSACHI ()
void	setOpVer (MRVer *v)
	Set operand ver.
MRVer *	getOpVer () const
	Get operand ver.
Cond	getCond () const
	Get condition.
virtual void	dump ()
	Print CHI.
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 MSSACHI *chi)
	Methods for support type inquiry through isa, cast, and dyn_cast:
static bool	classof (const MSSADEF *chi)

Private Attributes
MRVer *	opVer
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::MSSACHI< Cond >

Indirect Memory Write

Definition at line 397 of file MSSAMuChi.h.

Member Typedef Documentation

CHITYPE

template<class Cond>

typedef MSSADEF::DEFTYPE SVF::MSSACHI< Cond >::CHITYPE

Definition at line 404 of file MSSAMuChi.h.

Constructor & Destructor Documentation

MSSACHI()

template<class Cond>

SVF::MSSACHI< Cond >::MSSACHI ( CHITYPE t, const MemRegion * m, Cond c )

inline

Constructor/Destructor for MSSACHI.

Definition at line 407 of file MSSAMuChi.h.

                                                  : MSSADEF(t,m), opVer(nullptr), cond(c)
    {
 
    }

~MSSACHI()

template<class Cond>

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

inlinevirtual

Definition at line 411 of file MSSAMuChi.h.

{}

Member Function Documentation

classof() [1/2]

template<class Cond>

bool SVF::MSSACHI< Cond >::classof ( const MSSACHI< Cond > * chi )

inlinestatic

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

Definition at line 436 of file MSSAMuChi.h.

    {
        return true;
    }

classof() [2/2]

template<class Cond>

bool SVF::MSSACHI< Cond >::classof ( const MSSADEF * chi )

inlinestatic

Definition at line 440 of file MSSAMuChi.h.

    {
        return chi->getType() == MSSADEF::EntryMSSACHI ||
               chi->getType() == MSSADEF::StoreMSSACHI ||
               chi->getType() == MSSADEF::SSACHI ;
    }

dump()

template<class Cond>

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

inlinevirtual

Print CHI.

Reimplemented from SVF::MSSADEF.

Reimplemented in SVF::CallCHI< Cond >, SVF::CallCHI< Condition >, SVF::EntryCHI< Cond >, SVF::EntryCHI< Condition >, SVF::StoreCHI< Cond >, and SVF::StoreCHI< Condition >.

Definition at line 449 of file MSSAMuChi.h.

    {
        SVFUtil::outs() << "MR_" << this->getMR()->getMRID() << "V_" << this->getResVer()->getSSAVersion() <<
                           " = CHI(MR_" << this->getMR()->getMRID() << "V_" << opVer->getSSAVersion() << ") \t" <<
                        this->getMR()->dumpStr() << "\n";
    }

getCond()

template<class Cond>

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

inline

Get condition.

Definition at line 429 of file MSSAMuChi.h.

    {
        return cond;
    }

getOpVer()

template<class Cond>

MRVer * SVF::MSSACHI< Cond >::getOpVer ( ) const

inline

Get operand ver.

Definition at line 422 of file MSSAMuChi.h.

    {
        assert(opVer!=nullptr && "version is nullptr, did not rename?");
        return opVer;
    }

setOpVer()

template<class Cond>

void SVF::MSSACHI< Cond >::setOpVer ( MRVer * v )

inline

Set operand ver.

Definition at line 415 of file MSSAMuChi.h.

    {
        assert(v->getMR() == this->getMR() && "inserting different memory region?");
        opVer = v;
    }

Member Data Documentation

cond

template<class Cond>

Cond SVF::MSSACHI< Cond >::cond

private

Definition at line 402 of file MSSAMuChi.h.

opVer

template<class Cond>

MRVer* SVF::MSSACHI< Cond >::opVer

private

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