1/*
2 * Copyright (c) 2011-2012 ARM Limited
3 * Copyright (c) 2013 Advanced Micro Devices, Inc.
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

--- 199 unchanged lines hidden (view full) ---

210 { return actualTC->readIntReg(reg_idx); }
211
212 FloatReg readFloatReg(int reg_idx)
213 { return actualTC->readFloatReg(reg_idx); }
214
215 FloatRegBits readFloatRegBits(int reg_idx)
216 { return actualTC->readFloatRegBits(reg_idx); }
217
218 CCReg readCCReg(int reg_idx)
219 { return actualTC->readCCReg(reg_idx); }
220
221 void setIntReg(int reg_idx, uint64_t val)
222 {
223 actualTC->setIntReg(reg_idx, val);
224 checkerTC->setIntReg(reg_idx, val);
225 }

--- 5 unchanged lines hidden (view full) ---

231 }
232
233 void setFloatRegBits(int reg_idx, FloatRegBits val)
234 {
235 actualTC->setFloatRegBits(reg_idx, val);
236 checkerTC->setFloatRegBits(reg_idx, val);
237 }
238
239 void setCCReg(int reg_idx, CCReg val)
240 {
241 actualTC->setCCReg(reg_idx, val);
242 checkerTC->setCCReg(reg_idx, val);
243 }
244
245 /** Reads this thread's PC state. */
246 TheISA::PCState pcState()

--- 81 unchanged lines hidden (view full) ---

328 { actualTC->setFloatRegFlat(idx, val); }
329
330 FloatRegBits readFloatRegBitsFlat(int idx)
331 { return actualTC->readFloatRegBitsFlat(idx); }
332
333 void setFloatRegBitsFlat(int idx, FloatRegBits val)
334 { actualTC->setFloatRegBitsFlat(idx, val); }
335
336 CCReg readCCRegFlat(int idx)
337 { return actualTC->readCCRegFlat(idx); }
338
339 void setCCRegFlat(int idx, CCReg val)
340 { actualTC->setCCRegFlat(idx, val); }
341};
342
343#endif // __CPU_CHECKER_EXEC_CONTEXT_HH__