/*
+ * Copyright (c) 2016-2017 ARM Limited
+ * All rights reserved
+ *
+ * The license below extends only to copyright in the software and shall
+ * not be construed as granting a license to any other intellectual
+ * property including but not limited to intellectual property relating
+ * to a hardware implementation of the functionality of the software
+ * licensed hereunder. You may use the software subject to the license
+ * terms below provided that you ensure that this notice is replicated
+ * unmodified and in its entirety in all distributions of the software,
+ * modified or unmodified, in source code or in binary form.
+ *
* Copyright (c) 2004-2005 The Regents of The University of Michigan
+ * Copyright (c) 2013 Advanced Micro Devices, Inc.
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
#ifndef __CPU_O3_REGFILE_HH__
#define __CPU_O3_REGFILE_HH__
+#include <vector>
+
#include "arch/isa_traits.hh"
-#include "arch/regfile.hh"
+#include "arch/kernel_stats.hh"
#include "arch/types.hh"
#include "base/trace.hh"
-#include "config/full_system.hh"
+#include "config/the_isa.hh"
#include "cpu/o3/comm.hh"
+#include "debug/IEW.hh"
+#include "enums/VecRegRenameMode.hh"
-#if FULL_SYSTEM
-#include "arch/kernel_stats.hh"
-#endif
-
-#include <vector>
+class UnifiedFreeList;
/**
* Simple physical register file class.
- * Right now this is specific to Alpha until we decide if/how to make things
- * generic enough to support other ISAs.
*/
-template <class Impl>
class PhysRegFile
{
- protected:
- typedef TheISA::IntReg IntReg;
- typedef TheISA::FloatReg FloatReg;
- typedef TheISA::FloatRegBits FloatRegBits;
+ private:
- typedef union {
- FloatReg d;
- FloatRegBits q;
- } PhysFloatReg;
+ typedef TheISA::CCReg CCReg;
+ using VecElem = TheISA::VecElem;
+ using VecRegContainer = TheISA::VecRegContainer;
+ using PhysIds = std::vector<PhysRegId>;
+ using VecMode = Enums::VecRegRenameMode;
+ using VecPredRegContainer = TheISA::VecPredRegContainer;
+ public:
+ using IdRange = std::pair<PhysIds::const_iterator,
+ PhysIds::const_iterator>;
+ private:
+ static constexpr auto NumVecElemPerVecReg = TheISA::NumVecElemPerVecReg;
- // Note that most of the definitions of the IntReg, FloatReg, etc. exist
- // within the Impl/ISA class and not within this PhysRegFile class.
+ /** Integer register file. */
+ std::vector<RegVal> intRegFile;
+ std::vector<PhysRegId> intRegIds;
- // Will make these registers public for now, but they probably should
- // be private eventually with some accessor functions.
- public:
- typedef typename Impl::O3CPU O3CPU;
+ /** Floating point register file. */
+ std::vector<RegVal> floatRegFile;
+ std::vector<PhysRegId> floatRegIds;
+
+ /** Vector register file. */
+ std::vector<VecRegContainer> vectorRegFile;
+ std::vector<PhysRegId> vecRegIds;
+ std::vector<PhysRegId> vecElemIds;
+
+ /** Predicate register file. */
+ std::vector<VecPredRegContainer> vecPredRegFile;
+ std::vector<PhysRegId> vecPredRegIds;
+
+ /** Condition-code register file. */
+ std::vector<CCReg> ccRegFile;
+ std::vector<PhysRegId> ccRegIds;
+
+ /** Misc Reg Ids */
+ std::vector<PhysRegId> miscRegIds;
+
+ /**
+ * Number of physical general purpose registers
+ */
+ unsigned numPhysicalIntRegs;
+
+ /**
+ * Number of physical floating point registers
+ */
+ unsigned numPhysicalFloatRegs;
+
+ /**
+ * Number of physical vector registers
+ */
+ unsigned numPhysicalVecRegs;
+ /**
+ * Number of physical vector element registers
+ */
+ unsigned numPhysicalVecElemRegs;
+
+ /**
+ * Number of physical predicate registers
+ */
+ unsigned numPhysicalVecPredRegs;
+
+ /**
+ * Number of physical CC registers
+ */
+ unsigned numPhysicalCCRegs;
+
+ /** Total number of physical registers. */
+ unsigned totalNumRegs;
+
+ /** Mode in which vector registers are addressed. */
+ VecMode vecMode;
+
+ public:
/**
* Constructs a physical register file with the specified amount of
* integer and floating point registers.
*/
- PhysRegFile(O3CPU *_cpu, unsigned _numPhysicalIntRegs,
- unsigned _numPhysicalFloatRegs);
+ PhysRegFile(unsigned _numPhysicalIntRegs,
+ unsigned _numPhysicalFloatRegs,
+ unsigned _numPhysicalVecRegs,
+ unsigned _numPhysicalVecPredRegs,
+ unsigned _numPhysicalCCRegs,
+ VecMode vmode
+ );
- //Everything below should be pretty well identical to the normal
- //register file that exists within AlphaISA class.
- //The duplication is unfortunate but it's better than having
- //different ways to access certain registers.
+ /**
+ * Destructor to free resources
+ */
+ ~PhysRegFile() {}
+
+ /** Initialize the free list */
+ void initFreeList(UnifiedFreeList *freeList);
+
+ /** @return the number of integer physical registers. */
+ unsigned numIntPhysRegs() const { return numPhysicalIntRegs; }
+
+ /** @return the number of floating-point physical registers. */
+ unsigned numFloatPhysRegs() const { return numPhysicalFloatRegs; }
+ /** @return the number of vector physical registers. */
+ unsigned numVecPhysRegs() const { return numPhysicalVecRegs; }
+ /** @return the number of predicate physical registers. */
+ unsigned numPredPhysRegs() const { return numPhysicalVecPredRegs; }
+
+ /** @return the number of vector physical registers. */
+ unsigned numVecElemPhysRegs() const { return numPhysicalVecElemRegs; }
+
+ /** @return the number of condition-code physical registers. */
+ unsigned numCCPhysRegs() const { return numPhysicalCCRegs; }
+
+ /** @return the total number of physical registers. */
+ unsigned totalNumPhysRegs() const { return totalNumRegs; }
+
+ /** Gets a misc register PhysRegIdPtr. */
+ PhysRegIdPtr getMiscRegId(RegIndex reg_idx) {
+ return &miscRegIds[reg_idx];
+ }
/** Reads an integer register. */
- uint64_t readIntReg(PhysRegIndex reg_idx)
+ RegVal
+ readIntReg(PhysRegIdPtr phys_reg) const
{
- assert(reg_idx < numPhysicalIntRegs);
+ assert(phys_reg->isIntPhysReg());
DPRINTF(IEW, "RegFile: Access to int register %i, has data "
- "%#x\n", int(reg_idx), intRegFile[reg_idx]);
- return intRegFile[reg_idx];
+ "%#x\n", phys_reg->index(), intRegFile[phys_reg->index()]);
+ return intRegFile[phys_reg->index()];
}
- /** Reads a floating point register (double precision). */
- FloatReg readFloatReg(PhysRegIndex reg_idx)
+ RegVal
+ readFloatReg(PhysRegIdPtr phys_reg) const
{
- // Remove the base Float reg dependency.
- reg_idx = reg_idx - numPhysicalIntRegs;
+ assert(phys_reg->isFloatPhysReg());
+
+ RegVal floatRegBits = floatRegFile[phys_reg->index()];
- assert(reg_idx < numPhysicalFloatRegs + numPhysicalIntRegs);
+ DPRINTF(IEW, "RegFile: Access to float register %i as int, "
+ "has data %#x\n", phys_reg->index(), floatRegBits);
- FloatReg floatReg = floatRegFile[reg_idx].d;
+ return floatRegBits;
+ }
- DPRINTF(IEW, "RegFile: Access to float register %i, has "
- "data %#x\n", int(reg_idx), floatRegFile[reg_idx].q);
+ /** Reads a vector register. */
+ const VecRegContainer &
+ readVecReg(PhysRegIdPtr phys_reg) const
+ {
+ assert(phys_reg->isVectorPhysReg());
- return floatReg;
+ DPRINTF(IEW, "RegFile: Access to vector register %i, has "
+ "data %s\n", int(phys_reg->index()),
+ vectorRegFile[phys_reg->index()].print());
+
+ return vectorRegFile[phys_reg->index()];
}
- FloatRegBits readFloatRegBits(PhysRegIndex reg_idx)
+ /** Reads a vector register for modification. */
+ VecRegContainer &
+ getWritableVecReg(PhysRegIdPtr phys_reg)
{
- // Remove the base Float reg dependency.
- reg_idx = reg_idx - numPhysicalIntRegs;
+ /* const_cast for not duplicating code above. */
+ return const_cast<VecRegContainer&>(readVecReg(phys_reg));
+ }
- assert(reg_idx < numPhysicalFloatRegs + numPhysicalIntRegs);
+ /** Reads a vector register lane. */
+ template <typename VecElem, int LaneIdx>
+ VecLaneT<VecElem, true>
+ readVecLane(PhysRegIdPtr phys_reg) const
+ {
+ return readVecReg(phys_reg).laneView<VecElem, LaneIdx>();
+ }
- FloatRegBits floatRegBits = floatRegFile[reg_idx].q;
+ /** Reads a vector register lane. */
+ template <typename VecElem>
+ VecLaneT<VecElem, true>
+ readVecLane(PhysRegIdPtr phys_reg) const
+ {
+ return readVecReg(phys_reg).laneView<VecElem>(phys_reg->elemIndex());
+ }
- DPRINTF(IEW, "RegFile: Access to float register %i as int, "
- "has data %#x\n", int(reg_idx), (uint64_t)floatRegBits);
+ /** Get a vector register lane for modification. */
+ template <typename LD>
+ void
+ setVecLane(PhysRegIdPtr phys_reg, const LD& val)
+ {
+ assert(phys_reg->isVectorPhysReg());
- return floatRegBits;
+ DPRINTF(IEW, "RegFile: Setting vector register %i[%d] to %lx\n",
+ int(phys_reg->index()), phys_reg->elemIndex(), val);
+
+ vectorRegFile[phys_reg->index()].laneView<typename LD::UnderlyingType>(
+ phys_reg->elemIndex()) = val;
+ }
+
+ /** Reads a vector element. */
+ const VecElem &
+ readVecElem(PhysRegIdPtr phys_reg) const
+ {
+ assert(phys_reg->isVectorPhysElem());
+ auto ret = vectorRegFile[phys_reg->index()].as<VecElem>();
+ const VecElem& val = ret[phys_reg->elemIndex()];
+ DPRINTF(IEW, "RegFile: Access to element %d of vector register %i,"
+ " has data %#x\n", phys_reg->elemIndex(),
+ int(phys_reg->index()), val);
+
+ return val;
+ }
+
+ /** Reads a predicate register. */
+ const VecPredRegContainer& readVecPredReg(PhysRegIdPtr phys_reg) const
+ {
+ assert(phys_reg->isVecPredPhysReg());
+
+ DPRINTF(IEW, "RegFile: Access to predicate register %i, has "
+ "data %s\n", int(phys_reg->index()),
+ vecPredRegFile[phys_reg->index()].print());
+
+ return vecPredRegFile[phys_reg->index()];
+ }
+
+ VecPredRegContainer& getWritableVecPredReg(PhysRegIdPtr phys_reg)
+ {
+ /* const_cast for not duplicating code above. */
+ return const_cast<VecPredRegContainer&>(readVecPredReg(phys_reg));
+ }
+
+ /** Reads a condition-code register. */
+ CCReg
+ readCCReg(PhysRegIdPtr phys_reg)
+ {
+ assert(phys_reg->isCCPhysReg());
+
+ DPRINTF(IEW, "RegFile: Access to cc register %i, has "
+ "data %#x\n", phys_reg->index(),
+ ccRegFile[phys_reg->index()]);
+
+ return ccRegFile[phys_reg->index()];
}
/** Sets an integer register to the given value. */
- void setIntReg(PhysRegIndex reg_idx, uint64_t val)
+ void
+ setIntReg(PhysRegIdPtr phys_reg, RegVal val)
{
- assert(reg_idx < numPhysicalIntRegs);
+ assert(phys_reg->isIntPhysReg());
DPRINTF(IEW, "RegFile: Setting int register %i to %#x\n",
- int(reg_idx), val);
+ phys_reg->index(), val);
- if (reg_idx != TheISA::ZeroReg)
- intRegFile[reg_idx] = val;
+ if (!phys_reg->isZeroReg())
+ intRegFile[phys_reg->index()] = val;
}
- /** Sets a double precision floating point register to the given value. */
- void setFloatReg(PhysRegIndex reg_idx, FloatReg val)
+ void
+ setFloatReg(PhysRegIdPtr phys_reg, RegVal val)
{
- // Remove the base Float reg dependency.
- reg_idx = reg_idx - numPhysicalIntRegs;
-
- assert(reg_idx < numPhysicalFloatRegs);
+ assert(phys_reg->isFloatPhysReg());
DPRINTF(IEW, "RegFile: Setting float register %i to %#x\n",
- int(reg_idx), (uint64_t)val);
+ phys_reg->index(), (uint64_t)val);
-#if THE_ISA == ALPHA_ISA
- if (reg_idx != TheISA::ZeroReg)
-#endif
- floatRegFile[reg_idx].d = val;
+ if (!phys_reg->isZeroReg())
+ floatRegFile[phys_reg->index()] = val;
}
- void setFloatRegBits(PhysRegIndex reg_idx, FloatRegBits val)
+ /** Sets a vector register to the given value. */
+ void
+ setVecReg(PhysRegIdPtr phys_reg, const VecRegContainer& val)
{
- // Remove the base Float reg dependency.
- reg_idx = reg_idx - numPhysicalIntRegs;
+ assert(phys_reg->isVectorPhysReg());
- assert(reg_idx < numPhysicalFloatRegs);
+ DPRINTF(IEW, "RegFile: Setting vector register %i to %s\n",
+ int(phys_reg->index()), val.print());
- DPRINTF(IEW, "RegFile: Setting float register %i to %#x\n",
- int(reg_idx), (uint64_t)val);
+ vectorRegFile[phys_reg->index()] = val;
+ }
+
+ /** Sets a vector register to the given value. */
+ void
+ setVecElem(PhysRegIdPtr phys_reg, const VecElem val)
+ {
+ assert(phys_reg->isVectorPhysElem());
- floatRegFile[reg_idx].q = val;
+ DPRINTF(IEW, "RegFile: Setting element %d of vector register %i to"
+ " %#x\n", phys_reg->elemIndex(), int(phys_reg->index()), val);
+
+ vectorRegFile[phys_reg->index()].as<VecElem>()[phys_reg->elemIndex()] =
+ val;
}
- public:
- /** (signed) integer register file. */
- IntReg *intRegFile;
+ /** Sets a predicate register to the given value. */
+ void setVecPredReg(PhysRegIdPtr phys_reg, const VecPredRegContainer& val)
+ {
+ assert(phys_reg->isVecPredPhysReg());
- /** Floating point register file. */
- PhysFloatReg *floatRegFile;
+ DPRINTF(IEW, "RegFile: Setting predicate register %i to %s\n",
+ int(phys_reg->index()), val.print());
-#if FULL_SYSTEM
- private:
- int intrflag; // interrupt flag
-#endif
+ vecPredRegFile[phys_reg->index()] = val;
+ }
- private:
- /** CPU pointer. */
- O3CPU *cpu;
+ /** Sets a condition-code register to the given value. */
+ void
+ setCCReg(PhysRegIdPtr phys_reg, CCReg val)
+ {
+ assert(phys_reg->isCCPhysReg());
- public:
- /** Number of physical integer registers. */
- unsigned numPhysicalIntRegs;
- /** Number of physical floating point registers. */
- unsigned numPhysicalFloatRegs;
-};
+ DPRINTF(IEW, "RegFile: Setting cc register %i to %#x\n",
+ phys_reg->index(), (uint64_t)val);
-template <class Impl>
-PhysRegFile<Impl>::PhysRegFile(O3CPU *_cpu, unsigned _numPhysicalIntRegs,
- unsigned _numPhysicalFloatRegs)
- : cpu(_cpu), numPhysicalIntRegs(_numPhysicalIntRegs),
- numPhysicalFloatRegs(_numPhysicalFloatRegs)
-{
- intRegFile = new IntReg[numPhysicalIntRegs];
- floatRegFile = new PhysFloatReg[numPhysicalFloatRegs];
+ ccRegFile[phys_reg->index()] = val;
+ }
+
+ /** Get the PhysRegIds of the elems of a vector register.
+ * Auxiliary function to transition from Full vector mode to Elem mode.
+ */
+ IdRange getRegElemIds(PhysRegIdPtr reg);
+
+ /**
+ * Get the PhysRegIds of the elems of all vector registers.
+ * Auxiliary function to transition from Full vector mode to Elem mode
+ * and to initialise the rename map.
+ */
+ IdRange getRegIds(RegClass cls);
+
+ /**
+ * Get the true physical register id.
+ * As many parts work with PhysRegIdPtr, we need to be able to produce
+ * the pointer out of just class and register idx.
+ */
+ PhysRegIdPtr getTrueId(PhysRegIdPtr reg);
+};
- memset(intRegFile, 0, sizeof(IntReg) * numPhysicalIntRegs);
- memset(floatRegFile, 0, sizeof(PhysFloatReg) * numPhysicalFloatRegs);
-}
-#endif
+#endif //__CPU_O3_REGFILE_HH__