SVF::SVFInstruction Class Reference

#include <SVFLLVMValue.h>

Inheritance diagram for SVF::SVFInstruction:

Public Member Functions
	SVFInstruction (const SVFType *ty, const SVFBasicBlock *b, bool tm, bool isRet, SVFValKind k=SVFInst)
	return true if this is an return instruction of a function
	SVFInstruction (void)=delete
const SVFBasicBlock *	getParent () const
const FunObjVar *	getFunction () const
bool	isRetInst () const
Public Member Functions inherited from SVF::SVFLLVMValue
	SVFLLVMValue ()=delete
virtual	~SVFLLVMValue ()=default
GNodeK	getKind () const
	Get the type of this SVFValue.
const std::string &	getName () const
void	setName (std::string &&n)
virtual const SVFType *	getType () const
bool	isConstDataOrAggData () const
bool	ptrInUncalledFunction () const
virtual void	setSourceLoc (const std::string &sourceCodeInfo)
virtual const std::string	getSourceLoc () const
std::string	toString () const
	Needs to be implemented by a SVF front end.

Static Public Member Functions
static bool	classof (const SVFLLVMValue *node)

Private Attributes
const SVFBasicBlock *	bb
bool	terminator
	The BasicBlock where this Instruction resides.
bool	ret
	return true if this is a terminator instruction

Friends
class	SVFIRWriter
class	SVFIRReader

Additional Inherited Members
Public Types inherited from SVF::SVFLLVMValue
enum	SVFValKind { SVFVal , SVFFunc , SVFInst }
typedef s64_t	GNodeK
Protected Member Functions inherited from SVF::SVFLLVMValue
	SVFLLVMValue (const SVFType *ty, SVFValKind k=SVFVal)
	Constructor without name.
void	setConstDataOrAggData ()
void	setPtrInUncalledFunction ()
Protected Attributes inherited from SVF::SVFLLVMValue
const SVFType *	type
	Type of this SVFValue.
std::string	name
	Short name of value for printing & debugging.
std::string	sourceLoc

Detailed Description

Definition at line 381 of file SVFLLVMValue.h.

Constructor & Destructor Documentation

SVFInstruction() [1/2]

SVFInstruction::SVFInstruction	(	const SVFType *	ty,
		const SVFBasicBlock *	b,
		bool	tm,
		bool	isRet,
		SVFValKind	k = SVFInst
	)

return true if this is an return instruction of a function

Constructor without name, set name with setName()

Definition at line 53 of file SVFLLVMValue.cpp.

    : SVFLLVMValue(ty, k), bb(b), terminator(tm), ret(isRet)
{
}

SVFInstruction() [2/2]

SVF::SVFInstruction::SVFInstruction ( void  )

delete

Member Function Documentation

classof()

static bool SVF::SVFInstruction::classof ( const SVFLLVMValue *  node )

inlinestatic

Definition at line 397 of file SVFLLVMValue.h.

    {
        return node->getKind() == SVFInst;
    }

getFunction()

const FunObjVar * SVF::SVFInstruction::getFunction ( ) const

inline

Definition at line 407 of file SVFLLVMValue.h.

    {
        return bb->getParent();
    }

getParent()

const SVFBasicBlock * SVF::SVFInstruction::getParent ( ) const

inline

Definition at line 402 of file SVFLLVMValue.h.

    {
        return bb;
    }

isRetInst()

bool SVF::SVFInstruction::isRetInst ( ) const

inline

Definition at line 412 of file SVFLLVMValue.h.

    {
        return ret;
    }

Friends And Related Symbol Documentation

SVFIRReader

friend class SVFIRReader

friend

Definition at line 384 of file SVFLLVMValue.h.

SVFIRWriter

friend class SVFIRWriter

friend

Definition at line 383 of file SVFLLVMValue.h.

Member Data Documentation

bb

const SVFBasicBlock* SVF::SVFInstruction::bb

private

Definition at line 387 of file SVFLLVMValue.h.

ret

bool SVF::SVFInstruction::ret

private

return true if this is a terminator instruction

Definition at line 389 of file SVFLLVMValue.h.

terminator

bool SVF::SVFInstruction::terminator

private

The BasicBlock where this Instruction resides.

Definition at line 388 of file SVFLLVMValue.h.

---

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

• /home/runner/work/SVF/SVF/svf-llvm/include/SVF-LLVM/SVFLLVMValue.h
• /home/runner/work/SVF/SVF/svf-llvm/lib/SVFLLVMValue.cpp