otawa::ParExeProc Class Reference

#include <otawa/parexegraph/ParExeProc.h>

Classes
class	QueueIterator

Public Types
enum	instruction_category_t {   IALU = 0, FALU = 1, MEMORY = 2, CONTROL = 3,   MUL = 4, DIV = 5, INST_CATEGORY_NUMBER }
typedef enum otawa::ParExeProc::instruction_category_t	instruction_category_t

Public Member Functions
void	addQueue (elm::String name, int size)
ParExeStage *	branchStage (void) const
ParExeStage *	execStage (void)
ParExeStage *	fetchStage (void)
bool	isLastStage (ParExeStage *stage)
ParExeStage *	lastStage (void)
List< ParExeStage * > *	listOfInorderStages ()
ParExeStage *	memStage (void) const
	ParExeProc (const hard::Processor *proc)
	Build a parametric execution processor from processor description. More...
ParExePipeline *	pipeline ()
const hard::Processor *	processor (void) const
ParExeQueue *	queue (int index)
int	queueCount () const
void	setBranchStage (ParExeStage *stage)
void	setExecStage (ParExeStage *stage)
void	setFetchStage (ParExeStage *stage)
void	setMemStage (ParExeStage *stage)

Private Attributes
ParExeStage *	_branch_stage
ParExeStage *	_exec_stage
ParExeStage *	_fetch_stage
List< ParExeStage * >	_inorder_stages
ParExeStage *	_mem_stage
ParExePipeline	_pipeline
const hard::Processor *	_proc
Vector< ParExeQueue * >	_queues

Detailed Description

Représentation of a processor (to be used to build a ParExeGraph). A processor is a pipeline, with a number of stages, among which a fetch stage and an execution stage, and a set of instruction queues.

See also

Parametric Execution Graph

Member Typedef Documentation

instruction_category_t

typedef enum otawa::ParExeProc::instruction_category_t otawa::ParExeProc::instruction_category_t

Member Enumeration Documentation

instruction_category_t

enum otawa::ParExeProc::instruction_category_t

Enumerator
IALU
FALU
MEMORY
CONTROL
MUL
DIV
INST_CATEGORY_NUMBER

Constructor & Destructor Documentation

ParExeProc()

otawa::ParExeProc::ParExeProc

(

const hard::Processor *

proc

)

Build a parametric execution processor from processor description.

Parameters

proc	Processor description.

Constructor.

Parameters

Description

of the processor.

References _inorder_stages, _pipeline, otawa::ParExeStage::addBinding(), otawa::ParExeStage::addFunctionalUnit(), addQueue(), otawa::ParExePipeline::addStage(), branchStage(), otawa::ParExeStage::COMMIT, otawa::hard::Stage::COMMIT, elm::Array< class >::count(), otawa::ParExeStage::DECODE, otawa::hard::Stage::EXEC, execStage(), otawa::ParExeStage::EXECUTE, otawa::ParExeStage::FETCH, otawa::hard::Stage::FETCH, fetchStage(), otawa::ParExeStage::fu(), otawa::hard::Stage::getDispatch(), otawa::hard::Stage::getFUs(), otawa::hard::PipelineUnit::getLatency(), otawa::hard::PipelineUnit::getName(), otawa::hard::Processor::getQueues(), otawa::hard::Processor::getStages(), otawa::hard::Stage::getType(), otawa::hard::PipelineUnit::getWidth(), otawa::ParExeStage::IN_ORDER, otawa::hard::PipelineUnit::isBranch(), otawa::hard::PipelineUnit::isMem(), otawa::hard::FunctionalUnit::isPipelined(), k(), otawa::ParExePipeline::lastStage(), otawa::hard::Stage::LAZY, memStage(), otawa::ParExePipeline::numStages(), otawa::ParExeStage::OUT_OF_ORDER, queue(), setBranchStage(), setExecStage(), setFetchStage(), and setMemStage().

Member Function Documentation

addQueue()

void otawa::ParExeProc::addQueue ( elm::String  name, int  size  )

inline

Add an instruction queue to the processor.

Parameters

name	Name of the queue.
size	Size (capacity) of the queue.

References name.

Referenced by ParExeProc().

branchStage()

ParExeStage* otawa::ParExeProc::branchStage ( void  ) const

inline

Referenced by otawa::ParExeGraph::addEdgesForFetch(), otawa::etime::StandardXGraphBuilder::init(), and ParExeProc().

execStage()

ParExeStage * otawa::ParExeProc::execStage ( void  )

inline

Returns

Pointer to the execution stage (must have been set beforehand).

Referenced by otawa::etime::StandardXGraphBuilder::addEdgesForDataDependencies(), otawa::ParExeGraph::addEdgesForDataDependencies(), otawa::etime::StandardXGraphBuilder::addEdgesForMemoryOrder(), otawa::ParExeGraph::addEdgesForMemoryOrder(), and ParExeProc().

fetchStage()

ParExeStage * otawa::ParExeProc::fetchStage ( void  )

inline

Returns

Pointer to the fetch stage (must have been set beforehand).

Referenced by otawa::ParExeGraph::addEdgesForFetch(), otawa::etime::StepGraphBuilder::build(), otawa::etime::StandardXGraphBuilder::init(), and ParExeProc().

isLastStage()

bool otawa::ParExeProc::isLastStage ( ParExeStage *  stage )

inline

Parameters

stage

Pointer to a stage.

Returns

True if the stage is the last in the pipeline.

lastStage()

ParExeStage* otawa::ParExeProc::lastStage ( void  )

inline

listOfInorderStages()

List<ParExeStage *>* otawa::ParExeProc::listOfInorderStages ( )

inline

Referenced by otawa::etime::StandardXGraphBuilder::addEdgesForProgramOrder(), and otawa::ParExeGraph::addEdgesForProgramOrder().

memStage()

ParExeStage* otawa::ParExeProc::memStage ( void  ) const

inline

Referenced by otawa::etime::StandardXGraphBuilder::addEdgesForDataDependencies(), otawa::ParExeGraph::addEdgesForDataDependencies(), and ParExeProc().

pipeline()

ParExePipeline * otawa::ParExeProc::pipeline ( )

inline

Returns

Pointer to the pipeline.

Referenced by otawa::etime::StandardXGraphBuilder::addEdgesForQueues(), otawa::ParExeGraph::addEdgesForQueues(), otawa::etime::AbstractTimeBuilder::buildResources(), otawa::ParExeGraph::createNodes(), otawa::ParExeGraph::delta(), otawa::ParExeGraph::findContendingNodes(), otawa::ResourceList::ResourceList(), and otawa::ParExeGraph::~ParExeGraph().

processor()

const hard::Processor* otawa::ParExeProc::processor ( void  ) const

inline

Referenced by otawa::etime::StepGraphBuilder::build(), otawa::ParExeGraph::createSequenceResources(), and otawa::etime::StepGraphBuilder::reset().

queue()

ParExeQueue * otawa::ParExeProc::queue ( int  index )

inline

Returns a pointer to the queue specified by index. Queues are numbered when they are added to the processor.

Parameters

index

Index of the queue.

Returns

Pointer to the indexed queue.

Referenced by ParExeProc(), and otawa::etime::StepGraphBuilder::reset().

queueCount()

int otawa::ParExeProc::queueCount ( ) const

inline

setBranchStage()

void otawa::ParExeProc::setBranchStage ( ParExeStage *  stage )

inline

Referenced by ParExeProc().

setExecStage()

void otawa::ParExeProc::setExecStage ( ParExeStage *  stage )

inline

Declares a stage as the execution stage (it will undergo a special processing when building a ParExeGraph).

Parameters

stage

Pointer to the stage.

Referenced by ParExeProc().

setFetchStage()

void otawa::ParExeProc::setFetchStage ( ParExeStage *  stage )

inline

Declares a stage as the fetch stage (it will undergo a special processing when building a ParExeGraph).

Parameters

stage

Pointer to the stage.

Referenced by ParExeProc().

setMemStage()

void otawa::ParExeProc::setMemStage ( ParExeStage *  stage )

inline

Referenced by ParExeProc().

Member Data Documentation

_branch_stage

ParExeStage* otawa::ParExeProc::_branch_stage

private

_exec_stage

ParExeStage* otawa::ParExeProc::_exec_stage

private

_fetch_stage

ParExeStage* otawa::ParExeProc::_fetch_stage

private

_inorder_stages

List<ParExeStage *> otawa::ParExeProc::_inorder_stages

private

Referenced by ParExeProc().

_mem_stage

ParExeStage* otawa::ParExeProc::_mem_stage

private

_pipeline

ParExePipeline otawa::ParExeProc::_pipeline

private

Referenced by ParExeProc().

_proc

const hard::Processor* otawa::ParExeProc::_proc

private

_queues

Vector<ParExeQueue *> otawa::ParExeProc::_queues

private

---

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

• include/otawa/parexegraph/ParExeProc.h
• src/prog/parexegraph_ParExeProc.cpp