#include <Operation.hh>

Inheritance diagram for Operation:

Collaboration diagram for Operation:

Public Types
typedef OperationBehavior::InputOperandVector	InputOperandVector

Public Member Functions
	Operation (const TCEString &name, OperationBehavior &behavior)

virtual	~Operation ()

virtual TCEString	name () const

virtual TCEString	description () const

virtual void	addDag (const TCEString &code)

virtual void	removeDag (int index)

virtual int	dagCount () const

virtual OperationDAG &	dag (int index) const

virtual TCEString	dagCode (int index) const

virtual void	setDagCode (int index, const TCEString &code)

virtual TCEString	dagError (int index) const

virtual int	numberOfInputs () const

virtual int	numberOfOutputs () const

virtual int	operandCount () const

virtual bool	isVectorOperation () const

virtual bool	usesMemory () const

virtual bool	readsMemory () const

virtual bool	writesMemory () const

virtual bool	canTrap () const

virtual bool	hasSideEffects () const

virtual bool	isClocked () const

virtual bool	isControlFlowOperation () const

virtual bool	dependsOn (const Operation &op) const

virtual void	setReadsMemory (bool setting)

virtual void	setWritesMemory (bool setting)

virtual int	affectsCount () const

virtual int	affectedByCount () const

virtual TCEString	affects (unsigned int i) const

virtual TCEString	affectedBy (unsigned int i) const

virtual bool	canSwap (int id1, int id2) const

virtual bool	isCall () const

virtual bool	isBranch () const

virtual bool	isBaseOffsetMemOperation () const

virtual void	setCall (bool setting)

virtual void	setBranch (bool setting)

virtual void	setControlFlowOperation (bool setting)

virtual bool	isPure () const

virtual Operand &	input (int index) const

virtual void	addInput (Operand *operand)

virtual Operand &	output (int index) const

virtual void	addOutput (Operand *operand)

virtual Operand &	operand (int id) const

virtual void	setBehavior (OperationBehavior &behavior)

virtual OperationBehavior &	behavior () const

virtual void	loadState (const ObjectState *state)

virtual ObjectState *	saveState () const

virtual bool	simulateTrigger (SimValue **, OperationContext &context) const

virtual bool	areValid (const InputOperandVector &inputs, const OperationContext &context) const

virtual void	createState (OperationContext &context) const

virtual void	deleteState (OperationContext &context) const

virtual bool	canBeSimulated () const

bool	isNull () const

TCEString	emulationFunctionName () const

OperationPimpl &	impl ()

Public Member Functions inherited from Serializable
virtual	~Serializable ()

Static Public Attributes
static const char *	OPRN_OPERATION = "operation"
	Object state name for operation.

static const char *	OPRN_NAME = "name"
	Object state name for name.

static const char *	OPRN_DESCRIPTION = "description"
	Object state name for description.

static const char *	OPRN_INPUTS = "inputs"
	Object state name for inputs.

static const char *	OPRN_OUTPUTS = "outputs"
	Object state name for outputs.

static const char *	OPRN_TRAP = "trap"
	Object state name for trap.

static const char *	OPRN_SIDE_EFFECTS = "side-effects"
	Object state name for side effects.

static const char *	OPRN_CLOCKED = "clocked"
	Object state name for clockedness.

static const char *	OPRN_CONTROL_FLOW = "control-flow"
	Object state name for control flow property.

static const char *	OPRN_READS_MEMORY = "reads-memory"
	Object state name for reads memory.

static const char *	OPRN_WRITES_MEMORY = "writes-memory"
	Object state name for writes memory.

static const char *	OPRN_AFFECTS = "affects"
	Object state name for affects.

static const char *	OPRN_AFFECTED_BY = "affected-by"
	Object state name for affected by.

static const char *	OPRN_IN = "in"
	Object state name for input operand.

static const char *	OPRN_OUT = "out"
	Object state name for output operand.

static const char *	OPRN_TRIGGER = "trigger-semantics"
	Object state name for trigger semantics.

static const char *	OPRN_ISCALL = "is-call"
	Object state name for call property.

static const char *	OPRN_ISBRANCH = "is-branch"
	Object state name for branch property.

Private Attributes
OperationPimpl *	pimpl_
	Private implementation in a separate source file.

Detailed Description

Class that models the static properties and the behavior of operations of the target processor.

Definition at line 59 of file Operation.hh.

Member Typedef Documentation

◆ InputOperandVector

typedef OperationBehavior::InputOperandVector Operation::InputOperandVector

Definition at line 62 of file Operation.hh.

Constructor & Destructor Documentation

◆ Operation()

Operation::Operation	(	const TCEString &	name,
		OperationBehavior &	behavior
	)

Constructor.

Parameters

name	The name of the Operation.
behavior	The behavior of the Operation.

Definition at line 73 of file Operation.cc.

                                                                       : 
    pimpl_(new OperationPimpl(name, behavior)) {
}

◆ ~Operation()

Operation::~Operation ( )

virtual

Destructor.

Operands are destroyed.

Definition at line 82 of file Operation.cc.

                      {
    delete pimpl_;
    pimpl_ = NULL;
}

References pimpl_.

Member Function Documentation

◆ addDag()

void Operation::addDag ( const TCEString & code )

virtual

Creates new DAG and adds it's code for operation.

Parameters

code	Source code written in DAG language.

Definition at line 113 of file Operation.cc.

                                       {
    pimpl_->addDag(code);
}

References OperationPimpl::addDag(), and pimpl_.

Referenced by OperationDAGDialog::doSaveDAG().

Here is the call graph for this function:

◆ addInput()

void Operation::addInput ( Operand * operand )

virtual

Definition at line 508 of file Operation.cc.

                                    {
    pimpl_->addInput(operand);
}

References OperationPimpl::addInput(), operand(), and pimpl_.

Referenced by OperationPoolPimpl::loadFromLLVM().

Here is the call graph for this function:

◆ addOutput()

void Operation::addOutput ( Operand * operand )

virtual

Definition at line 513 of file Operation.cc.

                                     {
    pimpl_->addOutput(operand);
}

References OperationPimpl::addOutput(), operand(), and pimpl_.

Referenced by OperationPoolPimpl::loadFromLLVM().

Here is the call graph for this function:

◆ affectedBy()

TCEString Operation::affectedBy ( unsigned int i ) const

virtual

Returns the name of the operation that is affected by this operation.

Note: This is from the point of view of the single operation's description. It doesn't know the affects-properties globally of all possible operations!

Parameters

i	The index of the operation.

Exceptions

OutOfRange If index is illegal.

Returns: The name of the operation.

Reimplemented in NullOperation.

Definition at line 447 of file Operation.cc.

                                          {
    return pimpl_->affectedBy(i);
}

References OperationPimpl::affectedBy(), and pimpl_.

Referenced by OSEdInfoView::operationPropertyView().

Here is the call graph for this function:

◆ affectedByCount()

int Operation::affectedByCount ( ) const

virtual

Returns the number of operations affected by this operation.

Note: This is from the point of view of the single operation's description. It doesn't know the affects-properties globally of all possible operations!

Returns: The number of operations affected by this operation.

Reimplemented in NullOperation.

Definition at line 416 of file Operation.cc.

                                 {
    return pimpl_->affectedByCount();
}

References OperationPimpl::affectedByCount(), and pimpl_.

Referenced by isPure(), OSEdInfoView::operationPropertyView(), DataDependenceGraphBuilder::processDestination(), OperationPoolPimpl::sharesState(), and writeCustomOpMacro().

Here is the call graph for this function:

◆ affects()

TCEString Operation::affects ( unsigned int i ) const

virtual

Returns the name of the operation this operation affects.

Note: This is from the point of view of the single operation's description. It doesn't know the affects-properties globally of all possible operations!

Parameters

i	The index of the operation.

Returns: The name of the operation.

Reimplemented in NullOperation.

Definition at line 431 of file Operation.cc.

                                       {
    return pimpl_->affects(i);
}

References OperationPimpl::affects(), and pimpl_.

Referenced by OSEdInfoView::operationPropertyView().

Here is the call graph for this function:

◆ affectsCount()

int Operation::affectsCount ( ) const

virtual

Returns the number of operations that affect this operation.

Note: This is from the point of view of the single operation's description. It doesn't know the affectedBy-properties globally of all possible operations!

Returns: The number of operations that affect this operation.

Reimplemented in NullOperation.

Definition at line 402 of file Operation.cc.

                              {
    return pimpl_->affectsCount();
}

References OperationPimpl::affectsCount(), and pimpl_.

Referenced by CopyingDelaySlotFiller::allowedToSpeculate(), BFOptimization::canBeSpeculated(), isPure(), OSEdInfoView::operationPropertyView(), DataDependenceGraphBuilder::processDestination(), BUBasicBlockScheduler::scheduleMove(), BasicBlockScheduler::scheduleMove(), OperationPoolPimpl::sharesState(), and writeCustomOpMacro().

Here is the call graph for this function:

◆ areValid()

bool Operation::areValid	(	const InputOperandVector &	inputs,
		const OperationContext &	context
	)		const

virtual

Returns true if the given inputs for valid and sensible for the operation.

The Base implementation return always true unless number of inputs does not match of the operands or the operation can not be simulated.

Parameters

inputs	Input vector of SimValues for each input operand in order. Note: Vector at index 0 is for Operand 1, index 1 is for Operand 2 and so on.
context	The context in which the validation is performed.

Definition at line 574 of file Operation.cc.

                                           {
 
    return canBeSimulated()
        && (inputs.size() == static_cast<size_t>(numberOfInputs()))
        && pimpl_->behavior().areValid(inputs, context);
}

References OperationBehavior::areValid(), OperationPimpl::behavior(), canBeSimulated(), numberOfInputs(), and pimpl_.

Here is the call graph for this function:

◆ behavior()

OperationBehavior & Operation::behavior ( ) const

virtual

Returns the behavior of Operation.

Returns: The behavior of Operation.

Reimplemented in NullOperation.

Definition at line 388 of file Operation.cc.

                          {
    return pimpl_->behavior();
}

References OperationPimpl::behavior(), and pimpl_.

Referenced by OperationBehaviorProxy::canBeSimulated(), SimulateDialog::createState(), CmdReset::execute(), RISCVInstructionExecutor::executeInstructionHelper(), SimulateDialog::onReset(), OsalInterpreter::operation(), setBehavior(), and SimulateDialog::~SimulateDialog().

Here is the call graph for this function:

◆ canBeSimulated()

bool Operation::canBeSimulated ( ) const

virtual

Returns true if this operation has behavior, or dag which is simulateable (doesn't contain infinite recursion loop).

Returns: True if this operation has behavior, or dag which is

Definition at line 612 of file Operation.cc.

                                {    
    return pimpl_->canBeSimulated();
}

References OperationPimpl::canBeSimulated(), and pimpl_.

Referenced by areValid(), OperationBehaviorProxy::canBeSimulated(), OperationDAGBehavior::canBeSimulated(), POMValidator::checkSimulatability(), OSEdSimulateCmd::isEnabled(), and OSEdInfoView::operationPropertyView().

Here is the call graph for this function:

◆ canSwap()

bool Operation::canSwap	(	int	id1,
		int	id2
	)		const

virtual

Returns true if Operands can be swapped.

Parameters

id1	Id of the first Operand.
id2	Id of the second Operand.

Returns: True, if Operands can be swapped, false otherwise.

Reimplemented in NullOperation.

Definition at line 470 of file Operation.cc.

                                         {
    return pimpl_->canSwap(id1, id2);
}

References OperationPimpl::canSwap(), and pimpl_.

Referenced by BFSwapOperands::BFSwapOperands(), BF2Scheduler::mustBeTrigger(), BFDropPreShared::operator()(), BFSwapOperands::operator()(), BF2Scheduler::swapToUntrigger(), BasicBlockScheduler::tryToSwitchInputs(), BUBasicBlockScheduler::tryToSwitchInputs(), and TDGen::writeOperationDefs().

Here is the call graph for this function:

◆ canTrap()

bool Operation::canTrap ( ) const

virtual

Returns true if Operation can trap.

Returns: True if Operation can trap, false otherwise.

Reimplemented in NullOperation.

Definition at line 262 of file Operation.cc.

                         {
    return pimpl_->canTrap();
}

References OperationPimpl::canTrap(), and pimpl_.

Referenced by OperationPropertyDialog::TransferDataToWindow(), and OSEdInfoView::writeStaticPropertiesOfOperation().

Here is the call graph for this function:

◆ createState()

void Operation::createState ( OperationContext & context ) const

virtual

Creates an instance of operation state for this operation and adds it to the operation context.

Parameters

context The operation context to add the state in.

Reimplemented in NullOperation.

Definition at line 590 of file Operation.cc.

                                                      {
    pimpl_->createState(context);
}

References OperationPimpl::createState(), and pimpl_.

Referenced by FUState::addOperationExecutor(), OperationBehaviorProxy::createState(), FUState::replaceOperationExecutor(), and FUState::reset().

Here is the call graph for this function:

◆ dag()

OperationDAG & Operation::dag ( int index ) const

virtual

Returns an operation DAG for operation.

Compiles DAG from code to object if necessary.

Parameters

index Index of returned DAG.

Returns: Requested operation DAG or OperationDAG::null if DAG is not valid.

Definition at line 148 of file Operation.cc.

                              {
    return pimpl_->dag(index);
}

References OperationPimpl::dag(), and pimpl_.

Referenced by OperationDAGSelector::createExpandedDAG(), OperationDAGSelector::findDags(), MemoryAliasAnalyzer::findTwoPartAddressOperands(), ProGeTools::generateableDAGOperations(), Automagic::generateableDAGOperations(), CompiledSimCodeGenerator::generateTriggerCode(), TDGen::getMatchableOperationDAG(), TDGen::getMatchableOperationDAGs(), OperationBehaviorProxy::initializeBehavior(), MemoryAliasAnalyzer::mausOfOperation(), TDGen::operationCanBeMatched(), FUGen::parseOperations(), and OperationDAGDialog::updateDAG().

Here is the call graph for this function:

◆ dagCode()

TCEString Operation::dagCode ( int index ) const

virtual

Returns source code of DAG.

Parameters

index Index of DAG whose source code is requested.

Returns: The source code set for DAG.

Definition at line 159 of file Operation.cc.

                                  {
    return pimpl_->dagCode(index);
}

References OperationPimpl::dagCode(), and pimpl_.

Referenced by TDGen::getMatchableOperationDAG(), TDGen::getMatchableOperationDAGs(), OperationPropertyDialog::saveOperation(), and OperationDAGDialog::updateDAG().

Here is the call graph for this function:

◆ dagCount()

int Operation::dagCount ( ) const

virtual

Returns number of DAGs stored for operation.

Returns: Number of DAGs stored for operation.

Definition at line 134 of file Operation.cc.

                          {
    return pimpl_->dagCount();
}

References OperationPimpl::dagCount(), and pimpl_.

Referenced by OperationDAGSelector::createExpandedDAG(), OperationDAGDialog::doSaveDAG(), OperationDAGSelector::findDags(), MemoryAliasAnalyzer::findTwoPartAddressOperands(), ProGeTools::generateableDAGOperations(), Automagic::generateableDAGOperations(), TDGen::getMatchableOperationDAG(), TDGen::getMatchableOperationDAGs(), CompiledSimCodeGenerator::handleOperation(), OperationBehaviorProxy::initializeBehavior(), MemoryAliasAnalyzer::mausOfOperation(), OperationDAGDialog::onDeleteDAG(), OperationDAGDialog::onNewDAG(), OperationDAGDialog::onOK(), OperationDAGDialog::onUndoDAG(), TDGen::operationCanBeMatched(), FUGen::parseOperations(), OperationPropertyDialog::saveOperation(), OperationDAGDialog::updateIndex(), TDGen::writeOperationDef(), and RISCVTDGen::writePatternDefinition().

Here is the call graph for this function:

◆ dagError()

TCEString Operation::dagError ( int index ) const

virtual

Error message if DAG source code could not be compiled.

Parameters

index Index of DAG whose error is returned.

Returns: Error message, empty string if DAG was compiles successfully.

Definition at line 182 of file Operation.cc.

                                   {
    return pimpl_->dagError(index);
}

References OperationPimpl::dagError(), and pimpl_.

Referenced by OperationDAGSelector::findDags(), TDGen::getMatchableOperationDAG(), TDGen::getMatchableOperationDAGs(), and OperationDAGDialog::updateDAG().

Here is the call graph for this function:

◆ deleteState()

void Operation::deleteState ( OperationContext & context ) const

virtual

Deletes an instance of operation state for this operation from the operation context.

Parameters

context The operation context to delete the state from.

Reimplemented in NullOperation.

Definition at line 601 of file Operation.cc.

                                                      {
    pimpl_->deleteState(context);
}

References OperationPimpl::deleteState(), and pimpl_.

Referenced by OperationBehaviorProxy::deleteState(), and FUState::reset().

Here is the call graph for this function:

◆ dependsOn()

bool Operation::dependsOn ( const Operation & op ) const

virtual

Returns true if Operation depends on the given operation.

Parameters

op	The Operation being investigated.

Returns: True if Operation depends on the given operation, false otherwise.

Reimplemented in NullOperation.

Definition at line 458 of file Operation.cc.

                                              {
    return pimpl_->dependsOn(op);
}

References OperationPimpl::dependsOn(), and pimpl_.

Referenced by DataDependenceGraphBuilder::createSideEffectEdges(), and OperationPoolPimpl::sharesState().

Here is the call graph for this function:

◆ description()

TCEString Operation::description ( ) const

virtual

Returns the description of the Operation.

Returns: The description of the Operation.

Reimplemented in NullOperation.

Definition at line 103 of file Operation.cc.

                             {
    return pimpl_->description();
}

References OperationPimpl::description(), and pimpl_.

Referenced by OpsetDialog::onSelectOperation(), printLatexFunctionUnitDescription(), OperationPropertyDialog::TransferDataToWindow(), and OSEdInfoView::writeStaticPropertiesOfOperation().

Here is the call graph for this function:

◆ emulationFunctionName()

TCEString Operation::emulationFunctionName ( ) const

Name of emulation function which is called if the operation is emulated in program.

Returns: Name of emulation function of the instruction.

Definition at line 623 of file Operation.cc.

                                       {
    return pimpl_->emulationFunctionName();
}

References OperationPimpl::emulationFunctionName(), and pimpl_.

Here is the call graph for this function:

◆ hasSideEffects()

bool Operation::hasSideEffects ( ) const

virtual

Return true if operation has side effects.

Returns: True if Operation has side effects, false otherwise.

Reimplemented in NullOperation.

Definition at line 272 of file Operation.cc.

                                {
    return pimpl_->hasSideEffects();
}

References OperationPimpl::hasSideEffects(), and pimpl_.

Referenced by CopyingDelaySlotFiller::allowedToSpeculate(), BFOptimization::canBeSpeculated(), DataDependenceGraphBuilder::createSideEffectEdges(), DataDependenceGraphBuilder::createTriggerDependencies(), isPure(), BFRemoveLoopChecksAndJump::operator()(), DataDependenceGraphBuilder::processDestination(), BUBasicBlockScheduler::scheduleMove(), BasicBlockScheduler::scheduleMove(), OperationPropertyDialog::TransferDataToWindow(), writeCustomOpMacro(), and OSEdInfoView::writeStaticPropertiesOfOperation().

Here is the call graph for this function:

◆ impl()

OperationPimpl & Operation::impl ( )

inline

Definition at line 170 of file Operation.hh.

170{ return *pimpl_; }

References pimpl_.

Referenced by TDGen::createTrivialDAG().

◆ input()

Operand & Operation::input ( int index ) const

virtual

Returns the input Operand with the given index.

This method can be used to traverse the list of input operands (the max index is numberOfOutput() - 1).

Parameters

index The id of Operand.

Reimplemented in NullOperation.

Definition at line 503 of file Operation.cc.

                                {
    return pimpl_->input(index);
}

References OperationPimpl::input(), and pimpl_.

Referenced by MemoryAliasAnalyzer::addressOperandMove(), MemoryAliasAnalyzer::findTwoPartAddressOperands(), OperationSimulator::initializeOutputs(), MemoryAliasAnalyzer::mausOfOperation(), writeCustomOpMacro(), and TDGen::writeOperationDefUsingGivenOperandTypes().

Here is the call graph for this function:

◆ isBaseOffsetMemOperation()

bool Operation::isBaseOffsetMemOperation ( ) const

virtual

Definition at line 323 of file Operation.cc.

                                          {
    std::string upperName = name().upper();
    return upperName == "ALDW" || upperName == "ALDHU" || 
        upperName == "ALDH" || upperName == "ALDQU" ||
        upperName == "ALDQ" || upperName == "ASTW" ||
        upperName == "ASTH" || upperName == "ASTQ";
}

References name(), and TCEString::upper().

Referenced by llvm::LLVMTCEBuilder::emitInstruction(), and osalInputIndex().

Here is the call graph for this function:

◆ isBranch()

bool Operation::isBranch ( ) const

virtual

Return true if the operation is branch.

Branches of different type have this property set.

Returns: True if Operation is a branch operation.

Reimplemented in NullOperation.

Definition at line 306 of file Operation.cc.

                          {
    return pimpl_->isBranch();
}

References OperationPimpl::isBranch(), and pimpl_.

Referenced by TTAProgram::Move::isJump(), isPure(), ConstantTransformer::runOnMachineFunction(), TransportPipeline::startOperation(), and OperationPropertyDialog::TransferDataToWindow().

Here is the call graph for this function:

◆ isCall()

bool Operation::isCall ( ) const

virtual

Return true if the operation is call.

Calls of different type have this property set.

Returns: True if Operation is a call operation.

Reimplemented in NullOperation.

Definition at line 318 of file Operation.cc.

                        {
    return pimpl_->isCall();
}

References OperationPimpl::isCall(), and pimpl_.

Referenced by TTAProgram::Move::isCall(), isPure(), ConstantTransformer::runOnMachineFunction(), TransportPipeline::startOperation(), and OperationPropertyDialog::TransferDataToWindow().

Here is the call graph for this function:

◆ isClocked()

bool Operation::isClocked ( ) const

virtual

Returns true if the operation is clocked.

Returns: True if the operation is clocked.

Reimplemented in NullOperation.

Definition at line 282 of file Operation.cc.

                           {
    return pimpl_->isClocked();
}

References OperationPimpl::isClocked(), and pimpl_.

Referenced by POMValidator::checkCompiledSimulatability(), OperationPropertyDialog::TransferDataToWindow(), and OSEdInfoView::writeStaticPropertiesOfOperation().

Here is the call graph for this function:

◆ isControlFlowOperation()

bool Operation::isControlFlowOperation ( ) const

virtual

Return true if the operation can change control flow.

Branches and calls of different type have this property set.

Returns: True if Operation is a control flow operation.

Reimplemented in NullOperation.

Definition at line 294 of file Operation.cc.

                                        {
    return pimpl_->isControlFlowOperation();
}

References OperationPimpl::isControlFlowOperation(), and pimpl_.

Referenced by BFOptimization::canBeSpeculated(), TTAProgram::CodeGenerator::createTerminalFUPort(), TTAProgram::Move::isControlFlowMove(), isPure(), BFRemoveLoopChecksAndJump::operator()(), and OperationPropertyDialog::TransferDataToWindow().

Here is the call graph for this function:

◆ isNull()

bool Operation::isNull ( ) const

Referenced by MachineStateBuilder::addVirtualOpcodeSettingPortsToFU(), SocketBusConnCmd::Do(), MachineInfo::osalOperation(), MIDDGNode::osalOperationName(), and ConstantTransformer::runOnMachineFunction().

◆ isPure()

bool Operation::isPure ( ) const

virtual

Returns true if Operand does not have any kind of side effects program wide.

In Addition of !hasSideEffects(), the operation does not access memory and is not control flow operation.

Definition at line 346 of file Operation.cc.

                        {
    return (!hasSideEffects()
        && !usesMemory()
        && !isControlFlowOperation()
        && !isCall()
        && !isBranch() && affectsCount() == 0
        && affectedByCount() == 0);
}

References affectedByCount(), affectsCount(), hasSideEffects(), isBranch(), isCall(), isControlFlowOperation(), and usesMemory().

Here is the call graph for this function:

◆ isVectorOperation()

bool Operation::isVectorOperation ( ) const

virtual

Returns true if any of the operands is a vector operand.

Returns: True if the Operation has a vector operand, false otherwise.

Definition at line 222 of file Operation.cc.

                                   {
    return false; // WiP.
}

Referenced by TDGen::gatherAllMachineOperations(), and TDGen::writeInstrInfo().

◆ loadState()

void Operation::loadState ( const ObjectState * state )

virtual

Loads the Operation from ObjectState object.

Parameters

state The state of the Operation.

Implements Serializable.

Definition at line 480 of file Operation.cc.

                                             {
    pimpl_->loadState(state);
}

References OperationPimpl::loadState(), and pimpl_.

Referenced by OSEdTreeView::constructTree(), OperationIndex::effectiveOperation(), OperationPropertyLoader::loadOperationProperties(), OperationDAGDialog::onCancel(), OperationContainer::operation(), and OperationPropertyDialog::updateOperation().

Here is the call graph for this function:

◆ name()

TCEString Operation::name ( ) const

virtual

Returns the name of the Operation.

Returns: The name of the Operation.

Reimplemented in NullOperation.

Definition at line 93 of file Operation.cc.

                      {
    return pimpl_->name();
}

References OperationPimpl::name(), and pimpl_.

Here is the call graph for this function:

◆ numberOfInputs()

int Operation::numberOfInputs ( ) const

virtual

Returns the number of the inputs of the Operation.

Returns: The number of inputs of the Operation.

Reimplemented in NullOperation.

Definition at line 192 of file Operation.cc.

                                {
    return pimpl_->numberOfInputs();
}

References OperationPimpl::numberOfInputs(), and pimpl_.

Here is the call graph for this function:

◆ numberOfOutputs()

int Operation::numberOfOutputs ( ) const

virtual

Returns the number of outputs of the Operation.

Returns: The number of outputs of the Operation.

Reimplemented in NullOperation.

Definition at line 202 of file Operation.cc.

                                 {
    return pimpl_->numberOfOutputs();
}

References OperationPimpl::numberOfOutputs(), and pimpl_.

Referenced by VectorLSGenerator::addOperation(), MachineStateBuilder::addVirtualOpcodeSettingPortsToFU(), SimpleOperationExecutor::advanceClock(), TDGen::areImmediateOperandsLegal(), MachineStateBuilder::bindPortsToOperands(), ControlFlowGraph::buildMBBFromBB(), TDGen::constantNodeString(), TDGen::createDefaultOperandTypeString(), OpsetDialog::createOperation(), TDGen::createTrivialDAG(), VectorLSGenerator::createVectorLSU(), TDGen::dagNodeToString(), llvm::LLVMTCEBuilder::emitInstruction(), TDGen::emulatingOpNodeLLVMName(), CmdTrigger::execute(), RISCVInstructionExecutor::executeInstructionHelper(), RISCVTDGen::getFormatType(), TDGen::getLLVMPatternWithConstants(), OperationBehaviorProxy::initializeBehavior(), OperationSimulator::initializeOutputs(), ProgramOperation::isComplete(), MultiLatencyOperationExecutor::MultiLatencyOperationExecutor(), OpsetDialog::onSelectOperation(), operandCount(), OperationDAGBehavior::OperationDAGBehavior(), TDGen::operationNodeToString(), OSEdInfoView::operationPropertyView(), ProgramOperation::outputNode(), TDGen::patInputs(), TDGen::patOutputs(), SmartHWOperation::port(), DataDependenceGraphBuilder::processTriggerPO(), FUState::replaceOperationExecutor(), ExecutionPipelineResource::resultReadyCycle(), FUState::sameBindings(), ExecutionPipelineResource::setResultWriten(), SmartHWOperation::SmartHWOperation(), MultiLatencyOperationExecutor::startOperation(), SimpleOperationExecutor::startOperation(), TransportPipeline::startOperation(), ExecutionPipelineResource::testTriggerResult(), ExecutionPipelineResource::unsetResultWriten(), writeCustomOpMacro(), TDGen::writeEmulationPattern(), TDGen::writeInstrInfo(), OperationDAGConverter::writeNode(), TDGen::writeOperationDefs(), TDGen::writeOperationDefs(), TDGen::writeOperationDefUsingGivenOperandTypes(), RISCVTDGen::writePatternDefinition(), TDGen::writeScalarOperationExploitations(), OSEdInfoView::writeStaticPropertiesOfOperation(), TDGen::writeVectorBitwiseOperationDefs(), and TDGen::writeVectorOperationDef().

Here is the call graph for this function:

◆ operand()

Operand & Operation::operand ( int id ) const

virtual

Returns the Operand with the given id if found, otherwise null Operand.

Note: This method is used to fetch operands with their 'id', the number which identifies it to the programmer. That is, output ids start from the last input id + 1, etc.

Parameters

id	The id of Operand.

Returns: Operand if found, null Operand otherwise.

Reimplemented in NullOperation.

Definition at line 541 of file Operation.cc.

                               {
    return pimpl_->operand(id);
}

References OperationPimpl::operand(), and pimpl_.

Referenced by addInput(), addOutput(), TDGen::analyzeMachineVectorRegisterClasses(), TDGen::areImmediateOperandsLegal(), OperationDAGBuilder::connectOperandToNode(), TDGen::constantNodeString(), ImmInfo::count(), TDGen::createDefaultOperandTypeString(), OpsetDialog::createOperation(), TDGen::createTrivialDAG(), FUGen::DAGNodeOperandWidth(), TDGen::dagNodeToString(), SocketBusConnCmd::Do(), llvm::LLVMTCEBuilder::emitInstruction(), llvm::LLVMTCEBuilder::emitOperationMacro(), TDGen::emulatingOpNodeLLVMName(), MachineInfo::findWidestOperand(), llvm::LLVMTCEBuilder::hasAmbiguousASpaceRefs(), TDGen::hasRawOperands(), TDGen::hasRegisterClassSupport(), ImmInfo::immediateValueBounds(), MachineInfo::operandFromPort(), MachineConnectivityCheck::operandWidth(), OSEdInfoView::operationPropertyView(), osalInputIndex(), TDGen::patInputs(), TDGen::patOutputs(), ConstantTransformer::runOnMachineFunction(), FUGen::scheduleOperations(), SimpleOperationExecutor::startOperation(), TDGen::subwordWidthOfRawData(), PreOptimizer::tryToRemoveEq(), ImmInfo::widestImmediate(), writeCustomOpMacro(), TDGen::writeEmulationPattern(), OperationDAGConverter::writeNode(), and TDGen::writeOperationDefs().

Here is the call graph for this function:

◆ operandCount()

int Operation::operandCount ( ) const

virtual

Returns the number of all operands of the Operation.

Returns: The number of all operands of the Operation.

Definition at line 212 of file Operation.cc.

                              {
    return numberOfInputs() + numberOfOutputs();
}

References numberOfInputs(), and numberOfOutputs().

Referenced by TDGen::analyzeMachineVectorRegisterClasses(), TDGen::areImmediateOperandsLegal(), OperationDAGBuilder::connectOperandToNode(), MachineInfo::findWidestOperand(), TDGen::hasRawOperands(), TDGen::hasRegisterClassSupport(), operandBindingsString(), TDGen::subwordWidthOfRawData(), and TDGen::writeVectorOperationDef().

Here is the call graph for this function:

◆ output()

Operand & Operation::output ( int index ) const

virtual

Returns the output Operand with the given index.

This method can be used to traverse the list of output operands (the max index is numberOfOutput() - 1).

Parameters

index The index of Operand.

Reimplemented in NullOperation.

Definition at line 526 of file Operation.cc.

                                 {
    return pimpl_->output(index);
}

References OperationPimpl::output(), and pimpl_.

Referenced by OperationSimulator::initializeOutputs(), writeCustomOpMacro(), TDGen::writeOperationDefUsingGivenOperandTypes(), TDGen::writeScalarOperationExploitations(), and TDGen::writeVectorBitwiseOperationDefs().

Here is the call graph for this function:

◆ readsMemory()

bool Operation::readsMemory ( ) const

virtual

Returns true if Operation reads from memory.

Returns: True if Operation reads from memory, false otherwise.

Reimplemented in NullOperation.

Definition at line 242 of file Operation.cc.

                             {
    return pimpl_->readsMemory();
}

References pimpl_, and OperationPimpl::readsMemory().

Referenced by CopyingDelaySlotFiller::allowedToSpeculate(), DataDependenceGraphBuilder::createTriggerDependencies(), PreOptimizer::handleCFGDDG(), ConstantTransformer::runOnMachineFunction(), DataDependenceGraph::sanityCheck(), TDGen::supportedStackAccessOperations(), OperationPropertyDialog::TransferDataToWindow(), TDGen::writeOperationDefs(), and OSEdInfoView::writeStaticPropertiesOfOperation().

Here is the call graph for this function:

◆ removeDag()

void Operation::removeDag ( int index )

virtual

Removes DAG of given index from operation.

Parameters

index Index of dag to delete.

Definition at line 123 of file Operation.cc.

                              {
    pimpl_->removeDag(index);
}

References pimpl_, and OperationPimpl::removeDag().

Referenced by OperationDAGDialog::onDeleteDAG().

Here is the call graph for this function:

◆ saveState()

ObjectState * Operation::saveState ( ) const

virtual

Saves the state of the Operation in ObjectState object.

Returns: The state of the Operation.

Implements Serializable.

Definition at line 490 of file Operation.cc.

                           {
    return pimpl_->saveState();
}

References pimpl_, and OperationPimpl::saveState().

Referenced by OSEdAddOperationCmd::Do(), and OSEdPropertiesCmd::Do().

Here is the call graph for this function:

◆ setBehavior()

void Operation::setBehavior ( OperationBehavior & behavior )

virtual

Sets the behavior for operation.

Parameters

behavior Behavior for an operation.

Reimplemented in NullOperation.

Definition at line 378 of file Operation.cc.

                                                  {
    pimpl_->setBehavior(behavior);
}

References behavior(), pimpl_, and OperationPimpl::setBehavior().

Referenced by OperationIndex::effectiveOperation(), OperationBehaviorProxy::initializeBehavior(), OperationContainer::operation(), and OperationBehaviorProxy::uninitializeBehavior().

Here is the call graph for this function:

◆ setBranch()

void Operation::setBranch ( bool setting )

virtual

Sets the property of operation indicating the operation is branch changing control flow.

Definition at line 368 of file Operation.cc.

                                 {
    pimpl_->setBranch(setting);
}

References pimpl_, and OperationPimpl::setBranch().

Referenced by OperationPoolPimpl::loadFromLLVM().

Here is the call graph for this function:

◆ setCall()

void Operation::setCall ( bool setting )

virtual

Sets the property of operation indicating the operation is function call.

Definition at line 359 of file Operation.cc.

                               {
    pimpl_->setCall(setting);
}

References pimpl_, and OperationPimpl::setCall().

Referenced by OperationPoolPimpl::loadFromLLVM().

Here is the call graph for this function:

◆ setControlFlowOperation()

void Operation::setControlFlowOperation ( bool setting )

virtual

Sets the property of operation indicating the operation is control flow.

Definition at line 335 of file Operation.cc.

                                               {
    pimpl_->setControlFlowOperation(setting);
}

References pimpl_, and OperationPimpl::setControlFlowOperation().

Referenced by OperationPoolPimpl::loadFromLLVM().

Here is the call graph for this function:

◆ setDagCode()

void Operation::setDagCode	(	int	index,
		const TCEString &	code
	)

virtual

Set new source code for DAG and automatically tries to compile latest version to object.

Parameters

index	Index of DAG whose source code is updated.
code	New source code in DAG Osal Language.

Definition at line 171 of file Operation.cc.

                                                      {    
    pimpl_->setDagCode(index, code);
}

References pimpl_, and OperationPimpl::setDagCode().

Referenced by OperationDAGDialog::doSaveDAG().

Here is the call graph for this function:

◆ setReadsMemory()

void Operation::setReadsMemory ( bool setting )

virtual

Specifies if operation reads memory.

Definition at line 631 of file Operation.cc.

                                     {
    pimpl_->setReadsMemory(setting);
}

References pimpl_, and OperationPimpl::setReadsMemory().

Referenced by OperationPoolPimpl::loadFromLLVM().

Here is the call graph for this function:

◆ setWritesMemory()

void Operation::setWritesMemory ( bool setting )

virtual

Specifies if operation writes memory.

Definition at line 639 of file Operation.cc.

                                      {
    pimpl_->setWritesMemory(setting);
}

References pimpl_, and OperationPimpl::setWritesMemory().

Referenced by OperationPoolPimpl::loadFromLLVM().

Here is the call graph for this function:

◆ simulateTrigger()

bool Operation::simulateTrigger	(	SimValue **	io,
		OperationContext &	context
	)		const

virtual

Simulates the process of starting execution of an operation.

Parameters

io	The input and output operands.
context	The operation context.

Returns: True, if all values could be computed, false otherwise.

Exceptions

Exception Depends on the operation behavior.

Reimplemented in NullOperation.

Definition at line 555 of file Operation.cc.

                                     {
   
    return pimpl_->simulateTrigger(io, context);
}

References pimpl_, and OperationPimpl::simulateTrigger().

Referenced by MultiLatencyOperationExecutor::advanceClock(), OperationSimulator::simulateTrigger(), OperationBehaviorProxy::simulateTrigger(), OneCycleOperationExecutor::startOperation(), SimpleOperationExecutor::startOperation(), and TransportPipeline::startOperation().

Here is the call graph for this function:

◆ usesMemory()

bool Operation::usesMemory ( ) const

virtual

Returns true if Operation uses memory.

Returns: True if Operation uses memory, false otherwise.

Reimplemented in NullOperation.

Definition at line 232 of file Operation.cc.

                            {
    return pimpl_->usesMemory();
}

References pimpl_, and OperationPimpl::usesMemory().

Referenced by MemoryAliasAnalyzer::addressOperandMove(), BFOptimization::canBeSpeculated(), AddressSpaceCheck::check(), VectorLSGenerator::createVectorLSU(), MemoryAliasAnalyzer::findTwoPartAddressOperands(), isPure(), MemoryAliasAnalyzer::mausOfOperation(), ResourceConstraintAnalyzer::memoryBoundScheduleResourceUsage(), DataDependenceGraphBuilder::processDestination(), and writeCustomOpMacros().

Here is the call graph for this function:

◆ writesMemory()

bool Operation::writesMemory ( ) const

virtual

Returns true if Operation writes to memory.

Returns: True if Operation writes to memory, false otherwise.

Reimplemented in NullOperation.

Definition at line 252 of file Operation.cc.

                              {
    return pimpl_->writesMemory();
}

References pimpl_, and OperationPimpl::writesMemory().

Referenced by CopyingDelaySlotFiller::allowedToSpeculate(), DataDependenceGraphBuilder::createTriggerDependencies(), TDGen::operationDAGCanBeMatched(), BFRemoveLoopChecksAndJump::operator()(), DataDependenceGraph::sanityCheck(), BUBasicBlockScheduler::scheduleMove(), BasicBlockScheduler::scheduleMove(), TDGen::supportedStackAccessOperations(), OperationPropertyDialog::TransferDataToWindow(), writeCustomOpMacro(), TDGen::writeOperationDefs(), and OSEdInfoView::writeStaticPropertiesOfOperation().

Here is the call graph for this function:

Member Data Documentation

◆ OPRN_AFFECTED_BY

const char * Operation::OPRN_AFFECTED_BY = "affected-by"

static

Object state name for affected by.

Definition at line 89 of file Operation.hh.

Referenced by OperationPimpl::loadState(), OperationPropertyDialog::saveOperation(), and OperationPimpl::saveState().

◆ OPRN_AFFECTS

const char * Operation::OPRN_AFFECTS = "affects"

static

Object state name for affects.

Definition at line 87 of file Operation.hh.

Referenced by OperationPimpl::loadState(), OperationPropertyDialog::saveOperation(), and OperationPimpl::saveState().

◆ OPRN_CLOCKED

const char * Operation::OPRN_CLOCKED = "clocked"

static

Object state name for clockedness.

Definition at line 79 of file Operation.hh.

Referenced by OperationPimpl::loadState(), OperationPropertyDialog::saveOperation(), OperationPimpl::saveState(), OperationSerializer::toOperation(), and OperationSerializer::toXMLFormat().

◆ OPRN_CONTROL_FLOW

const char * Operation::OPRN_CONTROL_FLOW = "control-flow"

static

Object state name for control flow property.

Definition at line 81 of file Operation.hh.

Referenced by OperationPimpl::loadState(), OperationPropertyDialog::saveOperation(), OperationPimpl::saveState(), OperationSerializer::toOperation(), and OperationSerializer::toXMLFormat().

◆ OPRN_DESCRIPTION

const char * Operation::OPRN_DESCRIPTION = "description"

static

Object state name for description.

Definition at line 69 of file Operation.hh.

Referenced by OperationPimpl::loadState(), OperationPropertyDialog::saveOperation(), OperationPimpl::saveState(), OperationSerializer::toOperation(), and OperationSerializer::toXMLFormat().

◆ OPRN_IN

const char * Operation::OPRN_IN = "in"

static

Object state name for input operand.

Definition at line 91 of file Operation.hh.

Referenced by OperationPimpl::loadState(), OperationPropertyDialog::saveOperation(), OperationPimpl::saveState(), OperationSerializer::toOperation(), and OperationSerializer::toXMLFormat().

◆ OPRN_INPUTS

const char * Operation::OPRN_INPUTS = "inputs"

static

Object state name for inputs.

Definition at line 71 of file Operation.hh.

Referenced by OperationPimpl::loadState(), OperationPropertyDialog::saveOperation(), OperationPimpl::saveState(), OperationSerializer::toOperation(), and OperationSerializer::toXMLFormat().

◆ OPRN_ISBRANCH

const char * Operation::OPRN_ISBRANCH = "is-branch"

static

Object state name for branch property.

Definition at line 99 of file Operation.hh.

Referenced by OperationPimpl::loadState(), OperationPropertyDialog::saveOperation(), OperationPimpl::saveState(), OperationSerializer::toOperation(), and OperationSerializer::toXMLFormat().

◆ OPRN_ISCALL

const char * Operation::OPRN_ISCALL = "is-call"

static

Object state name for call property.

Definition at line 97 of file Operation.hh.

Referenced by OperationPimpl::loadState(), OperationPropertyDialog::saveOperation(), OperationPimpl::saveState(), OperationSerializer::toOperation(), and OperationSerializer::toXMLFormat().

◆ OPRN_NAME

const char * Operation::OPRN_NAME = "name"

static

Object state name for name.

Definition at line 67 of file Operation.hh.

Referenced by OperationIndex::effectiveOperation(), OperationPropertyLoader::loadOperationProperties(), OperationPimpl::loadState(), OperationIndex::moduleOf(), OperationIndex::operationName(), OperationPropertyDialog::saveOperation(), OperationPimpl::saveState(), OperationSerializer::toOperation(), and OperationSerializer::toXMLFormat().

◆ OPRN_OPERATION

const char * Operation::OPRN_OPERATION = "operation"

static

Object state name for operation.

Definition at line 65 of file Operation.hh.

Referenced by OperationPropertyDialog::saveOperation(), OperationPimpl::saveState(), OperationSerializer::toOperation(), and OperationSerializer::toXMLFormat().

◆ OPRN_OUT

const char * Operation::OPRN_OUT = "out"

static

Object state name for output operand.

Definition at line 93 of file Operation.hh.

Referenced by OperationPimpl::loadState(), OperationPropertyDialog::saveOperation(), OperationPimpl::saveState(), OperationSerializer::toOperation(), and OperationSerializer::toXMLFormat().

◆ OPRN_OUTPUTS

const char * Operation::OPRN_OUTPUTS = "outputs"

static

Object state name for outputs.

Definition at line 73 of file Operation.hh.

Referenced by OperationPimpl::loadState(), OperationPropertyDialog::saveOperation(), OperationPimpl::saveState(), OperationSerializer::toOperation(), and OperationSerializer::toXMLFormat().

◆ OPRN_READS_MEMORY

const char * Operation::OPRN_READS_MEMORY = "reads-memory"

static

Object state name for reads memory.

Definition at line 83 of file Operation.hh.

Referenced by OperationPimpl::loadState(), OperationPropertyDialog::saveOperation(), OperationPimpl::saveState(), OperationSerializer::toOperation(), and OperationSerializer::toXMLFormat().

◆ OPRN_SIDE_EFFECTS

const char * Operation::OPRN_SIDE_EFFECTS = "side-effects"

static

Object state name for side effects.

Definition at line 77 of file Operation.hh.

Referenced by OperationPimpl::loadState(), OperationPropertyDialog::saveOperation(), OperationPimpl::saveState(), OperationSerializer::toOperation(), and OperationSerializer::toXMLFormat().

◆ OPRN_TRAP

const char * Operation::OPRN_TRAP = "trap"

static

Object state name for trap.

Definition at line 75 of file Operation.hh.

Referenced by OperationPimpl::loadState(), OperationPropertyDialog::saveOperation(), OperationPimpl::saveState(), OperationSerializer::toOperation(), and OperationSerializer::toXMLFormat().

◆ OPRN_TRIGGER

const char * Operation::OPRN_TRIGGER = "trigger-semantics"

static

Object state name for trigger semantics.

Definition at line 95 of file Operation.hh.

Referenced by OperationPimpl::loadState(), OperationPropertyDialog::saveOperation(), and OperationPimpl::saveState().

◆ OPRN_WRITES_MEMORY

const char * Operation::OPRN_WRITES_MEMORY = "writes-memory"

static

Object state name for writes memory.

Definition at line 85 of file Operation.hh.

Referenced by OperationPimpl::loadState(), OperationPropertyDialog::saveOperation(), OperationPimpl::saveState(), OperationSerializer::toOperation(), and OperationSerializer::toXMLFormat().

◆ pimpl_

OperationPimpl* Operation::pimpl_

private

Private implementation in a separate source file.

Definition at line 173 of file Operation.hh.

Referenced by addDag(), addInput(), addOutput(), affectedBy(), affectedByCount(), affects(), affectsCount(), areValid(), behavior(), canBeSimulated(), canSwap(), canTrap(), createState(), dag(), dagCode(), dagCount(), dagError(), deleteState(), dependsOn(), description(), emulationFunctionName(), hasSideEffects(), impl(), input(), isBranch(), isCall(), isClocked(), isControlFlowOperation(), loadState(), name(), numberOfInputs(), numberOfOutputs(), operand(), output(), readsMemory(), removeDag(), saveState(), setBehavior(), setBranch(), setCall(), setControlFlowOperation(), setDagCode(), setReadsMemory(), setWritesMemory(), simulateTrigger(), usesMemory(), writesMemory(), and ~Operation().

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

Public Types

Public Member Functions

Static Public Attributes

Private Attributes

Detailed Description

Member Typedef Documentation

◆ InputOperandVector

Constructor & Destructor Documentation

◆ Operation()

◆ ~Operation()

Member Function Documentation

◆ addDag()

◆ addInput()

◆ addOutput()

◆ affectedBy()

◆ affectedByCount()

◆ affects()

◆ affectsCount()

◆ areValid()

◆ behavior()

◆ canBeSimulated()

◆ canSwap()

◆ canTrap()

◆ createState()

◆ dag()

◆ dagCode()

◆ dagCount()

◆ dagError()

◆ deleteState()

◆ dependsOn()

◆ description()

◆ emulationFunctionName()

◆ hasSideEffects()

◆ impl()

◆ input()

◆ isBaseOffsetMemOperation()

◆ isBranch()

◆ isCall()

◆ isClocked()

◆ isControlFlowOperation()

◆ isNull()

◆ isPure()

◆ isVectorOperation()

◆ loadState()

◆ name()

◆ numberOfInputs()

◆ numberOfOutputs()

◆ operand()

◆ operandCount()

◆ output()

◆ readsMemory()

◆ removeDag()

◆ saveState()

◆ setBehavior()

◆ setBranch()

◆ setCall()

◆ setControlFlowOperation()

◆ setDagCode()

◆ setReadsMemory()

◆ setWritesMemory()

◆ simulateTrigger()

◆ usesMemory()

◆ writesMemory()

Member Data Documentation

◆ OPRN_AFFECTED_BY

◆ OPRN_AFFECTS

◆ OPRN_CLOCKED

◆ OPRN_CONTROL_FLOW

◆ OPRN_DESCRIPTION

◆ OPRN_IN

◆ OPRN_INPUTS

◆ OPRN_ISBRANCH

◆ OPRN_ISCALL

◆ OPRN_NAME

◆ OPRN_OPERATION

◆ OPRN_OUT

◆ OPRN_OUTPUTS

◆ OPRN_READS_MEMORY

◆ OPRN_SIDE_EFFECTS

◆ OPRN_TRAP