cpu.cc revision 12680
12789Sktlim@umich.edu/* 28733Sgeoffrey.blake@arm.com * Copyright (c) 2011,2013,2017 ARM Limited 38733Sgeoffrey.blake@arm.com * All rights reserved 48733Sgeoffrey.blake@arm.com * 58733Sgeoffrey.blake@arm.com * The license below extends only to copyright in the software and shall 68733Sgeoffrey.blake@arm.com * not be construed as granting a license to any other intellectual 78733Sgeoffrey.blake@arm.com * property including but not limited to intellectual property relating 88733Sgeoffrey.blake@arm.com * to a hardware implementation of the functionality of the software 98733Sgeoffrey.blake@arm.com * licensed hereunder. You may use the software subject to the license 108733Sgeoffrey.blake@arm.com * terms below provided that you ensure that this notice is replicated 118733Sgeoffrey.blake@arm.com * unmodified and in its entirety in all distributions of the software, 128733Sgeoffrey.blake@arm.com * modified or unmodified, in source code or in binary form. 138733Sgeoffrey.blake@arm.com * 142789Sktlim@umich.edu * Copyright (c) 2006 The Regents of The University of Michigan 152789Sktlim@umich.edu * All rights reserved. 162789Sktlim@umich.edu * 172789Sktlim@umich.edu * Redistribution and use in source and binary forms, with or without 182789Sktlim@umich.edu * modification, are permitted provided that the following conditions are 192789Sktlim@umich.edu * met: redistributions of source code must retain the above copyright 202789Sktlim@umich.edu * notice, this list of conditions and the following disclaimer; 212789Sktlim@umich.edu * redistributions in binary form must reproduce the above copyright 222789Sktlim@umich.edu * notice, this list of conditions and the following disclaimer in the 232789Sktlim@umich.edu * documentation and/or other materials provided with the distribution; 242789Sktlim@umich.edu * neither the name of the copyright holders nor the names of its 252789Sktlim@umich.edu * contributors may be used to endorse or promote products derived from 262789Sktlim@umich.edu * this software without specific prior written permission. 272789Sktlim@umich.edu * 282789Sktlim@umich.edu * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 292789Sktlim@umich.edu * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 302789Sktlim@umich.edu * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 312789Sktlim@umich.edu * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 322789Sktlim@umich.edu * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 332789Sktlim@umich.edu * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 342789Sktlim@umich.edu * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 352789Sktlim@umich.edu * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 362789Sktlim@umich.edu * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 372789Sktlim@umich.edu * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 382789Sktlim@umich.edu * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 392789Sktlim@umich.edu * 402789Sktlim@umich.edu * Authors: Kevin Lim 418733Sgeoffrey.blake@arm.com * Geoffrey Blake 422789Sktlim@umich.edu */ 432789Sktlim@umich.edu 442789Sktlim@umich.edu#include "cpu/checker/cpu.hh" 452789Sktlim@umich.edu 462789Sktlim@umich.edu#include <list> 478793Sgblack@eecs.umich.edu#include <string> 488793Sgblack@eecs.umich.edu 498229Snate@binkert.org#include "arch/generic/tlb.hh" 502789Sktlim@umich.edu#include "arch/kernel_stats.hh" 512789Sktlim@umich.edu#include "arch/vtophys.hh" 523348Sbinkertn@umich.edu#include "cpu/base.hh" 532789Sktlim@umich.edu#include "cpu/simple_thread.hh" 548733Sgeoffrey.blake@arm.com#include "cpu/static_inst.hh" 558887Sgeoffrey.blake@arm.com#include "cpu/thread_context.hh" 568733Sgeoffrey.blake@arm.com#include "params/CheckerCPU.hh" 572789Sktlim@umich.edu#include "sim/full_system.hh" 582789Sktlim@umich.edu 598733Sgeoffrey.blake@arm.comusing namespace std; 602789Sktlim@umich.eduusing namespace TheISA; 612789Sktlim@umich.edu 622789Sktlim@umich.eduvoid 632789Sktlim@umich.eduCheckerCPU::init() 648832SAli.Saidi@ARM.com{ 652789Sktlim@umich.edu masterId = systemPtr->getMasterId(this); 662789Sktlim@umich.edu} 672789Sktlim@umich.edu 689176Sandreas.hansson@arm.comCheckerCPU::CheckerCPU(Params *p) 699176Sandreas.hansson@arm.com : BaseCPU(p, true), systemPtr(NULL), icachePort(NULL), dcachePort(NULL), 702789Sktlim@umich.edu tc(NULL), thread(NULL) 712789Sktlim@umich.edu{ 728733Sgeoffrey.blake@arm.com memReq = NULL; 738733Sgeoffrey.blake@arm.com curStaticInst = NULL; 742789Sktlim@umich.edu curMacroStaticInst = NULL; 752789Sktlim@umich.edu 762789Sktlim@umich.edu numInst = 0; 772789Sktlim@umich.edu startNumInst = 0; 782789Sktlim@umich.edu numLoad = 0; 792789Sktlim@umich.edu startNumLoad = 0; 802789Sktlim@umich.edu youngestSN = 0; 812789Sktlim@umich.edu 822789Sktlim@umich.edu changedPC = willChangePC = false; 832789Sktlim@umich.edu 842789Sktlim@umich.edu exitOnError = p->exitOnError; 852789Sktlim@umich.edu warnOnlyOnLoadError = p->warnOnlyOnLoadError; 862789Sktlim@umich.edu itb = p->itb; 878733Sgeoffrey.blake@arm.com dtb = p->dtb; 882789Sktlim@umich.edu workload = p->workload; 898733Sgeoffrey.blake@arm.com 902789Sktlim@umich.edu updateOnError = true; 912789Sktlim@umich.edu} 922789Sktlim@umich.edu 932789Sktlim@umich.eduCheckerCPU::~CheckerCPU() 942789Sktlim@umich.edu{ 952789Sktlim@umich.edu} 962789Sktlim@umich.edu 972789Sktlim@umich.eduvoid 982789Sktlim@umich.eduCheckerCPU::setSystem(System *system) 999384SAndreas.Sandberg@arm.com{ 1009384SAndreas.Sandberg@arm.com const Params *p(dynamic_cast<const Params *>(_params)); 1012789Sktlim@umich.edu 1022789Sktlim@umich.edu systemPtr = system; 1038887Sgeoffrey.blake@arm.com 1049384SAndreas.Sandberg@arm.com if (FullSystem) { 1059384SAndreas.Sandberg@arm.com thread = new SimpleThread(this, 0, systemPtr, itb, dtb, 1068887Sgeoffrey.blake@arm.com p->isa[0], false); 1078887Sgeoffrey.blake@arm.com } else { 1088887Sgeoffrey.blake@arm.com thread = new SimpleThread(this, 0, systemPtr, 1099384SAndreas.Sandberg@arm.com workload.size() ? workload[0] : NULL, 1108887Sgeoffrey.blake@arm.com itb, dtb, p->isa[0]); 1112789Sktlim@umich.edu } 1122789Sktlim@umich.edu 1132789Sktlim@umich.edu tc = thread->getTC(); 1142789Sktlim@umich.edu threadContexts.push_back(tc); 1158887Sgeoffrey.blake@arm.com thread->kernelStats = NULL; 1168887Sgeoffrey.blake@arm.com // Thread should never be null after this 1172789Sktlim@umich.edu assert(thread != NULL); 1182789Sktlim@umich.edu} 1192789Sktlim@umich.edu 1209608Sandreas.hansson@arm.comvoid 1212789Sktlim@umich.eduCheckerCPU::setIcachePort(MasterPort *icache_port) 1222789Sktlim@umich.edu{ 1232789Sktlim@umich.edu icachePort = icache_port; 1242789Sktlim@umich.edu} 1252789Sktlim@umich.edu 1269608Sandreas.hansson@arm.comvoid 1272789Sktlim@umich.eduCheckerCPU::setDcachePort(MasterPort *dcache_port) 1282789Sktlim@umich.edu{ 1292789Sktlim@umich.edu dcachePort = dcache_port; 1302789Sktlim@umich.edu} 1312789Sktlim@umich.edu 1322789Sktlim@umich.eduvoid 1332789Sktlim@umich.eduCheckerCPU::serialize(ostream &os) const 1342789Sktlim@umich.edu{ 1352789Sktlim@umich.edu} 1362789Sktlim@umich.edu 1372789Sktlim@umich.eduvoid 1382789Sktlim@umich.eduCheckerCPU::unserialize(CheckpointIn &cp) 1392789Sktlim@umich.edu{ 1402789Sktlim@umich.edu} 1412789Sktlim@umich.edu 1428733Sgeoffrey.blake@arm.comFault 1432789Sktlim@umich.eduCheckerCPU::readMem(Addr addr, uint8_t *data, unsigned size, 1448733Sgeoffrey.blake@arm.com Request::Flags flags) 1458733Sgeoffrey.blake@arm.com{ 1468733Sgeoffrey.blake@arm.com Fault fault = NoFault; 1478733Sgeoffrey.blake@arm.com int fullSize = size; 1488733Sgeoffrey.blake@arm.com Addr secondAddr = roundDown(addr + size - 1, cacheLineSize()); 1498733Sgeoffrey.blake@arm.com bool checked_flags = false; 1508733Sgeoffrey.blake@arm.com bool flags_match = true; 1512789Sktlim@umich.edu Addr pAddr = 0x0; 1522789Sktlim@umich.edu 1538733Sgeoffrey.blake@arm.com 1548733Sgeoffrey.blake@arm.com if (secondAddr > addr) 1552789Sktlim@umich.edu size = secondAddr - addr; 1568733Sgeoffrey.blake@arm.com 1578733Sgeoffrey.blake@arm.com // Need to account for multiple accesses like the Atomic and TimingSimple 1588733Sgeoffrey.blake@arm.com while (1) { 1598887Sgeoffrey.blake@arm.com memReq = new Request(0, addr, size, flags, masterId, 1602789Sktlim@umich.edu thread->pcState().instAddr(), tc->contextId()); 1618733Sgeoffrey.blake@arm.com 1628733Sgeoffrey.blake@arm.com // translate to physical address 1632789Sktlim@umich.edu fault = dtb->translateFunctional(memReq, tc, BaseTLB::Read); 1648733Sgeoffrey.blake@arm.com 1658733Sgeoffrey.blake@arm.com if (!checked_flags && fault == NoFault && unverifiedReq) { 1668733Sgeoffrey.blake@arm.com flags_match = checkFlags(unverifiedReq, memReq->getVaddr(), 1678733Sgeoffrey.blake@arm.com memReq->getPaddr(), memReq->getFlags()); 1688733Sgeoffrey.blake@arm.com pAddr = memReq->getPaddr(); 1698733Sgeoffrey.blake@arm.com checked_flags = true; 1708733Sgeoffrey.blake@arm.com } 1718733Sgeoffrey.blake@arm.com 1728733Sgeoffrey.blake@arm.com // Now do the access 1738733Sgeoffrey.blake@arm.com if (fault == NoFault && 1748733Sgeoffrey.blake@arm.com !memReq->getFlags().isSet(Request::NO_ACCESS)) { 1758949Sandreas.hansson@arm.com PacketPtr pkt = Packet::createRead(memReq); 1768949Sandreas.hansson@arm.com 1778949Sandreas.hansson@arm.com pkt->dataStatic(data); 1788733Sgeoffrey.blake@arm.com 1798733Sgeoffrey.blake@arm.com if (!(memReq->isUncacheable() || memReq->isMmappedIpr())) { 1808733Sgeoffrey.blake@arm.com // Access memory to see if we have the same data 1818733Sgeoffrey.blake@arm.com dcachePort->sendFunctional(pkt); 1828733Sgeoffrey.blake@arm.com } else { 1838733Sgeoffrey.blake@arm.com // Assume the data is correct if it's an uncached access 1848733Sgeoffrey.blake@arm.com memcpy(data, unverifiedMemData, size); 1858733Sgeoffrey.blake@arm.com } 1868733Sgeoffrey.blake@arm.com 1878733Sgeoffrey.blake@arm.com delete memReq; 1888733Sgeoffrey.blake@arm.com memReq = NULL; 1898733Sgeoffrey.blake@arm.com delete pkt; 1908733Sgeoffrey.blake@arm.com } 1918733Sgeoffrey.blake@arm.com 1928733Sgeoffrey.blake@arm.com if (fault != NoFault) { 1938733Sgeoffrey.blake@arm.com if (memReq->isPrefetch()) { 1948733Sgeoffrey.blake@arm.com fault = NoFault; 1958733Sgeoffrey.blake@arm.com } 1968733Sgeoffrey.blake@arm.com delete memReq; 1978733Sgeoffrey.blake@arm.com memReq = NULL; 1988733Sgeoffrey.blake@arm.com break; 1998733Sgeoffrey.blake@arm.com } 2008733Sgeoffrey.blake@arm.com 2018733Sgeoffrey.blake@arm.com if (memReq != NULL) { 2028733Sgeoffrey.blake@arm.com delete memReq; 2038733Sgeoffrey.blake@arm.com } 2048733Sgeoffrey.blake@arm.com 2058733Sgeoffrey.blake@arm.com //If we don't need to access a second cache line, stop now. 2068733Sgeoffrey.blake@arm.com if (secondAddr <= addr) 2078733Sgeoffrey.blake@arm.com { 2088733Sgeoffrey.blake@arm.com break; 2098733Sgeoffrey.blake@arm.com } 2108733Sgeoffrey.blake@arm.com 2118733Sgeoffrey.blake@arm.com // Setup for accessing next cache line 2128733Sgeoffrey.blake@arm.com data += size; 2138733Sgeoffrey.blake@arm.com unverifiedMemData += size; 2148733Sgeoffrey.blake@arm.com size = addr + fullSize - secondAddr; 2158733Sgeoffrey.blake@arm.com addr = secondAddr; 2168733Sgeoffrey.blake@arm.com } 2178733Sgeoffrey.blake@arm.com 2182789Sktlim@umich.edu if (!flags_match) { 2192789Sktlim@umich.edu warn("%lli: Flags do not match CPU:%#x %#x %#x Checker:%#x %#x %#x\n", 2208733Sgeoffrey.blake@arm.com curTick(), unverifiedReq->getVaddr(), unverifiedReq->getPaddr(), 2218733Sgeoffrey.blake@arm.com unverifiedReq->getFlags(), addr, pAddr, flags); 2228733Sgeoffrey.blake@arm.com handleError(); 2238733Sgeoffrey.blake@arm.com } 2248733Sgeoffrey.blake@arm.com 2258733Sgeoffrey.blake@arm.com return fault; 2262789Sktlim@umich.edu} 2278733Sgeoffrey.blake@arm.com 2282789Sktlim@umich.eduFault 2292789Sktlim@umich.eduCheckerCPU::writeMem(uint8_t *data, unsigned size, 2308733Sgeoffrey.blake@arm.com Addr addr, Request::Flags flags, uint64_t *res) 2318733Sgeoffrey.blake@arm.com{ 2328733Sgeoffrey.blake@arm.com Fault fault = NoFault; 2338733Sgeoffrey.blake@arm.com bool checked_flags = false; 2348733Sgeoffrey.blake@arm.com bool flags_match = true; 2358733Sgeoffrey.blake@arm.com Addr pAddr = 0x0; 2368733Sgeoffrey.blake@arm.com static uint8_t zero_data[64] = {}; 2378733Sgeoffrey.blake@arm.com 2382789Sktlim@umich.edu int fullSize = size; 2398733Sgeoffrey.blake@arm.com 2408733Sgeoffrey.blake@arm.com Addr secondAddr = roundDown(addr + size - 1, cacheLineSize()); 2412789Sktlim@umich.edu 2428733Sgeoffrey.blake@arm.com if (secondAddr > addr) 2432789Sktlim@umich.edu size = secondAddr - addr; 2448733Sgeoffrey.blake@arm.com 2458733Sgeoffrey.blake@arm.com // Need to account for a multiple access like Atomic and Timing CPUs 2462789Sktlim@umich.edu while (1) { 2478733Sgeoffrey.blake@arm.com memReq = new Request(0, addr, size, flags, masterId, 2488733Sgeoffrey.blake@arm.com thread->pcState().instAddr(), tc->contextId()); 2498733Sgeoffrey.blake@arm.com 2508832SAli.Saidi@ARM.com // translate to physical address 2512789Sktlim@umich.edu fault = dtb->translateFunctional(memReq, tc, BaseTLB::Write); 2528733Sgeoffrey.blake@arm.com 2538733Sgeoffrey.blake@arm.com if (!checked_flags && fault == NoFault && unverifiedReq) { 2542789Sktlim@umich.edu flags_match = checkFlags(unverifiedReq, memReq->getVaddr(), 2558733Sgeoffrey.blake@arm.com memReq->getPaddr(), memReq->getFlags()); 2568733Sgeoffrey.blake@arm.com pAddr = memReq->getPaddr(); 2578733Sgeoffrey.blake@arm.com checked_flags = true; 2588733Sgeoffrey.blake@arm.com } 2598733Sgeoffrey.blake@arm.com 2608733Sgeoffrey.blake@arm.com /* 2618733Sgeoffrey.blake@arm.com * We don't actually check memory for the store because there 2628733Sgeoffrey.blake@arm.com * is no guarantee it has left the lsq yet, and therefore we 2638733Sgeoffrey.blake@arm.com * can't verify the memory on stores without lsq snooping 2648733Sgeoffrey.blake@arm.com * enabled. This is left as future work for the Checker: LSQ snooping 2658733Sgeoffrey.blake@arm.com * and memory validation after stores have committed. 2668733Sgeoffrey.blake@arm.com */ 2678733Sgeoffrey.blake@arm.com bool was_prefetch = memReq->isPrefetch(); 2688733Sgeoffrey.blake@arm.com 2698990SAli.Saidi@ARM.com delete memReq; 2708733Sgeoffrey.blake@arm.com 2718733Sgeoffrey.blake@arm.com //If we don't need to access a second cache line, stop now. 2728733Sgeoffrey.blake@arm.com if (fault != NoFault || secondAddr <= addr) 2738733Sgeoffrey.blake@arm.com { 2748733Sgeoffrey.blake@arm.com if (fault != NoFault && was_prefetch) { 2758733Sgeoffrey.blake@arm.com fault = NoFault; 2768990SAli.Saidi@ARM.com } 2778733Sgeoffrey.blake@arm.com break; 2788733Sgeoffrey.blake@arm.com } 2798733Sgeoffrey.blake@arm.com 2808733Sgeoffrey.blake@arm.com //Update size and access address 2818733Sgeoffrey.blake@arm.com size = addr + fullSize - secondAddr; 2828733Sgeoffrey.blake@arm.com //And access the right address. 2838733Sgeoffrey.blake@arm.com addr = secondAddr; 2848733Sgeoffrey.blake@arm.com } 2858733Sgeoffrey.blake@arm.com 2868733Sgeoffrey.blake@arm.com if (!flags_match) { 2878733Sgeoffrey.blake@arm.com warn("%lli: Flags do not match CPU:%#x %#x Checker:%#x %#x %#x\n", 2888733Sgeoffrey.blake@arm.com curTick(), unverifiedReq->getVaddr(), unverifiedReq->getPaddr(), 2898733Sgeoffrey.blake@arm.com unverifiedReq->getFlags(), addr, pAddr, flags); 2908733Sgeoffrey.blake@arm.com handleError(); 2918733Sgeoffrey.blake@arm.com } 2928733Sgeoffrey.blake@arm.com 2938733Sgeoffrey.blake@arm.com // Assume the result was the same as the one passed in. This checker 2948733Sgeoffrey.blake@arm.com // doesn't check if the SC should succeed or fail, it just checks the 2958733Sgeoffrey.blake@arm.com // value. 2968733Sgeoffrey.blake@arm.com if (unverifiedReq && res && unverifiedReq->extraDataValid()) 2978733Sgeoffrey.blake@arm.com *res = unverifiedReq->getExtraData(); 2988733Sgeoffrey.blake@arm.com 2998733Sgeoffrey.blake@arm.com // Entire purpose here is to make sure we are getting the 3008733Sgeoffrey.blake@arm.com // same data to send to the mem system as the CPU did. 3018733Sgeoffrey.blake@arm.com // Cannot check this is actually what went to memory because 3028733Sgeoffrey.blake@arm.com // there stores can be in ld/st queue or coherent operations 3038733Sgeoffrey.blake@arm.com // overwriting values. 3048733Sgeoffrey.blake@arm.com bool extraData = false; 3058733Sgeoffrey.blake@arm.com if (unverifiedReq) { 3068733Sgeoffrey.blake@arm.com extraData = unverifiedReq->extraDataValid() ? 3078733Sgeoffrey.blake@arm.com unverifiedReq->getExtraData() : true; 3088733Sgeoffrey.blake@arm.com } 3098733Sgeoffrey.blake@arm.com 3108733Sgeoffrey.blake@arm.com // If the request is to ZERO a cache block, there is no data to check 3118733Sgeoffrey.blake@arm.com // against, but it's all zero. We need something to compare to, so use a 3128733Sgeoffrey.blake@arm.com // const set of zeros. 3138733Sgeoffrey.blake@arm.com if (flags & Request::STORE_NO_DATA) { 3148733Sgeoffrey.blake@arm.com assert(!data); 3158733Sgeoffrey.blake@arm.com assert(sizeof(zero_data) <= fullSize); 3168733Sgeoffrey.blake@arm.com data = zero_data; 3178733Sgeoffrey.blake@arm.com } 3188733Sgeoffrey.blake@arm.com 3198733Sgeoffrey.blake@arm.com if (unverifiedReq && unverifiedMemData && 3208733Sgeoffrey.blake@arm.com memcmp(data, unverifiedMemData, fullSize) && extraData) { 3212789Sktlim@umich.edu warn("%lli: Store value does not match value sent to memory! " 3222789Sktlim@umich.edu "data: %#x inst_data: %#x", curTick(), data, 3232789Sktlim@umich.edu unverifiedMemData); 3242789Sktlim@umich.edu handleError(); 3252789Sktlim@umich.edu } 3262789Sktlim@umich.edu 3272789Sktlim@umich.edu return fault; 3282789Sktlim@umich.edu} 3298733Sgeoffrey.blake@arm.com 3308733Sgeoffrey.blake@arm.comAddr 3318733Sgeoffrey.blake@arm.comCheckerCPU::dbg_vtophys(Addr addr) 3322789Sktlim@umich.edu{ 3338733Sgeoffrey.blake@arm.com return vtophys(tc, addr); 3348733Sgeoffrey.blake@arm.com} 3352789Sktlim@umich.edu 3368733Sgeoffrey.blake@arm.com/** 3378733Sgeoffrey.blake@arm.com * Checks if the flags set by the Checker and Checkee match. 3388733Sgeoffrey.blake@arm.com */ 3398733Sgeoffrey.blake@arm.combool 3408733Sgeoffrey.blake@arm.comCheckerCPU::checkFlags(Request *unverified_req, Addr vAddr, 3418733Sgeoffrey.blake@arm.com Addr pAddr, int flags) 3428733Sgeoffrey.blake@arm.com{ 3432789Sktlim@umich.edu Addr unverifiedVAddr = unverified_req->getVaddr(); 3442789Sktlim@umich.edu Addr unverifiedPAddr = unverified_req->getPaddr(); 3458733Sgeoffrey.blake@arm.com int unverifiedFlags = unverified_req->getFlags(); 3468733Sgeoffrey.blake@arm.com 3472789Sktlim@umich.edu if (unverifiedVAddr != vAddr || 3482789Sktlim@umich.edu unverifiedPAddr != pAddr || 3492789Sktlim@umich.edu unverifiedFlags != flags) { 3502789Sktlim@umich.edu return false; 3512789Sktlim@umich.edu } 3528733Sgeoffrey.blake@arm.com 3538733Sgeoffrey.blake@arm.com return true; 3542789Sktlim@umich.edu} 3552789Sktlim@umich.edu 356void 357CheckerCPU::dumpAndExit() 358{ 359 warn("%lli: Checker PC:%s", 360 curTick(), thread->pcState()); 361 panic("Checker found an error!"); 362} 363