2012-09-04 22:49:56 +08:00
|
|
|
//===- HexagonMachineScheduler.cpp - MI Scheduler for Hexagon -------------===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// MachineScheduler schedules machine instructions after phi elimination. It
|
|
|
|
// preserves LiveIntervals so it can be invoked before register allocation.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "HexagonMachineScheduler.h"
|
2017-09-29 06:27:31 +08:00
|
|
|
#include "HexagonInstrInfo.h"
|
2016-07-16 01:48:09 +08:00
|
|
|
#include "HexagonSubtarget.h"
|
2017-09-29 06:27:31 +08:00
|
|
|
#include "llvm/ADT/SmallVector.h"
|
|
|
|
#include "llvm/CodeGen/DFAPacketizer.h"
|
|
|
|
#include "llvm/CodeGen/MachineBasicBlock.h"
|
|
|
|
#include "llvm/CodeGen/MachineFunction.h"
|
|
|
|
#include "llvm/CodeGen/MachineInstr.h"
|
2013-03-10 21:11:23 +08:00
|
|
|
#include "llvm/CodeGen/MachineLoopInfo.h"
|
2017-09-29 06:27:31 +08:00
|
|
|
#include "llvm/CodeGen/RegisterPressure.h"
|
|
|
|
#include "llvm/CodeGen/ScheduleDAG.h"
|
|
|
|
#include "llvm/CodeGen/ScheduleHazardRecognizer.h"
|
2017-11-08 09:01:31 +08:00
|
|
|
#include "llvm/CodeGen/TargetInstrInfo.h"
|
2017-11-17 09:07:10 +08:00
|
|
|
#include "llvm/CodeGen/TargetOpcodes.h"
|
|
|
|
#include "llvm/CodeGen/TargetRegisterInfo.h"
|
2017-09-29 06:27:31 +08:00
|
|
|
#include "llvm/CodeGen/TargetSchedule.h"
|
2017-11-17 09:07:10 +08:00
|
|
|
#include "llvm/CodeGen/TargetSubtargetInfo.h"
|
2013-03-10 21:11:23 +08:00
|
|
|
#include "llvm/IR/Function.h"
|
2017-09-29 06:27:31 +08:00
|
|
|
#include "llvm/Support/CommandLine.h"
|
|
|
|
#include "llvm/Support/Debug.h"
|
|
|
|
#include "llvm/Support/raw_ostream.h"
|
|
|
|
#include <algorithm>
|
|
|
|
#include <cassert>
|
2016-07-18 23:47:25 +08:00
|
|
|
#include <iomanip>
|
2017-09-29 06:27:31 +08:00
|
|
|
#include <limits>
|
|
|
|
#include <memory>
|
2016-07-18 23:47:25 +08:00
|
|
|
#include <sstream>
|
|
|
|
|
2017-09-29 06:27:31 +08:00
|
|
|
using namespace llvm;
|
|
|
|
|
|
|
|
#define DEBUG_TYPE "machine-scheduler"
|
|
|
|
|
2016-07-18 22:52:13 +08:00
|
|
|
static cl::opt<bool> IgnoreBBRegPressure("ignore-bb-reg-pressure",
|
|
|
|
cl::Hidden, cl::ZeroOrMore, cl::init(false));
|
|
|
|
|
2016-07-18 23:47:25 +08:00
|
|
|
static cl::opt<unsigned> SchedDebugVerboseLevel("misched-verbose-level",
|
|
|
|
cl::Hidden, cl::ZeroOrMore, cl::init(1));
|
|
|
|
|
2016-07-18 23:17:10 +08:00
|
|
|
static cl::opt<bool> TopUseShorterTie("top-use-shorter-tie",
|
|
|
|
cl::Hidden, cl::ZeroOrMore, cl::init(false));
|
|
|
|
|
|
|
|
static cl::opt<bool> BotUseShorterTie("bot-use-shorter-tie",
|
|
|
|
cl::Hidden, cl::ZeroOrMore, cl::init(false));
|
|
|
|
|
|
|
|
static cl::opt<bool> DisableTCTie("disable-tc-tie",
|
|
|
|
cl::Hidden, cl::ZeroOrMore, cl::init(false));
|
|
|
|
|
2016-07-18 22:52:13 +08:00
|
|
|
// Check if the scheduler should penalize instructions that are available to
|
|
|
|
// early due to a zero-latency dependence.
|
|
|
|
static cl::opt<bool> CheckEarlyAvail("check-early-avail", cl::Hidden,
|
|
|
|
cl::ZeroOrMore, cl::init(true));
|
|
|
|
|
2016-07-16 04:16:03 +08:00
|
|
|
/// Save the last formed packet
|
|
|
|
void VLIWResourceModel::savePacket() {
|
|
|
|
OldPacket = Packet;
|
|
|
|
}
|
|
|
|
|
2012-09-04 22:49:56 +08:00
|
|
|
/// Check if scheduling of this SU is possible
|
|
|
|
/// in the current packet.
|
|
|
|
/// It is _not_ precise (statefull), it is more like
|
|
|
|
/// another heuristic. Many corner cases are figured
|
|
|
|
/// empirically.
|
|
|
|
bool VLIWResourceModel::isResourceAvailable(SUnit *SU) {
|
|
|
|
if (!SU || !SU->getInstr())
|
|
|
|
return false;
|
|
|
|
|
|
|
|
// First see if the pipeline could receive this instruction
|
|
|
|
// in the current cycle.
|
|
|
|
switch (SU->getInstr()->getOpcode()) {
|
|
|
|
default:
|
2016-02-28 03:09:00 +08:00
|
|
|
if (!ResourcesModel->canReserveResources(*SU->getInstr()))
|
2012-09-04 22:49:56 +08:00
|
|
|
return false;
|
|
|
|
case TargetOpcode::EXTRACT_SUBREG:
|
|
|
|
case TargetOpcode::INSERT_SUBREG:
|
|
|
|
case TargetOpcode::SUBREG_TO_REG:
|
|
|
|
case TargetOpcode::REG_SEQUENCE:
|
|
|
|
case TargetOpcode::IMPLICIT_DEF:
|
|
|
|
case TargetOpcode::COPY:
|
|
|
|
case TargetOpcode::INLINEASM:
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2016-07-19 00:05:27 +08:00
|
|
|
MachineFunction &MF = *SU->getInstr()->getParent()->getParent();
|
|
|
|
auto &QII = *MF.getSubtarget<HexagonSubtarget>().getInstrInfo();
|
|
|
|
|
2012-09-04 22:49:56 +08:00
|
|
|
// Now see if there are no other dependencies to instructions already
|
|
|
|
// in the packet.
|
|
|
|
for (unsigned i = 0, e = Packet.size(); i != e; ++i) {
|
|
|
|
if (Packet[i]->Succs.size() == 0)
|
|
|
|
continue;
|
2016-07-19 00:05:27 +08:00
|
|
|
|
|
|
|
// Enable .cur formation.
|
2016-07-30 05:49:42 +08:00
|
|
|
if (QII.mayBeCurLoad(*Packet[i]->getInstr()))
|
2016-07-19 00:05:27 +08:00
|
|
|
continue;
|
|
|
|
|
2012-09-04 22:49:56 +08:00
|
|
|
for (SUnit::const_succ_iterator I = Packet[i]->Succs.begin(),
|
|
|
|
E = Packet[i]->Succs.end(); I != E; ++I) {
|
|
|
|
// Since we do not add pseudos to packets, might as well
|
|
|
|
// ignore order dependencies.
|
|
|
|
if (I->isCtrl())
|
|
|
|
continue;
|
|
|
|
|
|
|
|
if (I->getSUnit() == SU)
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Keep track of available resources.
|
2012-09-11 01:31:34 +08:00
|
|
|
bool VLIWResourceModel::reserveResources(SUnit *SU) {
|
|
|
|
bool startNewCycle = false;
|
2012-09-14 23:07:59 +08:00
|
|
|
// Artificially reset state.
|
|
|
|
if (!SU) {
|
|
|
|
ResourcesModel->clearResources();
|
2016-07-16 04:16:03 +08:00
|
|
|
savePacket();
|
2012-09-14 23:07:59 +08:00
|
|
|
Packet.clear();
|
|
|
|
TotalPackets++;
|
|
|
|
return false;
|
|
|
|
}
|
2012-09-04 22:49:56 +08:00
|
|
|
// If this SU does not fit in the packet
|
|
|
|
// start a new one.
|
|
|
|
if (!isResourceAvailable(SU)) {
|
|
|
|
ResourcesModel->clearResources();
|
2016-07-16 04:16:03 +08:00
|
|
|
savePacket();
|
2012-09-04 22:49:56 +08:00
|
|
|
Packet.clear();
|
|
|
|
TotalPackets++;
|
2012-09-11 01:31:34 +08:00
|
|
|
startNewCycle = true;
|
2012-09-04 22:49:56 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
switch (SU->getInstr()->getOpcode()) {
|
|
|
|
default:
|
2016-02-28 03:09:00 +08:00
|
|
|
ResourcesModel->reserveResources(*SU->getInstr());
|
2012-09-04 22:49:56 +08:00
|
|
|
break;
|
|
|
|
case TargetOpcode::EXTRACT_SUBREG:
|
|
|
|
case TargetOpcode::INSERT_SUBREG:
|
|
|
|
case TargetOpcode::SUBREG_TO_REG:
|
|
|
|
case TargetOpcode::REG_SEQUENCE:
|
|
|
|
case TargetOpcode::IMPLICIT_DEF:
|
|
|
|
case TargetOpcode::KILL:
|
2014-03-07 14:08:31 +08:00
|
|
|
case TargetOpcode::CFI_INSTRUCTION:
|
2012-09-04 22:49:56 +08:00
|
|
|
case TargetOpcode::EH_LABEL:
|
|
|
|
case TargetOpcode::COPY:
|
|
|
|
case TargetOpcode::INLINEASM:
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
Packet.push_back(SU);
|
|
|
|
|
|
|
|
#ifndef NDEBUG
|
|
|
|
DEBUG(dbgs() << "Packet[" << TotalPackets << "]:\n");
|
|
|
|
for (unsigned i = 0, e = Packet.size(); i != e; ++i) {
|
|
|
|
DEBUG(dbgs() << "\t[" << i << "] SU(");
|
2012-09-11 01:31:34 +08:00
|
|
|
DEBUG(dbgs() << Packet[i]->NodeNum << ")\t");
|
|
|
|
DEBUG(Packet[i]->getInstr()->dump());
|
2012-09-04 22:49:56 +08:00
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
|
|
|
// If packet is now full, reset the state so in the next cycle
|
|
|
|
// we start fresh.
|
2012-10-10 13:43:09 +08:00
|
|
|
if (Packet.size() >= SchedModel->getIssueWidth()) {
|
2012-09-04 22:49:56 +08:00
|
|
|
ResourcesModel->clearResources();
|
2016-07-16 04:16:03 +08:00
|
|
|
savePacket();
|
2012-09-04 22:49:56 +08:00
|
|
|
Packet.clear();
|
|
|
|
TotalPackets++;
|
2012-09-11 01:31:34 +08:00
|
|
|
startNewCycle = true;
|
2012-09-04 22:49:56 +08:00
|
|
|
}
|
2012-09-11 01:31:34 +08:00
|
|
|
|
|
|
|
return startNewCycle;
|
2012-09-04 22:49:56 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
/// schedule - Called back from MachineScheduler::runOnMachineFunction
|
|
|
|
/// after setting up the current scheduling region. [RegionBegin, RegionEnd)
|
|
|
|
/// only includes instructions that have DAG nodes, not scheduling boundaries.
|
|
|
|
void VLIWMachineScheduler::schedule() {
|
2017-12-05 01:18:51 +08:00
|
|
|
DEBUG(dbgs() << "********** MI Converging Scheduling VLIW "
|
|
|
|
<< printMBBReference(*BB) << " " << BB->getName() << " in_func "
|
2017-12-16 06:22:58 +08:00
|
|
|
<< BB->getParent()->getName() << " at loop depth "
|
2017-12-05 01:18:51 +08:00
|
|
|
<< MLI->getLoopDepth(BB) << " \n");
|
2012-09-04 22:49:56 +08:00
|
|
|
|
2012-09-11 08:39:15 +08:00
|
|
|
buildDAGWithRegPressure();
|
2012-09-04 22:49:56 +08:00
|
|
|
|
2013-01-25 14:33:57 +08:00
|
|
|
SmallVector<SUnit*, 8> TopRoots, BotRoots;
|
|
|
|
findRootsAndBiasEdges(TopRoots, BotRoots);
|
|
|
|
|
|
|
|
// Initialize the strategy before modifying the DAG.
|
|
|
|
SchedImpl->initialize(this);
|
|
|
|
|
2012-09-11 01:31:34 +08:00
|
|
|
DEBUG(unsigned maxH = 0;
|
|
|
|
for (unsigned su = 0, e = SUnits.size(); su != e; ++su)
|
|
|
|
if (SUnits[su].getHeight() > maxH)
|
|
|
|
maxH = SUnits[su].getHeight();
|
|
|
|
dbgs() << "Max Height " << maxH << "\n";);
|
|
|
|
DEBUG(unsigned maxD = 0;
|
|
|
|
for (unsigned su = 0, e = SUnits.size(); su != e; ++su)
|
|
|
|
if (SUnits[su].getDepth() > maxD)
|
|
|
|
maxD = SUnits[su].getDepth();
|
|
|
|
dbgs() << "Max Depth " << maxD << "\n";);
|
2012-09-04 22:49:56 +08:00
|
|
|
DEBUG(for (unsigned su = 0, e = SUnits.size(); su != e; ++su)
|
|
|
|
SUnits[su].dumpAll(this));
|
|
|
|
|
2013-01-25 14:33:57 +08:00
|
|
|
initQueues(TopRoots, BotRoots);
|
2012-09-04 22:49:56 +08:00
|
|
|
|
|
|
|
bool IsTopNode = false;
|
2015-09-19 02:52:20 +08:00
|
|
|
while (true) {
|
|
|
|
DEBUG(dbgs() << "** VLIWMachineScheduler::schedule picking next node\n");
|
|
|
|
SUnit *SU = SchedImpl->pickNode(IsTopNode);
|
|
|
|
if (!SU) break;
|
|
|
|
|
2012-09-04 22:49:56 +08:00
|
|
|
if (!checkSchedLimit())
|
|
|
|
break;
|
|
|
|
|
2012-09-11 08:39:15 +08:00
|
|
|
scheduleMI(SU, IsTopNode);
|
|
|
|
|
|
|
|
updateQueues(SU, IsTopNode);
|
2013-12-29 05:56:47 +08:00
|
|
|
|
|
|
|
// Notify the scheduling strategy after updating the DAG.
|
|
|
|
SchedImpl->schedNode(SU, IsTopNode);
|
2012-09-04 22:49:56 +08:00
|
|
|
}
|
|
|
|
assert(CurrentTop == CurrentBottom && "Nonempty unscheduled zone.");
|
|
|
|
|
|
|
|
placeDebugValues();
|
2016-07-18 23:47:25 +08:00
|
|
|
|
|
|
|
DEBUG({
|
2017-12-05 01:18:51 +08:00
|
|
|
dbgs() << "*** Final schedule for "
|
|
|
|
<< printMBBReference(*begin()->getParent()) << " ***\n";
|
2016-07-18 23:47:25 +08:00
|
|
|
dumpSchedule();
|
|
|
|
dbgs() << '\n';
|
|
|
|
});
|
2012-09-04 22:49:56 +08:00
|
|
|
}
|
|
|
|
|
2012-09-11 08:39:15 +08:00
|
|
|
void ConvergingVLIWScheduler::initialize(ScheduleDAGMI *dag) {
|
|
|
|
DAG = static_cast<VLIWMachineScheduler*>(dag);
|
2012-10-10 13:43:09 +08:00
|
|
|
SchedModel = DAG->getSchedModel();
|
2013-02-14 03:22:27 +08:00
|
|
|
|
2012-10-10 13:43:09 +08:00
|
|
|
Top.init(DAG, SchedModel);
|
|
|
|
Bot.init(DAG, SchedModel);
|
2012-09-04 22:49:56 +08:00
|
|
|
|
2012-10-10 13:43:09 +08:00
|
|
|
// Initialize the HazardRecognizers. If itineraries don't exist, are empty, or
|
|
|
|
// are disabled, then these HazardRecs will be disabled.
|
|
|
|
const InstrItineraryData *Itin = DAG->getSchedModel()->getInstrItineraries();
|
2015-02-03 06:11:40 +08:00
|
|
|
const TargetSubtargetInfo &STI = DAG->MF.getSubtarget();
|
|
|
|
const TargetInstrInfo *TII = STI.getInstrInfo();
|
2013-02-14 03:22:27 +08:00
|
|
|
delete Top.HazardRec;
|
|
|
|
delete Bot.HazardRec;
|
2015-02-03 06:11:40 +08:00
|
|
|
Top.HazardRec = TII->CreateTargetMIHazardRecognizer(Itin, DAG);
|
|
|
|
Bot.HazardRec = TII->CreateTargetMIHazardRecognizer(Itin, DAG);
|
2012-09-04 22:49:56 +08:00
|
|
|
|
2013-07-27 18:48:45 +08:00
|
|
|
delete Top.ResourceModel;
|
|
|
|
delete Bot.ResourceModel;
|
2015-02-03 06:11:40 +08:00
|
|
|
Top.ResourceModel = new VLIWResourceModel(STI, DAG->getSchedModel());
|
|
|
|
Bot.ResourceModel = new VLIWResourceModel(STI, DAG->getSchedModel());
|
2012-09-11 01:31:34 +08:00
|
|
|
|
2017-09-29 06:27:31 +08:00
|
|
|
assert((!ForceTopDown || !ForceBottomUp) &&
|
2012-09-04 22:49:56 +08:00
|
|
|
"-misched-topdown incompatible with -misched-bottomup");
|
|
|
|
}
|
|
|
|
|
|
|
|
void ConvergingVLIWScheduler::releaseTopNode(SUnit *SU) {
|
|
|
|
if (SU->isScheduled)
|
|
|
|
return;
|
|
|
|
|
2016-07-19 00:15:15 +08:00
|
|
|
for (const SDep &PI : SU->Preds) {
|
|
|
|
unsigned PredReadyCycle = PI.getSUnit()->TopReadyCycle;
|
|
|
|
unsigned MinLatency = PI.getLatency();
|
2012-09-04 22:49:56 +08:00
|
|
|
#ifndef NDEBUG
|
|
|
|
Top.MaxMinLatency = std::max(MinLatency, Top.MaxMinLatency);
|
|
|
|
#endif
|
|
|
|
if (SU->TopReadyCycle < PredReadyCycle + MinLatency)
|
|
|
|
SU->TopReadyCycle = PredReadyCycle + MinLatency;
|
|
|
|
}
|
|
|
|
Top.releaseNode(SU, SU->TopReadyCycle);
|
|
|
|
}
|
|
|
|
|
|
|
|
void ConvergingVLIWScheduler::releaseBottomNode(SUnit *SU) {
|
|
|
|
if (SU->isScheduled)
|
|
|
|
return;
|
|
|
|
|
|
|
|
assert(SU->getInstr() && "Scheduled SUnit must have instr");
|
|
|
|
|
|
|
|
for (SUnit::succ_iterator I = SU->Succs.begin(), E = SU->Succs.end();
|
|
|
|
I != E; ++I) {
|
|
|
|
unsigned SuccReadyCycle = I->getSUnit()->BotReadyCycle;
|
2013-06-15 12:49:57 +08:00
|
|
|
unsigned MinLatency = I->getLatency();
|
2012-09-04 22:49:56 +08:00
|
|
|
#ifndef NDEBUG
|
|
|
|
Bot.MaxMinLatency = std::max(MinLatency, Bot.MaxMinLatency);
|
|
|
|
#endif
|
|
|
|
if (SU->BotReadyCycle < SuccReadyCycle + MinLatency)
|
|
|
|
SU->BotReadyCycle = SuccReadyCycle + MinLatency;
|
|
|
|
}
|
|
|
|
Bot.releaseNode(SU, SU->BotReadyCycle);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Does this SU have a hazard within the current instruction group.
|
|
|
|
///
|
|
|
|
/// The scheduler supports two modes of hazard recognition. The first is the
|
|
|
|
/// ScheduleHazardRecognizer API. It is a fully general hazard recognizer that
|
|
|
|
/// supports highly complicated in-order reservation tables
|
|
|
|
/// (ScoreboardHazardRecognizer) and arbitrary target-specific logic.
|
|
|
|
///
|
|
|
|
/// The second is a streamlined mechanism that checks for hazards based on
|
|
|
|
/// simple counters that the scheduler itself maintains. It explicitly checks
|
|
|
|
/// for instruction dispatch limitations, including the number of micro-ops that
|
|
|
|
/// can dispatch per cycle.
|
|
|
|
///
|
|
|
|
/// TODO: Also check whether the SU must start a new group.
|
2013-12-29 05:56:47 +08:00
|
|
|
bool ConvergingVLIWScheduler::VLIWSchedBoundary::checkHazard(SUnit *SU) {
|
2012-09-04 22:49:56 +08:00
|
|
|
if (HazardRec->isEnabled())
|
|
|
|
return HazardRec->getHazardType(SU) != ScheduleHazardRecognizer::NoHazard;
|
|
|
|
|
2012-10-10 13:43:09 +08:00
|
|
|
unsigned uops = SchedModel->getNumMicroOps(SU->getInstr());
|
|
|
|
if (IssueCount + uops > SchedModel->getIssueWidth())
|
2012-09-04 22:49:56 +08:00
|
|
|
return true;
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2013-12-29 05:56:47 +08:00
|
|
|
void ConvergingVLIWScheduler::VLIWSchedBoundary::releaseNode(SUnit *SU,
|
2012-09-04 22:49:56 +08:00
|
|
|
unsigned ReadyCycle) {
|
|
|
|
if (ReadyCycle < MinReadyCycle)
|
|
|
|
MinReadyCycle = ReadyCycle;
|
|
|
|
|
|
|
|
// Check for interlocks first. For the purpose of other heuristics, an
|
|
|
|
// instruction that cannot issue appears as if it's not in the ReadyQueue.
|
|
|
|
if (ReadyCycle > CurrCycle || checkHazard(SU))
|
|
|
|
|
|
|
|
Pending.push(SU);
|
|
|
|
else
|
|
|
|
Available.push(SU);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Move the boundary of scheduled code by one cycle.
|
2013-12-29 05:56:47 +08:00
|
|
|
void ConvergingVLIWScheduler::VLIWSchedBoundary::bumpCycle() {
|
2012-10-10 13:43:09 +08:00
|
|
|
unsigned Width = SchedModel->getIssueWidth();
|
2012-09-04 22:49:56 +08:00
|
|
|
IssueCount = (IssueCount <= Width) ? 0 : IssueCount - Width;
|
|
|
|
|
2017-09-29 06:27:31 +08:00
|
|
|
assert(MinReadyCycle < std::numeric_limits<unsigned>::max() &&
|
|
|
|
"MinReadyCycle uninitialized");
|
2012-09-04 22:49:56 +08:00
|
|
|
unsigned NextCycle = std::max(CurrCycle + 1, MinReadyCycle);
|
|
|
|
|
|
|
|
if (!HazardRec->isEnabled()) {
|
|
|
|
// Bypass HazardRec virtual calls.
|
|
|
|
CurrCycle = NextCycle;
|
2012-09-11 01:31:34 +08:00
|
|
|
} else {
|
2012-09-04 22:49:56 +08:00
|
|
|
// Bypass getHazardType calls in case of long latency.
|
|
|
|
for (; CurrCycle != NextCycle; ++CurrCycle) {
|
|
|
|
if (isTop())
|
|
|
|
HazardRec->AdvanceCycle();
|
|
|
|
else
|
|
|
|
HazardRec->RecedeCycle();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
CheckPending = true;
|
|
|
|
|
2016-07-18 23:47:25 +08:00
|
|
|
DEBUG(dbgs() << "*** Next cycle " << Available.getName() << " cycle "
|
|
|
|
<< CurrCycle << '\n');
|
2012-09-04 22:49:56 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Move the boundary of scheduled code by one SUnit.
|
2013-12-29 05:56:47 +08:00
|
|
|
void ConvergingVLIWScheduler::VLIWSchedBoundary::bumpNode(SUnit *SU) {
|
2012-09-11 01:31:34 +08:00
|
|
|
bool startNewCycle = false;
|
2012-09-04 22:49:56 +08:00
|
|
|
|
|
|
|
// Update the reservation table.
|
|
|
|
if (HazardRec->isEnabled()) {
|
|
|
|
if (!isTop() && SU->isCall) {
|
|
|
|
// Calls are scheduled with their preceding instructions. For bottom-up
|
|
|
|
// scheduling, clear the pipeline state before emitting.
|
|
|
|
HazardRec->Reset();
|
|
|
|
}
|
|
|
|
HazardRec->EmitInstruction(SU);
|
|
|
|
}
|
2012-09-11 01:31:34 +08:00
|
|
|
|
|
|
|
// Update DFA model.
|
|
|
|
startNewCycle = ResourceModel->reserveResources(SU);
|
|
|
|
|
2012-09-04 22:49:56 +08:00
|
|
|
// Check the instruction group dispatch limit.
|
|
|
|
// TODO: Check if this SU must end a dispatch group.
|
2012-10-10 13:43:09 +08:00
|
|
|
IssueCount += SchedModel->getNumMicroOps(SU->getInstr());
|
2012-09-11 01:31:34 +08:00
|
|
|
if (startNewCycle) {
|
2012-09-04 22:49:56 +08:00
|
|
|
DEBUG(dbgs() << "*** Max instrs at cycle " << CurrCycle << '\n');
|
|
|
|
bumpCycle();
|
|
|
|
}
|
2012-09-11 01:31:34 +08:00
|
|
|
else
|
|
|
|
DEBUG(dbgs() << "*** IssueCount " << IssueCount
|
|
|
|
<< " at cycle " << CurrCycle << '\n');
|
2012-09-04 22:49:56 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Release pending ready nodes in to the available queue. This makes them
|
|
|
|
/// visible to heuristics.
|
2013-12-29 05:56:47 +08:00
|
|
|
void ConvergingVLIWScheduler::VLIWSchedBoundary::releasePending() {
|
2012-09-04 22:49:56 +08:00
|
|
|
// If the available queue is empty, it is safe to reset MinReadyCycle.
|
|
|
|
if (Available.empty())
|
2017-09-29 06:27:31 +08:00
|
|
|
MinReadyCycle = std::numeric_limits<unsigned>::max();
|
2012-09-04 22:49:56 +08:00
|
|
|
|
|
|
|
// Check to see if any of the pending instructions are ready to issue. If
|
|
|
|
// so, add them to the available queue.
|
|
|
|
for (unsigned i = 0, e = Pending.size(); i != e; ++i) {
|
|
|
|
SUnit *SU = *(Pending.begin()+i);
|
|
|
|
unsigned ReadyCycle = isTop() ? SU->TopReadyCycle : SU->BotReadyCycle;
|
|
|
|
|
|
|
|
if (ReadyCycle < MinReadyCycle)
|
|
|
|
MinReadyCycle = ReadyCycle;
|
|
|
|
|
|
|
|
if (ReadyCycle > CurrCycle)
|
|
|
|
continue;
|
|
|
|
|
|
|
|
if (checkHazard(SU))
|
|
|
|
continue;
|
|
|
|
|
|
|
|
Available.push(SU);
|
|
|
|
Pending.remove(Pending.begin()+i);
|
|
|
|
--i; --e;
|
|
|
|
}
|
|
|
|
CheckPending = false;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Remove SU from the ready set for this boundary.
|
2013-12-29 05:56:47 +08:00
|
|
|
void ConvergingVLIWScheduler::VLIWSchedBoundary::removeReady(SUnit *SU) {
|
2012-09-04 22:49:56 +08:00
|
|
|
if (Available.isInQueue(SU))
|
|
|
|
Available.remove(Available.find(SU));
|
|
|
|
else {
|
|
|
|
assert(Pending.isInQueue(SU) && "bad ready count");
|
|
|
|
Pending.remove(Pending.find(SU));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// If this queue only has one ready candidate, return it. As a side effect,
|
|
|
|
/// advance the cycle until at least one node is ready. If multiple instructions
|
|
|
|
/// are ready, return NULL.
|
2013-12-29 05:56:47 +08:00
|
|
|
SUnit *ConvergingVLIWScheduler::VLIWSchedBoundary::pickOnlyChoice() {
|
2012-09-04 22:49:56 +08:00
|
|
|
if (CheckPending)
|
|
|
|
releasePending();
|
|
|
|
|
|
|
|
for (unsigned i = 0; Available.empty(); ++i) {
|
|
|
|
assert(i <= (HazardRec->getMaxLookAhead() + MaxMinLatency) &&
|
|
|
|
"permanent hazard"); (void)i;
|
2014-04-25 13:30:21 +08:00
|
|
|
ResourceModel->reserveResources(nullptr);
|
2012-09-04 22:49:56 +08:00
|
|
|
bumpCycle();
|
|
|
|
releasePending();
|
|
|
|
}
|
|
|
|
if (Available.size() == 1)
|
|
|
|
return *Available.begin();
|
2014-04-25 13:30:21 +08:00
|
|
|
return nullptr;
|
2012-09-04 22:49:56 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
#ifndef NDEBUG
|
2012-09-11 01:31:34 +08:00
|
|
|
void ConvergingVLIWScheduler::traceCandidate(const char *Label,
|
2016-07-18 23:47:25 +08:00
|
|
|
const ReadyQueue &Q, SUnit *SU, int Cost, PressureChange P) {
|
2012-09-04 22:49:56 +08:00
|
|
|
dbgs() << Label << " " << Q.getName() << " ";
|
|
|
|
if (P.isValid())
|
2013-08-30 11:49:48 +08:00
|
|
|
dbgs() << DAG->TRI->getRegPressureSetName(P.getPSet()) << ":"
|
|
|
|
<< P.getUnitInc() << " ";
|
2012-09-04 22:49:56 +08:00
|
|
|
else
|
|
|
|
dbgs() << " ";
|
2016-07-18 23:47:25 +08:00
|
|
|
dbgs() << "cost(" << Cost << ")\t";
|
2012-09-04 22:49:56 +08:00
|
|
|
SU->dump(DAG);
|
|
|
|
}
|
2016-07-18 23:47:25 +08:00
|
|
|
|
|
|
|
// Very detailed queue dump, to be used with higher verbosity levels.
|
|
|
|
void ConvergingVLIWScheduler::readyQueueVerboseDump(
|
|
|
|
const RegPressureTracker &RPTracker, SchedCandidate &Candidate,
|
|
|
|
ReadyQueue &Q) {
|
|
|
|
RegPressureTracker &TempTracker = const_cast<RegPressureTracker &>(RPTracker);
|
|
|
|
|
|
|
|
dbgs() << ">>> " << Q.getName() << "\n";
|
|
|
|
for (ReadyQueue::iterator I = Q.begin(), E = Q.end(); I != E; ++I) {
|
|
|
|
RegPressureDelta RPDelta;
|
|
|
|
TempTracker.getMaxPressureDelta((*I)->getInstr(), RPDelta,
|
|
|
|
DAG->getRegionCriticalPSets(),
|
|
|
|
DAG->getRegPressure().MaxSetPressure);
|
|
|
|
std::stringstream dbgstr;
|
|
|
|
dbgstr << "SU(" << std::setw(3) << (*I)->NodeNum << ")";
|
|
|
|
dbgs() << dbgstr.str();
|
|
|
|
SchedulingCost(Q, *I, Candidate, RPDelta, true);
|
|
|
|
dbgs() << "\t";
|
|
|
|
(*I)->getInstr()->dump();
|
|
|
|
}
|
|
|
|
dbgs() << "\n";
|
|
|
|
}
|
2012-09-04 22:49:56 +08:00
|
|
|
#endif
|
|
|
|
|
2017-06-09 02:49:25 +08:00
|
|
|
/// isSingleUnscheduledPred - If SU2 is the only unscheduled predecessor
|
|
|
|
/// of SU, return true (we may have duplicates)
|
|
|
|
static inline bool isSingleUnscheduledPred(SUnit *SU, SUnit *SU2) {
|
|
|
|
if (SU->NumPredsLeft == 0)
|
|
|
|
return false;
|
|
|
|
|
|
|
|
for (auto &Pred : SU->Preds) {
|
|
|
|
// We found an available, but not scheduled, predecessor.
|
|
|
|
if (!Pred.getSUnit()->isScheduled && (Pred.getSUnit() != SU2))
|
|
|
|
return false;
|
2012-09-11 01:31:34 +08:00
|
|
|
}
|
2017-06-09 02:49:25 +08:00
|
|
|
|
|
|
|
return true;
|
2012-09-11 01:31:34 +08:00
|
|
|
}
|
|
|
|
|
2017-06-09 02:49:25 +08:00
|
|
|
/// isSingleUnscheduledSucc - If SU2 is the only unscheduled successor
|
|
|
|
/// of SU, return true (we may have duplicates)
|
|
|
|
static inline bool isSingleUnscheduledSucc(SUnit *SU, SUnit *SU2) {
|
|
|
|
if (SU->NumSuccsLeft == 0)
|
|
|
|
return false;
|
|
|
|
|
|
|
|
for (auto &Succ : SU->Succs) {
|
|
|
|
// We found an available, but not scheduled, successor.
|
|
|
|
if (!Succ.getSUnit()->isScheduled && (Succ.getSUnit() != SU2))
|
|
|
|
return false;
|
2012-09-11 01:31:34 +08:00
|
|
|
}
|
2017-06-09 02:49:25 +08:00
|
|
|
return true;
|
2012-09-11 01:31:34 +08:00
|
|
|
}
|
|
|
|
|
2012-09-04 22:49:56 +08:00
|
|
|
// Constants used to denote relative importance of
|
|
|
|
// heuristic components for cost computation.
|
|
|
|
static const unsigned PriorityOne = 200;
|
2013-09-11 08:41:02 +08:00
|
|
|
static const unsigned PriorityTwo = 50;
|
2016-07-18 22:23:10 +08:00
|
|
|
static const unsigned PriorityThree = 75;
|
2012-09-04 22:49:56 +08:00
|
|
|
static const unsigned ScaleTwo = 10;
|
|
|
|
static const unsigned FactorOne = 2;
|
|
|
|
|
|
|
|
/// Single point to compute overall scheduling cost.
|
|
|
|
/// TODO: More heuristics will be used soon.
|
|
|
|
int ConvergingVLIWScheduler::SchedulingCost(ReadyQueue &Q, SUnit *SU,
|
|
|
|
SchedCandidate &Candidate,
|
|
|
|
RegPressureDelta &Delta,
|
|
|
|
bool verbose) {
|
|
|
|
// Initial trivial priority.
|
|
|
|
int ResCount = 1;
|
|
|
|
|
|
|
|
// Do not waste time on a node that is already scheduled.
|
|
|
|
if (!SU || SU->isScheduled)
|
|
|
|
return ResCount;
|
|
|
|
|
2016-07-30 05:49:42 +08:00
|
|
|
MachineInstr &Instr = *SU->getInstr();
|
2016-07-16 04:16:03 +08:00
|
|
|
|
2016-07-18 23:47:25 +08:00
|
|
|
DEBUG(if (verbose) dbgs() << ((Q.getID() == TopQID) ? "(top|" : "(bot|"));
|
2012-09-04 22:49:56 +08:00
|
|
|
// Forced priority is high.
|
2016-07-18 23:47:25 +08:00
|
|
|
if (SU->isScheduleHigh) {
|
2012-09-04 22:49:56 +08:00
|
|
|
ResCount += PriorityOne;
|
2016-07-18 23:47:25 +08:00
|
|
|
DEBUG(dbgs() << "H|");
|
|
|
|
}
|
2012-09-04 22:49:56 +08:00
|
|
|
|
|
|
|
// Critical path first.
|
2012-09-11 01:31:34 +08:00
|
|
|
if (Q.getID() == TopQID) {
|
2012-09-04 22:49:56 +08:00
|
|
|
ResCount += (SU->getHeight() * ScaleTwo);
|
2012-09-11 01:31:34 +08:00
|
|
|
|
2016-07-18 23:47:25 +08:00
|
|
|
DEBUG(if (verbose) {
|
|
|
|
std::stringstream dbgstr;
|
|
|
|
dbgstr << "h" << std::setw(3) << SU->getHeight() << "|";
|
|
|
|
dbgs() << dbgstr.str();
|
|
|
|
});
|
|
|
|
|
2012-09-11 01:31:34 +08:00
|
|
|
// If resources are available for it, multiply the
|
|
|
|
// chance of scheduling.
|
2016-07-18 22:52:13 +08:00
|
|
|
if (Top.ResourceModel->isResourceAvailable(SU)) {
|
2012-09-11 01:31:34 +08:00
|
|
|
ResCount <<= FactorOne;
|
2016-07-18 22:52:13 +08:00
|
|
|
ResCount += PriorityThree;
|
|
|
|
DEBUG(if (verbose) dbgs() << "A|");
|
|
|
|
} else
|
|
|
|
DEBUG(if (verbose) dbgs() << " |");
|
2012-09-11 01:31:34 +08:00
|
|
|
} else {
|
2012-09-04 22:49:56 +08:00
|
|
|
ResCount += (SU->getDepth() * ScaleTwo);
|
|
|
|
|
2016-07-18 23:47:25 +08:00
|
|
|
DEBUG(if (verbose) {
|
|
|
|
std::stringstream dbgstr;
|
|
|
|
dbgstr << "d" << std::setw(3) << SU->getDepth() << "|";
|
|
|
|
dbgs() << dbgstr.str();
|
|
|
|
});
|
|
|
|
|
2012-09-11 01:31:34 +08:00
|
|
|
// If resources are available for it, multiply the
|
|
|
|
// chance of scheduling.
|
2016-07-18 22:52:13 +08:00
|
|
|
if (Bot.ResourceModel->isResourceAvailable(SU)) {
|
2012-09-11 01:31:34 +08:00
|
|
|
ResCount <<= FactorOne;
|
2016-07-18 22:52:13 +08:00
|
|
|
ResCount += PriorityThree;
|
|
|
|
DEBUG(if (verbose) dbgs() << "A|");
|
|
|
|
} else
|
|
|
|
DEBUG(if (verbose) dbgs() << " |");
|
2012-09-11 01:31:34 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
unsigned NumNodesBlocking = 0;
|
|
|
|
if (Q.getID() == TopQID) {
|
|
|
|
// How many SUs does it block from scheduling?
|
|
|
|
// Look at all of the successors of this node.
|
|
|
|
// Count the number of nodes that
|
|
|
|
// this node is the sole unscheduled node for.
|
2016-07-18 22:52:13 +08:00
|
|
|
for (const SDep &SI : SU->Succs)
|
2017-06-09 02:49:25 +08:00
|
|
|
if (isSingleUnscheduledPred(SI.getSUnit(), SU))
|
2012-09-11 01:31:34 +08:00
|
|
|
++NumNodesBlocking;
|
|
|
|
} else {
|
|
|
|
// How many unscheduled predecessors block this node?
|
2016-07-18 22:52:13 +08:00
|
|
|
for (const SDep &PI : SU->Preds)
|
2017-06-09 02:49:25 +08:00
|
|
|
if (isSingleUnscheduledSucc(PI.getSUnit(), SU))
|
2012-09-11 01:31:34 +08:00
|
|
|
++NumNodesBlocking;
|
|
|
|
}
|
|
|
|
ResCount += (NumNodesBlocking * ScaleTwo);
|
2012-09-04 22:49:56 +08:00
|
|
|
|
2016-07-18 23:47:25 +08:00
|
|
|
DEBUG(if (verbose) {
|
|
|
|
std::stringstream dbgstr;
|
|
|
|
dbgstr << "blk " << std::setw(2) << NumNodesBlocking << ")|";
|
|
|
|
dbgs() << dbgstr.str();
|
|
|
|
});
|
|
|
|
|
2012-09-04 22:49:56 +08:00
|
|
|
// Factor in reg pressure as a heuristic.
|
2016-07-18 22:52:13 +08:00
|
|
|
if (!IgnoreBBRegPressure) {
|
|
|
|
// Decrease priority by the amount that register pressure exceeds the limit.
|
|
|
|
ResCount -= (Delta.Excess.getUnitInc()*PriorityOne);
|
|
|
|
// Decrease priority if register pressure exceeds the limit.
|
|
|
|
ResCount -= (Delta.CriticalMax.getUnitInc()*PriorityOne);
|
|
|
|
// Decrease priority slightly if register pressure would increase over the
|
|
|
|
// current maximum.
|
|
|
|
ResCount -= (Delta.CurrentMax.getUnitInc()*PriorityTwo);
|
|
|
|
DEBUG(if (verbose) {
|
|
|
|
dbgs() << "RP " << Delta.Excess.getUnitInc() << "/"
|
|
|
|
<< Delta.CriticalMax.getUnitInc() <<"/"
|
|
|
|
<< Delta.CurrentMax.getUnitInc() << ")|";
|
|
|
|
});
|
|
|
|
}
|
2012-09-04 22:49:56 +08:00
|
|
|
|
2016-07-18 22:52:13 +08:00
|
|
|
// Give a little extra priority to a .cur instruction if there is a resource
|
|
|
|
// available for it.
|
2016-07-16 04:16:03 +08:00
|
|
|
auto &QST = DAG->MF.getSubtarget<HexagonSubtarget>();
|
|
|
|
auto &QII = *QST.getInstrInfo();
|
2016-07-30 05:49:42 +08:00
|
|
|
if (SU->isInstr() && QII.mayBeCurLoad(*SU->getInstr())) {
|
2016-07-18 22:23:10 +08:00
|
|
|
if (Q.getID() == TopQID && Top.ResourceModel->isResourceAvailable(SU)) {
|
|
|
|
ResCount += PriorityTwo;
|
|
|
|
DEBUG(if (verbose) dbgs() << "C|");
|
|
|
|
} else if (Q.getID() == BotQID &&
|
|
|
|
Bot.ResourceModel->isResourceAvailable(SU)) {
|
|
|
|
ResCount += PriorityTwo;
|
|
|
|
DEBUG(if (verbose) dbgs() << "C|");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-07-16 05:34:02 +08:00
|
|
|
// Give preference to a zero latency instruction if the dependent
|
|
|
|
// instruction is in the current packet.
|
|
|
|
if (Q.getID() == TopQID) {
|
|
|
|
for (const SDep &PI : SU->Preds) {
|
|
|
|
if (!PI.getSUnit()->getInstr()->isPseudo() && PI.isAssignedRegDep() &&
|
|
|
|
PI.getLatency() == 0 &&
|
|
|
|
Top.ResourceModel->isInPacket(PI.getSUnit())) {
|
2016-07-18 22:23:10 +08:00
|
|
|
ResCount += PriorityThree;
|
2016-07-16 05:34:02 +08:00
|
|
|
DEBUG(if (verbose) dbgs() << "Z|");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
for (const SDep &SI : SU->Succs) {
|
|
|
|
if (!SI.getSUnit()->getInstr()->isPseudo() && SI.isAssignedRegDep() &&
|
|
|
|
SI.getLatency() == 0 &&
|
|
|
|
Bot.ResourceModel->isInPacket(SI.getSUnit())) {
|
2016-07-18 22:23:10 +08:00
|
|
|
ResCount += PriorityThree;
|
2016-07-16 05:34:02 +08:00
|
|
|
DEBUG(if (verbose) dbgs() << "Z|");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-07-16 04:16:03 +08:00
|
|
|
// Give less preference to an instruction that will cause a stall with
|
|
|
|
// an instruction in the previous packet.
|
2017-05-04 04:10:36 +08:00
|
|
|
if (QII.isHVXVec(Instr)) {
|
2016-07-16 04:16:03 +08:00
|
|
|
// Check for stalls in the previous packet.
|
|
|
|
if (Q.getID() == TopQID) {
|
|
|
|
for (auto J : Top.ResourceModel->OldPacket)
|
2016-07-30 05:49:42 +08:00
|
|
|
if (QII.producesStall(*J->getInstr(), Instr))
|
2016-07-16 04:16:03 +08:00
|
|
|
ResCount -= PriorityOne;
|
|
|
|
} else {
|
|
|
|
for (auto J : Bot.ResourceModel->OldPacket)
|
2016-07-30 05:49:42 +08:00
|
|
|
if (QII.producesStall(Instr, *J->getInstr()))
|
2016-07-16 04:16:03 +08:00
|
|
|
ResCount -= PriorityOne;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-07-18 22:52:13 +08:00
|
|
|
// If the instruction has a non-zero latency dependence with an instruction in
|
|
|
|
// the current packet, then it should not be scheduled yet. The case occurs
|
|
|
|
// when the dependent instruction is scheduled in a new packet, so the
|
|
|
|
// scheduler updates the current cycle and pending instructions become
|
|
|
|
// available.
|
|
|
|
if (CheckEarlyAvail) {
|
|
|
|
if (Q.getID() == TopQID) {
|
|
|
|
for (const auto &PI : SU->Preds) {
|
|
|
|
if (PI.getLatency() > 0 &&
|
|
|
|
Top.ResourceModel->isInPacket(PI.getSUnit())) {
|
|
|
|
ResCount -= PriorityOne;
|
|
|
|
DEBUG(if (verbose) dbgs() << "D|");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
for (const auto &SI : SU->Succs) {
|
|
|
|
if (SI.getLatency() > 0 &&
|
|
|
|
Bot.ResourceModel->isInPacket(SI.getSUnit())) {
|
|
|
|
ResCount -= PriorityOne;
|
|
|
|
DEBUG(if (verbose) dbgs() << "D|");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-07-18 23:47:25 +08:00
|
|
|
DEBUG(if (verbose) {
|
|
|
|
std::stringstream dbgstr;
|
|
|
|
dbgstr << "Total " << std::setw(4) << ResCount << ")";
|
|
|
|
dbgs() << dbgstr.str();
|
|
|
|
});
|
2012-09-04 22:49:56 +08:00
|
|
|
|
|
|
|
return ResCount;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Pick the best candidate from the top queue.
|
|
|
|
///
|
|
|
|
/// TODO: getMaxPressureDelta results can be mostly cached for each SUnit during
|
|
|
|
/// DAG building. To adjust for the current scheduling location we need to
|
|
|
|
/// maintain the number of vreg uses remaining to be top-scheduled.
|
|
|
|
ConvergingVLIWScheduler::CandResult ConvergingVLIWScheduler::
|
|
|
|
pickNodeFromQueue(ReadyQueue &Q, const RegPressureTracker &RPTracker,
|
|
|
|
SchedCandidate &Candidate) {
|
2016-07-18 23:47:25 +08:00
|
|
|
DEBUG(if (SchedDebugVerboseLevel > 1)
|
|
|
|
readyQueueVerboseDump(RPTracker, Candidate, Q);
|
|
|
|
else Q.dump(););
|
2012-09-04 22:49:56 +08:00
|
|
|
|
|
|
|
// getMaxPressureDelta temporarily modifies the tracker.
|
|
|
|
RegPressureTracker &TempTracker = const_cast<RegPressureTracker&>(RPTracker);
|
|
|
|
|
|
|
|
// BestSU remains NULL if no top candidates beat the best existing candidate.
|
|
|
|
CandResult FoundCandidate = NoCand;
|
|
|
|
for (ReadyQueue::iterator I = Q.begin(), E = Q.end(); I != E; ++I) {
|
|
|
|
RegPressureDelta RPDelta;
|
|
|
|
TempTracker.getMaxPressureDelta((*I)->getInstr(), RPDelta,
|
|
|
|
DAG->getRegionCriticalPSets(),
|
|
|
|
DAG->getRegPressure().MaxSetPressure);
|
|
|
|
|
|
|
|
int CurrentCost = SchedulingCost(Q, *I, Candidate, RPDelta, false);
|
|
|
|
|
|
|
|
// Initialize the candidate if needed.
|
|
|
|
if (!Candidate.SU) {
|
2016-07-18 23:47:25 +08:00
|
|
|
DEBUG(traceCandidate("DCAND", Q, *I, CurrentCost));
|
2012-09-04 22:49:56 +08:00
|
|
|
Candidate.SU = *I;
|
|
|
|
Candidate.RPDelta = RPDelta;
|
|
|
|
Candidate.SCost = CurrentCost;
|
|
|
|
FoundCandidate = NodeOrder;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Best cost.
|
|
|
|
if (CurrentCost > Candidate.SCost) {
|
2016-07-18 23:47:25 +08:00
|
|
|
DEBUG(traceCandidate("CCAND", Q, *I, CurrentCost));
|
2012-09-04 22:49:56 +08:00
|
|
|
Candidate.SU = *I;
|
|
|
|
Candidate.RPDelta = RPDelta;
|
|
|
|
Candidate.SCost = CurrentCost;
|
|
|
|
FoundCandidate = BestCost;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
2016-07-18 23:17:10 +08:00
|
|
|
// Tie breaker using Timing Class.
|
|
|
|
if (!DisableTCTie) {
|
|
|
|
auto &QST = DAG->MF.getSubtarget<HexagonSubtarget>();
|
|
|
|
auto &QII = *QST.getInstrInfo();
|
|
|
|
|
|
|
|
const MachineInstr *MI = (*I)->getInstr();
|
|
|
|
const MachineInstr *CandI = Candidate.SU->getInstr();
|
|
|
|
const InstrItineraryData *InstrItins = QST.getInstrItineraryData();
|
|
|
|
|
2016-07-30 05:49:42 +08:00
|
|
|
unsigned InstrLatency = QII.getInstrTimingClassLatency(InstrItins, *MI);
|
|
|
|
unsigned CandLatency = QII.getInstrTimingClassLatency(InstrItins, *CandI);
|
2016-07-18 23:17:10 +08:00
|
|
|
DEBUG(dbgs() << "TC Tie Breaker Cand: "
|
|
|
|
<< CandLatency << " Instr:" << InstrLatency << "\n"
|
|
|
|
<< *MI << *CandI << "\n");
|
|
|
|
if (Q.getID() == TopQID && CurrentCost == Candidate.SCost) {
|
|
|
|
if (InstrLatency < CandLatency && TopUseShorterTie) {
|
|
|
|
Candidate.SU = *I;
|
|
|
|
Candidate.RPDelta = RPDelta;
|
|
|
|
Candidate.SCost = CurrentCost;
|
|
|
|
FoundCandidate = BestCost;
|
|
|
|
DEBUG(dbgs() << "Used top shorter tie breaker\n");
|
|
|
|
continue;
|
|
|
|
} else if (InstrLatency > CandLatency && !TopUseShorterTie) {
|
|
|
|
Candidate.SU = *I;
|
|
|
|
Candidate.RPDelta = RPDelta;
|
|
|
|
Candidate.SCost = CurrentCost;
|
|
|
|
FoundCandidate = BestCost;
|
|
|
|
DEBUG(dbgs() << "Used top longer tie breaker\n");
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
} else if (Q.getID() == BotQID && CurrentCost == Candidate.SCost) {
|
|
|
|
if (InstrLatency < CandLatency && BotUseShorterTie) {
|
|
|
|
Candidate.SU = *I;
|
|
|
|
Candidate.RPDelta = RPDelta;
|
|
|
|
Candidate.SCost = CurrentCost;
|
|
|
|
FoundCandidate = BestCost;
|
|
|
|
DEBUG(dbgs() << "Used Bot shorter tie breaker\n");
|
|
|
|
continue;
|
|
|
|
} else if (InstrLatency > CandLatency && !BotUseShorterTie) {
|
|
|
|
Candidate.SU = *I;
|
|
|
|
Candidate.RPDelta = RPDelta;
|
|
|
|
Candidate.SCost = CurrentCost;
|
|
|
|
FoundCandidate = BestCost;
|
|
|
|
DEBUG(dbgs() << "Used Bot longer tie breaker\n");
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-07-18 22:23:10 +08:00
|
|
|
if (CurrentCost == Candidate.SCost) {
|
|
|
|
if ((Q.getID() == TopQID &&
|
|
|
|
(*I)->Succs.size() > Candidate.SU->Succs.size()) ||
|
|
|
|
(Q.getID() == BotQID &&
|
|
|
|
(*I)->Preds.size() < Candidate.SU->Preds.size())) {
|
|
|
|
DEBUG(traceCandidate("SPCAND", Q, *I, CurrentCost));
|
|
|
|
Candidate.SU = *I;
|
|
|
|
Candidate.RPDelta = RPDelta;
|
|
|
|
Candidate.SCost = CurrentCost;
|
|
|
|
FoundCandidate = BestCost;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-09-04 22:49:56 +08:00
|
|
|
// Fall through to original instruction order.
|
|
|
|
// Only consider node order if Candidate was chosen from this Q.
|
|
|
|
if (FoundCandidate == NoCand)
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
return FoundCandidate;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Pick the best candidate node from either the top or bottom queue.
|
|
|
|
SUnit *ConvergingVLIWScheduler::pickNodeBidrectional(bool &IsTopNode) {
|
|
|
|
// Schedule as far as possible in the direction of no choice. This is most
|
|
|
|
// efficient, but also provides the best heuristics for CriticalPSets.
|
|
|
|
if (SUnit *SU = Bot.pickOnlyChoice()) {
|
2016-07-18 23:17:10 +08:00
|
|
|
DEBUG(dbgs() << "Picked only Bottom\n");
|
2012-09-04 22:49:56 +08:00
|
|
|
IsTopNode = false;
|
|
|
|
return SU;
|
|
|
|
}
|
|
|
|
if (SUnit *SU = Top.pickOnlyChoice()) {
|
2016-07-18 23:17:10 +08:00
|
|
|
DEBUG(dbgs() << "Picked only Top\n");
|
2012-09-04 22:49:56 +08:00
|
|
|
IsTopNode = true;
|
|
|
|
return SU;
|
|
|
|
}
|
|
|
|
SchedCandidate BotCand;
|
|
|
|
// Prefer bottom scheduling when heuristics are silent.
|
|
|
|
CandResult BotResult = pickNodeFromQueue(Bot.Available,
|
|
|
|
DAG->getBotRPTracker(), BotCand);
|
|
|
|
assert(BotResult != NoCand && "failed to find the first candidate");
|
|
|
|
|
|
|
|
// If either Q has a single candidate that provides the least increase in
|
|
|
|
// Excess pressure, we can immediately schedule from that Q.
|
|
|
|
//
|
|
|
|
// RegionCriticalPSets summarizes the pressure within the scheduled region and
|
|
|
|
// affects picking from either Q. If scheduling in one direction must
|
|
|
|
// increase pressure for one of the excess PSets, then schedule in that
|
|
|
|
// direction first to provide more freedom in the other direction.
|
|
|
|
if (BotResult == SingleExcess || BotResult == SingleCritical) {
|
2016-07-18 23:17:10 +08:00
|
|
|
DEBUG(dbgs() << "Prefered Bottom Node\n");
|
2012-09-04 22:49:56 +08:00
|
|
|
IsTopNode = false;
|
|
|
|
return BotCand.SU;
|
|
|
|
}
|
|
|
|
// Check if the top Q has a better candidate.
|
|
|
|
SchedCandidate TopCand;
|
|
|
|
CandResult TopResult = pickNodeFromQueue(Top.Available,
|
|
|
|
DAG->getTopRPTracker(), TopCand);
|
|
|
|
assert(TopResult != NoCand && "failed to find the first candidate");
|
|
|
|
|
|
|
|
if (TopResult == SingleExcess || TopResult == SingleCritical) {
|
2016-07-18 23:17:10 +08:00
|
|
|
DEBUG(dbgs() << "Prefered Top Node\n");
|
2012-09-04 22:49:56 +08:00
|
|
|
IsTopNode = true;
|
|
|
|
return TopCand.SU;
|
|
|
|
}
|
|
|
|
// If either Q has a single candidate that minimizes pressure above the
|
|
|
|
// original region's pressure pick it.
|
|
|
|
if (BotResult == SingleMax) {
|
2016-07-18 23:17:10 +08:00
|
|
|
DEBUG(dbgs() << "Prefered Bottom Node SingleMax\n");
|
2012-09-04 22:49:56 +08:00
|
|
|
IsTopNode = false;
|
|
|
|
return BotCand.SU;
|
|
|
|
}
|
|
|
|
if (TopResult == SingleMax) {
|
2016-07-18 23:17:10 +08:00
|
|
|
DEBUG(dbgs() << "Prefered Top Node SingleMax\n");
|
2012-09-04 22:49:56 +08:00
|
|
|
IsTopNode = true;
|
|
|
|
return TopCand.SU;
|
|
|
|
}
|
|
|
|
if (TopCand.SCost > BotCand.SCost) {
|
2016-07-18 23:17:10 +08:00
|
|
|
DEBUG(dbgs() << "Prefered Top Node Cost\n");
|
2012-09-04 22:49:56 +08:00
|
|
|
IsTopNode = true;
|
|
|
|
return TopCand.SU;
|
|
|
|
}
|
|
|
|
// Otherwise prefer the bottom candidate in node order.
|
2016-07-18 23:17:10 +08:00
|
|
|
DEBUG(dbgs() << "Prefered Bottom in Node order\n");
|
2012-09-04 22:49:56 +08:00
|
|
|
IsTopNode = false;
|
|
|
|
return BotCand.SU;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Pick the best node to balance the schedule. Implements MachineSchedStrategy.
|
|
|
|
SUnit *ConvergingVLIWScheduler::pickNode(bool &IsTopNode) {
|
|
|
|
if (DAG->top() == DAG->bottom()) {
|
|
|
|
assert(Top.Available.empty() && Top.Pending.empty() &&
|
|
|
|
Bot.Available.empty() && Bot.Pending.empty() && "ReadyQ garbage");
|
2014-04-25 13:30:21 +08:00
|
|
|
return nullptr;
|
2012-09-04 22:49:56 +08:00
|
|
|
}
|
|
|
|
SUnit *SU;
|
2017-09-29 06:27:31 +08:00
|
|
|
if (ForceTopDown) {
|
2012-09-04 22:49:56 +08:00
|
|
|
SU = Top.pickOnlyChoice();
|
|
|
|
if (!SU) {
|
|
|
|
SchedCandidate TopCand;
|
|
|
|
CandResult TopResult =
|
|
|
|
pickNodeFromQueue(Top.Available, DAG->getTopRPTracker(), TopCand);
|
|
|
|
assert(TopResult != NoCand && "failed to find the first candidate");
|
|
|
|
(void)TopResult;
|
|
|
|
SU = TopCand.SU;
|
|
|
|
}
|
|
|
|
IsTopNode = true;
|
2017-09-29 06:27:31 +08:00
|
|
|
} else if (ForceBottomUp) {
|
2012-09-04 22:49:56 +08:00
|
|
|
SU = Bot.pickOnlyChoice();
|
|
|
|
if (!SU) {
|
|
|
|
SchedCandidate BotCand;
|
|
|
|
CandResult BotResult =
|
|
|
|
pickNodeFromQueue(Bot.Available, DAG->getBotRPTracker(), BotCand);
|
|
|
|
assert(BotResult != NoCand && "failed to find the first candidate");
|
|
|
|
(void)BotResult;
|
|
|
|
SU = BotCand.SU;
|
|
|
|
}
|
|
|
|
IsTopNode = false;
|
|
|
|
} else {
|
|
|
|
SU = pickNodeBidrectional(IsTopNode);
|
|
|
|
}
|
|
|
|
if (SU->isTopReady())
|
|
|
|
Top.removeReady(SU);
|
|
|
|
if (SU->isBottomReady())
|
|
|
|
Bot.removeReady(SU);
|
|
|
|
|
|
|
|
DEBUG(dbgs() << "*** " << (IsTopNode ? "Top" : "Bottom")
|
|
|
|
<< " Scheduling Instruction in cycle "
|
|
|
|
<< (IsTopNode ? Top.CurrCycle : Bot.CurrCycle) << '\n';
|
|
|
|
SU->dump(DAG));
|
|
|
|
return SU;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Update the scheduler's state after scheduling a node. This is the same node
|
2012-09-11 01:31:34 +08:00
|
|
|
/// that was just returned by pickNode(). However, VLIWMachineScheduler needs
|
|
|
|
/// to update it's state based on the current cycle before MachineSchedStrategy
|
|
|
|
/// does.
|
2012-09-04 22:49:56 +08:00
|
|
|
void ConvergingVLIWScheduler::schedNode(SUnit *SU, bool IsTopNode) {
|
|
|
|
if (IsTopNode) {
|
|
|
|
SU->TopReadyCycle = Top.CurrCycle;
|
|
|
|
Top.bumpNode(SU);
|
2012-09-11 01:31:34 +08:00
|
|
|
} else {
|
2012-09-04 22:49:56 +08:00
|
|
|
SU->BotReadyCycle = Bot.CurrCycle;
|
|
|
|
Bot.bumpNode(SU);
|
|
|
|
}
|
|
|
|
}
|