thread_context.hh (9426:0548b3e9734d) thread_context.hh (9920:028e4da64b42)
1/*
2 * Copyright (c) 2011-2012 ARM Limited
1/*
2 * Copyright (c) 2011-2012 ARM Limited
3 * Copyright (c) 2013 Advanced Micro Devices, Inc.
3 * All rights reserved
4 *
5 * The license below extends only to copyright in the software and shall
6 * not be construed as granting a license to any other intellectual
7 * property including but not limited to intellectual property relating
8 * to a hardware implementation of the functionality of the software
9 * licensed hereunder. You may use the software subject to the license
10 * terms below provided that you ensure that this notice is replicated
11 * unmodified and in its entirety in all distributions of the software,
12 * modified or unmodified, in source code or in binary form.
13 *
14 * Copyright (c) 2006 The Regents of The University of Michigan
15 * All rights reserved.
16 *
17 * Redistribution and use in source and binary forms, with or without
18 * modification, are permitted provided that the following conditions are
19 * met: redistributions of source code must retain the above copyright
20 * notice, this list of conditions and the following disclaimer;
21 * redistributions in binary form must reproduce the above copyright
22 * notice, this list of conditions and the following disclaimer in the
23 * documentation and/or other materials provided with the distribution;
24 * neither the name of the copyright holders nor the names of its
25 * contributors may be used to endorse or promote products derived from
26 * this software without specific prior written permission.
27 *
28 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
29 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
30 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
31 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
32 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
33 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
34 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
35 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
36 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
37 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
38 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
39 *
40 * Authors: Kevin Lim
41 */
42
43#ifndef __CPU_CHECKER_THREAD_CONTEXT_HH__
44#define __CPU_CHECKER_THREAD_CONTEXT_HH__
45
46#include "arch/types.hh"
47#include "config/the_isa.hh"
48#include "cpu/checker/cpu.hh"
49#include "cpu/simple_thread.hh"
50#include "cpu/thread_context.hh"
51#include "debug/Checker.hh"
52
53class EndQuiesceEvent;
54namespace TheISA {
55 namespace Kernel {
56 class Statistics;
57 };
58 class Decoder;
59};
60
61/**
62 * Derived ThreadContext class for use with the Checker. The template
63 * parameter is the ThreadContext class used by the specific CPU being
64 * verified. This CheckerThreadContext is then used by the main CPU
65 * in place of its usual ThreadContext class. It handles updating the
66 * checker's state any time state is updated externally through the
67 * ThreadContext.
68 */
69template <class TC>
70class CheckerThreadContext : public ThreadContext
71{
72 public:
73 CheckerThreadContext(TC *actual_tc,
74 CheckerCPU *checker_cpu)
75 : actualTC(actual_tc), checkerTC(checker_cpu->thread),
76 checkerCPU(checker_cpu)
77 { }
78
79 private:
80 /** The main CPU's ThreadContext, or class that implements the
81 * ThreadContext interface. */
82 TC *actualTC;
83 /** The checker's own SimpleThread. Will be updated any time
84 * anything uses this ThreadContext to externally update a
85 * thread's state. */
86 SimpleThread *checkerTC;
87 /** Pointer to the checker CPU. */
88 CheckerCPU *checkerCPU;
89
90 public:
91
92 BaseCPU *getCpuPtr() { return actualTC->getCpuPtr(); }
93
94 int cpuId() { return actualTC->cpuId(); }
95
96 int contextId() { return actualTC->contextId(); }
97
98 void setContextId(int id)
99 {
100 actualTC->setContextId(id);
101 checkerTC->setContextId(id);
102 }
103
104 /** Returns this thread's ID number. */
105 int threadId() { return actualTC->threadId(); }
106 void setThreadId(int id)
107 {
108 checkerTC->setThreadId(id);
109 actualTC->setThreadId(id);
110 }
111
112 TheISA::TLB *getITBPtr() { return actualTC->getITBPtr(); }
113
114 TheISA::TLB *getDTBPtr() { return actualTC->getDTBPtr(); }
115
116 CheckerCPU *getCheckerCpuPtr()
117 {
118 return checkerCPU;
119 }
120
121 TheISA::Decoder *getDecoderPtr() { return actualTC->getDecoderPtr(); }
122
123 System *getSystemPtr() { return actualTC->getSystemPtr(); }
124
125 TheISA::Kernel::Statistics *getKernelStats()
126 { return actualTC->getKernelStats(); }
127
128 Process *getProcessPtr() { return actualTC->getProcessPtr(); }
129
130 PortProxy &getPhysProxy() { return actualTC->getPhysProxy(); }
131
132 FSTranslatingPortProxy &getVirtProxy()
133 { return actualTC->getVirtProxy(); }
134
135 void initMemProxies(ThreadContext *tc)
136 { actualTC->initMemProxies(tc); }
137
138 void connectMemPorts(ThreadContext *tc)
139 {
140 actualTC->connectMemPorts(tc);
141 }
142
143 SETranslatingPortProxy &getMemProxy() { return actualTC->getMemProxy(); }
144
145 /** Executes a syscall in SE mode. */
146 void syscall(int64_t callnum)
147 { return actualTC->syscall(callnum); }
148
149 Status status() const { return actualTC->status(); }
150
151 void setStatus(Status new_status)
152 {
153 actualTC->setStatus(new_status);
154 checkerTC->setStatus(new_status);
155 }
156
157 /// Set the status to Active. Optional delay indicates number of
158 /// cycles to wait before beginning execution.
159 void activate(Cycles delay = Cycles(1))
160 { actualTC->activate(delay); }
161
162 /// Set the status to Suspended.
163 void suspend(Cycles delay) { actualTC->suspend(delay); }
164
165 /// Set the status to Halted.
166 void halt(Cycles delay) { actualTC->halt(delay); }
167
168 void dumpFuncProfile() { actualTC->dumpFuncProfile(); }
169
170 void takeOverFrom(ThreadContext *oldContext)
171 {
172 actualTC->takeOverFrom(oldContext);
173 checkerTC->copyState(oldContext);
174 }
175
176 void regStats(const std::string &name)
177 {
178 actualTC->regStats(name);
179 checkerTC->regStats(name);
180 }
181
182 void serialize(std::ostream &os) { actualTC->serialize(os); }
183 void unserialize(Checkpoint *cp, const std::string &section)
184 { actualTC->unserialize(cp, section); }
185
186 EndQuiesceEvent *getQuiesceEvent() { return actualTC->getQuiesceEvent(); }
187
188 Tick readLastActivate() { return actualTC->readLastActivate(); }
189 Tick readLastSuspend() { return actualTC->readLastSuspend(); }
190
191 void profileClear() { return actualTC->profileClear(); }
192 void profileSample() { return actualTC->profileSample(); }
193
194 // @todo: Do I need this?
195 void copyArchRegs(ThreadContext *tc)
196 {
197 actualTC->copyArchRegs(tc);
198 checkerTC->copyArchRegs(tc);
199 }
200
201 void clearArchRegs()
202 {
203 actualTC->clearArchRegs();
204 checkerTC->clearArchRegs();
205 }
206
207 //
208 // New accessors for new decoder.
209 //
210 uint64_t readIntReg(int reg_idx)
211 { return actualTC->readIntReg(reg_idx); }
212
213 FloatReg readFloatReg(int reg_idx)
214 { return actualTC->readFloatReg(reg_idx); }
215
216 FloatRegBits readFloatRegBits(int reg_idx)
217 { return actualTC->readFloatRegBits(reg_idx); }
218
4 * All rights reserved
5 *
6 * The license below extends only to copyright in the software and shall
7 * not be construed as granting a license to any other intellectual
8 * property including but not limited to intellectual property relating
9 * to a hardware implementation of the functionality of the software
10 * licensed hereunder. You may use the software subject to the license
11 * terms below provided that you ensure that this notice is replicated
12 * unmodified and in its entirety in all distributions of the software,
13 * modified or unmodified, in source code or in binary form.
14 *
15 * Copyright (c) 2006 The Regents of The University of Michigan
16 * All rights reserved.
17 *
18 * Redistribution and use in source and binary forms, with or without
19 * modification, are permitted provided that the following conditions are
20 * met: redistributions of source code must retain the above copyright
21 * notice, this list of conditions and the following disclaimer;
22 * redistributions in binary form must reproduce the above copyright
23 * notice, this list of conditions and the following disclaimer in the
24 * documentation and/or other materials provided with the distribution;
25 * neither the name of the copyright holders nor the names of its
26 * contributors may be used to endorse or promote products derived from
27 * this software without specific prior written permission.
28 *
29 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
30 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
31 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
32 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
33 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
34 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
35 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
36 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
37 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
38 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
39 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
40 *
41 * Authors: Kevin Lim
42 */
43
44#ifndef __CPU_CHECKER_THREAD_CONTEXT_HH__
45#define __CPU_CHECKER_THREAD_CONTEXT_HH__
46
47#include "arch/types.hh"
48#include "config/the_isa.hh"
49#include "cpu/checker/cpu.hh"
50#include "cpu/simple_thread.hh"
51#include "cpu/thread_context.hh"
52#include "debug/Checker.hh"
53
54class EndQuiesceEvent;
55namespace TheISA {
56 namespace Kernel {
57 class Statistics;
58 };
59 class Decoder;
60};
61
62/**
63 * Derived ThreadContext class for use with the Checker. The template
64 * parameter is the ThreadContext class used by the specific CPU being
65 * verified. This CheckerThreadContext is then used by the main CPU
66 * in place of its usual ThreadContext class. It handles updating the
67 * checker's state any time state is updated externally through the
68 * ThreadContext.
69 */
70template <class TC>
71class CheckerThreadContext : public ThreadContext
72{
73 public:
74 CheckerThreadContext(TC *actual_tc,
75 CheckerCPU *checker_cpu)
76 : actualTC(actual_tc), checkerTC(checker_cpu->thread),
77 checkerCPU(checker_cpu)
78 { }
79
80 private:
81 /** The main CPU's ThreadContext, or class that implements the
82 * ThreadContext interface. */
83 TC *actualTC;
84 /** The checker's own SimpleThread. Will be updated any time
85 * anything uses this ThreadContext to externally update a
86 * thread's state. */
87 SimpleThread *checkerTC;
88 /** Pointer to the checker CPU. */
89 CheckerCPU *checkerCPU;
90
91 public:
92
93 BaseCPU *getCpuPtr() { return actualTC->getCpuPtr(); }
94
95 int cpuId() { return actualTC->cpuId(); }
96
97 int contextId() { return actualTC->contextId(); }
98
99 void setContextId(int id)
100 {
101 actualTC->setContextId(id);
102 checkerTC->setContextId(id);
103 }
104
105 /** Returns this thread's ID number. */
106 int threadId() { return actualTC->threadId(); }
107 void setThreadId(int id)
108 {
109 checkerTC->setThreadId(id);
110 actualTC->setThreadId(id);
111 }
112
113 TheISA::TLB *getITBPtr() { return actualTC->getITBPtr(); }
114
115 TheISA::TLB *getDTBPtr() { return actualTC->getDTBPtr(); }
116
117 CheckerCPU *getCheckerCpuPtr()
118 {
119 return checkerCPU;
120 }
121
122 TheISA::Decoder *getDecoderPtr() { return actualTC->getDecoderPtr(); }
123
124 System *getSystemPtr() { return actualTC->getSystemPtr(); }
125
126 TheISA::Kernel::Statistics *getKernelStats()
127 { return actualTC->getKernelStats(); }
128
129 Process *getProcessPtr() { return actualTC->getProcessPtr(); }
130
131 PortProxy &getPhysProxy() { return actualTC->getPhysProxy(); }
132
133 FSTranslatingPortProxy &getVirtProxy()
134 { return actualTC->getVirtProxy(); }
135
136 void initMemProxies(ThreadContext *tc)
137 { actualTC->initMemProxies(tc); }
138
139 void connectMemPorts(ThreadContext *tc)
140 {
141 actualTC->connectMemPorts(tc);
142 }
143
144 SETranslatingPortProxy &getMemProxy() { return actualTC->getMemProxy(); }
145
146 /** Executes a syscall in SE mode. */
147 void syscall(int64_t callnum)
148 { return actualTC->syscall(callnum); }
149
150 Status status() const { return actualTC->status(); }
151
152 void setStatus(Status new_status)
153 {
154 actualTC->setStatus(new_status);
155 checkerTC->setStatus(new_status);
156 }
157
158 /// Set the status to Active. Optional delay indicates number of
159 /// cycles to wait before beginning execution.
160 void activate(Cycles delay = Cycles(1))
161 { actualTC->activate(delay); }
162
163 /// Set the status to Suspended.
164 void suspend(Cycles delay) { actualTC->suspend(delay); }
165
166 /// Set the status to Halted.
167 void halt(Cycles delay) { actualTC->halt(delay); }
168
169 void dumpFuncProfile() { actualTC->dumpFuncProfile(); }
170
171 void takeOverFrom(ThreadContext *oldContext)
172 {
173 actualTC->takeOverFrom(oldContext);
174 checkerTC->copyState(oldContext);
175 }
176
177 void regStats(const std::string &name)
178 {
179 actualTC->regStats(name);
180 checkerTC->regStats(name);
181 }
182
183 void serialize(std::ostream &os) { actualTC->serialize(os); }
184 void unserialize(Checkpoint *cp, const std::string &section)
185 { actualTC->unserialize(cp, section); }
186
187 EndQuiesceEvent *getQuiesceEvent() { return actualTC->getQuiesceEvent(); }
188
189 Tick readLastActivate() { return actualTC->readLastActivate(); }
190 Tick readLastSuspend() { return actualTC->readLastSuspend(); }
191
192 void profileClear() { return actualTC->profileClear(); }
193 void profileSample() { return actualTC->profileSample(); }
194
195 // @todo: Do I need this?
196 void copyArchRegs(ThreadContext *tc)
197 {
198 actualTC->copyArchRegs(tc);
199 checkerTC->copyArchRegs(tc);
200 }
201
202 void clearArchRegs()
203 {
204 actualTC->clearArchRegs();
205 checkerTC->clearArchRegs();
206 }
207
208 //
209 // New accessors for new decoder.
210 //
211 uint64_t readIntReg(int reg_idx)
212 { return actualTC->readIntReg(reg_idx); }
213
214 FloatReg readFloatReg(int reg_idx)
215 { return actualTC->readFloatReg(reg_idx); }
216
217 FloatRegBits readFloatRegBits(int reg_idx)
218 { return actualTC->readFloatRegBits(reg_idx); }
219
220 CCReg readCCReg(int reg_idx)
221 { return actualTC->readCCReg(reg_idx); }
222
219 void setIntReg(int reg_idx, uint64_t val)
220 {
221 actualTC->setIntReg(reg_idx, val);
222 checkerTC->setIntReg(reg_idx, val);
223 }
224
225 void setFloatReg(int reg_idx, FloatReg val)
226 {
227 actualTC->setFloatReg(reg_idx, val);
228 checkerTC->setFloatReg(reg_idx, val);
229 }
230
231 void setFloatRegBits(int reg_idx, FloatRegBits val)
232 {
233 actualTC->setFloatRegBits(reg_idx, val);
234 checkerTC->setFloatRegBits(reg_idx, val);
235 }
236
223 void setIntReg(int reg_idx, uint64_t val)
224 {
225 actualTC->setIntReg(reg_idx, val);
226 checkerTC->setIntReg(reg_idx, val);
227 }
228
229 void setFloatReg(int reg_idx, FloatReg val)
230 {
231 actualTC->setFloatReg(reg_idx, val);
232 checkerTC->setFloatReg(reg_idx, val);
233 }
234
235 void setFloatRegBits(int reg_idx, FloatRegBits val)
236 {
237 actualTC->setFloatRegBits(reg_idx, val);
238 checkerTC->setFloatRegBits(reg_idx, val);
239 }
240
241 void setCCReg(int reg_idx, CCReg val)
242 {
243 actualTC->setCCReg(reg_idx, val);
244 checkerTC->setCCReg(reg_idx, val);
245 }
246
237 /** Reads this thread's PC state. */
238 TheISA::PCState pcState()
239 { return actualTC->pcState(); }
240
241 /** Sets this thread's PC state. */
242 void pcState(const TheISA::PCState &val)
243 {
244 DPRINTF(Checker, "Changing PC to %s, old PC %s\n",
245 val, checkerTC->pcState());
246 checkerTC->pcState(val);
247 checkerCPU->recordPCChange(val);
248 return actualTC->pcState(val);
249 }
250
251 void pcStateNoRecord(const TheISA::PCState &val)
252 {
253 return actualTC->pcState(val);
254 }
255
256 /** Reads this thread's PC. */
257 Addr instAddr()
258 { return actualTC->instAddr(); }
259
260 /** Reads this thread's next PC. */
261 Addr nextInstAddr()
262 { return actualTC->nextInstAddr(); }
263
264 /** Reads this thread's next PC. */
265 MicroPC microPC()
266 { return actualTC->microPC(); }
267
268 MiscReg readMiscRegNoEffect(int misc_reg)
269 { return actualTC->readMiscRegNoEffect(misc_reg); }
270
271 MiscReg readMiscReg(int misc_reg)
272 { return actualTC->readMiscReg(misc_reg); }
273
274 void setMiscRegNoEffect(int misc_reg, const MiscReg &val)
275 {
276 DPRINTF(Checker, "Setting misc reg with no effect: %d to both Checker"
277 " and O3..\n", misc_reg);
278 checkerTC->setMiscRegNoEffect(misc_reg, val);
279 actualTC->setMiscRegNoEffect(misc_reg, val);
280 }
281
282 void setMiscReg(int misc_reg, const MiscReg &val)
283 {
284 DPRINTF(Checker, "Setting misc reg with effect: %d to both Checker"
285 " and O3..\n", misc_reg);
286 checkerTC->setMiscReg(misc_reg, val);
287 actualTC->setMiscReg(misc_reg, val);
288 }
289
290 int flattenIntIndex(int reg) { return actualTC->flattenIntIndex(reg); }
291 int flattenFloatIndex(int reg) { return actualTC->flattenFloatIndex(reg); }
247 /** Reads this thread's PC state. */
248 TheISA::PCState pcState()
249 { return actualTC->pcState(); }
250
251 /** Sets this thread's PC state. */
252 void pcState(const TheISA::PCState &val)
253 {
254 DPRINTF(Checker, "Changing PC to %s, old PC %s\n",
255 val, checkerTC->pcState());
256 checkerTC->pcState(val);
257 checkerCPU->recordPCChange(val);
258 return actualTC->pcState(val);
259 }
260
261 void pcStateNoRecord(const TheISA::PCState &val)
262 {
263 return actualTC->pcState(val);
264 }
265
266 /** Reads this thread's PC. */
267 Addr instAddr()
268 { return actualTC->instAddr(); }
269
270 /** Reads this thread's next PC. */
271 Addr nextInstAddr()
272 { return actualTC->nextInstAddr(); }
273
274 /** Reads this thread's next PC. */
275 MicroPC microPC()
276 { return actualTC->microPC(); }
277
278 MiscReg readMiscRegNoEffect(int misc_reg)
279 { return actualTC->readMiscRegNoEffect(misc_reg); }
280
281 MiscReg readMiscReg(int misc_reg)
282 { return actualTC->readMiscReg(misc_reg); }
283
284 void setMiscRegNoEffect(int misc_reg, const MiscReg &val)
285 {
286 DPRINTF(Checker, "Setting misc reg with no effect: %d to both Checker"
287 " and O3..\n", misc_reg);
288 checkerTC->setMiscRegNoEffect(misc_reg, val);
289 actualTC->setMiscRegNoEffect(misc_reg, val);
290 }
291
292 void setMiscReg(int misc_reg, const MiscReg &val)
293 {
294 DPRINTF(Checker, "Setting misc reg with effect: %d to both Checker"
295 " and O3..\n", misc_reg);
296 checkerTC->setMiscReg(misc_reg, val);
297 actualTC->setMiscReg(misc_reg, val);
298 }
299
300 int flattenIntIndex(int reg) { return actualTC->flattenIntIndex(reg); }
301 int flattenFloatIndex(int reg) { return actualTC->flattenFloatIndex(reg); }
302 int flattenCCIndex(int reg) { return actualTC->flattenCCIndex(reg); }
292
293 unsigned readStCondFailures()
294 { return actualTC->readStCondFailures(); }
295
296 void setStCondFailures(unsigned sc_failures)
297 {
298 actualTC->setStCondFailures(sc_failures);
299 }
300
301 // @todo: Fix this!
302 bool misspeculating() { return actualTC->misspeculating(); }
303
304 Counter readFuncExeInst() { return actualTC->readFuncExeInst(); }
305
306 uint64_t readIntRegFlat(int idx)
307 { return actualTC->readIntRegFlat(idx); }
308
309 void setIntRegFlat(int idx, uint64_t val)
310 { actualTC->setIntRegFlat(idx, val); }
311
312 FloatReg readFloatRegFlat(int idx)
313 { return actualTC->readFloatRegFlat(idx); }
314
315 void setFloatRegFlat(int idx, FloatReg val)
316 { actualTC->setFloatRegFlat(idx, val); }
317
318 FloatRegBits readFloatRegBitsFlat(int idx)
319 { return actualTC->readFloatRegBitsFlat(idx); }
320
321 void setFloatRegBitsFlat(int idx, FloatRegBits val)
322 { actualTC->setFloatRegBitsFlat(idx, val); }
303
304 unsigned readStCondFailures()
305 { return actualTC->readStCondFailures(); }
306
307 void setStCondFailures(unsigned sc_failures)
308 {
309 actualTC->setStCondFailures(sc_failures);
310 }
311
312 // @todo: Fix this!
313 bool misspeculating() { return actualTC->misspeculating(); }
314
315 Counter readFuncExeInst() { return actualTC->readFuncExeInst(); }
316
317 uint64_t readIntRegFlat(int idx)
318 { return actualTC->readIntRegFlat(idx); }
319
320 void setIntRegFlat(int idx, uint64_t val)
321 { actualTC->setIntRegFlat(idx, val); }
322
323 FloatReg readFloatRegFlat(int idx)
324 { return actualTC->readFloatRegFlat(idx); }
325
326 void setFloatRegFlat(int idx, FloatReg val)
327 { actualTC->setFloatRegFlat(idx, val); }
328
329 FloatRegBits readFloatRegBitsFlat(int idx)
330 { return actualTC->readFloatRegBitsFlat(idx); }
331
332 void setFloatRegBitsFlat(int idx, FloatRegBits val)
333 { actualTC->setFloatRegBitsFlat(idx, val); }
334
335 CCReg readCCRegFlat(int idx)
336 { return actualTC->readCCRegFlat(idx); }
337
338 void setCCRegFlat(int idx, CCReg val)
339 { actualTC->setCCRegFlat(idx, val); }
323};
324
325#endif // __CPU_CHECKER_EXEC_CONTEXT_HH__
340};
341
342#endif // __CPU_CHECKER_EXEC_CONTEXT_HH__