#include <otawa/exegraph/ParamExeGraph.h>

Inheritance diagram for otawa::ParamExeNode:

Public Member Functions
	ParamExeNode (ExeGraph< ParamExeNode > graph, PipelineStage< ParamExeNode > stage, ExeInst< ParamExeNode > *inst)

elm::genstruct::SLList < elm::BitVector * > *	contendersMasksList ()

elm::BitVector *	possibleContenders ()

int	lateContenders ()

void	setLateContenders (int num)

void	initContenders (int size)

bool	isContender (int index)

void	setContender (int index)

int	contendersNumber ()

void	buildContendersMasks ()

void	addConflict (ParamExeGraph::InternalConflictResource *conflict)

elm::genstruct::SLList < ParamExeGraph::InternalConflictResource * > *	conflictList ()

void	setStageNumber (int number)

int	stageNumber ()

bool	hasContenders ()

int	d (int index, ExeGraph< ParamExeNode >::time_bound_t bound)

int	d (int index)

bool	e (int index)

void	setD (int index, int value, ExeGraph< ParamExeNode >::time_bound_t bound)

void	setD (int index, int value)

void	setE (int index, bool value)

int	maxContentionDelay ()

void	setMaxContentionDelay (int value)

int	minContentionDelay ()

void	setMinContentionDelay (int value)

int	delay (int index, ExeGraph< ParamExeNode >::time_bound_t bound)

bool	contentionDep (int index)

int	internalDelay (ExeGraph< ParamExeNode >::time_bound_t bound)

int	contentionDelay (ExeGraph< ParamExeNode >::time_bound_t bound)

void	setDelay (int index, ExeGraph< ParamExeNode >::time_bound_t bound, int delay)

void	setContentionDep (int index)

void	setInternalDelay (ExeGraph< ParamExeNode >::time_bound_t bound, int delay)

void	setContentionDelay (ExeGraph< ParamExeNode >::time_bound_t bound, int delay)

PipelineStage< N > *	pipelineStage (void)

ExeInst< N > *	inst (void)

int	latency ()

int	latency (time_bound_t bound)

void	setLatency (time_bound_t bound, int latency)

bool	needsOperands (void)

void	setNeedsOperands (bool val)
	Sets whether the node depends on input operands. More...

bool	producesOperands (void)

void	setProducesOperands (bool val)
	Sets whether the node produces output operands. More...

void	addContender (N *cont)
	Adds a contender to the lists of contenders for the node. More...

elm::genstruct::Vector< N * > *	contenders ()

elm::String	name ()
	Returns the name of the node, composed of the name of the pipeline stage and the name of the instruction (e.g. More...

int	index (void) const

bool	hasSucc (void) const

bool	hasPred (void) const

int	countSucc (void) const

int	countPred (void) const

bool	isPredOf (const GenNode *node)

bool	isSuccOf (const GenNode *node)

Protected Attributes
elm::genstruct::Vector< N * >	_contenders

Private Attributes
ParamExeGraph *	_graph

elm::genstruct::AllocatedTable < int > *	_d [ExeGraph< ParamExeNode >::BOUNDS]

int	_max_contention_delay

int	_min_contention_delay

int	_stage_number

elm::genstruct::AllocatedTable < bool > *	_contention_dep

elm::genstruct::AllocatedTable < int > *	_delay [ExeGraph< ParamExeNode >::BOUNDS]

int	_internal_delay [ExeGraph< ParamExeNode >::BOUNDS]

int	_contention_delay [ExeGraph< ParamExeNode >::BOUNDS]

elm::genstruct::SLList < ParamExeGraph::InternalConflictResource * >	_contenders_list

elm::BitVector *	_possible_contenders

elm::genstruct::SLList < elm::BitVector * >	_contenders_masks_list

int	_late_contenders

Constructor & Destructor Documentation

otawa::ParamExeNode::ParamExeNode	(	ExeGraph< ParamExeNode > *	graph,
		PipelineStage< ParamExeNode > *	stage,
		ExeInst< ParamExeNode > *	inst
	)

inline

References _contention_delay, _contention_dep, _d, _delay, _graph, _internal_delay, _max_contention_delay, _min_contention_delay, INFINITE_TIME, otawa::ParamExeGraph::instructionCount(), otawa::ExeGraph< N >::ExeNode::pipelineStage(), and otawa::ParamExeGraph::resourceCount().

Member Function Documentation

void otawa::ParamExeNode::addConflict ( ParamExeGraph::InternalConflictResource * conflict )

inline

References _contenders_list.

template<class N>

void otawa::ExeGraph< N >::ExeNode::addContender ( N * cont )

inlineinherited

Adds a contender to the lists of contenders for the node.

Parameters

cont	The new contender for the node.

References otawa::ExeGraph< N >::ExeNode::_contenders, and elm::genstruct::Vector< T >::add().

void ParamExeNode::buildContendersMasks ( )

References _contenders_masks_list, _possible_contenders, elm::genstruct::SLList< T, E >::addLast(), elm::BitVector::countBits(), elm::BitVector::set(), and elm::BitVector::size().

elm::genstruct::SLList<ParamExeGraph::InternalConflictResource *>* otawa::ParamExeNode::conflictList ( )

inline

References _contenders_list.

template<class N>

elm::genstruct::Vector< N * > * otawa::ExeGraph< N >::ExeNode::contenders ( void )

inlineinherited

Returns: The list of contenders of the node.

References otawa::ExeGraph< N >::ExeNode::_contenders.

elm::genstruct::SLList<elm::BitVector *>* otawa::ParamExeNode::contendersMasksList ( )

inline

References _contenders_masks_list.

Referenced by otawa::ParamExeGraph::Delta().

int otawa::ParamExeNode::contendersNumber ( )

inline

References _possible_contenders, and elm::BitVector::countBits().

int otawa::ParamExeNode::contentionDelay ( ExeGraph< ParamExeNode >::time_bound_t bound )

inline

References _contention_delay.

bool otawa::ParamExeNode::contentionDep ( int index )

inline

References _contention_dep, and otawa::GenGraph< N, E >::GenNode::index().

template<class N, class E>

int otawa::GenGraph< N, E >::GenNode::countPred ( void ) const

inlineinherited

References otawa::graph::Node::countPred().

template<class N, class E>

int otawa::GenGraph< N, E >::GenNode::countSucc ( void ) const

inlineinherited

References otawa::graph::Node::countSucc().

int otawa::ParamExeNode::d	(	int	index,
		ExeGraph< ParamExeNode >::time_bound_t	bound
	)

inline

References _d, and otawa::GenGraph< N, E >::GenNode::index().

Referenced by otawa::ParamExeGraph::cost(), and otawa::ParamExeGraph::Delta().

int otawa::ParamExeNode::d ( int index )

inline

References _d, and otawa::GenGraph< N, E >::GenNode::index().

int otawa::ParamExeNode::delay	(	int	index,
		ExeGraph< ParamExeNode >::time_bound_t	bound
	)

inline

References _delay, and otawa::GenGraph< N, E >::GenNode::index().

Referenced by setContentionDelay(), and setInternalDelay().

bool otawa::ParamExeNode::e ( int index )

inline

References _d.

Referenced by otawa::ParamExeGraph::cost(), and otawa::ParamExeGraph::Delta().

bool otawa::ParamExeNode::hasContenders ( )

inline

References otawa::ExeGraph< N >::ExeNode::_contenders, and elm::genstruct::Vector< T >::length().

template<class N, class E>

bool otawa::GenGraph< N, E >::GenNode::hasPred ( void ) const

inlineinherited

References otawa::graph::Node::hasPred().

Referenced by otawa::LiExeGraph::shadeNodes().

template<class N, class E>

bool otawa::GenGraph< N, E >::GenNode::hasSucc ( void ) const

inlineinherited

References otawa::graph::Node::hasSucc().

template<class N, class E>

int otawa::GenGraph< N, E >::GenNode::index ( void ) const

inlineinherited

References otawa::graph::Node::index().

Referenced by contentionDep(), otawa::ParamExeGraph::cost(), d(), delay(), otawa::ParExeNode::delay(), otawa::ParExeNode::producer(), setContentionDep(), otawa::ParExeNode::setDelay(), and setE().

void otawa::ParamExeNode::initContenders ( int size )

inline

References _possible_contenders.

template<class N>

ExeInst< N > * otawa::ExeGraph< N >::ExeNode::inst ( void )

inlineinherited

Returns: The instruction the node is related to.

References otawa::ExeGraph< N >::ExeNode::_inst.

Referenced by otawa::ParamExeGraph::analyzeContentions(), otawa::LiExeGraph::maxTimeToNode(), otawa::LiExeGraph::nodeEarliestTimes(), and otawa::LiExeGraph::nodeLatestTimes().

int otawa::ParamExeNode::internalDelay ( ExeGraph< ParamExeNode >::time_bound_t bound )

inline

References _internal_delay.

bool otawa::ParamExeNode::isContender ( int index )

inline

References _possible_contenders.

template<class N, class E>

bool otawa::GenGraph< N, E >::GenNode::isPredOf ( const GenNode * node )

inlineinherited

References otawa::graph::Node::countPred().

template<class N, class E>

bool otawa::GenGraph< N, E >::GenNode::isSuccOf ( const GenNode * node )

inlineinherited

References otawa::graph::Node::isSuccOf().

int otawa::ParamExeNode::lateContenders ( )

inline

References _late_contenders.

Referenced by otawa::ParamExeGraph::Delta().

template<class N>

int otawa::ExeGraph< N >::ExeNode::latency ( )

inlineinherited

Returns: The minimum node latency.

References otawa::ExeGraph< N >::ExeNode::_latency, and otawa::ExeGraph< N >::MIN.

Referenced by otawa::LiExeGraph::analyze(), otawa::ParamExeGraph::Delta(), otawa::LiExeGraph::latestTimes(), otawa::LiExeGraph::maxTimeToNode(), otawa::LiExeGraph::nodeEarliestTimes(), otawa::LiExeGraph::nodeLatestTimes(), and otawa::ExeGraph< N >::ExeNode::setLatency().

template<class N>

int otawa::ExeGraph< N >::ExeNode::latency ( time_bound_t bound )

inlineinherited

Parameters

bound A time bound (MIN or MAX).

Returns: The node latency.

References otawa::ExeGraph< N >::ExeNode::_latency.

int otawa::ParamExeNode::maxContentionDelay ( )

inline

References _max_contention_delay.

int otawa::ParamExeNode::minContentionDelay ( )

inline

References _min_contention_delay.

template<class N>

elm::String otawa::ExeGraph< N >::ExeNode::name ( void )

inlineinherited

Returns the name of the node, composed of the name of the pipeline stage and the name of the instruction (e.g.

"CM(I8)").

Returns: Node name.

References otawa::ExeGraph< N >::ExeNode::_name.

Referenced by otawa::ParamExeGraph::Delta().

template<class N>

bool otawa::ExeGraph< N >::ExeNode::needsOperands ( void )

inlineinherited

Returns: Whether the node depends on input operands.

References otawa::ExeGraph< N >::ExeNode::_needs_operands.

template<class N>

PipelineStage< N > otawa::ExeGraph< N >::ExeNode::pipelineStage ( void )

inlineinherited

Returns: The pipeline stage the node is related to.

References otawa::ExeGraph< N >::ExeNode::_pipeline_stage.

Referenced by otawa::ParamExeGraph::Delta(), otawa::LiExeGraph::nodeEarliestTimes(), otawa::LiExeGraph::nodeLatestTimes(), and ParamExeNode().

elm::BitVector* otawa::ParamExeNode::possibleContenders ( )

inline

References _possible_contenders.

template<class N>

bool otawa::ExeGraph< N >::ExeNode::producesOperands ( void )

inlineinherited

Returns: Whether the node produces output operands.

References otawa::ExeGraph< N >::ExeNode::_produces_operands.

void otawa::ParamExeNode::setContender ( int index )

inline

References _possible_contenders, and elm::BitVector::set().

void otawa::ParamExeNode::setContentionDelay	(	ExeGraph< ParamExeNode >::time_bound_t	bound,
		int	delay
	)

inline

References _contention_delay, _graph, delay(), and otawa::ParamExeGraph::setTimesChanged().

void otawa::ParamExeNode::setContentionDep ( int index )

inline

References otawa::GenGraph< N, E >::GenNode::index().

void otawa::ParamExeNode::setD	(	int	index,
		int	value,
		ExeGraph< ParamExeNode >::time_bound_t	bound
	)

inline

References _d.

void otawa::ParamExeNode::setD	(	int	index,
		int	value
	)

inline

References _d.

void otawa::ParamExeNode::setDelay	(	int	index,
		ExeGraph< ParamExeNode >::time_bound_t	bound,
		int	delay
	)

inline

References _delay, _graph, and otawa::ParamExeGraph::setTimesChanged().

void otawa::ParamExeNode::setE	(	int	index,
		bool	value
	)

inline

References _d, and otawa::GenGraph< N, E >::GenNode::index().

Referenced by otawa::ParamExeGraph::initDelays().

void otawa::ParamExeNode::setInternalDelay	(	ExeGraph< ParamExeNode >::time_bound_t	bound,
		int	delay
	)

inline

References _graph, _internal_delay, delay(), and otawa::ParamExeGraph::setTimesChanged().

void otawa::ParamExeNode::setLateContenders ( int num )

inline

References _late_contenders.

template<class N>

void otawa::ExeGraph< N >::ExeNode::setLatency	(	time_bound_t	bound,
		int	latency
	)

inlineinherited

Parameters

bound	A time bound (MIN or MAX).
latency	The new value of the latency.

References otawa::ExeGraph< N >::ExeNode::_latency, and otawa::ExeGraph< N >::ExeNode::latency().

void otawa::ParamExeNode::setMaxContentionDelay ( int value )

inline

References _max_contention_delay.

void otawa::ParamExeNode::setMinContentionDelay ( int value )

inline

References _min_contention_delay.

template<class N>

void otawa::ExeGraph< N >::ExeNode::setNeedsOperands ( bool val )

inlineinherited

Sets whether the node depends on input operands.

References otawa::ExeGraph< N >::ExeNode::_needs_operands.

template<class N>

void otawa::ExeGraph< N >::ExeNode::setProducesOperands ( bool val )

inlineinherited

Sets whether the node produces output operands.

References otawa::ExeGraph< N >::ExeNode::_produces_operands.

void otawa::ParamExeNode::setStageNumber ( int number )

inline

References _stage_number.

int otawa::ParamExeNode::stageNumber ( )

inline

References _stage_number.

Member Data Documentation

template<class N>

elm::genstruct::Vector<N *> otawa::ExeGraph< N >::ExeNode::_contenders

protectedinherited

Referenced by otawa::ExeGraph< N >::ExeNode::addContender(), otawa::ExeGraph< N >::ExeNode::contenders(), and hasContenders().

elm::genstruct::SLList<ParamExeGraph::InternalConflictResource *> otawa::ParamExeNode::_contenders_list

private

Referenced by addConflict(), and conflictList().

elm::genstruct::SLList<elm::BitVector *> otawa::ParamExeNode::_contenders_masks_list

private

Referenced by buildContendersMasks(), and contendersMasksList().

int otawa::ParamExeNode::_contention_delay[ExeGraph< ParamExeNode >::BOUNDS]

private

Referenced by contentionDelay(), ParamExeNode(), and setContentionDelay().

elm::genstruct::AllocatedTable<bool>* otawa::ParamExeNode::_contention_dep

private

Referenced by contentionDep(), and ParamExeNode().

elm::genstruct::AllocatedTable<int>* otawa::ParamExeNode::_d[ExeGraph< ParamExeNode >::BOUNDS]

private

Referenced by d(), e(), ParamExeNode(), setD(), and setE().

elm::genstruct::AllocatedTable<int>* otawa::ParamExeNode::_delay[ExeGraph< ParamExeNode >::BOUNDS]

private

Referenced by delay(), ParamExeNode(), and setDelay().

ParamExeGraph* otawa::ParamExeNode::_graph

private

Referenced by ParamExeNode(), setContentionDelay(), setDelay(), and setInternalDelay().

int otawa::ParamExeNode::_internal_delay[ExeGraph< ParamExeNode >::BOUNDS]

private

Referenced by internalDelay(), ParamExeNode(), and setInternalDelay().

int otawa::ParamExeNode::_late_contenders

private

Referenced by lateContenders(), and setLateContenders().

int otawa::ParamExeNode::_max_contention_delay

private

Referenced by maxContentionDelay(), ParamExeNode(), and setMaxContentionDelay().

int otawa::ParamExeNode::_min_contention_delay

private

Referenced by minContentionDelay(), ParamExeNode(), and setMinContentionDelay().

elm::BitVector* otawa::ParamExeNode::_possible_contenders

private

Referenced by buildContendersMasks(), contendersNumber(), initContenders(), isContender(), possibleContenders(), and setContender().

int otawa::ParamExeNode::_stage_number

private

Referenced by setStageNumber(), and stageNumber().

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

include/otawa/exegraph/ParamExeGraph.h
src/prog/exegraph_ParamExeGraph.cpp

Public Member Functions

Protected Attributes

Private Attributes

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation