SVF::MSSADEF Class Reference

#include <MSSAMuChi.h>

Inheritance diagram for SVF::MSSADEF:

Public Types
enum	DEFTYPE {   SSACHI , StoreMSSACHI , CallMSSACHI , EntryMSSACHI ,   SSAPHI }

Public Member Functions
	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.
virtual void	dump ()
	Print MSSADef.

Protected Attributes
DEFTYPE	type
const MemRegion *	mr
MRVer *	resVer

Detailed Description

Indirect Memory Definition 1) MSSACHI indirect memory object is modified a) StoreCHI definition at store b) EntryCHI definition at function entry 2) MSSAPHI memory object is defined at joint points of a control flow

Definition at line 325 of file MSSAMuChi.h.

Member Enumeration Documentation

DEFTYPE

enum SVF::MSSADEF::DEFTYPE

Enumerator
SSACHI
StoreMSSACHI
CallMSSACHI
EntryMSSACHI
SSAPHI

Definition at line 329 of file MSSAMuChi.h.

    {
        SSACHI,
        StoreMSSACHI,
        CallMSSACHI,
        EntryMSSACHI,
        SSAPHI
    };

Constructor & Destructor Documentation

MSSADEF()

SVF::MSSADEF::MSSADEF ( DEFTYPE  t, const MemRegion *  m  )

inline

Constructor/Destructor for MSSADEF.

Definition at line 346 of file MSSAMuChi.h.

                                          : type(t), mr(m), resVer(nullptr)
    {
 
    }

~MSSADEF()

virtual SVF::MSSADEF::~MSSADEF ( )

inlinevirtual

Definition at line 350 of file MSSAMuChi.h.

{}

Member Function Documentation

dump()

virtual void SVF::MSSADEF::dump ( )

inlinevirtual

Print MSSADef.

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

Definition at line 386 of file MSSAMuChi.h.

    {
        SVFUtil::outs() << "DEF(MR_" << mr->getMRID() << "V_" << resVer->getSSAVersion() << ")\n";
    }

getMR()

const MemRegion * SVF::MSSADEF::getMR ( ) const

inline

Return memory region.

Definition at line 354 of file MSSAMuChi.h.

    {
        return mr;
    }

getResVer()

MRVer * SVF::MSSADEF::getResVer ( ) const

inline

Set operand vers.

Definition at line 373 of file MSSAMuChi.h.

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

getType()

DEFTYPE SVF::MSSADEF::getType ( ) const

inline

Return type of this CHI.

Definition at line 360 of file MSSAMuChi.h.

    {
        return type;
    }

operator<()

bool SVF::MSSADEF::operator< ( const MSSADEF &  rhs ) const

inline

Avoid adding duplicated chis and phis.

Definition at line 380 of file MSSAMuChi.h.

    {
        return mr > rhs.getMR();
    }

setResVer()

void SVF::MSSADEF::setResVer ( MRVer *  v )

inline

Set result operand ver.

Definition at line 366 of file MSSAMuChi.h.

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

Member Data Documentation

mr

const MemRegion* SVF::MSSADEF::mr

protected

Definition at line 340 of file MSSAMuChi.h.

resVer

MRVer* SVF::MSSADEF::resVer

protected

Definition at line 341 of file MSSAMuChi.h.

type

DEFTYPE SVF::MSSADEF::type

protected

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