SVF::UnaryOPStmt Class Reference

#include <SVFStatements.h>

Inheritance diagram for SVF::UnaryOPStmt:

Public Types
enum	OpCode : unsigned { FNeg = 12 }
	OpCode for UnaryOPStmt, enum value is same to llvm::UnaryOperator. More...
Public Types inherited from SVF::SVFStmt
enum	PEDGEK {   Addr , Copy , Store , Load ,   Call , Ret , Gep , Phi ,   Select , Cmp , BinaryOp , UnaryOp ,   Branch , ThreadFork , ThreadJoin }
typedef GenericNode< SVFVar, SVFStmt >::GEdgeSetTy	SVFStmtSetTy
typedef Map< EdgeID, SVFStmtSetTy >	PAGEdgeToSetMapTy
typedef PAGEdgeToSetMapTy	KindToSVFStmtMapTy
typedef SVFStmtSetTy	PAGEdgeSetTy
Public Types inherited from SVF::GenericEdge< NodeTy >
typedef NodeTy	NodeType
	Node type.
typedef u64_t	GEdgeFlag
typedef s64_t	GEdgeKind
typedef struct SVF::GenericEdge::equalGEdge	equalGEdge
	Add the hash function for std::set (we also can overload operator< to implement this)

Public Member Functions
	UnaryOPStmt (SVFVar *s, SVFVar *d, u32_t oc)
	constructor
u32_t	getOpcode () const
const SVFVar *	getOpVar () const
const SVFVar *	getRes () const
NodeID	getOpVarID () const
NodeID	getResID () const
virtual const std::string	toString () const override
Public Member Functions inherited from SVF::SVFStmt
	SVFStmt (SVFVar *s, SVFVar *d, GEdgeFlag k, bool real=true)
	Constructor.
	~SVFStmt ()
	Destructor.
EdgeID	getEdgeID () const
	Return Edge ID.
bool	isPTAEdge () const
	Whether src and dst nodes are both of pointer type.
const SVFInstruction *	getInst () const
	Get/set methods for llvm instruction.
void	setValue (const SVFValue *val)
const SVFValue *	getValue () const
void	setBB (const SVFBasicBlock *bb)
const SVFBasicBlock *	getBB () const
void	setICFGNode (ICFGNode *node)
ICFGNode *	getICFGNode () const
Public Member Functions inherited from SVF::GenericEdge< NodeTy >
	GenericEdge (NodeTy *s, NodeTy *d, GEdgeFlag k)
	Constructor.
virtual	~GenericEdge ()
	Destructor.
NodeID	getSrcID () const
	get methods of the components
NodeID	getDstID () const
GEdgeKind	getEdgeKind () const
GEdgeKind	getEdgeKindWithoutMask () const
NodeType *	getSrcNode () const
NodeType *	getDstNode () const
virtual bool	operator== (const GenericEdge< NodeType > *rhs) const

Static Public Member Functions
static bool	classof (const UnaryOPStmt *)
	Methods for support type inquiry through isa, cast, and dyn_cast:
static bool	classof (const SVFStmt *edge)
static bool	classof (const GenericPAGEdgeTy *edge)
Static Public Member Functions inherited from SVF::SVFStmt
static bool	classof (const SVFStmt *)
	ClassOf.
static bool	classof (const GenericPAGEdgeTy *edge)
static GEdgeFlag	makeEdgeFlagWithAddionalOpnd (GEdgeKind k, const SVFVar *var)
static GEdgeFlag	makeEdgeFlagWithCallInst (GEdgeKind k, const ICFGNode *cs)
static GEdgeFlag	makeEdgeFlagWithStoreInst (GEdgeKind k, const ICFGNode *store)

Private Member Functions
	UnaryOPStmt ()
	Constructs empty UnaryOPStmt (for SVFIRReader/serialization)
	UnaryOPStmt (const UnaryOPStmt &)
	place holder
void	operator= (const UnaryOPStmt &)
	place holder
SVFVar *	getSrcNode ()
	place holder, use getOpVar() instead
SVFVar *	getDstNode ()
	place holder, use getRes() instead
NodeID	getSrcID ()
	place holder, use getOpVarID(pos) instead
NodeID	getDstID ()
	place holder, use getResID() instead

Private Attributes
u32_t	opcode

Friends
class	SVFIRWriter
class	SVFIRReader

Additional Inherited Members
Static Public Attributes inherited from SVF::SVFStmt
static u32_t	totalEdgeNum
	Total edge number.
Protected Member Functions inherited from SVF::SVFStmt
	SVFStmt (GEdgeFlag k)
	Private constructor for reading SVFIR from file without side-effect.
Static Protected Attributes inherited from SVF::GenericEdge< NodeTy >
static constexpr unsigned char	EdgeKindMaskBits = 8
	We use the lower 8 bits to denote edge kind.
static constexpr u64_t	EdgeKindMask = (~0ULL) >> (64 - EdgeKindMaskBits)

Detailed Description

Unary statement

Definition at line 1093 of file SVFStatements.h.

Member Enumeration Documentation

OpCode

enum SVF::UnaryOPStmt::OpCode : unsigned

OpCode for UnaryOPStmt, enum value is same to llvm::UnaryOperator.

Enumerator
FNeg

Definition at line 1112 of file SVFStatements.h.

    {
        FNeg = 12
    };

Constructor & Destructor Documentation

UnaryOPStmt() [1/3]

SVF::UnaryOPStmt::UnaryOPStmt ( )

inlineprivate

Constructs empty UnaryOPStmt (for SVFIRReader/serialization)

Definition at line 1100 of file SVFStatements.h.

: SVFStmt(SVFStmt::UnaryOp) {}

UnaryOPStmt() [2/3]

SVF::UnaryOPStmt::UnaryOPStmt ( const UnaryOPStmt &  )

private

place holder

UnaryOPStmt() [3/3]

SVF::UnaryOPStmt::UnaryOPStmt ( SVFVar *  s, SVFVar *  d, u32_t  oc  )

inline

constructor

Definition at line 1134 of file SVFStatements.h.

        : SVFStmt(s, d, SVFStmt::UnaryOp), opcode(oc)
    {
    }

Member Function Documentation

classof() [1/3]

static bool SVF::UnaryOPStmt::classof ( const GenericPAGEdgeTy *  edge )

inlinestatic

Definition at line 1127 of file SVFStatements.h.

    {
        return edge->getEdgeKind() == SVFStmt::UnaryOp;
    }

classof() [2/3]

static bool SVF::UnaryOPStmt::classof ( const SVFStmt *  edge )

inlinestatic

Definition at line 1123 of file SVFStatements.h.

    {
        return edge->getEdgeKind() == SVFStmt::UnaryOp;
    }

classof() [3/3]

static bool SVF::UnaryOPStmt::classof ( const UnaryOPStmt *  )

inlinestatic

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

Definition at line 1119 of file SVFStatements.h.

    {
        return true;
    }

getDstID()

NodeID SVF::UnaryOPStmt::getDstID ( )

private

place holder, use getResID() instead

getDstNode()

SVFVar * SVF::UnaryOPStmt::getDstNode ( )

private

place holder, use getRes() instead

getOpcode()

u32_t SVF::UnaryOPStmt::getOpcode ( ) const

inline

Definition at line 1139 of file SVFStatements.h.

    {
        return opcode;
    }

getOpVar()

const SVFVar * SVF::UnaryOPStmt::getOpVar ( ) const

inline

Definition at line 1143 of file SVFStatements.h.

    {
        return SVFStmt::getSrcNode();
    }

getOpVarID()

NodeID UnaryOPStmt::getOpVarID

(

)

const

Definition at line 294 of file SVFStatements.cpp.

{
    return getOpVar()->getId();
}

getRes()

const SVFVar * SVF::UnaryOPStmt::getRes ( ) const

inline

Definition at line 1147 of file SVFStatements.h.

    {
        return SVFStmt::getDstNode();
    }

getResID()

NodeID UnaryOPStmt::getResID

(

)

const

Definition at line 298 of file SVFStatements.cpp.

{
    return getRes()->getId();
}

getSrcID()

NodeID SVF::UnaryOPStmt::getSrcID ( )

private

place holder, use getOpVarID(pos) instead

getSrcNode()

SVFVar * SVF::UnaryOPStmt::getSrcNode ( )

private

place holder, use getOpVar() instead

operator=()

void SVF::UnaryOPStmt::operator= ( const UnaryOPStmt &  )

private

place holder

toString()

const std::string UnaryOPStmt::toString ( ) const

overridevirtual

Reimplemented from SVF::SVFStmt.

Definition at line 158 of file SVFStatements.cpp.

{
    std::string str;
    std::stringstream rawstr(str);
    rawstr << "UnaryOPStmt: [Var" << getResID() << " <-- " << " opcode" << getOpcode() << " Var" << getOpVarID() << "]\t";
    if (Options::ShowSVFIRValue())
    {
        rawstr << "\n";
        rawstr << getValue()->toString();
    }
    return rawstr.str();
}

Friends And Related Symbol Documentation

SVFIRReader

friend class SVFIRReader

friend

Definition at line 1096 of file SVFStatements.h.

SVFIRWriter

friend class SVFIRWriter

friend

Definition at line 1095 of file SVFStatements.h.

Member Data Documentation

opcode

u32_t SVF::UnaryOPStmt::opcode

private

Definition at line 1108 of file SVFStatements.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/SVFIR/SVFStatements.h
• /home/runner/work/SVF/SVF/svf/lib/SVFIR/SVFStatements.cpp