SVF::StoreCHI< Cond > Class Template Reference

#include <MSSAMuChi.h>

Inheritance diagram for SVF::StoreCHI< Cond >:

Public Member Functions
	StoreCHI (const SVFBasicBlock *b, const StoreStmt *i, const MemRegion *m, Cond c=true)
	Constructors for StoreCHI. More...
virtual	~StoreCHI ()
const SVFBasicBlock *	getBasicBlock () const
	Get basic block. More...
const StoreStmt *	getStoreStmt () const
	Get store instruction. More...
virtual void	dump ()
	Print CHI. More...
Public Member Functions inherited from SVF::MSSACHI< Cond >
	MSSACHI (CHITYPE t, const MemRegion *m, Cond c)
	Constructor/Destructor for MSSACHI. More...
virtual	~MSSACHI ()
void	setOpVer (MRVer *v)
	Set operand ver. More...
MRVer *	getOpVer () const
	Get operand ver. More...
Cond	getCond () const
	Get condition. More...
Public Member Functions inherited from SVF::MSSADEF
	MSSADEF (DEFTYPE t, const MemRegion *m)
	Constructor/Destructor for MSSADEF. More...
virtual	~MSSADEF ()
const MemRegion *	getMR () const
	Return memory region. More...
DEFTYPE	getType () const
	Return type of this CHI. More...
void	setResVer (MRVer *v)
	Set result operand ver. More...
MRVer *	getResVer () const
	Set operand vers. More...
bool	operator< (const MSSADEF &rhs) const
	Avoid adding duplicated chis and phis. More...

Static Public Member Functions
static bool	classof (const StoreCHI *chi)
	Methods for support type inquiry through isa, cast, and dyn_cast: More...
static bool	classof (const MSSACHI< Cond > *chi)
static bool	classof (const MSSADEF *chi)
Static Public Member Functions inherited from SVF::MSSACHI< Cond >
static bool	classof (const MSSACHI *chi)
	Methods for support type inquiry through isa, cast, and dyn_cast: More...
static bool	classof (const MSSADEF *chi)

Private Attributes
const SVFBasicBlock *	bb
const StoreStmt *	inst

Additional Inherited Members
Public Types inherited from SVF::MSSACHI< Cond >
typedef MSSADEF::DEFTYPE	CHITYPE
Public Types inherited from SVF::MSSADEF
enum	DEFTYPE {   SSACHI , StoreMSSACHI , CallMSSACHI , EntryMSSACHI ,   SSAPHI }
Protected Attributes inherited from SVF::MSSADEF
DEFTYPE	type
const MemRegion *	mr
MRVer *	resVer

Detailed Description

template<class Cond>
class SVF::StoreCHI< Cond >

StoreCHI is annotated at each store instruction, representing a memory object is modified here

Definition at line 461 of file MSSAMuChi.h.

Constructor & Destructor Documentation

StoreCHI()

template<class Cond >

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

inline

Constructors for StoreCHI.

Definition at line 469 of file MSSAMuChi.h.

                                                                                            :
        MSSACHI<Cond>(MSSADEF::StoreMSSACHI,m,c), bb(b), inst(i)
    {
    }

~StoreCHI()

template<class Cond >

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

inlinevirtual

Definition at line 473 of file MSSAMuChi.h.

    {
    }

Member Function Documentation

classof() [1/3]

template<class Cond >

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

inlinestatic

Definition at line 496 of file MSSAMuChi.h.

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

classof() [2/3]

template<class Cond >

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

inlinestatic

Definition at line 500 of file MSSAMuChi.h.

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

classof() [3/3]

template<class Cond >

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

inlinestatic

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

Definition at line 492 of file MSSAMuChi.h.

    {
        return true;
    }

dump()

template<class Cond >

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

inlinevirtual

Print CHI.

Reimplemented from SVF::MSSACHI< Cond >.

Definition at line 507 of file MSSAMuChi.h.

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

getBasicBlock()

template<class Cond >

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

inline

Get basic block.

Definition at line 479 of file MSSAMuChi.h.

    {
        return bb;
    }

getStoreStmt()

template<class Cond >

const StoreStmt* SVF::StoreCHI< Cond >::getStoreStmt ( ) const

inline

Get store instruction.

Definition at line 485 of file MSSAMuChi.h.

    {
        return inst;
    }

Member Data Documentation

bb

template<class Cond >

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

private

Definition at line 464 of file MSSAMuChi.h.

inst

template<class Cond >

const StoreStmt* SVF::StoreCHI< Cond >::inst

private

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