#include <BFScheduleExact.hh>

Inheritance diagram for BFScheduleExact:

Collaboration diagram for BFScheduleExact:

Public Member Functions
	BFScheduleExact (BF2Scheduler &sched, MoveNode &mn, int c, bool allowRegCopy=true, const TTAMachine::FunctionUnit *srcFU=nullptr)

virtual bool	operator() ()

virtual void	undoOnlyMe ()

Public Member Functions inherited from BFScheduleMove
	BFScheduleMove (BF2Scheduler &sched, MoveNode &mn)

Public Member Functions inherited from BFOptimization
	BFOptimization (BF2Scheduler &sched)

virtual bool	isFinishFront ()

virtual void	mightBeReady (MoveNode &mn)

Public Member Functions inherited from Reversible
virtual void	undo ()

virtual	~Reversible ()

void	deleteChildren (std::stack< Reversible * > &children)

int	id ()

	Reversible ()

Private Attributes
bool	allowRegCopy_

int	c_

TTAProgram::Move *	jumpLimitMove_

int	oldJumpLimit_

int	oldJumpLimitWidth_

bool	createdCopy_

const TTAMachine::FunctionUnit *	srcFU_

Additional Inherited Members
Static Public Member Functions inherited from BFOptimization
static void	clearPrologMoves ()

static MoveNode *	getSisterTrigger (const MoveNode &mn, const TTAMachine::Machine &mach)

Protected Member Functions inherited from BFOptimization
DataDependenceGraph &	ddg ()

DataDependenceGraph *	rootDDG ()

const DataDependenceGraph &	ddg () const

DataDependenceGraph *	prologDDG ()

SimpleResourceManager &	rm () const

SimpleResourceManager *	prologRM () const

BUMoveNodeSelector &	selector ()

const TTAMachine::Machine &	targetMachine () const

unsigned int	ii () const

MoveNodeDuplicator &	duplicator () const

virtual bool	assign (int cycle, MoveNode &, const TTAMachine::Bus bus=nullptr, const TTAMachine::FunctionUnit srcFU_=nullptr, const TTAMachine::FunctionUnit dstFU=nullptr, const TTAMachine::Bus prologBus=nullptr, int immWriteCycle=-1, int prologImmWriteCycle=-1, const TTAMachine::ImmediateUnit *immu=nullptr, int immRegIndex=-1, bool ignoreGuardWriteCycle=false)

virtual void	unassign (MoveNode &mn, bool disposePrologCopy=true)

virtual int	rmEC (int cycle, MoveNode &mn, const TTAMachine::Bus bus=nullptr, const TTAMachine::FunctionUnit srcFU=nullptr, const TTAMachine::FunctionUnit dstFU=nullptr, const TTAMachine::Bus prologBus=nullptr, int immWriteCycle=-1, int prologImmWriteCycle=-1, const TTAMachine::ImmediateUnit *immu=nullptr, int immRegIndex=-1)

virtual int	rmLC (int cycle, MoveNode &mn, const TTAMachine::Bus bus=nullptr, const TTAMachine::FunctionUnit srcFU=nullptr, const TTAMachine::FunctionUnit dstFU=nullptr, const TTAMachine::Bus prologBus=nullptr, int immWriteCycle=-1, int prologImmWriteCycle=-1, const TTAMachine::ImmediateUnit *immu=nullptr, int immRegIndex=-1)

virtual bool	canAssign (int cycle, MoveNode &mn, const TTAMachine::Bus bus=nullptr, const TTAMachine::FunctionUnit srcFU=nullptr, const TTAMachine::FunctionUnit dstFU=nullptr, const TTAMachine::Bus prologBus=nullptr, int immWriteCycle=-1, int prologImmWriteCycle=-1, const TTAMachine::ImmediateUnit *immu=nullptr, int immRegIndex=-1, bool ignoreGWN=false)

bool	putAlsoToPrologEpilog (int cycle, MoveNode &mn)

void	setPrologSrcFUAnno (MoveNode &prologMN, MoveNode &loopMN)

void	setPrologDstFUAnno (MoveNode &prologMN, MoveNode &loopMN)

void	setJumpGuard (MoveNode &mn)

void	unsetJumpGuard (MoveNode &mn)

bool	needJumpGuard (const MoveNode &mn, int cycle)

int	jumpGuardAvailableCycle (const MoveNode &mn)

bool	canBeSpeculated (const Operation &op)

bool	canBeSpeculated (const MoveNode &mn)

bool	usePrologMove (const MoveNode &mn)

bool	canBeScheduled (const MoveNode &mn)

const TTAMachine::RegisterFile *	RFReadPortCountPreventsScheduling (const MoveNode &mn)

bool	immCountPreventsScheduling (const MoveNode &mn)

Protected Member Functions inherited from Reversible
bool	runPreChild (Reversible *preChild)

bool	runPostChild (Reversible *preChild)

bool	runChild (std::stack< Reversible * > &children, Reversible *child)

bool	runChild (Reversible *child, bool pre)

void	undoAndRemovePreChildren ()

void	undoAndRemovePostChildren ()

void	undoAndRemoveChildren (std::stack< Reversible * > &children)

Protected Attributes inherited from BFScheduleMove
MoveNode &	mn_

bool	createdPrologMove_

Protected Attributes inherited from BFOptimization
BF2Scheduler &	sched_

Protected Attributes inherited from Reversible
std::stack< Reversible * >	preChildren_

std::stack< Reversible * >	postChildren_

Static Protected Attributes inherited from BFOptimization
static std::map< MoveNode , MoveNode , MoveNode::Comparator >	prologMoves_

Detailed Description

Definition at line 47 of file BFScheduleExact.hh.

Constructor & Destructor Documentation

◆ BFScheduleExact()

BFScheduleExact::BFScheduleExact	(	BF2Scheduler &	sched,
		MoveNode &	mn,
		int	c,
		bool	allowRegCopy = `true`,
		const TTAMachine::FunctionUnit *	srcFU = `nullptr`
	)

inline

Definition at line 50 of file BFScheduleExact.hh.

                                                                    :
         BFScheduleMove(sched, mn),
     allowRegCopy_(allowRegCopy),
     c_(c), jumpLimitMove_(0),
         createdCopy_(false), srcFU_(srcFU) {}

Member Function Documentation

◆ operator()()

bool BFScheduleExact::operator() ( )

virtual

This performs the operation. Returns true if success, false if fail.

Implements Reversible.

Definition at line 53 of file BFScheduleExact.cc.

                             {
  
 #ifdef DEBUG_BUBBLEFISH_SCHEDULER
     std::cerr << "\t\tScheduling to exact cycle: " << mn_.toString()
               << " to cycle: " << c_ << std::endl;
 #endif
     BFRegCopy* regCopyBefore = NULL;
     //BFRegCopy* regCopyAfter = NULL;
     BFRegCopy* regCopy = NULL;
  
     if (!mn_.move().isUnconditional() &&
         mn_.move().guard().guard().parentBus() == nullptr) {
         if (!runPreChild(new BFEarlyGuardBypass(sched_, mn_))) {
             std::cerr << "Early guard bypass failed!" << std::endl;
             return false;
         }
     }
     if (allowRegCopy_ && !canBeScheduled(mn_)) {
         if (mn_.isSourceOperation()) {
             // assumes the result read is wanted to the exact cycle.
             // reg cpy after both splits the move and schedules the copy.
             // TODO: should it be scheudled TD instead of BU then?
             regCopy = new BFRegCopyAfter(sched_,mn_, INT_MAX);
         } else {
             // this only splits the move. scheduled later.
             regCopyBefore = regCopy = new BFRegCopyBefore(sched_,mn_, INT_MAX);
         }
  
         if (!runPreChild(regCopy)) {
             return false;
         }
     }
     int ddglc = ddg().latestCycle(mn_, ii(), false, false);
     int ddgec = ddg().earliestCycle(mn_, ii(), false, false);
 #ifdef DEBUG_BUBBLEFISH_SCHEDULER
     std::cerr << "\t\t\tddg lc: " << ddglc << std::endl;
     std::cerr << "\t\t\tddg ec: " << ddgec << std::endl;
 #endif
     if (ddglc >= c_ && ddgec <= c_ && canAssign(c_, mn_, nullptr, srcFU_)) {
         createdCopy_ = assign(c_, mn_, nullptr, srcFU_);
         if (regCopyBefore != NULL) {
             MoveNode* regCopy = regCopyBefore->getRegCopy();
             BFScheduleBU* regCopySched =
                 new BFScheduleBU(sched_, *regCopy, c_-1, false, false, false);
             if (!runPostChild(regCopySched)) {
                 undo();
                 return false;
             }
         }
         return true;
     } else {
         undoAndRemovePreChildren();
         return false;
     }
 }

References allowRegCopy_, BFOptimization::assign(), c_, BFOptimization::canAssign(), BFOptimization::canBeScheduled(), createdCopy_, BFOptimization::ddg(), DataDependenceGraph::earliestCycle(), BFRegCopy::getRegCopy(), TTAProgram::MoveGuard::guard(), TTAProgram::Move::guard(), BFOptimization::ii(), MoveNode::isSourceOperation(), TTAProgram::Move::isUnconditional(), DataDependenceGraph::latestCycle(), BFScheduleMove::mn_, MoveNode::move(), TTAMachine::Guard::parentBus(), Reversible::runPostChild(), Reversible::runPreChild(), BFOptimization::sched_, srcFU_, MoveNode::toString(), Reversible::undo(), and Reversible::undoAndRemovePreChildren().

Here is the call graph for this function:

◆ undoOnlyMe()

void BFScheduleExact::undoOnlyMe ( )

virtual

Undoes the operations done by this class but not children. This method should be overloaded by most derived classes.

Reimplemented from BFScheduleMove.

Definition at line 110 of file BFScheduleExact.cc.

                             {
     unassign(mn_, createdCopy_);
     if (jumpLimitMove_) {
         jumpLimitMove_->setSource(
             new TTAProgram::TerminalImmediate(
                 SimValue(oldJumpLimit_, oldJumpLimitWidth_)));
         jumpLimitMove_ = NULL;
     }
 }

References createdCopy_, jumpLimitMove_, BFScheduleMove::mn_, oldJumpLimit_, oldJumpLimitWidth_, TTAProgram::Move::setSource(), and BFOptimization::unassign().

Here is the call graph for this function:

Member Data Documentation

◆ allowRegCopy_

bool BFScheduleExact::allowRegCopy_

private

Definition at line 61 of file BFScheduleExact.hh.

Referenced by operator()().

◆ c_

int BFScheduleExact::c_

private

Definition at line 62 of file BFScheduleExact.hh.

Referenced by operator()().

◆ createdCopy_

bool BFScheduleExact::createdCopy_

private

Definition at line 66 of file BFScheduleExact.hh.

Referenced by operator()(), and undoOnlyMe().

◆ jumpLimitMove_

TTAProgram::Move* BFScheduleExact::jumpLimitMove_

private

Definition at line 63 of file BFScheduleExact.hh.

Referenced by undoOnlyMe().

◆ oldJumpLimit_

int BFScheduleExact::oldJumpLimit_

private

Definition at line 64 of file BFScheduleExact.hh.

Referenced by undoOnlyMe().

◆ oldJumpLimitWidth_

int BFScheduleExact::oldJumpLimitWidth_

private

Definition at line 65 of file BFScheduleExact.hh.

Referenced by undoOnlyMe().

◆ srcFU_

const TTAMachine::FunctionUnit* BFScheduleExact::srcFU_

private

Definition at line 67 of file BFScheduleExact.hh.

Referenced by operator()().

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

Public Member Functions

Private Attributes

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ BFScheduleExact()

Member Function Documentation

◆ operator()()

◆ undoOnlyMe()

Member Data Documentation

◆ allowRegCopy_

◆ c_

◆ createdCopy_

◆ jumpLimitMove_

◆ oldJumpLimit_

◆ oldJumpLimitWidth_

◆ srcFU_