inorder: use setupSquash for misspeculation
[gem5.git] / src / cpu / inorder / resources / execution_unit.cc
1 /*
2 * Copyright (c) 2007 MIPS Technologies, Inc.
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions are
7 * met: redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer;
9 * redistributions in binary form must reproduce the above copyright
10 * notice, this list of conditions and the following disclaimer in the
11 * documentation and/or other materials provided with the distribution;
12 * neither the name of the copyright holders nor the names of its
13 * contributors may be used to endorse or promote products derived from
14 * this software without specific prior written permission.
15 *
16 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 *
28 * Authors: Korey Sewell
29 *
30 */
31
32 #include <list>
33 #include <vector>
34
35 #include "cpu/inorder/resources/execution_unit.hh"
36 #include "cpu/inorder/cpu.hh"
37 #include "cpu/inorder/resource_pool.hh"
38 #include "debug/InOrderExecute.hh"
39 #include "debug/InOrderStall.hh"
40
41 using namespace std;
42 using namespace ThePipeline;
43
44 ExecutionUnit::ExecutionUnit(string res_name, int res_id, int res_width,
45 int res_latency, InOrderCPU *_cpu,
46 ThePipeline::Params *params)
47 : Resource(res_name, res_id, res_width, res_latency, _cpu),
48 lastExecuteTick(0), lastControlTick(0), serializeTick(0)
49 { }
50
51 void
52 ExecutionUnit::regStats()
53 {
54 predictedTakenIncorrect
55 .name(name() + ".predictedTakenIncorrect")
56 .desc("Number of Branches Incorrectly Predicted As Taken.");
57
58 predictedNotTakenIncorrect
59 .name(name() + ".predictedNotTakenIncorrect")
60 .desc("Number of Branches Incorrectly Predicted As Not Taken).");
61
62 executions
63 .name(name() + ".executions")
64 .desc("Number of Instructions Executed.");
65
66
67 predictedIncorrect
68 .name(name() + ".mispredicted")
69 .desc("Number of Branches Incorrectly Predicted");
70
71 predictedCorrect
72 .name(name() + ".predicted")
73 .desc("Number of Branches Incorrectly Predicted");
74
75 mispredictPct
76 .name(name() + ".mispredictPct")
77 .desc("Percentage of Incorrect Branches Predicts")
78 .precision(6);
79 mispredictPct = (predictedIncorrect /
80 (predictedCorrect + predictedIncorrect)) * 100;
81
82 Resource::regStats();
83 }
84
85 void
86 ExecutionUnit::execute(int slot_num)
87 {
88 ResourceRequest* exec_req = reqs[slot_num];
89 DynInstPtr inst = reqs[slot_num]->inst;
90 Fault fault = NoFault;
91 InstSeqNum seq_num = inst->seqNum;
92 Tick cur_tick = curTick();
93
94 if (cur_tick == serializeTick) {
95 DPRINTF(InOrderExecute, "Can not execute [tid:%i][sn:%i][PC:%s] %s. "
96 "All instructions are being serialized this cycle\n",
97 inst->readTid(), seq_num, inst->pcState(), inst->instName());
98 exec_req->done(false);
99 return;
100 }
101
102 switch (exec_req->cmd)
103 {
104 case ExecuteInst:
105 {
106 if (inst->isNop()) {
107 DPRINTF(InOrderExecute, "[tid:%i] [sn:%i] [PC:%s] Ignoring execution"
108 "of %s.\n", inst->readTid(), seq_num, inst->pcState(),
109 inst->instName());
110 inst->setExecuted();
111 exec_req->done();
112 return;
113 } else {
114 DPRINTF(InOrderExecute, "[tid:%i] Executing [sn:%i] [PC:%s] %s.\n",
115 inst->readTid(), seq_num, inst->pcState(), inst->instName());
116 }
117
118 if (cur_tick != lastExecuteTick) {
119 lastExecuteTick = cur_tick;
120 }
121
122 assert(!inst->isMemRef());
123
124 if (inst->isSerializeAfter()) {
125 serializeTick = cur_tick;
126 DPRINTF(InOrderExecute, "Serializing execution after [tid:%i] "
127 "[sn:%i] [PC:%s] %s.\n", inst->readTid(), seq_num,
128 inst->pcState(), inst->instName());
129 }
130
131 if (inst->isControl()) {
132 if (lastControlTick == cur_tick) {
133 DPRINTF(InOrderExecute, "Can not Execute More than One Control "
134 "Inst Per Cycle. Blocking Request.\n");
135 exec_req->done(false);
136 return;
137 }
138 lastControlTick = curTick();
139
140 // Evaluate Branch
141 fault = inst->execute();
142 executions++;
143 inst->setExecuted();
144
145 if (fault == NoFault) {
146 if (inst->mispredicted()) {
147 assert(inst->isControl());
148
149 // Set up Squash Generated By this Misprediction
150 unsigned stage_num = exec_req->getStageNum();
151 ThreadID tid = inst->readTid();
152 TheISA::PCState pc = inst->pcState();
153 TheISA::advancePC(pc, inst->staticInst);
154 inst->setPredTarg(pc);
155 inst->setSquashInfo(stage_num);
156
157 setupSquash(inst, stage_num, tid);
158
159 DPRINTF(InOrderExecute, "[tid:%i]: [sn:%i] Squashing from "
160 "stage %i. Redirecting fetch to %s.\n", tid,
161 inst->seqNum, stage_num, pc);
162 DPRINTF(InOrderStall, "STALL: [tid:%i]: Branch"
163 " misprediction at %s\n", tid, inst->pcState());
164
165 if (inst->predTaken()) {
166 predictedTakenIncorrect++;
167 DPRINTF(InOrderExecute, "[tid:%i] [sn:%i] %s ..."
168 "PC %s ... Mispredicts! "
169 "(Prediction: Taken)\n",
170 tid, inst->seqNum,
171 inst->staticInst->disassemble(
172 inst->instAddr()),
173 inst->pcState());
174 } else {
175 predictedNotTakenIncorrect++;
176 DPRINTF(InOrderExecute, "[tid:%i] [sn:%i] %s ..."
177 "PC %s ... Mispredicts! "
178 "(Prediction: Not Taken)\n",
179 tid, inst->seqNum,
180 inst->staticInst->disassemble(
181 inst->instAddr()),
182 inst->pcState());
183 }
184 predictedIncorrect++;
185 } else {
186 DPRINTF(InOrderExecute, "[tid:%i]: [sn:%i]: Prediction"
187 "Correct.\n", inst->readTid(), seq_num);
188 predictedCorrect++;
189 }
190
191 exec_req->done();
192 } else {
193 warn("inst [sn:%i] had a %s fault", seq_num, fault->name());
194 inst->fault = fault;
195 exec_req->done();
196 }
197 } else {
198 // Regular ALU instruction
199 fault = inst->execute();
200 executions++;
201
202 if (fault == NoFault) {
203 inst->setExecuted();
204
205 DPRINTF(InOrderExecute, "[tid:%i]: [sn:%i]: The result "
206 "of execution is 0x%x.\n", inst->readTid(),
207 seq_num,
208 (inst->resultType(0) == InOrderDynInst::Float) ?
209 inst->readFloatResult(0) : inst->readIntResult(0));
210 } else {
211 DPRINTF(InOrderExecute, "[tid:%i]: [sn:%i]: had a %s "
212 "fault.\n", inst->readTid(), seq_num, fault->name());
213 inst->fault = fault;
214 }
215
216 exec_req->done();
217 }
218 }
219 break;
220
221 default:
222 fatal("Unrecognized command to %s", resName);
223 }
224 }
225
226