2012-09-04 22:49:56 +08:00
|
|
|
//===-- HexagonMachineScheduler.h - Custom Hexagon MI scheduler. ----===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// Custom Hexagon MI scheduler.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2014-08-14 00:26:38 +08:00
|
|
|
#ifndef LLVM_LIB_TARGET_HEXAGON_HEXAGONMACHINESCHEDULER_H
|
|
|
|
#define LLVM_LIB_TARGET_HEXAGON_HEXAGONMACHINESCHEDULER_H
|
2012-09-04 22:49:56 +08:00
|
|
|
|
2012-12-04 15:12:27 +08:00
|
|
|
#include "llvm/ADT/PriorityQueue.h"
|
|
|
|
#include "llvm/Analysis/AliasAnalysis.h"
|
2012-09-04 22:49:56 +08:00
|
|
|
#include "llvm/CodeGen/LiveIntervalAnalysis.h"
|
|
|
|
#include "llvm/CodeGen/MachineScheduler.h"
|
|
|
|
#include "llvm/CodeGen/Passes.h"
|
|
|
|
#include "llvm/CodeGen/RegisterClassInfo.h"
|
|
|
|
#include "llvm/CodeGen/RegisterPressure.h"
|
|
|
|
#include "llvm/CodeGen/ResourcePriorityQueue.h"
|
|
|
|
#include "llvm/CodeGen/ScheduleDAGInstrs.h"
|
|
|
|
#include "llvm/CodeGen/ScheduleHazardRecognizer.h"
|
|
|
|
#include "llvm/Support/CommandLine.h"
|
|
|
|
#include "llvm/Support/Debug.h"
|
|
|
|
#include "llvm/Support/ErrorHandling.h"
|
|
|
|
#include "llvm/Support/raw_ostream.h"
|
2012-12-04 15:12:27 +08:00
|
|
|
#include "llvm/Target/TargetInstrInfo.h"
|
2012-09-04 22:49:56 +08:00
|
|
|
|
|
|
|
using namespace llvm;
|
|
|
|
|
|
|
|
namespace llvm {
|
|
|
|
//===----------------------------------------------------------------------===//
|
2012-09-11 01:31:34 +08:00
|
|
|
// ConvergingVLIWScheduler - Implementation of the standard
|
|
|
|
// MachineSchedStrategy.
|
2012-09-04 22:49:56 +08:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
class VLIWResourceModel {
|
|
|
|
/// ResourcesModel - Represents VLIW state.
|
|
|
|
/// Not limited to VLIW targets per say, but assumes
|
|
|
|
/// definition of DFA by a target.
|
|
|
|
DFAPacketizer *ResourcesModel;
|
|
|
|
|
2012-10-10 13:43:09 +08:00
|
|
|
const TargetSchedModel *SchedModel;
|
2012-09-04 22:49:56 +08:00
|
|
|
|
|
|
|
/// Local packet/bundle model. Purely
|
|
|
|
/// internal to the MI schedulre at the time.
|
|
|
|
std::vector<SUnit*> Packet;
|
|
|
|
|
|
|
|
/// Total packets created.
|
|
|
|
unsigned TotalPackets;
|
|
|
|
|
|
|
|
public:
|
2015-02-03 06:11:40 +08:00
|
|
|
VLIWResourceModel(const TargetSubtargetInfo &STI, const TargetSchedModel *SM)
|
|
|
|
: SchedModel(SM), TotalPackets(0) {
|
|
|
|
ResourcesModel = STI.getInstrInfo()->CreateTargetScheduleState(STI);
|
2012-09-04 22:49:56 +08:00
|
|
|
|
2012-09-11 01:31:34 +08:00
|
|
|
// This hard requirement could be relaxed,
|
|
|
|
// but for now do not let it proceed.
|
|
|
|
assert(ResourcesModel && "Unimplemented CreateTargetScheduleState.");
|
|
|
|
|
2012-10-10 13:43:09 +08:00
|
|
|
Packet.resize(SchedModel->getIssueWidth());
|
2012-09-04 22:49:56 +08:00
|
|
|
Packet.clear();
|
|
|
|
ResourcesModel->clearResources();
|
|
|
|
}
|
|
|
|
|
|
|
|
~VLIWResourceModel() {
|
|
|
|
delete ResourcesModel;
|
|
|
|
}
|
|
|
|
|
|
|
|
void resetPacketState() {
|
|
|
|
Packet.clear();
|
|
|
|
}
|
|
|
|
|
|
|
|
void resetDFA() {
|
|
|
|
ResourcesModel->clearResources();
|
|
|
|
}
|
|
|
|
|
2012-09-11 01:31:34 +08:00
|
|
|
void reset() {
|
|
|
|
Packet.clear();
|
|
|
|
ResourcesModel->clearResources();
|
|
|
|
}
|
|
|
|
|
2012-09-04 22:49:56 +08:00
|
|
|
bool isResourceAvailable(SUnit *SU);
|
2012-09-11 01:31:34 +08:00
|
|
|
bool reserveResources(SUnit *SU);
|
2012-09-04 22:49:56 +08:00
|
|
|
unsigned getTotalPackets() const { return TotalPackets; }
|
|
|
|
};
|
|
|
|
|
2012-09-11 08:39:15 +08:00
|
|
|
/// Extend the standard ScheduleDAGMI to provide more context and override the
|
|
|
|
/// top-level schedule() driver.
|
2013-12-29 05:56:47 +08:00
|
|
|
class VLIWMachineScheduler : public ScheduleDAGMILive {
|
2012-09-04 22:49:56 +08:00
|
|
|
public:
|
2014-04-22 04:32:32 +08:00
|
|
|
VLIWMachineScheduler(MachineSchedContext *C,
|
|
|
|
std::unique_ptr<MachineSchedStrategy> S)
|
|
|
|
: ScheduleDAGMILive(C, std::move(S)) {}
|
2012-09-04 22:49:56 +08:00
|
|
|
|
|
|
|
/// Schedule - This is called back from ScheduleDAGInstrs::Run() when it's
|
|
|
|
/// time to do some work.
|
2014-08-31 00:48:34 +08:00
|
|
|
void schedule() override;
|
2014-07-01 02:57:16 +08:00
|
|
|
/// Perform platform-specific DAG postprocessing.
|
2012-09-14 23:07:59 +08:00
|
|
|
void postprocessDAG();
|
2012-09-04 22:49:56 +08:00
|
|
|
};
|
2012-09-11 01:31:34 +08:00
|
|
|
|
|
|
|
/// ConvergingVLIWScheduler shrinks the unscheduled zone using heuristics
|
|
|
|
/// to balance the schedule.
|
|
|
|
class ConvergingVLIWScheduler : public MachineSchedStrategy {
|
|
|
|
|
|
|
|
/// Store the state used by ConvergingVLIWScheduler heuristics, required
|
|
|
|
/// for the lifetime of one invocation of pickNode().
|
|
|
|
struct SchedCandidate {
|
|
|
|
// The best SUnit candidate.
|
|
|
|
SUnit *SU;
|
|
|
|
|
|
|
|
// Register pressure values for the best candidate.
|
|
|
|
RegPressureDelta RPDelta;
|
|
|
|
|
|
|
|
// Best scheduling cost.
|
|
|
|
int SCost;
|
|
|
|
|
2014-04-28 12:05:08 +08:00
|
|
|
SchedCandidate(): SU(nullptr), SCost(0) {}
|
2012-09-11 01:31:34 +08:00
|
|
|
};
|
|
|
|
/// Represent the type of SchedCandidate found within a single queue.
|
|
|
|
enum CandResult {
|
|
|
|
NoCand, NodeOrder, SingleExcess, SingleCritical, SingleMax, MultiPressure,
|
|
|
|
BestCost};
|
|
|
|
|
|
|
|
/// Each Scheduling boundary is associated with ready queues. It tracks the
|
|
|
|
/// current cycle in whichever direction at has moved, and maintains the state
|
|
|
|
/// of "hazards" and other interlocks at the current cycle.
|
2013-12-29 05:56:47 +08:00
|
|
|
struct VLIWSchedBoundary {
|
2012-09-11 01:31:34 +08:00
|
|
|
VLIWMachineScheduler *DAG;
|
2012-10-10 13:43:09 +08:00
|
|
|
const TargetSchedModel *SchedModel;
|
2012-09-11 01:31:34 +08:00
|
|
|
|
|
|
|
ReadyQueue Available;
|
|
|
|
ReadyQueue Pending;
|
|
|
|
bool CheckPending;
|
|
|
|
|
|
|
|
ScheduleHazardRecognizer *HazardRec;
|
|
|
|
VLIWResourceModel *ResourceModel;
|
|
|
|
|
|
|
|
unsigned CurrCycle;
|
|
|
|
unsigned IssueCount;
|
|
|
|
|
|
|
|
/// MinReadyCycle - Cycle of the soonest available instruction.
|
|
|
|
unsigned MinReadyCycle;
|
|
|
|
|
|
|
|
// Remember the greatest min operand latency.
|
|
|
|
unsigned MaxMinLatency;
|
|
|
|
|
|
|
|
/// Pending queues extend the ready queues with the same ID and the
|
|
|
|
/// PendingFlag set.
|
2013-12-29 05:56:47 +08:00
|
|
|
VLIWSchedBoundary(unsigned ID, const Twine &Name):
|
2014-04-28 12:05:08 +08:00
|
|
|
DAG(nullptr), SchedModel(nullptr), Available(ID, Name+".A"),
|
2012-09-11 01:31:34 +08:00
|
|
|
Pending(ID << ConvergingVLIWScheduler::LogMaxQID, Name+".P"),
|
2014-04-28 12:05:08 +08:00
|
|
|
CheckPending(false), HazardRec(nullptr), ResourceModel(nullptr),
|
2012-09-11 01:31:34 +08:00
|
|
|
CurrCycle(0), IssueCount(0),
|
|
|
|
MinReadyCycle(UINT_MAX), MaxMinLatency(0) {}
|
|
|
|
|
2013-12-29 05:56:47 +08:00
|
|
|
~VLIWSchedBoundary() {
|
2012-09-11 01:31:34 +08:00
|
|
|
delete ResourceModel;
|
|
|
|
delete HazardRec;
|
|
|
|
}
|
|
|
|
|
2012-10-10 13:43:09 +08:00
|
|
|
void init(VLIWMachineScheduler *dag, const TargetSchedModel *smodel) {
|
|
|
|
DAG = dag;
|
|
|
|
SchedModel = smodel;
|
|
|
|
}
|
|
|
|
|
2012-09-11 01:31:34 +08:00
|
|
|
bool isTop() const {
|
|
|
|
return Available.getID() == ConvergingVLIWScheduler::TopQID;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool checkHazard(SUnit *SU);
|
|
|
|
|
|
|
|
void releaseNode(SUnit *SU, unsigned ReadyCycle);
|
|
|
|
|
|
|
|
void bumpCycle();
|
|
|
|
|
|
|
|
void bumpNode(SUnit *SU);
|
|
|
|
|
|
|
|
void releasePending();
|
|
|
|
|
|
|
|
void removeReady(SUnit *SU);
|
|
|
|
|
|
|
|
SUnit *pickOnlyChoice();
|
|
|
|
};
|
|
|
|
|
|
|
|
VLIWMachineScheduler *DAG;
|
2012-10-10 13:43:09 +08:00
|
|
|
const TargetSchedModel *SchedModel;
|
2012-09-11 01:31:34 +08:00
|
|
|
|
|
|
|
// State of the top and bottom scheduled instruction boundaries.
|
2013-12-29 05:56:47 +08:00
|
|
|
VLIWSchedBoundary Top;
|
|
|
|
VLIWSchedBoundary Bot;
|
2012-09-11 01:31:34 +08:00
|
|
|
|
|
|
|
public:
|
|
|
|
/// SUnit::NodeQueueId: 0 (none), 1 (top), 2 (bot), 3 (both)
|
|
|
|
enum {
|
|
|
|
TopQID = 1,
|
|
|
|
BotQID = 2,
|
|
|
|
LogMaxQID = 2
|
|
|
|
};
|
|
|
|
|
2014-04-28 12:05:08 +08:00
|
|
|
ConvergingVLIWScheduler()
|
|
|
|
: DAG(nullptr), SchedModel(nullptr), Top(TopQID, "TopQ"),
|
|
|
|
Bot(BotQID, "BotQ") {}
|
2012-09-11 01:31:34 +08:00
|
|
|
|
2014-08-31 00:48:34 +08:00
|
|
|
void initialize(ScheduleDAGMI *dag) override;
|
2012-09-11 01:31:34 +08:00
|
|
|
|
2014-08-31 00:48:34 +08:00
|
|
|
SUnit *pickNode(bool &IsTopNode) override;
|
2012-09-11 01:31:34 +08:00
|
|
|
|
2014-08-31 00:48:34 +08:00
|
|
|
void schedNode(SUnit *SU, bool IsTopNode) override;
|
2012-09-11 01:31:34 +08:00
|
|
|
|
2014-08-31 00:48:34 +08:00
|
|
|
void releaseTopNode(SUnit *SU) override;
|
2012-09-11 01:31:34 +08:00
|
|
|
|
2014-08-31 00:48:34 +08:00
|
|
|
void releaseBottomNode(SUnit *SU) override;
|
2012-09-11 01:31:34 +08:00
|
|
|
|
2012-09-14 23:07:59 +08:00
|
|
|
unsigned ReportPackets() {
|
|
|
|
return Top.ResourceModel->getTotalPackets() +
|
|
|
|
Bot.ResourceModel->getTotalPackets();
|
|
|
|
}
|
|
|
|
|
2012-09-11 01:31:34 +08:00
|
|
|
protected:
|
|
|
|
SUnit *pickNodeBidrectional(bool &IsTopNode);
|
|
|
|
|
|
|
|
int SchedulingCost(ReadyQueue &Q,
|
|
|
|
SUnit *SU, SchedCandidate &Candidate,
|
|
|
|
RegPressureDelta &Delta, bool verbose);
|
|
|
|
|
|
|
|
CandResult pickNodeFromQueue(ReadyQueue &Q,
|
|
|
|
const RegPressureTracker &RPTracker,
|
|
|
|
SchedCandidate &Candidate);
|
|
|
|
#ifndef NDEBUG
|
|
|
|
void traceCandidate(const char *Label, const ReadyQueue &Q, SUnit *SU,
|
2013-08-30 11:49:48 +08:00
|
|
|
PressureChange P = PressureChange());
|
2012-09-11 01:31:34 +08:00
|
|
|
#endif
|
|
|
|
};
|
|
|
|
|
2015-06-23 17:49:53 +08:00
|
|
|
} // namespace
|
2012-09-04 22:49:56 +08:00
|
|
|
|
|
|
|
|
|
|
|
#endif
|