riscv: [Patch 4/5] Added RISC-V atomic memory extension RV64A

Fourth of five patches adding RISC-V to GEM5. This patch adds the RV64A
extension, which includes atomic memory instructions. These instructions
atomically read a value from memory, modify it with a value contained in a
source register, and store the original memory value in the destination
register and modified value back into memory. Because this requires two
memory accesses and GEM5 does not support two timing memory accesses in
a single instruction, each of these instructions is split into two micro-
ops: A "load" micro-op, which reads the memory, and a "store" micro-op,
which modifies and writes it back.  Each atomic memory instruction also has
two bits that acquire and release a lock on its memory location.
Additionally, there are atomic load and store instructions that only either
load or store, but not both, and can acquire or release memory locks.

Note that because the current implementation of RISC-V only supports one
core and one thread, it doesn't make sense to make use of AMO instructions.
However, they do form a standard extension of the RISC-V ISA, so they are
included mostly as a placeholder for when multithreaded execution is
implemented.  As a result, any tests for their correctness in a future
patch may be abbreviated.

Patch 1 introduced RISC-V and implemented the base instruction set, RV64I;
patch 2 implemented the integer multiply extension, RV64M; and patch 3
implemented the single- and double-precision floating point extensions,
RV64FD.

Patch 5 will add support for timing, minor, and detailed CPU models that
isn't present in patches 1-4.

[Added missing file amo.isa]
[Replaced information removed from initial patch that was missed during
division into multiple patches.]
[Fixed some minor formatting issues.]
[Fixed oversight where LR and SC didn't have both AQ and RL flags.]
Signed-off by: Alec Roelke

Signed-off by: Jason Lowe-Power <jason@lowepower.com>

diff --git a/src/arch/riscv/isa/bitfields.isa b/src/arch/riscv/isa/bitfields.isa
index 0a0b99ba1160b6c95eb257b78d3d0c8e241e8a62..2889afff69e81a094e2a00c162aa92ae81fce0df 100644 (file)
--- a/src/arch/riscv/isa/bitfields.isa
+++ b/src/arch/riscv/isa/bitfields.isa
@@ -85,3 +85,8 @@ def bitfield FS3 <31:27>;
 def bitfield ROUND_MODE <14:12>;
 def bitfield CONV_SGN <24:20>;
 def bitfield FUNCT2 <26:25>;
+
+// AMO
+def bitfield AMOFUNCT <31:27>;
+def bitfield AQ <26>;
+def bitfield RL <25>;

diff --git a/src/arch/riscv/isa/decoder.isa b/src/arch/riscv/isa/decoder.isa
index 1b28ae1de0c29e7400ee23bdf5c5c3a13c73e16d..d98f946299e91edb97672980af5316b5215a1e01 100644 (file)
--- a/src/arch/riscv/isa/decoder.isa
+++ b/src/arch/riscv/isa/decoder.isa
@@ -166,6 +166,104 @@ decode OPCODE default Unknown::unknown() {
         }
     }
 
+    0x2f: decode FUNCT3 {
+        0x2: decode AMOFUNCT {
+            0x2: LoadReserved::lr_w({{
+                Rd_sd = Mem_sw;
+            }}, mem_flags=LLSC, aq=AQ, rl=RL);
+            0x3: StoreCond::sc_w({{
+                Mem_uw = Rs2_uw;
+            }}, {{
+                Rd = result;
+            }}, inst_flags=IsStoreConditional, mem_flags=LLSC, aq=AQ, rl=RL);
+            format AtomicMemOp {
+                0x0: amoadd_w({{Rt_sd = Mem_sw;}}, {{
+                    Mem_sw = Rs2_sw + Rt_sd;
+                    Rd_sd = Rt_sd;
+                }}, {{EA = Rs1;}});
+                0x1: amoswap_w({{Rt_sd = Mem_sw;}}, {{
+                    Mem_sw = Rs2_uw;
+                    Rd_sd = Rt_sd;
+                }}, {{EA = Rs1;}});
+                0x4: amoxor_w({{Rt_sd = Mem_sw;}}, {{
+                    Mem_sw = Rs2_uw^Rt_sd;
+                    Rd_sd = Rt_sd;
+                }}, {{EA = Rs1;}});
+                0x8: amoor_w({{Rt_sd = Mem_sw;}}, {{
+                    Mem_sw = Rs2_uw | Rt_sd;
+                    Rd_sd = Rt_sd;
+                }}, {{EA = Rs1;}});
+                0xc: amoand_w({{Rt_sd = Mem_sw;}}, {{
+                    Mem_sw = Rs2_uw&Rt_sd;
+                    Rd_sd = Rt_sd;
+                }}, {{EA = Rs1;}});
+                0x10: amomin_w({{Rt_sd = Mem_sw;}}, {{
+                    Mem_sw = std::min<int32_t>(Rs2_sw, Rt_sd);
+                    Rd_sd = Rt_sd;
+                }}, {{EA = Rs1;}});
+                0x14: amomax_w({{Rt_sd = Mem_sw;}}, {{
+                    Mem_sw = std::max<int32_t>(Rs2_sw, Rt_sd);
+                    Rd_sd = Rt_sd;
+                }}, {{EA = Rs1;}});
+                0x18: amominu_w({{Rt_sd = Mem_sw;}}, {{
+                    Mem_sw = std::min<uint32_t>(Rs2_uw, Rt_sd);
+                    Rd_sd = Rt_sd;
+                }}, {{EA = Rs1;}});
+                0x1c: amomaxu_w({{Rt_sd = Mem_sw;}}, {{
+                    Mem_sw = std::max<uint32_t>(Rs2_uw, Rt_sd);
+                    Rd_sd = Rt_sd;
+                }}, {{EA = Rs1;}});
+            }
+        }
+        0x3: decode AMOFUNCT {
+            0x2: LoadReserved::lr_d({{
+                Rd_sd = Mem_sd;
+            }}, aq=AQ, rl=RL);
+            0x3: StoreCond::sc_d({{
+                Mem = Rs2;
+            }}, {{
+                Rd = result;
+            }}, aq=AQ, rl=RL);
+            format AtomicMemOp {
+                0x0: amoadd_d({{Rt_sd = Mem_sd;}}, {{
+                    Mem_sd = Rs2_sd + Rt_sd;
+                    Rd_sd = Rt_sd;
+                }}, {{EA = Rs1;}});
+                0x1: amoswap_d({{Rt = Mem;}}, {{
+                    Mem = Rs2;
+                    Rd = Rt;
+                }}, {{EA = Rs1;}});
+                0x4: amoxor_d({{Rt = Mem;}}, {{
+                    Mem = Rs2^Rt;
+                    Rd = Rt;
+                }}, {{EA = Rs1;}});
+                0x8: amoor_d({{Rt = Mem;}}, {{
+                    Mem = Rs2 | Rt;
+                    Rd = Rt;
+                }}, {{EA = Rs1;}});
+                0xc: amoand_d({{Rt = Mem;}}, {{
+                    Mem = Rs2&Rt;
+                    Rd = Rt;
+                }}, {{EA = Rs1;}});
+                0x10: amomin_d({{Rt_sd = Mem_sd;}}, {{
+                    Mem_sd = std::min(Rs2_sd, Rt_sd);
+                    Rd_sd = Rt_sd;
+                }}, {{EA = Rs1;}});
+                0x14: amomax_d({{Rt_sd = Mem_sd;}}, {{
+                    Mem_sd = std::max(Rs2_sd, Rt_sd);
+                    Rd_sd = Rt_sd;
+                }}, {{EA = Rs1;}});
+                0x18: amominu_d({{Rt = Mem;}}, {{
+                    Mem = std::min(Rs2, Rt);
+                    Rd = Rt;
+                }}, {{EA = Rs1;}});
+                0x1c: amomaxu_d({{Rt = Mem;}}, {{
+                    Mem = std::max(Rs2, Rt);
+                    Rd = Rt;
+                }}, {{EA = Rs1;}});
+            }
+        }
+    }
     0x33: decode FUNCT3 {
         format ROp {
             0x0: decode FUNCT7 {

diff --git a/src/arch/riscv/isa/formats/amo.isa b/src/arch/riscv/isa/formats/amo.isa
new file mode 100644 (file)
index 0000000..b837cc9
--- /dev/null
+++ b/src/arch/riscv/isa/formats/amo.isa
@@ -0,0 +1,370 @@
+// -*- mode:c++ -*-
+
+// Copyright (c) 2015 Riscv Developers
+// Copyright (c) 2016 The University of Virginia
+// All rights reserved.
+//
+// Redistribution and use in source and binary forms, with or without
+// modification, are permitted provided that the following conditions are
+// met: redistributions of source code must retain the above copyright
+// notice, this list of conditions and the following disclaimer;
+// redistributions in binary form must reproduce the above copyright
+// notice, this list of conditions and the following disclaimer in the
+// documentation and/or other materials provided with the distribution;
+// neither the name of the copyright holders nor the names of its
+// contributors may be used to endorse or promote products derived from
+// this software without specific prior written permission.
+//
+// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+//
+// Authors: Alec Roelke
+
+////////////////////////////////////////////////////////////////////
+//
+// Atomic memory operation instructions
+//
+output header {{
+    class AtomicMemOp : public RiscvMacroInst
+    {
+    protected:
+        /// Constructor
+        // Each AtomicMemOp has a load and a store phase
+        AtomicMemOp(const char *mnem, ExtMachInst _machInst, OpClass __opClass)
+                : RiscvMacroInst(mnem, _machInst, __opClass)
+        {}
+
+        std::string generateDisassembly(Addr pc,
+            const SymbolTable *symtab) const;
+    };
+
+    class AtomicMemOpMicro : public RiscvMicroInst
+    {
+    protected:
+        /// Memory request flags.  See mem/request.hh.
+        Request::Flags memAccessFlags;
+
+        /// Constructor
+        AtomicMemOpMicro(const char *mnem, ExtMachInst _machInst,
+            OpClass __opClass)
+                : RiscvMicroInst(mnem, _machInst, __opClass)
+        {}
+
+        std::string generateDisassembly(Addr pc,
+            const SymbolTable *symtab) const;
+    };
+}};
+
+output decoder {{
+    std::string AtomicMemOp::generateDisassembly(Addr pc,
+        const SymbolTable *symtab) const
+    {
+        std::stringstream ss;
+        ss << csprintf("0x%08x", machInst) << ' ';
+        ss << mnemonic << ' ' << regName(_destRegIdx[0]) << ", "
+                << regName(_srcRegIdx[1]) << ", ("
+                << regName(_srcRegIdx[0]) << ')';
+        return ss.str();
+    }
+
+    std::string AtomicMemOpMicro::generateDisassembly(Addr pc,
+        const SymbolTable *symtab) const
+    {
+        std::stringstream ss;
+        ss << csprintf("0x%08x", machInst) << ' ' << mnemonic;
+        return ss.str();
+    }
+}};
+
+def template AtomicMemOpDeclare {{
+    /**
+     * Static instruction class for an AtomicMemOp operation
+     */
+    class %(class_name)s : public %(base_class)s
+    {
+      public:
+        // Constructor
+        %(class_name)s(ExtMachInst machInst);
+
+    protected:
+
+        class %(class_name)sLoad : public %(base_class)sMicro
+        {
+          public:
+            // Constructor
+            %(class_name)sLoad(ExtMachInst machInst, %(class_name)s *_p);
+
+            %(BasicExecDeclare)s
+
+            %(EACompDeclare)s
+
+            %(InitiateAccDeclare)s
+
+            %(CompleteAccDeclare)s
+        };
+
+        class %(class_name)sStore : public %(base_class)sMicro
+        {
+          public:
+            // Constructor
+            %(class_name)sStore(ExtMachInst machInst, %(class_name)s *_p);
+
+            %(BasicExecDeclare)s
+
+            %(EACompDeclare)s
+
+            %(InitiateAccDeclare)s
+
+            %(CompleteAccDeclare)s
+        };
+    };
+}};
+
+def template AtomicMemOpMacroConstructor {{
+    %(class_name)s::%(class_name)s(ExtMachInst machInst)
+            : %(base_class)s("%(mnemonic)s", machInst, %(op_class)s)
+    {
+        %(constructor)s;
+        microops = {new %(class_name)sLoad(machInst, this),
+            new %(class_name)sStore(machInst, this)};
+    }
+}};
+
+def template AtomicMemOpLoadConstructor {{
+    %(class_name)s::%(class_name)sLoad::%(class_name)sLoad(
+        ExtMachInst machInst, %(class_name)s *_p)
+            : %(base_class)s("%(mnemonic)s[l]", machInst, %(op_class)s)
+    {
+        %(constructor)s;
+        flags[IsFirstMicroop] = true;
+        flags[IsDelayedCommit] = true;
+        if (AQ)
+            memAccessFlags = Request::ACQUIRE;
+    }
+}};
+
+def template AtomicMemOpStoreConstructor {{
+    %(class_name)s::%(class_name)sStore::%(class_name)sStore(
+        ExtMachInst machInst, %(class_name)s *_p)
+            : %(base_class)s("%(mnemonic)s[s]", machInst, %(op_class)s)
+    {
+        %(constructor)s;
+        flags[IsLastMicroop] = true;
+        flags[IsNonSpeculative] = true;
+        if (RL)
+            memAccessFlags = Request::RELEASE;
+    }
+}};
+
+def template AtomicMemOpMacroDecode {{
+    return new %(class_name)s(machInst);
+}};
+
+def template AtomicMemOpLoadExecute {{
+    Fault %(class_name)s::%(class_name)sLoad::execute(CPU_EXEC_CONTEXT *xc,
+        Trace::InstRecord *traceData) const
+    {
+        Addr EA;
+        Fault fault = NoFault;
+
+        %(op_decl)s;
+        %(op_rd)s;
+        %(ea_code)s;
+
+        if (fault == NoFault) {
+            fault = readMemAtomic(xc, traceData, EA, Mem, memAccessFlags);
+        }
+
+        if (fault == NoFault) {
+            %(code)s;
+        }
+
+        if (fault == NoFault) {
+            %(op_wb)s;
+        }
+
+        return fault;
+    }
+}};
+
+def template AtomicMemOpStoreExecute {{
+    Fault %(class_name)s::%(class_name)sStore::execute(CPU_EXEC_CONTEXT *xc,
+        Trace::InstRecord *traceData) const
+    {
+        Addr EA;
+        Fault fault = NoFault;
+
+        %(op_decl)s;
+        %(op_rd)s;
+        %(ea_code)s;
+
+        if (fault == NoFault) {
+            %(code)s;
+        }
+
+        if (fault == NoFault) {
+            fault = writeMemAtomic(xc, traceData, Mem, EA, memAccessFlags,
+                nullptr);
+        }
+
+        if (fault == NoFault) {
+            %(op_wb)s;
+        }
+
+        return fault;
+    }
+}};
+
+def template AtomicMemOpLoadEACompExecute {{
+    Fault %(class_name)s::%(class_name)sLoad::eaComp(CPU_EXEC_CONTEXT *xc,
+        Trace::InstRecord *traceData) const
+    {
+        Addr EA;
+        Fault fault = NoFault;
+
+        %(op_decl)s;
+        %(op_rd)s;
+        %(ea_code)s;
+
+        if (fault == NoFault) {
+            %(op_wb)s;
+            xc->setEA(EA);
+        }
+
+        return fault;
+    }
+}};
+
+def template AtomicMemOpStoreEACompExecute {{
+    Fault %(class_name)s::%(class_name)sStore::eaComp(CPU_EXEC_CONTEXT *xc,
+        Trace::InstRecord *traceData) const
+    {
+        Addr EA;
+        Fault fault = NoFault;
+
+        %(op_decl)s;
+        %(op_rd)s;
+        %(ea_code)s;
+
+        if (fault == NoFault) {
+            %(op_wb)s;
+            xc->setEA(EA);
+        }
+
+        return fault;
+    }
+}};
+
+def template AtomicMemOpLoadInitiateAcc {{
+    Fault %(class_name)s::%(class_name)sLoad::initiateAcc(CPU_EXEC_CONTEXT *xc,
+        Trace::InstRecord *traceData) const
+    {
+        Addr EA;
+        Fault fault = NoFault;
+
+        %(op_src_decl)s;
+        %(op_rd)s;
+        %(ea_code)s;
+
+        if (fault == NoFault) {
+            fault = initiateMemRead(xc, traceData, EA, Mem, memAccessFlags);
+        }
+
+        return fault;
+    }
+}};
+
+def template AtomicMemOpStoreInitiateAcc {{
+    Fault %(class_name)s::%(class_name)sStore::initiateAcc(
+        CPU_EXEC_CONTEXT *xc, Trace::InstRecord *traceData) const
+    {
+        Addr EA;
+        Fault fault = NoFault;
+
+        %(op_decl)s;
+        %(op_rd)s;
+        %(ea_code)s;
+
+        if (fault == NoFault) {
+            %(code)s;
+        }
+
+        if (fault == NoFault) {
+            fault = writeMemTiming(xc, traceData, Mem, EA, memAccessFlags,
+                nullptr);
+        }
+
+        if (fault == NoFault) {
+            %(op_wb)s;
+        }
+
+        return fault;
+    }
+}};
+
+def template AtomicMemOpLoadCompleteAcc {{
+    Fault %(class_name)s::%(class_name)sLoad::completeAcc(PacketPtr pkt,
+        CPU_EXEC_CONTEXT *xc, Trace::InstRecord *traceData) const
+    {
+        Fault fault = NoFault;
+
+        %(op_decl)s;
+        %(op_rd)s;
+
+        getMem(pkt, Mem, traceData);
+
+        if (fault == NoFault) {
+            %(code)s;
+        }
+
+        if (fault == NoFault) {
+            %(op_wb)s;
+        }
+
+        return fault;
+    }
+}};
+
+def template AtomicMemOpStoreCompleteAcc {{
+    Fault %(class_name)s::%(class_name)sStore::completeAcc(PacketPtr pkt,
+        CPU_EXEC_CONTEXT *xc, Trace::InstRecord *traceData) const
+    {
+        return NoFault;
+    }
+}};
+
+def format AtomicMemOp(load_code, store_code, ea_code, load_flags=[],
+        store_flags=[], inst_flags=[]) {{
+    macro_iop = InstObjParams(name, Name, 'AtomicMemOp', ea_code, inst_flags)
+    header_output = AtomicMemOpDeclare.subst(macro_iop)
+    decoder_output = AtomicMemOpMacroConstructor.subst(macro_iop)
+    decode_block = AtomicMemOpMacroDecode.subst(macro_iop)
+    exec_output = ''
+
+    load_inst_flags = makeList(inst_flags) + ["IsMemRef", "IsLoad"]
+    load_iop = InstObjParams(name, Name, 'AtomicMemOpMicro',
+        {'ea_code': ea_code, 'code': load_code}, load_inst_flags)
+    decoder_output += AtomicMemOpLoadConstructor.subst(load_iop)
+    exec_output += AtomicMemOpLoadExecute.subst(load_iop) \
+        + AtomicMemOpLoadEACompExecute.subst(load_iop) \
+        + AtomicMemOpLoadInitiateAcc.subst(load_iop) \
+        + AtomicMemOpLoadCompleteAcc.subst(load_iop)
+
+    store_inst_flags = makeList(inst_flags) + ["IsMemRef", "IsStore"]
+    store_iop = InstObjParams(name, Name, 'AtomicMemOpMicro',
+        {'ea_code': ea_code, 'code': store_code}, store_inst_flags)
+    decoder_output += AtomicMemOpStoreConstructor.subst(store_iop)
+    exec_output += AtomicMemOpStoreExecute.subst(store_iop) \
+        + AtomicMemOpStoreEACompExecute.subst(store_iop) \
+        + AtomicMemOpStoreInitiateAcc.subst(store_iop) \
+        + AtomicMemOpStoreCompleteAcc.subst(store_iop)
+}};

diff --git a/src/arch/riscv/isa/formats/formats.isa b/src/arch/riscv/isa/formats/formats.isa
index 7e4dc6ef013eb4e61ff12eab508d76cb0aab8e48..bae3c82ce41bde763f21738a20108cc12e27741e 100644 (file)
--- a/src/arch/riscv/isa/formats/formats.isa
+++ b/src/arch/riscv/isa/formats/formats.isa
@@ -37,7 +37,7 @@
 ##include "type.isa"
 ##include "mem.isa"
 ##include "fp.isa"
+##include "amo.isa"
 
 // Include the unknown
 ##include "unknown.isa"
-

diff --git a/src/arch/riscv/isa/formats/mem.isa b/src/arch/riscv/isa/formats/mem.isa
index 2a00850a27cd1aca0db939813e2e3460d41dfe2e..bea649c0457f20a5623b09f1efce07df2d43fa28 100644 (file)
--- a/src/arch/riscv/isa/formats/mem.isa
+++ b/src/arch/riscv/isa/formats/mem.isa
@@ -186,6 +186,10 @@ def LoadStoreBase(name, Name, ea_code, memacc_code, mem_flags, inst_flags,
 
     # select templates
 
+    # The InitiateAcc template is the same for StoreCond templates as the
+    # corresponding Store template..
+    StoreCondInitiateAcc = StoreInitiateAcc
+
     fullExecTemplate = eval(exec_template_base + 'Execute')
     initiateAccTemplate = eval(exec_template_base + 'InitiateAcc')
     completeAccTemplate = eval(exec_template_base + 'CompleteAcc')
@@ -340,6 +344,61 @@ def template StoreCompleteAcc {{
     }
 }};
 
+def template StoreCondExecute {{
+    Fault %(class_name)s::execute(CPU_EXEC_CONTEXT *xc,
+        Trace::InstRecord *traceData) const
+    {
+        Addr EA;
+        Fault fault = NoFault;
+        uint64_t result;
+
+        %(op_decl)s;
+        %(op_rd)s;
+        %(ea_code)s;
+
+        if (fault == NoFault) {
+            %(memacc_code)s;
+        }
+
+        if (fault == NoFault) {
+            fault = writeMemAtomic(xc, traceData, Mem, EA, memAccessFlags,
+                &result);
+        }
+
+        if (fault == NoFault) {
+            %(postacc_code)s;
+        }
+
+        if (fault == NoFault) {
+            %(op_wb)s;
+        }
+
+        return fault;
+    }
+}};
+
+def template StoreCondCompleteAcc {{
+    Fault %(class_name)s::completeAcc(Packet *pkt, CPU_EXEC_CONTEXT *xc,
+        Trace::InstRecord *traceData) const
+    {
+        Fault fault = NoFault;
+
+        %(op_dest_decl)s;
+
+        uint64_t result = pkt->req->getExtraData();
+
+        if (fault == NoFault) {
+            %(postacc_code)s;
+        }
+
+        if (fault == NoFault) {
+            %(op_wb)s;
+        }
+
+        return fault;
+    }
+}};
+
 def format Load(memacc_code, ea_code = {{EA = Rs1 + ldisp;}}, mem_flags=[],
         inst_flags=[]) {{
     (header_output, decoder_output, decode_block, exec_output) = \
@@ -353,3 +412,25 @@ def format Store(memacc_code, ea_code={{EA = Rs1 + sdisp;}}, mem_flags=[],
         LoadStoreBase(name, Name, ea_code, memacc_code, mem_flags, inst_flags,
         'Store', exec_template_base='Store')
 }};
+
+def format StoreCond(memacc_code, postacc_code, ea_code={{EA = Rs1;}},
+        mem_flags=[], inst_flags=[], aq=0, rl=0) {{
+    if aq:
+        mem_flags = makeList(mem_flags) + ["ACQUIRE"]
+    if rl:
+        mem_flags = makeList(mem_flags) + ["RELEASE"]
+    (header_output, decoder_output, decode_block, exec_output) = LoadStoreBase(
+            name, Name, ea_code, memacc_code, mem_flags, inst_flags, 'Store',
+            postacc_code, exec_template_base='StoreCond')
+}};
+
+def format LoadReserved(memacc_code, ea_code={{EA = Rs1;}}, mem_flags=[],
+        inst_flags=[], aq=0, rl=0) {{
+    if aq:
+        mem_flags = makeList(mem_flags) + ["ACQUIRE"]
+    if rl:
+        mem_flags = makeList(mem_flags) + ["RELEASE"]
+    (header_output, decoder_output, decode_block, exec_output) = LoadStoreBase(
+            name, Name, ea_code, memacc_code, mem_flags, inst_flags, 'Load',
+            exec_template_base='Load')
+}};

diff --git a/src/arch/riscv/isa/main.isa b/src/arch/riscv/isa/main.isa
index 2bbfa574da38b9bf4b5870e3ebd604c1c3e21625..58ec2234118d1cc640a2223d8392dcfee70340a1 100644 (file)
--- a/src/arch/riscv/isa/main.isa
+++ b/src/arch/riscv/isa/main.isa
@@ -56,6 +56,9 @@ namespace RiscvISA;
 //Include the base class for riscv instructions, and some support code
 ##include "base.isa"
 
+// Include the base class for instructions with micro code
+##include "micro.isa"
+
 //Include the definitions for the instruction formats
 ##include "formats/formats.isa"
 

diff --git a/src/arch/riscv/isa/micro.isa b/src/arch/riscv/isa/micro.isa
new file mode 100644 (file)
index 0000000..bd9102d
--- /dev/null
+++ b/src/arch/riscv/isa/micro.isa
@@ -0,0 +1,115 @@
+// -*- mode:c++ -*-
+
+// Copyright (c) 2015 Riscv Developers
+// Copyright (c) 2016 The University of Virginia
+// All rights reserved.
+//
+// Redistribution and use in source and binary forms, with or without
+// modification, are permitted provided that the following conditions are
+// met: redistributions of source code must retain the above copyright
+// notice, this list of conditions and the following disclaimer;
+// redistributions in binary form must reproduce the above copyright
+// notice, this list of conditions and the following disclaimer in the
+// documentation and/or other materials provided with the distribution;
+// neither the name of the copyright holders nor the names of its
+// contributors may be used to endorse or promote products derived from
+// this software without specific prior written permission.
+//
+// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+//
+// Authors: Alec Roelke
+
+def template MacroInitiateAcc {{
+    Fault initiateAcc(%(CPU_exec_context)s *xc,
+        Trace::InstRecord *traceData) const
+    {
+        panic("Tried to execute a macroop directly!\n");
+        return NoFault;
+    }
+}};
+
+def template MacroCompleteAcc {{
+    Fault completeAcc(PacketPtr pkt, %(CPU_exec_context)s *xc,
+        Trace::InstRecord *traceData) const
+    {
+        panic("Tried to execute a macroop directly!\n");
+        return NoFault;
+    }
+}};
+
+def template MacroExecute {{
+    Fault execute(%(CPU_exec_context)s *xc, Trace::InstRecord *traceData) const
+    {
+        panic("Tried to execute a macroop directly!\n");
+        return NoFault;
+    }
+}};
+
+output header {{
+    /**
+     * Base class for all RISC-V Macroops
+     */
+    class RiscvMacroInst : public RiscvStaticInst
+    {
+    protected:
+        std::vector<StaticInstPtr> microops;
+
+        // Constructor
+        RiscvMacroInst(const char *mnem, ExtMachInst _machInst,
+            OpClass __opClass)
+                : RiscvStaticInst(mnem, _machInst, __opClass)
+        {
+            flags[IsMacroop] = true;
+        }
+
+        ~RiscvMacroInst()
+        {
+            microops.clear();
+        }
+
+        StaticInstPtr fetchMicroop(MicroPC upc) const
+        {
+            return microops[upc];
+        }
+
+        %(MacroInitiateAcc)s
+
+        %(MacroCompleteAcc)s
+
+        %(MacroExecute)s
+    };
+
+    /**
+     * Base class for all RISC-V Microops
+     */
+    class RiscvMicroInst : public RiscvStaticInst
+    {
+    protected:
+        // Constructor
+        RiscvMicroInst(const char *mnem, ExtMachInst _machInst,
+            OpClass __opClass)
+                : RiscvStaticInst(mnem, _machInst, __opClass)
+        {
+            flags[IsMicroop] = true;
+        }
+
+        void advancePC(RiscvISA::PCState &pcState) const
+        {
+            if (flags[IsLastMicroop]) {
+                pcState.uEnd();
+            } else {
+                pcState.uAdvance();
+            }
+        }
+    };
+}};

diff --git a/src/arch/riscv/isa/operands.isa b/src/arch/riscv/isa/operands.isa
index 5e79717e796f520ec8868e1a80c7d84cd19f6c0a..7a8385d0c6bfd300b50bd7b27a29bd1d3ec26c42 100644 (file)
--- a/src/arch/riscv/isa/operands.isa
+++ b/src/arch/riscv/isa/operands.isa
@@ -48,6 +48,7 @@ def operands {{
     'Rd': ('IntReg', 'ud', 'RD', 'IsInteger', 1),
     'Rs1': ('IntReg', 'ud', 'RS1', 'IsInteger', 2),
     'Rs2': ('IntReg', 'ud', 'RS2', 'IsInteger', 3),
+    'Rt': ('IntReg', 'ud', 'AMOTempReg', 'IsInteger', 4),
 
     'Fd': ('FloatReg', 'df', 'FD', 'IsFloating', 1),
     'Fd_bits': ('FloatReg', 'ud', 'FD', 'IsFloating', 1),

diff --git a/src/arch/riscv/registers.hh b/src/arch/riscv/registers.hh
index cf23c18dfe659c5adfd7d24d53da8eaa9379722b..d8977030d7e514b19c574fb33e3b883c1692b6f8 100644 (file)
--- a/src/arch/riscv/registers.hh
+++ b/src/arch/riscv/registers.hh
@@ -68,7 +68,8 @@ typedef uint8_t CCReg; // Not applicable to Riscv
 typedef uint64_t MiscReg;
 
 const int NumIntArchRegs = 32;
-const int NumIntRegs = NumIntArchRegs;
+const int NumMicroIntRegs = 1;
+const int NumIntRegs = NumIntArchRegs + NumMicroIntRegs;
 const int NumFloatRegs = 32;
 const int NumCCRegs = 0;
 const int NumMiscRegs = 4096;
@@ -79,7 +80,6 @@ const int CC_Reg_Base = FP_Reg_Base + NumFloatRegs;
 const int Misc_Reg_Base = CC_Reg_Base + NumCCRegs;
 const int Max_Reg_Index = Misc_Reg_Base + NumMiscRegs;
 
-
 // Semantically meaningful register indices
 const int ZeroReg = 0;
 const int ReturnAddrReg = 1;
@@ -90,6 +90,7 @@ const int FramePointerReg = 8;
 const int ReturnValueRegs[] = {10, 11};
 const int ReturnValueReg = ReturnValueRegs[0];
 const int ArgumentRegs[] = {10, 11, 12, 13, 14, 15, 16, 17};
+const int AMOTempReg = 32;
 
 const char* const RegisterNames[] = {"zero", "ra", "sp", "gp",
     "tp", "t0", "t1", "t2",

diff --git a/src/arch/riscv/types.hh b/src/arch/riscv/types.hh
index 80f3c86526d6da2a26c063f061878ae25e0f47a1..976a9e70e1f51a3774182e2bc0e82c503e58f009 100644 (file)
--- a/src/arch/riscv/types.hh
+++ b/src/arch/riscv/types.hh
@@ -12,6 +12,9 @@
  * unmodified and in its entirety in all distributions of the software,
  * modified or unmodified, in source code or in binary form.
  *
+ * Copyright (c) 2016 The University of Virginia
+ * All rights reserved.
+ *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met: redistributions of source code must retain the above copyright
@@ -37,6 +40,7 @@
  *
  * Authors: Andreas Hansson
  *          Sven Karlsson
+ *          Alec Roelke
  */
 
 #ifndef __ARCH_RISCV_TYPES_HH__
@@ -49,7 +53,7 @@ namespace RiscvISA
 typedef uint32_t MachInst;
 typedef uint64_t ExtMachInst;
 
-typedef GenericISA::SimplePCState<MachInst> PCState;
+typedef GenericISA::UPCState<MachInst> PCState;
 }