2018-11-24 20:29:24 +01:00
|
|
|
/*******************************************************************************
|
|
|
|
* Copyright (C) 2017, 2018 MINRES Technologies GmbH
|
|
|
|
* All rights reserved.
|
|
|
|
*
|
|
|
|
* Redistribution and use in source and binary forms, with or without
|
|
|
|
* modification, are permitted provided that the following conditions are met:
|
|
|
|
*
|
|
|
|
* 1. Redistributions of source code must retain the above copyright notice,
|
|
|
|
* this list of conditions and the following disclaimer.
|
|
|
|
*
|
|
|
|
* 2. 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.
|
|
|
|
*
|
|
|
|
* 3. Neither the name of the copyright holder 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 HOLDER 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.
|
|
|
|
*
|
|
|
|
*******************************************************************************/
|
|
|
|
|
2017-09-21 20:29:23 +02:00
|
|
|
|
2019-01-10 11:35:20 +01:00
|
|
|
#ifndef _RV64GC_H_
|
|
|
|
#define _RV64GC_H_
|
2017-09-21 20:29:23 +02:00
|
|
|
|
2018-11-24 20:29:24 +01:00
|
|
|
#include <array>
|
|
|
|
#include <iss/arch/traits.h>
|
2017-09-21 20:29:23 +02:00
|
|
|
#include <iss/arch_if.h>
|
|
|
|
#include <iss/vm_if.h>
|
|
|
|
|
|
|
|
namespace iss {
|
|
|
|
namespace arch {
|
|
|
|
|
2019-01-10 11:35:20 +01:00
|
|
|
struct rv64gc;
|
2017-10-22 19:29:37 +02:00
|
|
|
|
2019-01-10 11:35:20 +01:00
|
|
|
template <> struct traits<rv64gc> {
|
2017-10-22 19:29:37 +02:00
|
|
|
|
2019-01-10 11:35:20 +01:00
|
|
|
constexpr static char const* const core_type = "RV64GC";
|
2018-02-11 22:23:26 +01:00
|
|
|
|
2019-01-10 11:35:20 +01:00
|
|
|
static constexpr std::array<const char*, 66> reg_names{
|
|
|
|
{"x0", "x1", "x2", "x3", "x4", "x5", "x6", "x7", "x8", "x9", "x10", "x11", "x12", "x13", "x14", "x15", "x16", "x17", "x18", "x19", "x20", "x21", "x22", "x23", "x24", "x25", "x26", "x27", "x28", "x29", "x30", "x31", "pc", "f0", "f1", "f2", "f3", "f4", "f5", "f6", "f7", "f8", "f9", "f10", "f11", "f12", "f13", "f14", "f15", "f16", "f17", "f18", "f19", "f20", "f21", "f22", "f23", "f24", "f25", "f26", "f27", "f28", "f29", "f30", "f31", "fcsr"}};
|
2018-11-24 20:29:24 +01:00
|
|
|
|
2019-01-10 11:35:20 +01:00
|
|
|
static constexpr std::array<const char*, 66> reg_aliases{
|
|
|
|
{"zero", "ra", "sp", "gp", "tp", "t0", "t1", "t2", "s0", "s1", "a0", "a1", "a2", "a3", "a4", "a5", "a6", "a7", "s2", "s3", "s4", "s5", "s6", "s7", "s8", "s9", "s10", "s11", "t3", "t4", "t5", "t6", "pc", "f0", "f1", "f2", "f3", "f4", "f5", "f6", "f7", "f8", "f9", "f10", "f11", "f12", "f13", "f14", "f15", "f16", "f17", "f18", "f19", "f20", "f21", "f22", "f23", "f24", "f25", "f26", "f27", "f28", "f29", "f30", "f31", "fcsr"}};
|
2018-11-24 20:29:24 +01:00
|
|
|
|
2019-01-10 11:35:20 +01:00
|
|
|
enum constants {XLEN=64, FLEN=64, PCLEN=64, MISA_VAL=0b1000000000101000001000100101101, PGSIZE=0x1000, PGMASK=0xfff};
|
2017-09-21 20:29:23 +02:00
|
|
|
|
2019-01-10 11:35:20 +01:00
|
|
|
constexpr static unsigned FP_REGS_SIZE = 64;
|
2018-04-24 15:33:21 +02:00
|
|
|
|
2017-09-21 20:29:23 +02:00
|
|
|
enum reg_e {
|
|
|
|
X0,
|
|
|
|
X1,
|
|
|
|
X2,
|
|
|
|
X3,
|
|
|
|
X4,
|
|
|
|
X5,
|
|
|
|
X6,
|
|
|
|
X7,
|
|
|
|
X8,
|
|
|
|
X9,
|
|
|
|
X10,
|
|
|
|
X11,
|
|
|
|
X12,
|
|
|
|
X13,
|
|
|
|
X14,
|
|
|
|
X15,
|
|
|
|
X16,
|
|
|
|
X17,
|
|
|
|
X18,
|
|
|
|
X19,
|
|
|
|
X20,
|
|
|
|
X21,
|
|
|
|
X22,
|
|
|
|
X23,
|
|
|
|
X24,
|
|
|
|
X25,
|
|
|
|
X26,
|
|
|
|
X27,
|
|
|
|
X28,
|
|
|
|
X29,
|
|
|
|
X30,
|
|
|
|
X31,
|
|
|
|
PC,
|
2019-01-10 11:35:20 +01:00
|
|
|
F0,
|
|
|
|
F1,
|
|
|
|
F2,
|
|
|
|
F3,
|
|
|
|
F4,
|
|
|
|
F5,
|
|
|
|
F6,
|
|
|
|
F7,
|
|
|
|
F8,
|
|
|
|
F9,
|
|
|
|
F10,
|
|
|
|
F11,
|
|
|
|
F12,
|
|
|
|
F13,
|
|
|
|
F14,
|
|
|
|
F15,
|
|
|
|
F16,
|
|
|
|
F17,
|
|
|
|
F18,
|
|
|
|
F19,
|
|
|
|
F20,
|
|
|
|
F21,
|
|
|
|
F22,
|
|
|
|
F23,
|
|
|
|
F24,
|
|
|
|
F25,
|
|
|
|
F26,
|
|
|
|
F27,
|
|
|
|
F28,
|
|
|
|
F29,
|
|
|
|
F30,
|
|
|
|
F31,
|
|
|
|
FCSR,
|
2017-09-21 20:29:23 +02:00
|
|
|
NUM_REGS,
|
2017-10-22 19:29:37 +02:00
|
|
|
NEXT_PC=NUM_REGS,
|
2017-09-21 20:29:23 +02:00
|
|
|
TRAP_STATE,
|
|
|
|
PENDING_TRAP,
|
|
|
|
MACHINE_STATE,
|
2018-05-15 18:49:29 +02:00
|
|
|
LAST_BRANCH,
|
2018-11-24 20:29:24 +01:00
|
|
|
ICOUNT,
|
|
|
|
ZERO = X0,
|
|
|
|
RA = X1,
|
|
|
|
SP = X2,
|
|
|
|
GP = X3,
|
|
|
|
TP = X4,
|
|
|
|
T0 = X5,
|
|
|
|
T1 = X6,
|
|
|
|
T2 = X7,
|
|
|
|
S0 = X8,
|
|
|
|
S1 = X9,
|
|
|
|
A0 = X10,
|
|
|
|
A1 = X11,
|
|
|
|
A2 = X12,
|
|
|
|
A3 = X13,
|
|
|
|
A4 = X14,
|
|
|
|
A5 = X15,
|
|
|
|
A6 = X16,
|
|
|
|
A7 = X17,
|
|
|
|
S2 = X18,
|
|
|
|
S3 = X19,
|
|
|
|
S4 = X20,
|
|
|
|
S5 = X21,
|
|
|
|
S6 = X22,
|
|
|
|
S7 = X23,
|
|
|
|
S8 = X24,
|
|
|
|
S9 = X25,
|
|
|
|
S10 = X26,
|
|
|
|
S11 = X27,
|
|
|
|
T3 = X28,
|
|
|
|
T4 = X29,
|
|
|
|
T5 = X30,
|
|
|
|
T6 = X31
|
2017-09-21 20:29:23 +02:00
|
|
|
};
|
|
|
|
|
2017-09-26 17:10:10 +02:00
|
|
|
using reg_t = uint64_t;
|
2017-09-21 20:29:23 +02:00
|
|
|
|
2017-09-26 17:10:10 +02:00
|
|
|
using addr_t = uint64_t;
|
2017-09-21 20:29:23 +02:00
|
|
|
|
2017-10-22 19:29:37 +02:00
|
|
|
using code_word_t = uint64_t; //TODO: check removal
|
2017-09-21 20:29:23 +02:00
|
|
|
|
2017-12-15 14:13:22 +01:00
|
|
|
using virt_addr_t = iss::typed_addr_t<iss::address_type::VIRTUAL>;
|
2017-09-21 20:29:23 +02:00
|
|
|
|
2017-12-15 14:13:22 +01:00
|
|
|
using phys_addr_t = iss::typed_addr_t<iss::address_type::PHYSICAL>;
|
2017-09-21 20:29:23 +02:00
|
|
|
|
2019-01-10 11:35:20 +01:00
|
|
|
static constexpr std::array<const uint32_t, 72> reg_bit_widths{
|
|
|
|
{64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,32,64,32,32,32,32,64}};
|
2017-09-21 20:29:23 +02:00
|
|
|
|
2019-01-10 11:35:20 +01:00
|
|
|
static constexpr std::array<const uint32_t, 73> reg_byte_offsets{
|
|
|
|
{0,8,16,24,32,40,48,56,64,72,80,88,96,104,112,120,128,136,144,152,160,168,176,184,192,200,208,216,224,232,240,248,256,264,272,280,288,296,304,312,320,328,336,344,352,360,368,376,384,392,400,408,416,424,432,440,448,456,464,472,480,488,496,504,512,520,528,536,540,544,548,552,560}};
|
2017-09-21 20:29:23 +02:00
|
|
|
|
2017-12-15 14:13:22 +01:00
|
|
|
static const uint64_t addr_mask = (reg_t(1) << (XLEN - 1)) | ((reg_t(1) << (XLEN - 1)) - 1);
|
|
|
|
|
2018-11-24 20:29:24 +01:00
|
|
|
enum sreg_flag_e { FLAGS };
|
2017-10-22 19:29:37 +02:00
|
|
|
|
2018-11-24 20:29:24 +01:00
|
|
|
enum mem_type_e { MEM, CSR, FENCE, RES };
|
2017-09-21 20:29:23 +02:00
|
|
|
};
|
|
|
|
|
2019-01-10 11:35:20 +01:00
|
|
|
struct rv64gc: public arch_if {
|
2017-10-22 19:29:37 +02:00
|
|
|
|
2019-01-10 11:35:20 +01:00
|
|
|
using virt_addr_t = typename traits<rv64gc>::virt_addr_t;
|
|
|
|
using phys_addr_t = typename traits<rv64gc>::phys_addr_t;
|
|
|
|
using reg_t = typename traits<rv64gc>::reg_t;
|
|
|
|
using addr_t = typename traits<rv64gc>::addr_t;
|
2017-09-21 20:29:23 +02:00
|
|
|
|
2019-01-10 11:35:20 +01:00
|
|
|
rv64gc();
|
|
|
|
~rv64gc();
|
2017-09-21 20:29:23 +02:00
|
|
|
|
2017-10-22 19:29:37 +02:00
|
|
|
void reset(uint64_t address=0) override;
|
2017-09-21 20:29:23 +02:00
|
|
|
|
2017-10-22 19:29:37 +02:00
|
|
|
uint8_t* get_regs_base_ptr() override;
|
2017-09-21 20:29:23 +02:00
|
|
|
/// deprecated
|
2017-10-22 19:29:37 +02:00
|
|
|
void get_reg(short idx, std::vector<uint8_t>& value) override {}
|
|
|
|
void set_reg(short idx, const std::vector<uint8_t>& value) override {}
|
2017-09-21 20:29:23 +02:00
|
|
|
/// deprecated
|
2017-10-22 19:29:37 +02:00
|
|
|
bool get_flag(int flag) override {return false;}
|
|
|
|
void set_flag(int, bool value) override {};
|
2017-09-21 20:29:23 +02:00
|
|
|
/// deprecated
|
2017-10-22 19:29:37 +02:00
|
|
|
void update_flags(operations op, uint64_t opr1, uint64_t opr2) override {};
|
2017-09-21 20:29:23 +02:00
|
|
|
|
2018-11-08 13:31:28 +01:00
|
|
|
inline uint64_t get_icount() { return reg.icount; }
|
2017-09-21 20:29:23 +02:00
|
|
|
|
2018-11-08 13:31:28 +01:00
|
|
|
inline bool should_stop() { return interrupt_sim; }
|
2018-07-13 20:04:07 +02:00
|
|
|
|
2017-12-15 14:13:22 +01:00
|
|
|
inline phys_addr_t v2p(const iss::addr_t& addr){
|
2019-01-10 11:35:20 +01:00
|
|
|
if (addr.space != traits<rv64gc>::MEM || addr.type == iss::address_type::PHYSICAL ||
|
2018-11-24 20:29:24 +01:00
|
|
|
addr_mode[static_cast<uint16_t>(addr.access)&0x3]==address_type::PHYSICAL) {
|
2019-01-10 11:35:20 +01:00
|
|
|
return phys_addr_t(addr.access, addr.space, addr.val&traits<rv64gc>::addr_mask);
|
2017-12-15 14:13:22 +01:00
|
|
|
} else
|
|
|
|
return virt2phys(addr);
|
|
|
|
}
|
|
|
|
|
|
|
|
virtual phys_addr_t virt2phys(const iss::addr_t& addr);
|
2017-09-21 20:29:23 +02:00
|
|
|
|
2017-12-15 14:13:22 +01:00
|
|
|
virtual iss::sync_type needed_sync() const { return iss::NO_SYNC; }
|
2017-09-21 20:29:23 +02:00
|
|
|
|
2018-11-24 20:29:24 +01:00
|
|
|
inline uint32_t get_last_branch() { return reg.last_branch; }
|
2018-05-15 18:49:29 +02:00
|
|
|
|
2017-09-21 20:29:23 +02:00
|
|
|
protected:
|
2019-01-10 11:35:20 +01:00
|
|
|
struct RV64GC_regs {
|
2017-12-31 11:27:51 +01:00
|
|
|
uint64_t X0 = 0;
|
|
|
|
uint64_t X1 = 0;
|
|
|
|
uint64_t X2 = 0;
|
|
|
|
uint64_t X3 = 0;
|
|
|
|
uint64_t X4 = 0;
|
|
|
|
uint64_t X5 = 0;
|
|
|
|
uint64_t X6 = 0;
|
|
|
|
uint64_t X7 = 0;
|
|
|
|
uint64_t X8 = 0;
|
|
|
|
uint64_t X9 = 0;
|
|
|
|
uint64_t X10 = 0;
|
|
|
|
uint64_t X11 = 0;
|
|
|
|
uint64_t X12 = 0;
|
|
|
|
uint64_t X13 = 0;
|
|
|
|
uint64_t X14 = 0;
|
|
|
|
uint64_t X15 = 0;
|
|
|
|
uint64_t X16 = 0;
|
|
|
|
uint64_t X17 = 0;
|
|
|
|
uint64_t X18 = 0;
|
|
|
|
uint64_t X19 = 0;
|
|
|
|
uint64_t X20 = 0;
|
|
|
|
uint64_t X21 = 0;
|
|
|
|
uint64_t X22 = 0;
|
|
|
|
uint64_t X23 = 0;
|
|
|
|
uint64_t X24 = 0;
|
|
|
|
uint64_t X25 = 0;
|
|
|
|
uint64_t X26 = 0;
|
|
|
|
uint64_t X27 = 0;
|
|
|
|
uint64_t X28 = 0;
|
|
|
|
uint64_t X29 = 0;
|
|
|
|
uint64_t X30 = 0;
|
|
|
|
uint64_t X31 = 0;
|
|
|
|
uint64_t PC = 0;
|
2019-01-10 11:35:20 +01:00
|
|
|
uint64_t F0 = 0;
|
|
|
|
uint64_t F1 = 0;
|
|
|
|
uint64_t F2 = 0;
|
|
|
|
uint64_t F3 = 0;
|
|
|
|
uint64_t F4 = 0;
|
|
|
|
uint64_t F5 = 0;
|
|
|
|
uint64_t F6 = 0;
|
|
|
|
uint64_t F7 = 0;
|
|
|
|
uint64_t F8 = 0;
|
|
|
|
uint64_t F9 = 0;
|
|
|
|
uint64_t F10 = 0;
|
|
|
|
uint64_t F11 = 0;
|
|
|
|
uint64_t F12 = 0;
|
|
|
|
uint64_t F13 = 0;
|
|
|
|
uint64_t F14 = 0;
|
|
|
|
uint64_t F15 = 0;
|
|
|
|
uint64_t F16 = 0;
|
|
|
|
uint64_t F17 = 0;
|
|
|
|
uint64_t F18 = 0;
|
|
|
|
uint64_t F19 = 0;
|
|
|
|
uint64_t F20 = 0;
|
|
|
|
uint64_t F21 = 0;
|
|
|
|
uint64_t F22 = 0;
|
|
|
|
uint64_t F23 = 0;
|
|
|
|
uint64_t F24 = 0;
|
|
|
|
uint64_t F25 = 0;
|
|
|
|
uint64_t F26 = 0;
|
|
|
|
uint64_t F27 = 0;
|
|
|
|
uint64_t F28 = 0;
|
|
|
|
uint64_t F29 = 0;
|
|
|
|
uint64_t F30 = 0;
|
|
|
|
uint64_t F31 = 0;
|
|
|
|
uint32_t FCSR = 0;
|
2017-12-31 11:27:51 +01:00
|
|
|
uint64_t NEXT_PC = 0;
|
2018-05-15 18:49:29 +02:00
|
|
|
uint32_t trap_state = 0, pending_trap = 0, machine_state = 0, last_branch = 0;
|
2017-12-31 11:27:51 +01:00
|
|
|
uint64_t icount = 0;
|
2017-09-21 20:29:23 +02:00
|
|
|
} reg;
|
2017-12-15 14:13:22 +01:00
|
|
|
|
2018-02-06 12:34:34 +01:00
|
|
|
std::array<address_type, 4> addr_mode;
|
2018-04-24 11:05:11 +02:00
|
|
|
|
2018-11-08 13:31:28 +01:00
|
|
|
bool interrupt_sim=false;
|
2018-04-24 11:05:11 +02:00
|
|
|
|
2019-01-10 11:35:20 +01:00
|
|
|
uint32_t get_fcsr(){return reg.FCSR;}
|
|
|
|
void set_fcsr(uint32_t val){reg.FCSR = val;}
|
2017-12-31 11:27:51 +01:00
|
|
|
|
2017-09-21 20:29:23 +02:00
|
|
|
};
|
2017-10-22 19:29:37 +02:00
|
|
|
|
2017-09-21 20:29:23 +02:00
|
|
|
}
|
2017-10-22 19:29:37 +02:00
|
|
|
}
|
2019-01-10 11:35:20 +01:00
|
|
|
#endif /* _RV64GC_H_ */
|