Static Value-Flow Analysis
|
#include <MSSAMuChi.h>
Public Types | |
typedef Map< u32_t, const MRVer * > | OPVers |
Public Types inherited from SVF::MSSADEF | |
enum | DEFTYPE { SSACHI , StoreMSSACHI , CallMSSACHI , EntryMSSACHI , SSAPHI } |
Public Member Functions | |
MSSAPHI (const SVFBasicBlock *b, const MemRegion *m, Cond c=true) | |
Constructors for PHI. More... | |
virtual | ~MSSAPHI () |
void | setOpVer (const MRVer *v, u32_t pos) |
Set operand ver. More... | |
const MRVer * | getOpVer (u32_t pos) const |
Get operand ver. More... | |
u32_t | getOpVerNum () const |
Get the number of operand ver. More... | |
OPVers::const_iterator | opVerBegin () const |
Operand ver iterators. More... | |
OPVers::const_iterator | opVerEnd () const |
const SVFBasicBlock * | getBasicBlock () const |
Return the basic block. More... | |
Cond | getCond () const |
Return condition. More... | |
virtual void | dump () |
Print PHI. 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 MSSAPHI *phi) |
Methods for support type inquiry through isa, cast, and dyn_cast: More... | |
static bool | classof (const MSSADEF *phi) |
Private Attributes | |
const SVFBasicBlock * | bb |
OPVers | opVers |
Cond | cond |
Additional Inherited Members | |
Protected Attributes inherited from SVF::MSSADEF | |
DEFTYPE | type |
const MemRegion * | mr |
MRVer * | resVer |
Definition at line 629 of file MSSAMuChi.h.
typedef Map<u32_t,const MRVer*> SVF::MSSAPHI< Cond >::OPVers |
Definition at line 633 of file MSSAMuChi.h.
|
inline |
Constructors for PHI.
Definition at line 641 of file MSSAMuChi.h.
|
inlinevirtual |
Definition at line 645 of file MSSAMuChi.h.
|
inlinestatic |
Definition at line 701 of file MSSAMuChi.h.
|
inlinestatic |
Methods for support type inquiry through isa, cast, and dyn_cast:
Definition at line 697 of file MSSAMuChi.h.
|
inlinevirtual |
Print PHI.
Reimplemented from SVF::MSSADEF.
Definition at line 708 of file MSSAMuChi.h.
|
inline |
|
inline |
|
inline |
Get operand ver.
Definition at line 658 of file MSSAMuChi.h.
|
inline |
Get the number of operand ver.
Definition at line 666 of file MSSAMuChi.h.
|
inline |
Operand ver iterators.
Definition at line 673 of file MSSAMuChi.h.
|
inline |
Definition at line 677 of file MSSAMuChi.h.
|
inline |
|
private |
Definition at line 635 of file MSSAMuChi.h.
|
private |
Definition at line 637 of file MSSAMuChi.h.
|
private |
Definition at line 636 of file MSSAMuChi.h.