Inheritance diagram for LoadOpNode:

Collaboration diagram for LoadOpNode:

[legend]

Public Member Functions
	LoadOpNode (const ValueRangeRef &intersect, VarNode *sink, const tree_nodeConstRef &inst)

	~LoadOpNode () override=default

	LoadOpNode (const LoadOpNode &)=delete

	LoadOpNode (LoadOpNode &&)=delete

LoadOpNode &	operator= (const LoadOpNode &)=delete

LoadOpNode &	operator= (LoadOpNode &&)=delete

OperationId	getValueId () const override

void	addSource (const VarNode *newsrc)
	Add source to the vector of sources. More...

const VarNode *	getSource (size_t index) const
	Return source identified by index. More...

size_t	getNumSources () const
	return the number of sources More...

std::vector< tree_nodeConstRef >	getSources () const override

void	print (std::ostream &OS) const override
	Prints the content of the operation. More...

void	printDot (std::ostream &OS) const override

Public Member Functions inherited from OpNode
virtual	~OpNode ()=default
	The dtor. It's virtual because this is a base class. More...

	OpNode (const OpNode &)=delete

	OpNode (OpNode &&)=delete

OpNode &	operator= (const OpNode &)=delete

OpNode &	operator= (OpNode &&)=delete

const tree_nodeConstRef &	getInstruction () const
	Return the instruction that originated this op node. More...

void	solveFuture (VarNode *future)
	Replace symbolic intervals with hard-wired constants. More...

ValueRangeConstRef	getIntersect () const
	Returns the range of the operation. More...

void	setIntersect (const RangeConstRef &newIntersect)
	Changes the interval of the operation. More...

VarNode *	getSink () const
	Returns the target of the operation, that is, where the result will be stored. More...

std::string	ToString () const

Static Public Member Functions
static bool	classof (LoadOpNode const *)

static bool	classof (OpNode const *BO)

static std::function< OpNode (NodeContainer )>	opCtorGenerator (const tree_nodeConstRef &stmt, unsigned int function_id, const FunctionBehaviorConstRef &FB, const tree_managerConstRef &TM, const application_managerRef &AppM)

Static Public Member Functions inherited from OpNode
static bool	classof (OpNode const *)

Private Member Functions
RangeRef	eval () const override
	Given the input of the operation and the operation that will be performed, evaluates the result of the operation. More...

Private Attributes
std::vector< const VarNode * >	sources
	reference to the memory access operand More...

Additional Inherited Members
Public Types inherited from OpNode
enum	OperationId { OperationId::UnaryOpId, OperationId::SigmaOpId, OperationId::BinaryOpId, OperationId::TernaryOpId, OperationId::PhiOpId, OperationId::ControlDepId, OperationId::LoadOpId, OperationId::StoreOpId }

Data Fields inherited from OpNode
enum OpNode::OperationId	__attribute__

Static Public Attributes inherited from OpNode
static int	debug_level = DEBUG_LEVEL_NONE

Protected Member Functions inherited from OpNode
	OpNode (const ValueRangeRef &intersect, VarNode *sink, const tree_nodeConstRef &inst)
	We do not want people creating objects of this class, but we want to inherit from it. More...

Detailed Description

Definition at line 3872 of file Range_Analysis.cpp.

Constructor & Destructor Documentation

◆ LoadOpNode() [1/3]

LoadOpNode::LoadOpNode	(	const ValueRangeRef &	intersect,
		VarNode *	sink,
		const tree_nodeConstRef &	inst
	)

Definition at line 3934 of file Range_Analysis.cpp.

Referenced by opCtorGenerator().

Here is the caller graph for this function:

◆ ~LoadOpNode()

LoadOpNode::~LoadOpNode ( )

overridedefault

◆ LoadOpNode() [2/3]

LoadOpNode::LoadOpNode ( const LoadOpNode & )

delete

◆ LoadOpNode() [3/3]

LoadOpNode::LoadOpNode ( LoadOpNode && )

delete

Member Function Documentation

◆ addSource()

void LoadOpNode::addSource ( const VarNode * newsrc )

inline

Add source to the vector of sources.

Definition at line 3902 of file Range_Analysis.cpp.

◆ classof() [1/2]

static bool LoadOpNode::classof ( LoadOpNode const * )

inlinestatic

Definition at line 3892 of file Range_Analysis.cpp.

◆ classof() [2/2]

static bool LoadOpNode::classof ( OpNode const * BO )

inlinestatic

Definition at line 3896 of file Range_Analysis.cpp.

References OpNode::getValueId(), and OpNode::LoadOpId.

Here is the call graph for this function:

◆ eval()

RangeRef LoadOpNode::eval ( ) const

overrideprivatevirtual

Given the input of the operation and the operation that will be performed, evaluates the result of the operation.

Implements OpNode.

Definition at line 3939 of file Range_Analysis.cpp.

References OpNode::debug_level, DEBUG_LEVEL_VERY_PEDANTIC, Empty, GET_CONST_NODE, OpNode::getIntersect(), getNumSources(), OpNode::getSink(), INDENT_DBG_MEX, result, sources, STR, test(), THROW_ASSERT, and OpNode::ToString().

Here is the call graph for this function:

◆ getNumSources()

size_t LoadOpNode::getNumSources ( ) const

inline

return the number of sources

Definition at line 3912 of file Range_Analysis.cpp.

Referenced by eval().

Here is the caller graph for this function:

◆ getSource()

const VarNode* LoadOpNode::getSource ( size_t index ) const

inline

Return source identified by index.

Definition at line 3907 of file Range_Analysis.cpp.

References index.

◆ getSources()

std::vector<tree_nodeConstRef> LoadOpNode::getSources ( ) const

inlineoverridevirtual

Implements OpNode.

Definition at line 3916 of file Range_Analysis.cpp.

References TernaryOpNode::opCtorGenerator(), TernaryOpNode::print(), and TernaryOpNode::printDot().

Here is the call graph for this function:

◆ getValueId()

OperationId LoadOpNode::getValueId ( ) const

inlineoverridevirtual

Implements OpNode.

Definition at line 3888 of file Range_Analysis.cpp.

References OpNode::LoadOpId.

◆ opCtorGenerator()

std::function< OpNode (NodeContainer )> LoadOpNode::opCtorGenerator	(	const tree_nodeConstRef &	stmt,
		unsigned int	function_id,
		const FunctionBehaviorConstRef &	FB,
		const tree_managerConstRef &	TM,
		const application_managerRef &	AppM
	)