cpu.hh revision 5543
12315SN/A/* 22332SN/A * Copyright (c) 2006 The Regents of The University of Michigan 32315SN/A * All rights reserved. 42315SN/A * 52315SN/A * Redistribution and use in source and binary forms, with or without 62315SN/A * modification, are permitted provided that the following conditions are 72315SN/A * met: redistributions of source code must retain the above copyright 82315SN/A * notice, this list of conditions and the following disclaimer; 92315SN/A * redistributions in binary form must reproduce the above copyright 102315SN/A * notice, this list of conditions and the following disclaimer in the 112315SN/A * documentation and/or other materials provided with the distribution; 122315SN/A * neither the name of the copyright holders nor the names of its 132315SN/A * contributors may be used to endorse or promote products derived from 142315SN/A * this software without specific prior written permission. 152315SN/A * 162315SN/A * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 172315SN/A * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 182315SN/A * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 192315SN/A * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 202315SN/A * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 212315SN/A * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 222315SN/A * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 232315SN/A * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 242315SN/A * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 252315SN/A * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 262315SN/A * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 272689Sktlim@umich.edu * 282689Sktlim@umich.edu * Authors: Kevin Lim 292315SN/A */ 302315SN/A 312315SN/A#ifndef __CPU_CHECKER_CPU_HH__ 322315SN/A#define __CPU_CHECKER_CPU_HH__ 332315SN/A 342315SN/A#include <list> 352315SN/A#include <queue> 362315SN/A#include <map> 372315SN/A 382669Sktlim@umich.edu#include "arch/types.hh" 392315SN/A#include "base/statistics.hh" 402315SN/A#include "config/full_system.hh" 412315SN/A#include "cpu/base.hh" 422315SN/A#include "cpu/base_dyn_inst.hh" 432683Sktlim@umich.edu#include "cpu/simple_thread.hh" 442315SN/A#include "cpu/pc_event.hh" 452315SN/A#include "cpu/static_inst.hh" 462315SN/A#include "sim/eventq.hh" 472315SN/A 482315SN/A// forward declarations 492315SN/A#if FULL_SYSTEM 503468Sgblack@eecs.umich.edunamespace TheISA 513468Sgblack@eecs.umich.edu{ 523468Sgblack@eecs.umich.edu class ITB; 533468Sgblack@eecs.umich.edu class DTB; 543468Sgblack@eecs.umich.edu} 552315SN/Aclass Processor; 562315SN/Aclass PhysicalMemory; 572315SN/A 582315SN/Aclass RemoteGDB; 592315SN/Aclass GDBListener; 602315SN/A 612315SN/A#else 622315SN/A 632315SN/Aclass Process; 642315SN/A 652315SN/A#endif // FULL_SYSTEM 662315SN/Atemplate <class> 672315SN/Aclass BaseDynInst; 685529Snate@binkert.orgclass CheckerCPUParams; 692680Sktlim@umich.educlass ThreadContext; 702315SN/Aclass MemInterface; 712315SN/Aclass Checkpoint; 722669Sktlim@umich.educlass Request; 732315SN/A 742350SN/A/** 752350SN/A * CheckerCPU class. Dynamically verifies instructions as they are 762350SN/A * completed by making sure that the instruction and its results match 772350SN/A * the independent execution of the benchmark inside the checker. The 782350SN/A * checker verifies instructions in order, regardless of the order in 792350SN/A * which instructions complete. There are certain results that can 802350SN/A * not be verified, specifically the result of a store conditional or 812350SN/A * the values of uncached accesses. In these cases, and with 822350SN/A * instructions marked as "IsUnverifiable", the checker assumes that 832350SN/A * the value from the main CPU's execution is correct and simply 842680Sktlim@umich.edu * copies that value. It provides a CheckerThreadContext (see 852683Sktlim@umich.edu * checker/thread_context.hh) that provides hooks for updating the 862680Sktlim@umich.edu * Checker's state through any ThreadContext accesses. This allows the 872350SN/A * checker to be able to correctly verify instructions, even with 882680Sktlim@umich.edu * external accesses to the ThreadContext that change state. 892350SN/A */ 902315SN/Aclass CheckerCPU : public BaseCPU 912315SN/A{ 922315SN/A protected: 932315SN/A typedef TheISA::MachInst MachInst; 942669Sktlim@umich.edu typedef TheISA::FloatReg FloatReg; 952669Sktlim@umich.edu typedef TheISA::FloatRegBits FloatRegBits; 962315SN/A typedef TheISA::MiscReg MiscReg; 972315SN/A public: 982315SN/A virtual void init(); 992315SN/A 1002315SN/A public: 1015529Snate@binkert.org typedef CheckerCPUParams Params; 1025529Snate@binkert.org const Params *params() const 1035529Snate@binkert.org { return reinterpret_cast<const Params *>(_params); } 1042315SN/A CheckerCPU(Params *p); 1052315SN/A virtual ~CheckerCPU(); 1062315SN/A 1072679Sktlim@umich.edu Process *process; 1082679Sktlim@umich.edu 1092315SN/A void setSystem(System *system); 1102315SN/A 1112315SN/A System *systemPtr; 1122679Sktlim@umich.edu 1132679Sktlim@umich.edu void setIcachePort(Port *icache_port); 1142679Sktlim@umich.edu 1152679Sktlim@umich.edu Port *icachePort; 1162679Sktlim@umich.edu 1172679Sktlim@umich.edu void setDcachePort(Port *dcache_port); 1182679Sktlim@umich.edu 1192679Sktlim@umich.edu Port *dcachePort; 1202679Sktlim@umich.edu 1212871Sktlim@umich.edu virtual Port *getPort(const std::string &name, int idx) 1222871Sktlim@umich.edu { 1232871Sktlim@umich.edu panic("Not supported on checker!"); 1242871Sktlim@umich.edu return NULL; 1252871Sktlim@umich.edu } 1262871Sktlim@umich.edu 1272315SN/A public: 1282683Sktlim@umich.edu // Primary thread being run. 1292683Sktlim@umich.edu SimpleThread *thread; 1302315SN/A 1312680Sktlim@umich.edu ThreadContext *tc; 1322315SN/A 1333468Sgblack@eecs.umich.edu TheISA::ITB *itb; 1343468Sgblack@eecs.umich.edu TheISA::DTB *dtb; 1352315SN/A 1362315SN/A#if FULL_SYSTEM 1372315SN/A Addr dbg_vtophys(Addr addr); 1382315SN/A#endif 1392315SN/A 1402315SN/A union Result { 1412315SN/A uint64_t integer; 1422360SN/A// float fp; 1432315SN/A double dbl; 1442315SN/A }; 1452315SN/A 1462315SN/A Result result; 1472315SN/A 1482315SN/A // current instruction 1492315SN/A MachInst machInst; 1502315SN/A 1512679Sktlim@umich.edu // Pointer to the one memory request. 1522679Sktlim@umich.edu RequestPtr memReq; 1532315SN/A 1542315SN/A StaticInstPtr curStaticInst; 1552315SN/A 1562315SN/A // number of simulated instructions 1572315SN/A Counter numInst; 1582315SN/A Counter startNumInst; 1592315SN/A 1602315SN/A std::queue<int> miscRegIdxs; 1612315SN/A 1622315SN/A virtual Counter totalInstructions() const 1632315SN/A { 1642930Sktlim@umich.edu return 0; 1652315SN/A } 1662315SN/A 1672315SN/A // number of simulated loads 1682315SN/A Counter numLoad; 1692315SN/A Counter startNumLoad; 1702315SN/A 1712315SN/A virtual void serialize(std::ostream &os); 1722315SN/A virtual void unserialize(Checkpoint *cp, const std::string §ion); 1732315SN/A 1742315SN/A template <class T> 1752315SN/A Fault read(Addr addr, T &data, unsigned flags); 1762315SN/A 1772315SN/A template <class T> 1782315SN/A Fault write(T data, Addr addr, unsigned flags, uint64_t *res); 1792315SN/A 1802315SN/A // These functions are only used in CPU models that split 1812315SN/A // effective address computation from the actual memory access. 1822315SN/A void setEA(Addr EA) { panic("SimpleCPU::setEA() not implemented\n"); } 1835543Ssaidi@eecs.umich.edu Addr getEA() { panic("SimpleCPU::getEA() not implemented\n"); } 1842315SN/A 1852315SN/A void prefetch(Addr addr, unsigned flags) 1862315SN/A { 1872315SN/A // need to do this... 1882315SN/A } 1892315SN/A 1902315SN/A void writeHint(Addr addr, int size, unsigned flags) 1912315SN/A { 1922315SN/A // need to do this... 1932315SN/A } 1942315SN/A 1952315SN/A Fault copySrcTranslate(Addr src); 1962315SN/A 1972315SN/A Fault copy(Addr dest); 1982315SN/A 1992315SN/A // The register accessor methods provide the index of the 2002315SN/A // instruction's operand (e.g., 0 or 1), not the architectural 2012315SN/A // register index, to simplify the implementation of register 2022315SN/A // renaming. We find the architectural register index by indexing 2032315SN/A // into the instruction's own operand index table. Note that a 2042315SN/A // raw pointer to the StaticInst is provided instead of a 2052315SN/A // ref-counted StaticInstPtr to redice overhead. This is fine as 2062315SN/A // long as these methods don't copy the pointer into any long-term 2072315SN/A // storage (which is pretty hard to imagine they would have reason 2082315SN/A // to do). 2092315SN/A 2103735Sstever@eecs.umich.edu uint64_t readIntRegOperand(const StaticInst *si, int idx) 2112315SN/A { 2122683Sktlim@umich.edu return thread->readIntReg(si->srcRegIdx(idx)); 2132315SN/A } 2142315SN/A 2153735Sstever@eecs.umich.edu FloatReg readFloatRegOperand(const StaticInst *si, int idx, int width) 2162315SN/A { 2172315SN/A int reg_idx = si->srcRegIdx(idx) - TheISA::FP_Base_DepTag; 2182683Sktlim@umich.edu return thread->readFloatReg(reg_idx, width); 2192315SN/A } 2202315SN/A 2213735Sstever@eecs.umich.edu FloatReg readFloatRegOperand(const StaticInst *si, int idx) 2222315SN/A { 2232315SN/A int reg_idx = si->srcRegIdx(idx) - TheISA::FP_Base_DepTag; 2242683Sktlim@umich.edu return thread->readFloatReg(reg_idx); 2252315SN/A } 2262315SN/A 2273735Sstever@eecs.umich.edu FloatRegBits readFloatRegOperandBits(const StaticInst *si, int idx, 2283735Sstever@eecs.umich.edu int width) 2292315SN/A { 2302315SN/A int reg_idx = si->srcRegIdx(idx) - TheISA::FP_Base_DepTag; 2312683Sktlim@umich.edu return thread->readFloatRegBits(reg_idx, width); 2322669Sktlim@umich.edu } 2332669Sktlim@umich.edu 2343735Sstever@eecs.umich.edu FloatRegBits readFloatRegOperandBits(const StaticInst *si, int idx) 2352669Sktlim@umich.edu { 2362669Sktlim@umich.edu int reg_idx = si->srcRegIdx(idx) - TheISA::FP_Base_DepTag; 2372683Sktlim@umich.edu return thread->readFloatRegBits(reg_idx); 2382315SN/A } 2392315SN/A 2403735Sstever@eecs.umich.edu void setIntRegOperand(const StaticInst *si, int idx, uint64_t val) 2412315SN/A { 2422683Sktlim@umich.edu thread->setIntReg(si->destRegIdx(idx), val); 2432315SN/A result.integer = val; 2442315SN/A } 2452315SN/A 2463735Sstever@eecs.umich.edu void setFloatRegOperand(const StaticInst *si, int idx, FloatReg val, 2473735Sstever@eecs.umich.edu int width) 2482315SN/A { 2492315SN/A int reg_idx = si->destRegIdx(idx) - TheISA::FP_Base_DepTag; 2502683Sktlim@umich.edu thread->setFloatReg(reg_idx, val, width); 2512669Sktlim@umich.edu switch(width) { 2522669Sktlim@umich.edu case 32: 2533126Sktlim@umich.edu result.dbl = (double)val; 2542669Sktlim@umich.edu break; 2552669Sktlim@umich.edu case 64: 2562669Sktlim@umich.edu result.dbl = val; 2572669Sktlim@umich.edu break; 2582669Sktlim@umich.edu }; 2592669Sktlim@umich.edu } 2602669Sktlim@umich.edu 2613735Sstever@eecs.umich.edu void setFloatRegOperand(const StaticInst *si, int idx, FloatReg val) 2622669Sktlim@umich.edu { 2632669Sktlim@umich.edu int reg_idx = si->destRegIdx(idx) - TheISA::FP_Base_DepTag; 2642683Sktlim@umich.edu thread->setFloatReg(reg_idx, val); 2652360SN/A result.dbl = (double)val; 2662315SN/A } 2672315SN/A 2683735Sstever@eecs.umich.edu void setFloatRegOperandBits(const StaticInst *si, int idx, 2693735Sstever@eecs.umich.edu FloatRegBits val, int width) 2702315SN/A { 2712315SN/A int reg_idx = si->destRegIdx(idx) - TheISA::FP_Base_DepTag; 2722683Sktlim@umich.edu thread->setFloatRegBits(reg_idx, val, width); 2732669Sktlim@umich.edu result.integer = val; 2742315SN/A } 2752315SN/A 2763735Sstever@eecs.umich.edu void setFloatRegOperandBits(const StaticInst *si, int idx, 2773735Sstever@eecs.umich.edu FloatRegBits val) 2782315SN/A { 2792315SN/A int reg_idx = si->destRegIdx(idx) - TheISA::FP_Base_DepTag; 2802683Sktlim@umich.edu thread->setFloatRegBits(reg_idx, val); 2812315SN/A result.integer = val; 2822315SN/A } 2832315SN/A 2842683Sktlim@umich.edu uint64_t readPC() { return thread->readPC(); } 2852669Sktlim@umich.edu 2862683Sktlim@umich.edu uint64_t readNextPC() { return thread->readNextPC(); } 2872669Sktlim@umich.edu 2882315SN/A void setNextPC(uint64_t val) { 2892683Sktlim@umich.edu thread->setNextPC(val); 2902315SN/A } 2912315SN/A 2924172Ssaidi@eecs.umich.edu MiscReg readMiscRegNoEffect(int misc_reg) 2934172Ssaidi@eecs.umich.edu { 2944172Ssaidi@eecs.umich.edu return thread->readMiscRegNoEffect(misc_reg); 2954172Ssaidi@eecs.umich.edu } 2964172Ssaidi@eecs.umich.edu 2972315SN/A MiscReg readMiscReg(int misc_reg) 2982315SN/A { 2992683Sktlim@umich.edu return thread->readMiscReg(misc_reg); 3002315SN/A } 3012315SN/A 3024172Ssaidi@eecs.umich.edu void setMiscRegNoEffect(int misc_reg, const MiscReg &val) 3032315SN/A { 3044172Ssaidi@eecs.umich.edu result.integer = val; 3054172Ssaidi@eecs.umich.edu miscRegIdxs.push(misc_reg); 3064172Ssaidi@eecs.umich.edu return thread->setMiscRegNoEffect(misc_reg, val); 3072315SN/A } 3082315SN/A 3093468Sgblack@eecs.umich.edu void setMiscReg(int misc_reg, const MiscReg &val) 3102315SN/A { 3112315SN/A miscRegIdxs.push(misc_reg); 3122683Sktlim@umich.edu return thread->setMiscReg(misc_reg, val); 3132315SN/A } 3142315SN/A 3152360SN/A void recordPCChange(uint64_t val) { changedPC = true; newPC = val; } 3162315SN/A void recordNextPCChange(uint64_t val) { changedNextPC = true; } 3172315SN/A 3185358Sgblack@eecs.umich.edu void demapPage(Addr vaddr, uint64_t asn) 3195358Sgblack@eecs.umich.edu { 3205358Sgblack@eecs.umich.edu this->itb->demapPage(vaddr, asn); 3215358Sgblack@eecs.umich.edu this->dtb->demapPage(vaddr, asn); 3225358Sgblack@eecs.umich.edu } 3235358Sgblack@eecs.umich.edu 3245358Sgblack@eecs.umich.edu void demapInstPage(Addr vaddr, uint64_t asn) 3255358Sgblack@eecs.umich.edu { 3265358Sgblack@eecs.umich.edu this->itb->demapPage(vaddr, asn); 3275358Sgblack@eecs.umich.edu } 3285358Sgblack@eecs.umich.edu 3295358Sgblack@eecs.umich.edu void demapDataPage(Addr vaddr, uint64_t asn) 3305358Sgblack@eecs.umich.edu { 3315358Sgblack@eecs.umich.edu this->dtb->demapPage(vaddr, asn); 3325358Sgblack@eecs.umich.edu } 3335358Sgblack@eecs.umich.edu 3342669Sktlim@umich.edu bool translateInstReq(Request *req); 3352669Sktlim@umich.edu void translateDataWriteReq(Request *req); 3362669Sktlim@umich.edu void translateDataReadReq(Request *req); 3372315SN/A 3382315SN/A#if FULL_SYSTEM 3392683Sktlim@umich.edu Fault hwrei() { return thread->hwrei(); } 3402690Sktlim@umich.edu void ev5_trap(Fault fault) { fault->invoke(tc); } 3412683Sktlim@umich.edu bool simPalCheck(int palFunc) { return thread->simPalCheck(palFunc); } 3422315SN/A#else 3432315SN/A // Assume that the normal CPU's call to syscall was successful. 3442332SN/A // The checker's state would have already been updated by the syscall. 3452669Sktlim@umich.edu void syscall(uint64_t callnum) { } 3462315SN/A#endif 3472315SN/A 3482315SN/A void handleError() 3492315SN/A { 3502315SN/A if (exitOnError) 3512732Sktlim@umich.edu dumpAndExit(); 3522315SN/A } 3532732Sktlim@umich.edu 3542669Sktlim@umich.edu bool checkFlags(Request *req); 3552315SN/A 3562732Sktlim@umich.edu void dumpAndExit(); 3572732Sktlim@umich.edu 3582680Sktlim@umich.edu ThreadContext *tcBase() { return tc; } 3592683Sktlim@umich.edu SimpleThread *threadBase() { return thread; } 3602315SN/A 3612315SN/A Result unverifiedResult; 3622669Sktlim@umich.edu Request *unverifiedReq; 3632679Sktlim@umich.edu uint8_t *unverifiedMemData; 3642315SN/A 3652315SN/A bool changedPC; 3662315SN/A bool willChangePC; 3672315SN/A uint64_t newPC; 3682315SN/A bool changedNextPC; 3692315SN/A bool exitOnError; 3702354SN/A bool updateOnError; 3712732Sktlim@umich.edu bool warnOnlyOnLoadError; 3722315SN/A 3732315SN/A InstSeqNum youngestSN; 3742315SN/A}; 3752315SN/A 3762350SN/A/** 3772350SN/A * Templated Checker class. This Checker class is templated on the 3782350SN/A * DynInstPtr of the instruction type that will be verified. Proper 3792350SN/A * template instantiations of the Checker must be placed at the bottom 3802350SN/A * of checker/cpu.cc. 3812350SN/A */ 3822315SN/Atemplate <class DynInstPtr> 3832315SN/Aclass Checker : public CheckerCPU 3842315SN/A{ 3852315SN/A public: 3862315SN/A Checker(Params *p) 3872354SN/A : CheckerCPU(p), updateThisCycle(false), unverifiedInst(NULL) 3882315SN/A { } 3892315SN/A 3902840Sktlim@umich.edu void switchOut(); 3912315SN/A void takeOverFrom(BaseCPU *oldCPU); 3922315SN/A 3932732Sktlim@umich.edu void verify(DynInstPtr &inst); 3942315SN/A 3952315SN/A void validateInst(DynInstPtr &inst); 3962315SN/A void validateExecution(DynInstPtr &inst); 3972315SN/A void validateState(); 3982315SN/A 3992732Sktlim@umich.edu void copyResult(DynInstPtr &inst); 4002732Sktlim@umich.edu 4012732Sktlim@umich.edu private: 4022732Sktlim@umich.edu void handleError(DynInstPtr &inst) 4032732Sktlim@umich.edu { 4042360SN/A if (exitOnError) { 4052732Sktlim@umich.edu dumpAndExit(inst); 4062360SN/A } else if (updateOnError) { 4072354SN/A updateThisCycle = true; 4082360SN/A } 4092732Sktlim@umich.edu } 4102732Sktlim@umich.edu 4112732Sktlim@umich.edu void dumpAndExit(DynInstPtr &inst); 4122732Sktlim@umich.edu 4132354SN/A bool updateThisCycle; 4142354SN/A 4152354SN/A DynInstPtr unverifiedInst; 4162354SN/A 4172315SN/A std::list<DynInstPtr> instList; 4182315SN/A typedef typename std::list<DynInstPtr>::iterator InstListIt; 4192315SN/A void dumpInsts(); 4202315SN/A}; 4212315SN/A 4222315SN/A#endif // __CPU_CHECKER_CPU_HH__ 423