blob: 0ea0968820aa436585827c85d7d7bed299524f13 [file] [log] [blame]
David Goodwind94a4e52009-08-10 15:55:25 +00001//===----- ExactHazardRecognizer.cpp - hazard recognizer -------- ---------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This implements a a hazard recognizer using the instructions itineraries
11// defined for the current target.
12//
13//===----------------------------------------------------------------------===//
14
15#define DEBUG_TYPE "exact-hazards"
16#include "ExactHazardRecognizer.h"
17#include "llvm/CodeGen/ScheduleHazardRecognizer.h"
18#include "llvm/Support/Debug.h"
19#include "llvm/Support/ErrorHandling.h"
David Goodwin3a5f0d42009-08-11 01:44:26 +000020#include "llvm/Support/raw_ostream.h"
David Goodwind94a4e52009-08-10 15:55:25 +000021#include "llvm/Target/TargetInstrItineraries.h"
22
Bill Wendlingfb98a432009-08-22 20:08:44 +000023using namespace llvm;
David Goodwind94a4e52009-08-10 15:55:25 +000024
25ExactHazardRecognizer::ExactHazardRecognizer(const InstrItineraryData &LItinData) :
26 ScheduleHazardRecognizer(), ItinData(LItinData)
27{
28 // Determine the maximum depth of any itinerary. This determines the
29 // depth of the scoreboard. We always make the scoreboard at least 1
30 // cycle deep to avoid dealing with the boundary condition.
31 ScoreboardDepth = 1;
32 if (!ItinData.isEmpty()) {
33 for (unsigned idx = 0; ; ++idx) {
34 // If the begin stage of an itinerary has 0 cycles and units,
35 // then we have reached the end of the itineraries.
David Goodwinfac85412009-08-17 16:02:57 +000036 const InstrStage *IS = ItinData.beginStage(idx);
37 const InstrStage *E = ItinData.endStage(idx);
David Goodwin1a8f36e2009-08-12 18:31:53 +000038 if ((IS->getCycles() == 0) && (IS->getUnits() == 0))
David Goodwind94a4e52009-08-10 15:55:25 +000039 break;
40
41 unsigned ItinDepth = 0;
42 for (; IS != E; ++IS)
David Goodwin1a8f36e2009-08-12 18:31:53 +000043 ItinDepth += IS->getCycles();
David Goodwind94a4e52009-08-10 15:55:25 +000044
45 ScoreboardDepth = std::max(ScoreboardDepth, ItinDepth);
46 }
47 }
48
49 Scoreboard = new unsigned[ScoreboardDepth];
50 ScoreboardHead = 0;
51
David Goodwin3a5f0d42009-08-11 01:44:26 +000052 DEBUG(errs() << "Using exact hazard recognizer: ScoreboardDepth = "
Bill Wendlingfb98a432009-08-22 20:08:44 +000053 << ScoreboardDepth << '\n');
David Goodwind94a4e52009-08-10 15:55:25 +000054}
55
56ExactHazardRecognizer::~ExactHazardRecognizer() {
57 delete Scoreboard;
58}
59
60void ExactHazardRecognizer::Reset() {
61 memset(Scoreboard, 0, ScoreboardDepth * sizeof(unsigned));
62 ScoreboardHead = 0;
63}
64
65unsigned ExactHazardRecognizer::getFutureIndex(unsigned offset) {
66 return (ScoreboardHead + offset) % ScoreboardDepth;
67}
68
69void ExactHazardRecognizer::dumpScoreboard() {
Daniel Dunbard4d415a2009-08-11 06:22:47 +000070 errs() << "Scoreboard:\n";
David Goodwind94a4e52009-08-10 15:55:25 +000071
72 unsigned last = ScoreboardDepth - 1;
73 while ((last > 0) && (Scoreboard[getFutureIndex(last)] == 0))
74 last--;
75
76 for (unsigned i = 0; i <= last; i++) {
77 unsigned FUs = Scoreboard[getFutureIndex(i)];
Daniel Dunbard4d415a2009-08-11 06:22:47 +000078 errs() << "\t";
David Goodwind94a4e52009-08-10 15:55:25 +000079 for (int j = 31; j >= 0; j--)
Daniel Dunbard4d415a2009-08-11 06:22:47 +000080 errs() << ((FUs & (1 << j)) ? '1' : '0');
81 errs() << '\n';
David Goodwind94a4e52009-08-10 15:55:25 +000082 }
83}
84
85ExactHazardRecognizer::HazardType ExactHazardRecognizer::getHazardType(SUnit *SU) {
David Goodwin4f7228f2009-09-03 22:48:51 +000086 if (!ItinData.isEmpty()) {
87 unsigned cycle = 0;
David Goodwind94a4e52009-08-10 15:55:25 +000088
David Goodwin4f7228f2009-09-03 22:48:51 +000089 // Use the itinerary for the underlying instruction to check for
90 // free FU's in the scoreboard at the appropriate future cycles.
91 unsigned idx = SU->getInstr()->getDesc().getSchedClass();
92 for (const InstrStage *IS = ItinData.beginStage(idx),
93 *E = ItinData.endStage(idx); IS != E; ++IS) {
94 // We must find one of the stage's units free for every cycle the
95 // stage is occupied. FIXME it would be more accurate to find the
96 // same unit free in all the cycles.
97 for (unsigned int i = 0; i < IS->getCycles(); ++i) {
98 assert(((cycle + i) < ScoreboardDepth) &&
99 "Scoreboard depth exceeded!");
100
101 unsigned index = getFutureIndex(cycle + i);
102 unsigned freeUnits = IS->getUnits() & ~Scoreboard[index];
103 if (!freeUnits) {
104 DEBUG(errs() << "*** Hazard in cycle " << (cycle + i) << ", ");
105 DEBUG(errs() << "SU(" << SU->NodeNum << "): ");
106 DEBUG(SU->getInstr()->dump());
107 return Hazard;
108 }
David Goodwind94a4e52009-08-10 15:55:25 +0000109 }
David Goodwin4f7228f2009-09-03 22:48:51 +0000110
111 // Advance the cycle to the next stage.
112 cycle += IS->getNextCycles();
David Goodwind94a4e52009-08-10 15:55:25 +0000113 }
114 }
115
116 return NoHazard;
117}
118
119void ExactHazardRecognizer::EmitInstruction(SUnit *SU) {
David Goodwin4f7228f2009-09-03 22:48:51 +0000120 if (!ItinData.isEmpty()) {
121 unsigned cycle = 0;
David Goodwind94a4e52009-08-10 15:55:25 +0000122
David Goodwin4f7228f2009-09-03 22:48:51 +0000123 // Use the itinerary for the underlying instruction to reserve FU's
124 // in the scoreboard at the appropriate future cycles.
125 unsigned idx = SU->getInstr()->getDesc().getSchedClass();
126 for (const InstrStage *IS = ItinData.beginStage(idx),
127 *E = ItinData.endStage(idx); IS != E; ++IS) {
128 // We must reserve one of the stage's units for every cycle the
129 // stage is occupied. FIXME it would be more accurate to reserve
130 // the same unit free in all the cycles.
131 for (unsigned int i = 0; i < IS->getCycles(); ++i) {
132 assert(((cycle + i) < ScoreboardDepth) &&
133 "Scoreboard depth exceeded!");
134
135 unsigned index = getFutureIndex(cycle + i);
136 unsigned freeUnits = IS->getUnits() & ~Scoreboard[index];
137
138 // reduce to a single unit
139 unsigned freeUnit = 0;
140 do {
141 freeUnit = freeUnits;
142 freeUnits = freeUnit & (freeUnit - 1);
143 } while (freeUnits);
144
145 assert(freeUnit && "No function unit available!");
146 Scoreboard[index] |= freeUnit;
147 }
David Goodwind94a4e52009-08-10 15:55:25 +0000148
David Goodwin4f7228f2009-09-03 22:48:51 +0000149 // Advance the cycle to the next stage.
150 cycle += IS->getNextCycles();
David Goodwind94a4e52009-08-10 15:55:25 +0000151 }
David Goodwin1a8f36e2009-08-12 18:31:53 +0000152
David Goodwin4f7228f2009-09-03 22:48:51 +0000153 DEBUG(dumpScoreboard());
David Goodwind94a4e52009-08-10 15:55:25 +0000154 }
David Goodwind94a4e52009-08-10 15:55:25 +0000155}
156
157void ExactHazardRecognizer::AdvanceCycle() {
158 Scoreboard[ScoreboardHead] = 0;
159 ScoreboardHead = getFutureIndex(1);
160}