#include <BFPostpassBypass.hh>

Inheritance diagram for BFPostpassBypass:

Collaboration diagram for BFPostpassBypass:

Public Member Functions
	BFPostpassBypass (BF2Scheduler &sched, MoveNode &src, MoveNode &dst, bool loopBypass)

bool	operator() () override

void	undoOnlyMe () override

bool	dred () const

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
MoveNode &	src_

MoveNode &	dst_

bool	dred_

bool	loopBypass_

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 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 42 of file BFPostpassBypass.hh.

Constructor & Destructor Documentation

◆ BFPostpassBypass()

BFPostpassBypass::BFPostpassBypass	(	BF2Scheduler &	sched,
		MoveNode &	src,
		MoveNode &	dst,
		bool	loopBypass
	)

inline

Definition at line 44 of file BFPostpassBypass.hh.

                                       :
         BFOptimization(sched), src_(src), dst_(dst), dred_(false),
         loopBypass_(loopBypass) {}

Member Function Documentation

◆ dred()

bool BFPostpassBypass::dred ( ) const

inline

Definition at line 52 of file BFPostpassBypass.hh.

52 { return dred_; }

References dred_.

◆ operator()()

bool BFPostpassBypass::operator() ( )

overridevirtual

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

Implements Reversible.

Definition at line 51 of file BFPostpassBypass.cc.

                                   {
  
  
     assert(dst_.isScheduled());
     assert(src_.isScheduled());
 #ifdef DEBUG_BUBBLEFISH_SCHEDULER
     static int counter = 0;
     static int counter2 = 0;
 #endif
  
     int originalCycle = dst_.cycle();
     int srcCycle = src_.cycle();
  
     if (loopBypass_ && originalCycle >= (int)ii()) {
 #ifdef DEBUG_BUBBLEFISH_SCHEDULER
         std::cerr << "too late cycle for loop bypass" << std::endl;
 #endif
         return false;
     }
  
     const TTAMachine::FunctionUnit* ssfu = src_.isSourceOperation() ?
         &src_.move().source().functionUnit() : nullptr;
  
     const TTAMachine::FunctionUnit* ddfu = dst_.isDestinationOperation() ?
         &dst_.move().destination().functionUnit() : nullptr;
  
     if (!loopBypass_) {
         runPreChild(new BFUnscheduleMove(sched_, dst_));
     } else {
         runPreChild(new BFUnscheduleFromBody(sched_, dst_));
     }
     runPreChild(new BFUnscheduleMove(sched_, src_));
  
     if (!runPreChild(
             new BFMergeAndKeepUser(sched_, src_, dst_, loopBypass_))) {
 #ifdef DEBUG_BUBBLEFISH_SCHEDULER
         std::cerr << "merge and keep fail." << src_.toString()
                   << " and " << dst_.toString() << std::endl;
 #endif
         undoAndRemovePreChildren();
         return false;
     }
  
     dred_ = runPostChild(new BFPostpassDRE(sched_, src_));
  
 #ifdef DEBUG_BUBBLEFISH_SCHEDULER
     std::cerr << "\t\t\tTried ordinary dre: " << dred_ << std::endl;
 #endif
     if (loopBypass_ && !dred_) {
 #ifdef DEBUG_BUBBLEFISH_SCHEDULER
         std::cerr << "\t\t\tsrccycle: " << srcCycle << std::endl;
 #endif
         if (srcCycle >= (int)ii()) {
             dred_ = runPostChild(
                 new BFPostpassLoopDRE(sched_, src_, srcCycle));
         } else {
             if (ddg().latestCycle(src_) >= (signed)ii()) {
                 dred_ = runPostChild(
                     new BFPostpassLoopDRE(sched_, src_, ii()));
             }
         }
     }
  
     // TODO: try to DRE here
  
     if (!dred_) {
         // if returning the old fails, abort everything
 #ifdef DEBUG_BUBBLEFISH_SCHEDULER
         std::cerr << "\t\t\tundoing unscheduling of src" << std::endl;
 #endif
         // if not dre, return the result
         if (!runPostChild(
                 new BFScheduleExact(sched_, src_, srcCycle, false, ssfu))) {
 #ifdef DEBUG_BUBBLEFISH_SCHEDULER
             std::cerr << "Scheduling back src:" << src_.toString()
                       << " to cycle: " << srcCycle
                       << " after post-pass bypass move failed" << std::endl;
             ddg().writeToDotFile("postpass_fail1.dot");
 #endif
             undo();
             return false;
         }
  
 #ifdef DEBUG_BUBBLEFISH_SCHEDULER
         std::cerr << "\t\t\tundid unscheduling of src" << std::endl;
 #endif
     }
  
     BFOptimization* schedDst = NULL;
     if (dst_.move().isControlFlowMove() ||
         (ii() != 0 &&
          static_cast<DataDependenceGraph*>(ddg().rootGraph())->
          writesJumpGuard(dst_))) {
         if (!loopBypass_) {
             schedDst = new BFScheduleExact(
                 sched_, dst_, originalCycle, false);
         } else {
             schedDst = new BFAssignToBody(
                 sched_, dst_, originalCycle, ssfu, ddfu);
         }
     } else {
         if (!loopBypass_) {
             schedDst = new BFScheduleExact(
                 sched_, dst_, originalCycle, false);
         } else {
             schedDst = new BFAssignToBody(
                 sched_, dst_, originalCycle, ssfu, ddfu);
         }
     }
  
     if (!runPostChild(schedDst)) {
 #ifdef DEBUG_BUBBLEFISH_SCHEDULER
         std::cerr << "\t\tScheduling post-pass bypassed move failed:"
                   <<  dst_.toString() << "cycle: " << originalCycle
                   << std::endl;
         ddg().writeToDotFile("postpass_fail2.dot");
 #endif
         undo();
         return false;
     }
     return true;
 }

References assert, MoveNode::cycle(), BFOptimization::ddg(), TTAProgram::Move::destination(), dred_, dst_, TTAProgram::Terminal::functionUnit(), BFOptimization::ii(), TTAProgram::Move::isControlFlowMove(), MoveNode::isDestinationOperation(), MoveNode::isScheduled(), MoveNode::isSourceOperation(), loopBypass_, MoveNode::move(), Reversible::runPostChild(), Reversible::runPreChild(), BFOptimization::sched_, TTAProgram::Move::source(), src_, MoveNode::toString(), Reversible::undo(), Reversible::undoAndRemovePreChildren(), and GraphBase< GraphNode, GraphEdge >::writeToDotFile().

Here is the call graph for this function:

◆ undoOnlyMe()

void BFPostpassBypass::undoOnlyMe ( )

overridevirtual

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

Reimplemented from Reversible.

Definition at line 174 of file BFPostpassBypass.cc.

                                   {
  
 #ifdef DEBUG_BUBBLEFISH_SCHEDULER
     std::cerr << "isloopbypass?" << loopBypass_ << std::endl;
     std::cerr << "\t\t\tPerforming unmerge user of: "
               << src_.toString() << " and: " << dst_.toString()
               << std::endl;
 #endif
 #ifdef DEBUG_BUBBLEFISH_SCHEDULER
     std::cerr << "\t\t\tPerformed unmerge user of: "
               << src_.toString() << " and: " << dst_.toString()
               << std::endl;
 #endif
 }

References dst_, loopBypass_, src_, and MoveNode::toString().

Here is the call graph for this function:

Member Data Documentation

◆ dred_

bool BFPostpassBypass::dred_

private

Definition at line 56 of file BFPostpassBypass.hh.

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

◆ dst_

MoveNode& BFPostpassBypass::dst_

private

Definition at line 55 of file BFPostpassBypass.hh.

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

◆ loopBypass_

bool BFPostpassBypass::loopBypass_

private

Definition at line 57 of file BFPostpassBypass.hh.

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

◆ src_

MoveNode& BFPostpassBypass::src_

private

Definition at line 54 of file BFPostpassBypass.hh.

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

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

Public Member Functions

Private Attributes

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ BFPostpassBypass()

Member Function Documentation

◆ dred()

◆ operator()()

◆ undoOnlyMe()

Member Data Documentation

◆ dred_

◆ dst_

◆ loopBypass_

◆ src_