Newer
Older
//===----- ScoreboardHazardRecognizer.cpp - Scheduler Support -------------===//
David Goodwin
committed
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
//
// This file implements the ScoreboardHazardRecognizer class, which
// encapsultes hazard-avoidance heuristics for scheduling, based on the
// scheduling itineraries specified for the target.
David Goodwin
committed
//
//===----------------------------------------------------------------------===//
#define DEBUG_TYPE "sched-hazard"
#include "llvm/CodeGen/ScoreboardHazardRecognizer.h"
Evan Cheng
committed
#include "llvm/CodeGen/ScheduleDAG.h"
David Goodwin
committed
#include "llvm/Support/Debug.h"
#include "llvm/Support/ErrorHandling.h"
David Goodwin
committed
#include "llvm/Target/TargetInstrItineraries.h"
using namespace llvm;
David Goodwin
committed
ScoreboardHazardRecognizer::
ScoreboardHazardRecognizer(const InstrItineraryData *LItinData) :
Evan Cheng
committed
ScheduleHazardRecognizer(), ItinData(LItinData) {
David Goodwin
committed
// Determine the maximum depth of any itinerary. This determines the
// depth of the scoreboard. We always make the scoreboard at least 1
// cycle deep to avoid dealing with the boundary condition.
Anton Korobeynikov
committed
unsigned ScoreboardDepth = 1;
if (ItinData && !ItinData->isEmpty()) {
David Goodwin
committed
for (unsigned idx = 0; ; ++idx) {
if (ItinData->isEndMarker(idx))
David Goodwin
committed
break;
const InstrStage *IS = ItinData->beginStage(idx);
const InstrStage *E = ItinData->endStage(idx);
David Goodwin
committed
unsigned ItinDepth = 0;
for (; IS != E; ++IS)
David Goodwin
committed
ItinDepth += IS->getCycles();
David Goodwin
committed
// Find the next power-of-2 >= ItinDepth
while (ItinDepth > ScoreboardDepth) {
ScoreboardDepth *= 2;
}
David Goodwin
committed
}
}
ReservedScoreboard.reset(ScoreboardDepth);
RequiredScoreboard.reset(ScoreboardDepth);
David Goodwin
committed
DEBUG(dbgs() << "Using scoreboard hazard recognizer: Depth = "
<< ScoreboardDepth << '\n');
David Goodwin
committed
}
void ScoreboardHazardRecognizer::Reset() {
RequiredScoreboard.reset();
ReservedScoreboard.reset();
David Goodwin
committed
}
void ScoreboardHazardRecognizer::Scoreboard::dump() const {
Anton Korobeynikov
committed
unsigned last = Depth - 1;
while ((last > 0) && ((*this)[last] == 0))
David Goodwin
committed
last--;
for (unsigned i = 0; i <= last; i++) {
Anton Korobeynikov
committed
unsigned FUs = (*this)[i];
David Goodwin
committed
for (int j = 31; j >= 0; j--)
David Goodwin
committed
}
}
ScheduleHazardRecognizer::HazardType
ScoreboardHazardRecognizer::getHazardType(SUnit *SU) {
if (!ItinData || ItinData->isEmpty())
return NoHazard;
unsigned cycle = 0;
// Use the itinerary for the underlying instruction to check for
// free FU's in the scoreboard at the appropriate future cycles.
unsigned idx = SU->getInstr()->getDesc().getSchedClass();
for (const InstrStage *IS = ItinData->beginStage(idx),
*E = ItinData->endStage(idx); IS != E; ++IS) {
// We must find one of the stage's units free for every cycle the
// stage is occupied. FIXME it would be more accurate to find the
// same unit free in all the cycles.
for (unsigned int i = 0; i < IS->getCycles(); ++i) {
assert(((cycle + i) < RequiredScoreboard.getDepth()) &&
Anton Korobeynikov
committed
unsigned freeUnits = IS->getUnits();
switch (IS->getReservationKind()) {
default:
assert(0 && "Invalid FU reservation");
case InstrStage::Required:
// Required FUs conflict with both reserved and required ones
freeUnits &= ~ReservedScoreboard[cycle + i];
// FALLTHROUGH
case InstrStage::Reserved:
// Reserved FUs can conflict only with required ones.
freeUnits &= ~RequiredScoreboard[cycle + i];
break;
}
DEBUG(dbgs() << "*** Hazard in cycle " << (cycle + i) << ", ");
DEBUG(dbgs() << "SU(" << SU->NodeNum << "): ");
DEBUG(SU->getInstr()->dump());
return Hazard;
}
David Goodwin
committed
}
Anton Korobeynikov
committed
// Advance the cycle to the next stage.
cycle += IS->getNextCycles();
David Goodwin
committed
}
return NoHazard;
}
Anton Korobeynikov
committed
void ScoreboardHazardRecognizer::EmitInstruction(SUnit *SU) {
if (!ItinData || ItinData->isEmpty())
return;
unsigned cycle = 0;
// Use the itinerary for the underlying instruction to reserve FU's
// in the scoreboard at the appropriate future cycles.
unsigned idx = SU->getInstr()->getDesc().getSchedClass();
for (const InstrStage *IS = ItinData->beginStage(idx),
*E = ItinData->endStage(idx); IS != E; ++IS) {
// We must reserve one of the stage's units for every cycle the
// stage is occupied. FIXME it would be more accurate to reserve
// the same unit free in all the cycles.
for (unsigned int i = 0; i < IS->getCycles(); ++i) {
assert(((cycle + i) < RequiredScoreboard.getDepth()) &&
Anton Korobeynikov
committed
unsigned freeUnits = IS->getUnits();
switch (IS->getReservationKind()) {
default:
assert(0 && "Invalid FU reservation");
case InstrStage::Required:
// Required FUs conflict with both reserved and required ones
freeUnits &= ~ReservedScoreboard[cycle + i];
// FALLTHROUGH
case InstrStage::Reserved:
// Reserved FUs can conflict only with required ones.
freeUnits &= ~RequiredScoreboard[cycle + i];
break;
}
Anton Korobeynikov
committed
// reduce to a single unit
unsigned freeUnit = 0;
do {
freeUnit = freeUnits;
freeUnits = freeUnit & (freeUnit - 1);
} while (freeUnits);
Anton Korobeynikov
committed
if (IS->getReservationKind() == InstrStage::Required)
RequiredScoreboard[cycle + i] |= freeUnit;
else
ReservedScoreboard[cycle + i] |= freeUnit;
David Goodwin
committed
}
Anton Korobeynikov
committed
// Advance the cycle to the next stage.
cycle += IS->getNextCycles();
David Goodwin
committed
}
Anton Korobeynikov
committed
DEBUG(ReservedScoreboard.dump());
DEBUG(RequiredScoreboard.dump());
David Goodwin
committed
}
Anton Korobeynikov
committed
void ScoreboardHazardRecognizer::AdvanceCycle() {
ReservedScoreboard[0] = 0; ReservedScoreboard.advance();
RequiredScoreboard[0] = 0; RequiredScoreboard.advance();
David Goodwin
committed
}
void ScoreboardHazardRecognizer::RecedeCycle() {
ReservedScoreboard[ReservedScoreboard.getDepth()-1] = 0;
ReservedScoreboard.recede();
RequiredScoreboard[RequiredScoreboard.getDepth()-1] = 0;
RequiredScoreboard.recede();
}