blob: e3b26bd9609b256eee07108fbd753dbb8c1589c4 [file] [log] [blame]
Andrea Di Biagio3a6b0922018-03-08 13:05:02 +00001//===--------------------- Instruction.cpp ----------------------*- C++ -*-===//
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 file defines abstractions used by the Backend to model register reads,
11// register writes and instructions.
12//
13//===----------------------------------------------------------------------===//
14
15#include "Instruction.h"
16#include "llvm/Support/Debug.h"
17#include "llvm/Support/raw_ostream.h"
18
19namespace mca {
20
21using namespace llvm;
22
23void ReadState::writeStartEvent(unsigned Cycles) {
24 assert(DependentWrites);
25 assert(CyclesLeft == UNKNOWN_CYCLES);
26
27 // This read may be dependent on more than one write. This typically occurs
28 // when a definition is the result of multiple writes where at least one
29 // write does a partial register update.
30 // The HW is forced to do some extra bookkeeping to track of all the
31 // dependent writes, and implement a merging scheme for the partial writes.
32 --DependentWrites;
33 TotalCycles = std::max(TotalCycles, Cycles);
34
35 if (!DependentWrites)
36 CyclesLeft = TotalCycles;
37}
38
39void WriteState::onInstructionIssued() {
40 assert(CyclesLeft == UNKNOWN_CYCLES);
41 // Update the number of cycles left based on the WriteDescriptor info.
42 CyclesLeft = WD.Latency;
43
44 // Now that the time left before write-back is know, notify
45 // all the users.
46 for (const std::pair<ReadState *, int> &User : Users) {
47 ReadState *RS = User.first;
48 unsigned ReadCycles = std::max(0, CyclesLeft - User.second);
49 RS->writeStartEvent(ReadCycles);
50 }
51}
52
53void WriteState::addUser(ReadState *User, int ReadAdvance) {
54 // If CyclesLeft is different than -1, then we don't need to
55 // update the list of users. We can just notify the user with
56 // the actual number of cycles left (which may be zero).
57 if (CyclesLeft != UNKNOWN_CYCLES) {
58 unsigned ReadCycles = std::max(0, CyclesLeft - ReadAdvance);
59 User->writeStartEvent(ReadCycles);
60 return;
61 }
62
63 std::pair<ReadState *, int> NewPair(User, ReadAdvance);
64 Users.insert(NewPair);
65}
66
67void WriteState::cycleEvent() {
68 // Note: CyclesLeft can be a negative number. It is an error to
69 // make it an unsigned quantity because users of this write may
70 // specify a negative ReadAdvance.
71 if (CyclesLeft != UNKNOWN_CYCLES)
72 CyclesLeft--;
73}
74
75void ReadState::cycleEvent() {
76 // If CyclesLeft is unknown, then bail out immediately.
77 if (CyclesLeft == UNKNOWN_CYCLES)
78 return;
79
80 // If there are still dependent writes, or we reached cycle zero,
81 // then just exit.
82 if (DependentWrites || CyclesLeft == 0)
83 return;
84
85 CyclesLeft--;
86}
87
88#ifndef NDEBUG
89void WriteState::dump() const {
90 dbgs() << "{ OpIdx=" << WD.OpIndex << ", Lat=" << WD.Latency << ", RegID "
91 << getRegisterID() << ", Cycles Left=" << getCyclesLeft() << " }\n";
92}
93#endif
94
Andrea Di Biagio35622482018-03-22 10:19:20 +000095void Instruction::dispatch() {
96 assert(Stage == IS_INVALID);
97 Stage = IS_AVAILABLE;
Andrea Di Biagio3a6b0922018-03-08 13:05:02 +000098
Andrea Di Biagio35622482018-03-22 10:19:20 +000099 if (std::all_of(Uses.begin(), Uses.end(),
100 [](const UniqueUse &Use) { return Use->isReady(); }))
101 Stage = IS_READY;
Andrea Di Biagio3a6b0922018-03-08 13:05:02 +0000102}
103
104void Instruction::execute() {
105 assert(Stage == IS_READY);
106 Stage = IS_EXECUTING;
107 for (UniqueDef &Def : Defs)
108 Def->onInstructionIssued();
Andrea Di Biagio35622482018-03-22 10:19:20 +0000109 if (!CyclesLeft)
110 Stage = IS_EXECUTED;
Andrea Di Biagio3a6b0922018-03-08 13:05:02 +0000111}
112
113bool Instruction::isZeroLatency() const {
114 return Desc.MaxLatency == 0 && Defs.size() == 0 && Uses.size() == 0;
115}
116
117void Instruction::cycleEvent() {
Andrea Di Biagio35622482018-03-22 10:19:20 +0000118 if (isReady())
119 return;
120
Andrea Di Biagio3a6b0922018-03-08 13:05:02 +0000121 if (isDispatched()) {
Andrea Di Biagio35622482018-03-22 10:19:20 +0000122 bool IsReady = true;
123 for (UniqueUse &Use : Uses) {
Andrea Di Biagio3a6b0922018-03-08 13:05:02 +0000124 Use->cycleEvent();
Andrea Di Biagio35622482018-03-22 10:19:20 +0000125 IsReady &= Use->isReady();
126 }
127
128 if (IsReady)
129 Stage = IS_READY;
Andrea Di Biagio3a6b0922018-03-08 13:05:02 +0000130 return;
131 }
Andrea Di Biagio35622482018-03-22 10:19:20 +0000132
133 assert(isExecuting() && "Instruction not in-flight?");
134 assert(CyclesLeft && "Instruction already executed?");
135 for (UniqueDef &Def : Defs)
136 Def->cycleEvent();
137 CyclesLeft--;
Andrea Di Biagio3a6b0922018-03-08 13:05:02 +0000138 if (!CyclesLeft)
139 Stage = IS_EXECUTED;
140}
Andrea Di Biagio3a6b0922018-03-08 13:05:02 +0000141} // namespace mca