lsq_unit.hh revision 3349
12292SN/A/* 22329SN/A * Copyright (c) 2004-2006 The Regents of The University of Michigan 32292SN/A * All rights reserved. 42292SN/A * 52292SN/A * Redistribution and use in source and binary forms, with or without 62292SN/A * modification, are permitted provided that the following conditions are 72292SN/A * met: redistributions of source code must retain the above copyright 82292SN/A * notice, this list of conditions and the following disclaimer; 92292SN/A * redistributions in binary form must reproduce the above copyright 102292SN/A * notice, this list of conditions and the following disclaimer in the 112292SN/A * documentation and/or other materials provided with the distribution; 122292SN/A * neither the name of the copyright holders nor the names of its 132292SN/A * contributors may be used to endorse or promote products derived from 142292SN/A * this software without specific prior written permission. 152292SN/A * 162292SN/A * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 172292SN/A * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 182292SN/A * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 192292SN/A * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 202292SN/A * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 212292SN/A * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 222292SN/A * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 232292SN/A * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 242292SN/A * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 252292SN/A * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 262292SN/A * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 272689Sktlim@umich.edu * 282689Sktlim@umich.edu * Authors: Kevin Lim 292689Sktlim@umich.edu * Korey Sewell 302292SN/A */ 312292SN/A 322292SN/A#ifndef __CPU_O3_LSQ_UNIT_HH__ 332292SN/A#define __CPU_O3_LSQ_UNIT_HH__ 342292SN/A 352329SN/A#include <algorithm> 362292SN/A#include <map> 372292SN/A#include <queue> 382292SN/A 392329SN/A#include "arch/faults.hh" 402292SN/A#include "config/full_system.hh" 412292SN/A#include "base/hashmap.hh" 422292SN/A#include "cpu/inst_seq.hh" 433348Sbinkertn@umich.edu#include "mem/packet.hh" 442669Sktlim@umich.edu#include "mem/port.hh" 452292SN/A 462292SN/A/** 472329SN/A * Class that implements the actual LQ and SQ for each specific 482329SN/A * thread. Both are circular queues; load entries are freed upon 492329SN/A * committing, while store entries are freed once they writeback. The 502329SN/A * LSQUnit tracks if there are memory ordering violations, and also 512329SN/A * detects partial load to store forwarding cases (a store only has 522329SN/A * part of a load's data) that requires the load to wait until the 532329SN/A * store writes back. In the former case it holds onto the instruction 542329SN/A * until the dependence unit looks at it, and in the latter it stalls 552329SN/A * the LSQ until the store writes back. At that point the load is 562329SN/A * replayed. 572292SN/A */ 582292SN/Atemplate <class Impl> 592292SN/Aclass LSQUnit { 602292SN/A protected: 612292SN/A typedef TheISA::IntReg IntReg; 622292SN/A public: 632292SN/A typedef typename Impl::Params Params; 642733Sktlim@umich.edu typedef typename Impl::O3CPU O3CPU; 652292SN/A typedef typename Impl::DynInstPtr DynInstPtr; 662292SN/A typedef typename Impl::CPUPol::IEW IEW; 672907Sktlim@umich.edu typedef typename Impl::CPUPol::LSQ LSQ; 682292SN/A typedef typename Impl::CPUPol::IssueStruct IssueStruct; 692292SN/A 702292SN/A public: 712292SN/A /** Constructs an LSQ unit. init() must be called prior to use. */ 722292SN/A LSQUnit(); 732292SN/A 742292SN/A /** Initializes the LSQ unit with the specified number of entries. */ 752907Sktlim@umich.edu void init(Params *params, LSQ *lsq_ptr, unsigned maxLQEntries, 762292SN/A unsigned maxSQEntries, unsigned id); 772292SN/A 782292SN/A /** Returns the name of the LSQ unit. */ 792292SN/A std::string name() const; 802292SN/A 812727Sktlim@umich.edu /** Registers statistics. */ 822727Sktlim@umich.edu void regStats(); 832727Sktlim@umich.edu 842292SN/A /** Sets the CPU pointer. */ 852733Sktlim@umich.edu void setCPU(O3CPU *cpu_ptr); 862292SN/A 872292SN/A /** Sets the IEW stage pointer. */ 882292SN/A void setIEW(IEW *iew_ptr) 892292SN/A { iewStage = iew_ptr; } 902292SN/A 912907Sktlim@umich.edu /** Sets the pointer to the dcache port. */ 922907Sktlim@umich.edu void setDcachePort(Port *dcache_port) 932907Sktlim@umich.edu { dcachePort = dcache_port; } 942907Sktlim@umich.edu 952348SN/A /** Switches out LSQ unit. */ 962307SN/A void switchOut(); 972307SN/A 982348SN/A /** Takes over from another CPU's thread. */ 992307SN/A void takeOverFrom(); 1002307SN/A 1012348SN/A /** Returns if the LSQ is switched out. */ 1022307SN/A bool isSwitchedOut() { return switchedOut; } 1032307SN/A 1042292SN/A /** Ticks the LSQ unit, which in this case only resets the number of 1052292SN/A * used cache ports. 1062292SN/A * @todo: Move the number of used ports up to the LSQ level so it can 1072292SN/A * be shared by all LSQ units. 1082292SN/A */ 1092292SN/A void tick() { usedPorts = 0; } 1102292SN/A 1112292SN/A /** Inserts an instruction. */ 1122292SN/A void insert(DynInstPtr &inst); 1132292SN/A /** Inserts a load instruction. */ 1142292SN/A void insertLoad(DynInstPtr &load_inst); 1152292SN/A /** Inserts a store instruction. */ 1162292SN/A void insertStore(DynInstPtr &store_inst); 1172292SN/A 1182292SN/A /** Executes a load instruction. */ 1192292SN/A Fault executeLoad(DynInstPtr &inst); 1202292SN/A 1212329SN/A Fault executeLoad(int lq_idx) { panic("Not implemented"); return NoFault; } 1222292SN/A /** Executes a store instruction. */ 1232292SN/A Fault executeStore(DynInstPtr &inst); 1242292SN/A 1252292SN/A /** Commits the head load. */ 1262292SN/A void commitLoad(); 1272292SN/A /** Commits loads older than a specific sequence number. */ 1282292SN/A void commitLoads(InstSeqNum &youngest_inst); 1292292SN/A 1302292SN/A /** Commits stores older than a specific sequence number. */ 1312292SN/A void commitStores(InstSeqNum &youngest_inst); 1322292SN/A 1332292SN/A /** Writes back stores. */ 1342292SN/A void writebackStores(); 1352292SN/A 1362790Sktlim@umich.edu /** Completes the data access that has been returned from the 1372790Sktlim@umich.edu * memory system. */ 1382669Sktlim@umich.edu void completeDataAccess(PacketPtr pkt); 1392669Sktlim@umich.edu 1402292SN/A /** Clears all the entries in the LQ. */ 1412292SN/A void clearLQ(); 1422292SN/A 1432292SN/A /** Clears all the entries in the SQ. */ 1442292SN/A void clearSQ(); 1452292SN/A 1462292SN/A /** Resizes the LQ to a given size. */ 1472292SN/A void resizeLQ(unsigned size); 1482292SN/A 1492292SN/A /** Resizes the SQ to a given size. */ 1502292SN/A void resizeSQ(unsigned size); 1512292SN/A 1522292SN/A /** Squashes all instructions younger than a specific sequence number. */ 1532292SN/A void squash(const InstSeqNum &squashed_num); 1542292SN/A 1552292SN/A /** Returns if there is a memory ordering violation. Value is reset upon 1562292SN/A * call to getMemDepViolator(). 1572292SN/A */ 1582292SN/A bool violation() { return memDepViolator; } 1592292SN/A 1602292SN/A /** Returns the memory ordering violator. */ 1612292SN/A DynInstPtr getMemDepViolator(); 1622292SN/A 1632329SN/A /** Returns if a load became blocked due to the memory system. */ 1642292SN/A bool loadBlocked() 1652292SN/A { return isLoadBlocked; } 1662292SN/A 1672348SN/A /** Clears the signal that a load became blocked. */ 1682292SN/A void clearLoadBlocked() 1692292SN/A { isLoadBlocked = false; } 1702292SN/A 1712348SN/A /** Returns if the blocked load was handled. */ 1722292SN/A bool isLoadBlockedHandled() 1732292SN/A { return loadBlockedHandled; } 1742292SN/A 1752348SN/A /** Records the blocked load as being handled. */ 1762292SN/A void setLoadBlockedHandled() 1772292SN/A { loadBlockedHandled = true; } 1782292SN/A 1792292SN/A /** Returns the number of free entries (min of free LQ and SQ entries). */ 1802292SN/A unsigned numFreeEntries(); 1812292SN/A 1822292SN/A /** Returns the number of loads ready to execute. */ 1832292SN/A int numLoadsReady(); 1842292SN/A 1852292SN/A /** Returns the number of loads in the LQ. */ 1862292SN/A int numLoads() { return loads; } 1872292SN/A 1882292SN/A /** Returns the number of stores in the SQ. */ 1892292SN/A int numStores() { return stores; } 1902292SN/A 1912292SN/A /** Returns if either the LQ or SQ is full. */ 1922292SN/A bool isFull() { return lqFull() || sqFull(); } 1932292SN/A 1942292SN/A /** Returns if the LQ is full. */ 1952292SN/A bool lqFull() { return loads >= (LQEntries - 1); } 1962292SN/A 1972292SN/A /** Returns if the SQ is full. */ 1982292SN/A bool sqFull() { return stores >= (SQEntries - 1); } 1992292SN/A 2002292SN/A /** Returns the number of instructions in the LSQ. */ 2012292SN/A unsigned getCount() { return loads + stores; } 2022292SN/A 2032292SN/A /** Returns if there are any stores to writeback. */ 2042292SN/A bool hasStoresToWB() { return storesToWB; } 2052292SN/A 2062292SN/A /** Returns the number of stores to writeback. */ 2072292SN/A int numStoresToWB() { return storesToWB; } 2082292SN/A 2092292SN/A /** Returns if the LSQ unit will writeback on this cycle. */ 2102292SN/A bool willWB() { return storeQueue[storeWBIdx].canWB && 2112678Sktlim@umich.edu !storeQueue[storeWBIdx].completed && 2122678Sktlim@umich.edu !isStoreBlocked; } 2132292SN/A 2142907Sktlim@umich.edu /** Handles doing the retry. */ 2152907Sktlim@umich.edu void recvRetry(); 2162907Sktlim@umich.edu 2172292SN/A private: 2182698Sktlim@umich.edu /** Writes back the instruction, sending it to IEW. */ 2192678Sktlim@umich.edu void writeback(DynInstPtr &inst, PacketPtr pkt); 2202678Sktlim@umich.edu 2212698Sktlim@umich.edu /** Handles completing the send of a store to memory. */ 2223349Sbinkertn@umich.edu void storePostSend(PacketPtr pkt); 2232693Sktlim@umich.edu 2242292SN/A /** Completes the store at the specified index. */ 2252292SN/A void completeStore(int store_idx); 2262292SN/A 2272292SN/A /** Increments the given store index (circular queue). */ 2282292SN/A inline void incrStIdx(int &store_idx); 2292292SN/A /** Decrements the given store index (circular queue). */ 2302292SN/A inline void decrStIdx(int &store_idx); 2312292SN/A /** Increments the given load index (circular queue). */ 2322292SN/A inline void incrLdIdx(int &load_idx); 2332292SN/A /** Decrements the given load index (circular queue). */ 2342292SN/A inline void decrLdIdx(int &load_idx); 2352292SN/A 2362329SN/A public: 2372329SN/A /** Debugging function to dump instructions in the LSQ. */ 2382329SN/A void dumpInsts(); 2392329SN/A 2402292SN/A private: 2412292SN/A /** Pointer to the CPU. */ 2422733Sktlim@umich.edu O3CPU *cpu; 2432292SN/A 2442292SN/A /** Pointer to the IEW stage. */ 2452292SN/A IEW *iewStage; 2462292SN/A 2472907Sktlim@umich.edu /** Pointer to the LSQ. */ 2482907Sktlim@umich.edu LSQ *lsq; 2492669Sktlim@umich.edu 2502907Sktlim@umich.edu /** Pointer to the dcache port. Used only for sending. */ 2512907Sktlim@umich.edu Port *dcachePort; 2522292SN/A 2532698Sktlim@umich.edu /** Derived class to hold any sender state the LSQ needs. */ 2542678Sktlim@umich.edu class LSQSenderState : public Packet::SenderState 2552678Sktlim@umich.edu { 2562678Sktlim@umich.edu public: 2572698Sktlim@umich.edu /** Default constructor. */ 2582678Sktlim@umich.edu LSQSenderState() 2592678Sktlim@umich.edu : noWB(false) 2602678Sktlim@umich.edu { } 2612678Sktlim@umich.edu 2622698Sktlim@umich.edu /** Instruction who initiated the access to memory. */ 2632678Sktlim@umich.edu DynInstPtr inst; 2642698Sktlim@umich.edu /** Whether or not it is a load. */ 2652678Sktlim@umich.edu bool isLoad; 2662698Sktlim@umich.edu /** The LQ/SQ index of the instruction. */ 2672678Sktlim@umich.edu int idx; 2682698Sktlim@umich.edu /** Whether or not the instruction will need to writeback. */ 2692678Sktlim@umich.edu bool noWB; 2702678Sktlim@umich.edu }; 2712678Sktlim@umich.edu 2722698Sktlim@umich.edu /** Writeback event, specifically for when stores forward data to loads. */ 2732678Sktlim@umich.edu class WritebackEvent : public Event { 2742678Sktlim@umich.edu public: 2752678Sktlim@umich.edu /** Constructs a writeback event. */ 2762678Sktlim@umich.edu WritebackEvent(DynInstPtr &_inst, PacketPtr pkt, LSQUnit *lsq_ptr); 2772678Sktlim@umich.edu 2782678Sktlim@umich.edu /** Processes the writeback event. */ 2792678Sktlim@umich.edu void process(); 2802678Sktlim@umich.edu 2812678Sktlim@umich.edu /** Returns the description of this event. */ 2822678Sktlim@umich.edu const char *description(); 2832678Sktlim@umich.edu 2842678Sktlim@umich.edu private: 2852698Sktlim@umich.edu /** Instruction whose results are being written back. */ 2862678Sktlim@umich.edu DynInstPtr inst; 2872678Sktlim@umich.edu 2882698Sktlim@umich.edu /** The packet that would have been sent to memory. */ 2892678Sktlim@umich.edu PacketPtr pkt; 2902678Sktlim@umich.edu 2912678Sktlim@umich.edu /** The pointer to the LSQ unit that issued the store. */ 2922678Sktlim@umich.edu LSQUnit<Impl> *lsqPtr; 2932678Sktlim@umich.edu }; 2942678Sktlim@umich.edu 2952292SN/A public: 2962292SN/A struct SQEntry { 2972292SN/A /** Constructs an empty store queue entry. */ 2982292SN/A SQEntry() 2992292SN/A : inst(NULL), req(NULL), size(0), data(0), 3002292SN/A canWB(0), committed(0), completed(0) 3012292SN/A { } 3022292SN/A 3032292SN/A /** Constructs a store queue entry for a given instruction. */ 3042292SN/A SQEntry(DynInstPtr &_inst) 3052292SN/A : inst(_inst), req(NULL), size(0), data(0), 3062292SN/A canWB(0), committed(0), completed(0) 3072292SN/A { } 3082292SN/A 3092292SN/A /** The store instruction. */ 3102292SN/A DynInstPtr inst; 3112669Sktlim@umich.edu /** The request for the store. */ 3122669Sktlim@umich.edu RequestPtr req; 3132292SN/A /** The size of the store. */ 3142292SN/A int size; 3152292SN/A /** The store data. */ 3162292SN/A IntReg data; 3172292SN/A /** Whether or not the store can writeback. */ 3182292SN/A bool canWB; 3192292SN/A /** Whether or not the store is committed. */ 3202292SN/A bool committed; 3212292SN/A /** Whether or not the store is completed. */ 3222292SN/A bool completed; 3232292SN/A }; 3242329SN/A 3252292SN/A private: 3262292SN/A /** The LSQUnit thread id. */ 3272292SN/A unsigned lsqID; 3282292SN/A 3292292SN/A /** The store queue. */ 3302292SN/A std::vector<SQEntry> storeQueue; 3312292SN/A 3322292SN/A /** The load queue. */ 3332292SN/A std::vector<DynInstPtr> loadQueue; 3342292SN/A 3352329SN/A /** The number of LQ entries, plus a sentinel entry (circular queue). 3362329SN/A * @todo: Consider having var that records the true number of LQ entries. 3372329SN/A */ 3382292SN/A unsigned LQEntries; 3392329SN/A /** The number of SQ entries, plus a sentinel entry (circular queue). 3402329SN/A * @todo: Consider having var that records the true number of SQ entries. 3412329SN/A */ 3422292SN/A unsigned SQEntries; 3432292SN/A 3442292SN/A /** The number of load instructions in the LQ. */ 3452292SN/A int loads; 3462329SN/A /** The number of store instructions in the SQ. */ 3472292SN/A int stores; 3482292SN/A /** The number of store instructions in the SQ waiting to writeback. */ 3492292SN/A int storesToWB; 3502292SN/A 3512292SN/A /** The index of the head instruction in the LQ. */ 3522292SN/A int loadHead; 3532292SN/A /** The index of the tail instruction in the LQ. */ 3542292SN/A int loadTail; 3552292SN/A 3562292SN/A /** The index of the head instruction in the SQ. */ 3572292SN/A int storeHead; 3582329SN/A /** The index of the first instruction that may be ready to be 3592329SN/A * written back, and has not yet been written back. 3602292SN/A */ 3612292SN/A int storeWBIdx; 3622292SN/A /** The index of the tail instruction in the SQ. */ 3632292SN/A int storeTail; 3642292SN/A 3652292SN/A /// @todo Consider moving to a more advanced model with write vs read ports 3662292SN/A /** The number of cache ports available each cycle. */ 3672292SN/A int cachePorts; 3682292SN/A 3692292SN/A /** The number of used cache ports in this cycle. */ 3702292SN/A int usedPorts; 3712292SN/A 3722348SN/A /** Is the LSQ switched out. */ 3732307SN/A bool switchedOut; 3742307SN/A 3752292SN/A //list<InstSeqNum> mshrSeqNums; 3762292SN/A 3772292SN/A /** Wire to read information from the issue stage time queue. */ 3782292SN/A typename TimeBuffer<IssueStruct>::wire fromIssue; 3792292SN/A 3802292SN/A /** Whether or not the LSQ is stalled. */ 3812292SN/A bool stalled; 3822292SN/A /** The store that causes the stall due to partial store to load 3832292SN/A * forwarding. 3842292SN/A */ 3852292SN/A InstSeqNum stallingStoreIsn; 3862292SN/A /** The index of the above store. */ 3872292SN/A int stallingLoadIdx; 3882292SN/A 3892698Sktlim@umich.edu /** The packet that needs to be retried. */ 3902698Sktlim@umich.edu PacketPtr retryPkt; 3912693Sktlim@umich.edu 3922698Sktlim@umich.edu /** Whehter or not a store is blocked due to the memory system. */ 3932678Sktlim@umich.edu bool isStoreBlocked; 3942678Sktlim@umich.edu 3952329SN/A /** Whether or not a load is blocked due to the memory system. */ 3962292SN/A bool isLoadBlocked; 3972292SN/A 3982348SN/A /** Has the blocked load been handled. */ 3992292SN/A bool loadBlockedHandled; 4002292SN/A 4012348SN/A /** The sequence number of the blocked load. */ 4022292SN/A InstSeqNum blockedLoadSeqNum; 4032292SN/A 4042292SN/A /** The oldest load that caused a memory ordering violation. */ 4052292SN/A DynInstPtr memDepViolator; 4062292SN/A 4072292SN/A // Will also need how many read/write ports the Dcache has. Or keep track 4082292SN/A // of that in stage that is one level up, and only call executeLoad/Store 4092292SN/A // the appropriate number of times. 4102727Sktlim@umich.edu /** Total number of loads forwaded from LSQ stores. */ 4112727Sktlim@umich.edu Stats::Scalar<> lsqForwLoads; 4122307SN/A 4133126Sktlim@umich.edu /** Total number of loads ignored due to invalid addresses. */ 4143126Sktlim@umich.edu Stats::Scalar<> invAddrLoads; 4153126Sktlim@umich.edu 4163126Sktlim@umich.edu /** Total number of squashed loads. */ 4173126Sktlim@umich.edu Stats::Scalar<> lsqSquashedLoads; 4183126Sktlim@umich.edu 4193126Sktlim@umich.edu /** Total number of responses from the memory system that are 4203126Sktlim@umich.edu * ignored due to the instruction already being squashed. */ 4213126Sktlim@umich.edu Stats::Scalar<> lsqIgnoredResponses; 4223126Sktlim@umich.edu 4233126Sktlim@umich.edu /** Tota number of memory ordering violations. */ 4243126Sktlim@umich.edu Stats::Scalar<> lsqMemOrderViolation; 4253126Sktlim@umich.edu 4262727Sktlim@umich.edu /** Total number of squashed stores. */ 4272727Sktlim@umich.edu Stats::Scalar<> lsqSquashedStores; 4282727Sktlim@umich.edu 4292727Sktlim@umich.edu /** Total number of software prefetches ignored due to invalid addresses. */ 4302727Sktlim@umich.edu Stats::Scalar<> invAddrSwpfs; 4312727Sktlim@umich.edu 4322727Sktlim@umich.edu /** Ready loads blocked due to partial store-forwarding. */ 4332727Sktlim@umich.edu Stats::Scalar<> lsqBlockedLoads; 4342727Sktlim@umich.edu 4352727Sktlim@umich.edu /** Number of loads that were rescheduled. */ 4362727Sktlim@umich.edu Stats::Scalar<> lsqRescheduledLoads; 4372727Sktlim@umich.edu 4382727Sktlim@umich.edu /** Number of times the LSQ is blocked due to the cache. */ 4392727Sktlim@umich.edu Stats::Scalar<> lsqCacheBlocked; 4402727Sktlim@umich.edu 4412292SN/A public: 4422292SN/A /** Executes the load at the given index. */ 4432292SN/A template <class T> 4442669Sktlim@umich.edu Fault read(Request *req, T &data, int load_idx); 4452292SN/A 4462292SN/A /** Executes the store at the given index. */ 4472292SN/A template <class T> 4482669Sktlim@umich.edu Fault write(Request *req, T &data, int store_idx); 4492292SN/A 4502292SN/A /** Returns the index of the head load instruction. */ 4512292SN/A int getLoadHead() { return loadHead; } 4522292SN/A /** Returns the sequence number of the head load instruction. */ 4532292SN/A InstSeqNum getLoadHeadSeqNum() 4542292SN/A { 4552292SN/A if (loadQueue[loadHead]) { 4562292SN/A return loadQueue[loadHead]->seqNum; 4572292SN/A } else { 4582292SN/A return 0; 4592292SN/A } 4602292SN/A 4612292SN/A } 4622292SN/A 4632292SN/A /** Returns the index of the head store instruction. */ 4642292SN/A int getStoreHead() { return storeHead; } 4652292SN/A /** Returns the sequence number of the head store instruction. */ 4662292SN/A InstSeqNum getStoreHeadSeqNum() 4672292SN/A { 4682292SN/A if (storeQueue[storeHead].inst) { 4692292SN/A return storeQueue[storeHead].inst->seqNum; 4702292SN/A } else { 4712292SN/A return 0; 4722292SN/A } 4732292SN/A 4742292SN/A } 4752292SN/A 4762292SN/A /** Returns whether or not the LSQ unit is stalled. */ 4772292SN/A bool isStalled() { return stalled; } 4782292SN/A}; 4792292SN/A 4802292SN/Atemplate <class Impl> 4812292SN/Atemplate <class T> 4822292SN/AFault 4832669Sktlim@umich.eduLSQUnit<Impl>::read(Request *req, T &data, int load_idx) 4842292SN/A{ 4852669Sktlim@umich.edu DynInstPtr load_inst = loadQueue[load_idx]; 4862292SN/A 4872669Sktlim@umich.edu assert(load_inst); 4882669Sktlim@umich.edu 4892669Sktlim@umich.edu assert(!load_inst->isExecuted()); 4902292SN/A 4912292SN/A // Make sure this isn't an uncacheable access 4922292SN/A // A bit of a hackish way to get uncached accesses to work only if they're 4932292SN/A // at the head of the LSQ and are ready to commit (at the head of the ROB 4942292SN/A // too). 4953172Sstever@eecs.umich.edu if (req->isUncacheable() && 4962731Sktlim@umich.edu (load_idx != loadHead || !load_inst->isAtCommit())) { 4972669Sktlim@umich.edu iewStage->rescheduleMemInst(load_inst); 4982727Sktlim@umich.edu ++lsqRescheduledLoads; 4992292SN/A return TheISA::genMachineCheckFault(); 5002292SN/A } 5012292SN/A 5022292SN/A // Check the SQ for any previous stores that might lead to forwarding 5032669Sktlim@umich.edu int store_idx = load_inst->sqIdx; 5042292SN/A 5052292SN/A int store_size = 0; 5062292SN/A 5072292SN/A DPRINTF(LSQUnit, "Read called, load idx: %i, store idx: %i, " 5082292SN/A "storeHead: %i addr: %#x\n", 5092669Sktlim@umich.edu load_idx, store_idx, storeHead, req->getPaddr()); 5102292SN/A 5112693Sktlim@umich.edu#if FULL_SYSTEM 5123172Sstever@eecs.umich.edu if (req->isLocked()) { 5132669Sktlim@umich.edu cpu->lockAddr = req->getPaddr(); 5142292SN/A cpu->lockFlag = true; 5152292SN/A } 5162292SN/A#endif 5172292SN/A 5182292SN/A while (store_idx != -1) { 5192292SN/A // End once we've reached the top of the LSQ 5202292SN/A if (store_idx == storeWBIdx) { 5212292SN/A break; 5222292SN/A } 5232292SN/A 5242292SN/A // Move the index to one younger 5252292SN/A if (--store_idx < 0) 5262292SN/A store_idx += SQEntries; 5272292SN/A 5282292SN/A assert(storeQueue[store_idx].inst); 5292292SN/A 5302292SN/A store_size = storeQueue[store_idx].size; 5312292SN/A 5322292SN/A if (store_size == 0) 5332292SN/A continue; 5342292SN/A 5352292SN/A // Check if the store data is within the lower and upper bounds of 5362292SN/A // addresses that the request needs. 5372292SN/A bool store_has_lower_limit = 5382669Sktlim@umich.edu req->getVaddr() >= storeQueue[store_idx].inst->effAddr; 5392292SN/A bool store_has_upper_limit = 5402669Sktlim@umich.edu (req->getVaddr() + req->getSize()) <= 5412669Sktlim@umich.edu (storeQueue[store_idx].inst->effAddr + store_size); 5422292SN/A bool lower_load_has_store_part = 5432669Sktlim@umich.edu req->getVaddr() < (storeQueue[store_idx].inst->effAddr + 5442292SN/A store_size); 5452292SN/A bool upper_load_has_store_part = 5462669Sktlim@umich.edu (req->getVaddr() + req->getSize()) > 5472669Sktlim@umich.edu storeQueue[store_idx].inst->effAddr; 5482292SN/A 5492292SN/A // If the store's data has all of the data needed, we can forward. 5502292SN/A if (store_has_lower_limit && store_has_upper_limit) { 5512329SN/A // Get shift amount for offset into the store's data. 5522669Sktlim@umich.edu int shift_amt = req->getVaddr() & (store_size - 1); 5532329SN/A // @todo: Magic number, assumes byte addressing 5542292SN/A shift_amt = shift_amt << 3; 5552292SN/A 5562292SN/A // Cast this to type T? 5572292SN/A data = storeQueue[store_idx].data >> shift_amt; 5582292SN/A 5592669Sktlim@umich.edu assert(!load_inst->memData); 5602669Sktlim@umich.edu load_inst->memData = new uint8_t[64]; 5612292SN/A 5622669Sktlim@umich.edu memcpy(load_inst->memData, &data, req->getSize()); 5632292SN/A 5642292SN/A DPRINTF(LSQUnit, "Forwarding from store idx %i to load to " 5652292SN/A "addr %#x, data %#x\n", 5662693Sktlim@umich.edu store_idx, req->getVaddr(), data); 5672678Sktlim@umich.edu 5682678Sktlim@umich.edu PacketPtr data_pkt = new Packet(req, Packet::ReadReq, Packet::Broadcast); 5692678Sktlim@umich.edu data_pkt->dataStatic(load_inst->memData); 5702678Sktlim@umich.edu 5712678Sktlim@umich.edu WritebackEvent *wb = new WritebackEvent(load_inst, data_pkt, this); 5722292SN/A 5732292SN/A // We'll say this has a 1 cycle load-store forwarding latency 5742292SN/A // for now. 5752292SN/A // @todo: Need to make this a parameter. 5762292SN/A wb->schedule(curTick); 5772678Sktlim@umich.edu 5782727Sktlim@umich.edu ++lsqForwLoads; 5792292SN/A return NoFault; 5802292SN/A } else if ((store_has_lower_limit && lower_load_has_store_part) || 5812292SN/A (store_has_upper_limit && upper_load_has_store_part) || 5822292SN/A (lower_load_has_store_part && upper_load_has_store_part)) { 5832292SN/A // This is the partial store-load forwarding case where a store 5842292SN/A // has only part of the load's data. 5852292SN/A 5862292SN/A // If it's already been written back, then don't worry about 5872292SN/A // stalling on it. 5882292SN/A if (storeQueue[store_idx].completed) { 5892292SN/A continue; 5902292SN/A } 5912292SN/A 5922292SN/A // Must stall load and force it to retry, so long as it's the oldest 5932292SN/A // load that needs to do so. 5942292SN/A if (!stalled || 5952292SN/A (stalled && 5962669Sktlim@umich.edu load_inst->seqNum < 5972292SN/A loadQueue[stallingLoadIdx]->seqNum)) { 5982292SN/A stalled = true; 5992292SN/A stallingStoreIsn = storeQueue[store_idx].inst->seqNum; 6002292SN/A stallingLoadIdx = load_idx; 6012292SN/A } 6022292SN/A 6032292SN/A // Tell IQ/mem dep unit that this instruction will need to be 6042292SN/A // rescheduled eventually 6052669Sktlim@umich.edu iewStage->rescheduleMemInst(load_inst); 6062927Sktlim@umich.edu iewStage->decrWb(load_inst->seqNum); 6072727Sktlim@umich.edu ++lsqRescheduledLoads; 6082292SN/A 6092292SN/A // Do not generate a writeback event as this instruction is not 6102292SN/A // complete. 6112292SN/A DPRINTF(LSQUnit, "Load-store forwarding mis-match. " 6122292SN/A "Store idx %i to load addr %#x\n", 6132669Sktlim@umich.edu store_idx, req->getVaddr()); 6142292SN/A 6152727Sktlim@umich.edu ++lsqBlockedLoads; 6162292SN/A return NoFault; 6172292SN/A } 6182292SN/A } 6192292SN/A 6202292SN/A // If there's no forwarding case, then go access memory 6212907Sktlim@umich.edu DPRINTF(LSQUnit, "Doing memory access for inst [sn:%lli] PC %#x\n", 6222669Sktlim@umich.edu load_inst->seqNum, load_inst->readPC()); 6232292SN/A 6242669Sktlim@umich.edu assert(!load_inst->memData); 6252669Sktlim@umich.edu load_inst->memData = new uint8_t[64]; 6262292SN/A 6272292SN/A ++usedPorts; 6282292SN/A 6292907Sktlim@umich.edu // if we the cache is not blocked, do cache access 6302907Sktlim@umich.edu if (!lsq->cacheBlocked()) { 6313228Sktlim@umich.edu PacketPtr data_pkt = 6323228Sktlim@umich.edu new Packet(req, Packet::ReadReq, Packet::Broadcast); 6333228Sktlim@umich.edu data_pkt->dataStatic(load_inst->memData); 6343228Sktlim@umich.edu 6353228Sktlim@umich.edu LSQSenderState *state = new LSQSenderState; 6363228Sktlim@umich.edu state->isLoad = true; 6373228Sktlim@umich.edu state->idx = load_idx; 6383228Sktlim@umich.edu state->inst = load_inst; 6393228Sktlim@umich.edu data_pkt->senderState = state; 6403228Sktlim@umich.edu 6412907Sktlim@umich.edu if (!dcachePort->sendTiming(data_pkt)) { 6423228Sktlim@umich.edu Packet::Result result = data_pkt->result; 6433228Sktlim@umich.edu 6443228Sktlim@umich.edu // Delete state and data packet because a load retry 6453228Sktlim@umich.edu // initiates a pipeline restart; it does not retry. 6463228Sktlim@umich.edu delete state; 6473228Sktlim@umich.edu delete data_pkt; 6483228Sktlim@umich.edu 6493228Sktlim@umich.edu if (result == Packet::BadAddress) { 6503221Sktlim@umich.edu return TheISA::genMachineCheckFault(); 6513221Sktlim@umich.edu } 6523221Sktlim@umich.edu 6532907Sktlim@umich.edu // If the access didn't succeed, tell the LSQ by setting 6542907Sktlim@umich.edu // the retry thread id. 6552907Sktlim@umich.edu lsq->setRetryTid(lsqID); 6562907Sktlim@umich.edu } 6572907Sktlim@umich.edu } 6582907Sktlim@umich.edu 6592907Sktlim@umich.edu // If the cache was blocked, or has become blocked due to the access, 6602907Sktlim@umich.edu // handle it. 6612907Sktlim@umich.edu if (lsq->cacheBlocked()) { 6622727Sktlim@umich.edu ++lsqCacheBlocked; 6633014Srdreslin@umich.edu 6643014Srdreslin@umich.edu iewStage->decrWb(load_inst->seqNum); 6652669Sktlim@umich.edu // There's an older load that's already going to squash. 6662669Sktlim@umich.edu if (isLoadBlocked && blockedLoadSeqNum < load_inst->seqNum) 6672669Sktlim@umich.edu return NoFault; 6682292SN/A 6692669Sktlim@umich.edu // Record that the load was blocked due to memory. This 6702669Sktlim@umich.edu // load will squash all instructions after it, be 6712669Sktlim@umich.edu // refetched, and re-executed. 6722669Sktlim@umich.edu isLoadBlocked = true; 6732669Sktlim@umich.edu loadBlockedHandled = false; 6742669Sktlim@umich.edu blockedLoadSeqNum = load_inst->seqNum; 6752669Sktlim@umich.edu // No fault occurred, even though the interface is blocked. 6762669Sktlim@umich.edu return NoFault; 6772292SN/A } 6782292SN/A 6792669Sktlim@umich.edu return NoFault; 6802292SN/A} 6812292SN/A 6822292SN/Atemplate <class Impl> 6832292SN/Atemplate <class T> 6842292SN/AFault 6852669Sktlim@umich.eduLSQUnit<Impl>::write(Request *req, T &data, int store_idx) 6862292SN/A{ 6872292SN/A assert(storeQueue[store_idx].inst); 6882292SN/A 6892292SN/A DPRINTF(LSQUnit, "Doing write to store idx %i, addr %#x data %#x" 6902292SN/A " | storeHead:%i [sn:%i]\n", 6912669Sktlim@umich.edu store_idx, req->getPaddr(), data, storeHead, 6922292SN/A storeQueue[store_idx].inst->seqNum); 6932329SN/A 6942292SN/A storeQueue[store_idx].req = req; 6952292SN/A storeQueue[store_idx].size = sizeof(T); 6962292SN/A storeQueue[store_idx].data = data; 6972329SN/A 6982292SN/A // This function only writes the data to the store queue, so no fault 6992292SN/A // can happen here. 7002292SN/A return NoFault; 7012292SN/A} 7022292SN/A 7032292SN/A#endif // __CPU_O3_LSQ_UNIT_HH__ 704