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 326 of file MSSAMuChi.h.

Member Enumeration Documentation

DEFTYPE

enum SVF::MSSADEF::DEFTYPE

Enumerator
SSACHI
StoreMSSACHI
CallMSSACHI
EntryMSSACHI
SSAPHI

Definition at line 330 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 347 of file MSSAMuChi.h.

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

~MSSADEF()

virtual SVF::MSSADEF::~MSSADEF ( )

inlinevirtual

Definition at line 351 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 387 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 355 of file MSSAMuChi.h.

    {
        return mr;
    }

getResVer()

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

inline

Set operand vers.

Definition at line 374 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 361 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 381 of file MSSAMuChi.h.

    {
        return mr > rhs.getMR();
    }

setResVer()

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

inline

Set result operand ver.

Definition at line 367 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 341 of file MSSAMuChi.h.

resVer

MRVer* SVF::MSSADEF::resVer

protected

Definition at line 342 of file MSSAMuChi.h.

type

DEFTYPE SVF::MSSADEF::type

protected

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