Static Value-Flow Analysis
Loading...
Searching...
No Matches
Public Member Functions | Static Public Member Functions | Private Attributes | List of all members
SVF::EntryCHI< Cond > Class Template Reference

#include <MSSAMuChi.h>

Inheritance diagram for SVF::EntryCHI< Cond >:
SVF::MSSACHI< Cond > SVF::MSSADEF

Public Member Functions

 EntryCHI (const SVFFunction *f, const MemRegion *m, Cond c=true)
 Constructors for EntryCHI.
 
virtual ~EntryCHI ()
 
const SVFFunctiongetFunction () const
 Return function.
 
virtual void dump ()
 Print CHI.
 
- Public Member Functions inherited from SVF::MSSACHI< Cond >
 MSSACHI (CHITYPE t, const MemRegion *m, Cond c)
 Constructor/Destructor for MSSACHI.
 
virtual ~MSSACHI ()
 
void setOpVer (MRVer *v)
 Set operand ver.
 
MRVergetOpVer () const
 Get operand ver.
 
Cond getCond () const
 Get condition.
 
- Public Member Functions inherited from SVF::MSSADEF
 MSSADEF (DEFTYPE t, const MemRegion *m)
 Constructor/Destructor for MSSADEF.
 
virtual ~MSSADEF ()
 
const MemRegiongetMR () const
 Return memory region.
 
DEFTYPE getType () const
 Return type of this CHI.
 
void setResVer (MRVer *v)
 Set result operand ver.
 
MRVergetResVer () const
 Set operand vers.
 
bool operator< (const MSSADEF &rhs) const
 Avoid adding duplicated chis and phis.
 

Static Public Member Functions

static bool classof (const EntryCHI *chi)
 Methods for support type inquiry through isa, cast, and dyn_cast:
 
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:
 
static bool classof (const MSSADEF *chi)
 

Private Attributes

const SVFFunctionfun
 

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 MemRegionmr
 
MRVerresVer
 

Detailed Description

template<class Cond>
class SVF::EntryCHI< Cond >

EntryCHI is annotated at function entry, representing receiving memory objects from callers

Definition at line 578 of file MSSAMuChi.h.

Constructor & Destructor Documentation

◆ EntryCHI()

template<class Cond >
SVF::EntryCHI< Cond >::EntryCHI ( const SVFFunction f,
const MemRegion m,
Cond  c = true 
)
inline

Constructors for EntryCHI.

Definition at line 585 of file MSSAMuChi.h.

585 :
587 {
588 }
const SVFFunction * fun
Definition MSSAMuChi.h:581
llvm::IRBuilder IRBuilder
Definition BasicTypes.h:74

◆ ~EntryCHI()

template<class Cond >
virtual SVF::EntryCHI< Cond >::~EntryCHI ( )
inlinevirtual

Definition at line 589 of file MSSAMuChi.h.

590 {
591 }

Member Function Documentation

◆ classof() [1/3]

template<class Cond >
static bool SVF::EntryCHI< Cond >::classof ( const EntryCHI< Cond > *  chi)
inlinestatic

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

Definition at line 602 of file MSSAMuChi.h.

603 {
604 return true;
605 }

◆ classof() [2/3]

template<class Cond >
static bool SVF::EntryCHI< Cond >::classof ( const MSSACHI< Cond > *  chi)
inlinestatic

Definition at line 606 of file MSSAMuChi.h.

607 {
608 return chi->getType() == MSSADEF::EntryMSSACHI;
609 }

◆ classof() [3/3]

template<class Cond >
static bool SVF::EntryCHI< Cond >::classof ( const MSSADEF chi)
inlinestatic

Definition at line 610 of file MSSAMuChi.h.

611 {
612 return chi->getType() == MSSADEF::EntryMSSACHI;
613 }

◆ dump()

template<class Cond >
virtual void SVF::EntryCHI< Cond >::dump ( )
inlinevirtual

Print CHI.

Reimplemented from SVF::MSSACHI< Cond >.

Definition at line 617 of file MSSAMuChi.h.

618 {
619 SVFUtil::outs() << this->getMR()->getMRID() << "V_" << this->getResVer()->getSSAVersion() <<
620 " = ENCHI(MR_" << this->getMR()->getMRID() << "V_" << this->getOpVer()->getSSAVersion() << ") \t" <<
621 this->getMR()->dumpStr() << "\n";
622 }
MRVERSION getSSAVersion() const
Return SSA version.
Definition MSSAMuChi.h:69
MRVer * getOpVer() const
Get operand ver.
Definition MSSAMuChi.h:421
MRVer * getResVer() const
Set operand vers.
Definition MSSAMuChi.h:373
const MemRegion * getMR() const
Return memory region.
Definition MSSAMuChi.h:354
MRID getMRID() const
Return memory region ID.
Definition MemRegion.h:78
std::string dumpStr() const
Dump string.
Definition MemRegion.h:93
std::ostream & outs()
Overwrite llvm::outs()
Definition SVFUtil.h:50

◆ getFunction()

template<class Cond >
const SVFFunction * SVF::EntryCHI< Cond >::getFunction ( ) const
inline

Return function.

Definition at line 595 of file MSSAMuChi.h.

596 {
597 return fun;
598 }

Member Data Documentation

◆ fun

template<class Cond >
const SVFFunction* SVF::EntryCHI< Cond >::fun
private

Definition at line 581 of file MSSAMuChi.h.


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