riscv/processor.h

   1 // See LICENSE for license details.
   2 #ifndef _RISCV_PROCESSOR_H
   3 #define _RISCV_PROCESSOR_H
   4
   5 #include "decode.h"
   6 #include "config.h"
   7 #include "devices.h"
   8 #include "trap.h"
   9 #include <string>
  10 #include <vector>
  11 #include <map>
  12 #include "debug_rom_defines.h"
  13
  14 class processor_t;
  15 class mmu_t;
  16 typedef reg_t (*insn_func_t)(processor_t*, insn_t, reg_t);
  17 class simif_t;
  18 class trap_t;
  19 class extension_t;
  20 class disassembler_t;
  21
  22 struct insn_desc_t
  23 {
  24   insn_bits_t match;
  25   insn_bits_t mask;
  26   insn_func_t rv32;
  27   insn_func_t rv64;
  28 };
  29
  30 struct commit_log_reg_t
  31 {
  32   reg_t addr;
  33   freg_t data;
  34 };
  35
  36 typedef struct
  37 {
  38   uint8_t prv;
  39   bool step;
  40   bool ebreakm;
  41   bool ebreakh;
  42   bool ebreaks;
  43   bool ebreaku;
  44   bool halt;
  45   uint8_t cause;
  46 } dcsr_t;
  47
  48 typedef enum
  49 {
  50   ACTION_DEBUG_EXCEPTION = MCONTROL_ACTION_DEBUG_EXCEPTION,
  51   ACTION_DEBUG_MODE = MCONTROL_ACTION_DEBUG_MODE,
  52   ACTION_TRACE_START = MCONTROL_ACTION_TRACE_START,
  53   ACTION_TRACE_STOP = MCONTROL_ACTION_TRACE_STOP,
  54   ACTION_TRACE_EMIT = MCONTROL_ACTION_TRACE_EMIT
  55 } mcontrol_action_t;
  56
  57 typedef enum
  58 {
  59   MATCH_EQUAL = MCONTROL_MATCH_EQUAL,
  60   MATCH_NAPOT = MCONTROL_MATCH_NAPOT,
  61   MATCH_GE = MCONTROL_MATCH_GE,
  62   MATCH_LT = MCONTROL_MATCH_LT,
  63   MATCH_MASK_LOW = MCONTROL_MATCH_MASK_LOW,
  64   MATCH_MASK_HIGH = MCONTROL_MATCH_MASK_HIGH
  65 } mcontrol_match_t;
  66
  67 typedef struct
  68 {
  69   uint8_t type;
  70   bool dmode;
  71   uint8_t maskmax;
  72   bool select;
  73   bool timing;
  74   mcontrol_action_t action;
  75   bool chain;
  76   mcontrol_match_t match;
  77   bool m;
  78   bool h;
  79   bool s;
  80   bool u;
  81   bool execute;
  82   bool store;
  83   bool load;
  84 } mcontrol_t;
  85
  86 // architectural state of a RISC-V hart
  87 struct state_t
  88 {
  89   void reset();
  90
  91   static const int num_triggers = 4;
  92
  93   reg_t pc;
  94   regfile_t<reg_t, NXPR, true> XPR;
  95   regfile_t<freg_t, NFPR, false> FPR;
  96
  97   // control and status registers
  98   reg_t prv;    // TODO: Can this be an enum instead?
  99   reg_t mstatus;
 100   reg_t mepc;
 101   reg_t mtval;
 102   reg_t mscratch;
 103   reg_t mtvec;
 104   reg_t mcause;
 105   reg_t minstret;
 106   reg_t mie;
 107   reg_t mip;
 108   reg_t medeleg;
 109   reg_t mideleg;
 110   uint32_t mcounteren;
 111   uint32_t scounteren;
 112   reg_t sepc;
 113   reg_t stval;
 114   reg_t sscratch;
 115   reg_t stvec;
 116   reg_t satp;
 117   reg_t scause;
 118   reg_t dpc;
 119   reg_t dscratch;
 120   dcsr_t dcsr;
 121   reg_t tselect;
 122   mcontrol_t mcontrol[num_triggers];
 123   reg_t tdata2[num_triggers];
 124
 125   uint32_t fflags;
 126   uint32_t frm;
 127   bool serialized; // whether timer CSRs are in a well-defined state
 128
 129   // When true, execute a single instruction and then enter debug mode.  This
 130   // can only be set by executing dret.
 131   enum {
 132       STEP_NONE,
 133       STEP_STEPPING,
 134       STEP_STEPPED
 135   } single_step;
 136
 137   reg_t load_reservation;
 138
 139 #ifdef RISCV_ENABLE_COMMITLOG
 140   commit_log_reg_t log_reg_write;
 141   reg_t last_inst_priv;
 142   int last_inst_xlen;
 143   int last_inst_flen;
 144 #endif
 145 };
 146
 147 typedef enum {
 148   OPERATION_EXECUTE,
 149   OPERATION_STORE,
 150   OPERATION_LOAD,
 151 } trigger_operation_t;
 152
 153 // Count number of contiguous 1 bits starting from the LSB.
 154 static int cto(reg_t val)
 155 {
 156   int res = 0;
 157   while ((val & 1) == 1)
 158     val >>= 1, res++;
 159   return res;
 160 }
 161
 162 // this class represents one processor in a RISC-V machine.
 163 class processor_t : public abstract_device_t
 164 {
 165 public:
 166   processor_t(const char* isa, simif_t* sim, uint32_t id, bool halt_on_reset=false);
 167   ~processor_t();
 168
 169   void set_debug(bool value);
 170   void set_histogram(bool value);
 171   void reset();
 172   void step(size_t n); // run for n cycles
 173   void set_csr(int which, reg_t val);
 174   reg_t get_csr(int which);
 175   mmu_t* get_mmu() { return mmu; }
 176   state_t* get_state() { return &state; }
 177   unsigned get_xlen() { return xlen; }
 178   unsigned get_max_xlen() { return max_xlen; }
 179   std::string get_isa_string() { return isa_string; }
 180   unsigned get_flen() {
 181     return supports_extension('Q') ? 128 :
 182            supports_extension('D') ? 64 :
 183            supports_extension('F') ? 32 : 0;
 184   }
 185   extension_t* get_extension() { return ext; }
 186   bool supports_extension(unsigned char ext) {
 187     if (ext >= 'a' && ext <= 'z') ext += 'A' - 'a';
 188     return ext >= 'A' && ext <= 'Z' && ((isa >> (ext - 'A')) & 1);
 189   }
 190   void check_pc_alignment(reg_t pc) {
 191     if (unlikely(pc & 2) && !supports_extension('C'))
 192       throw trap_instruction_address_misaligned(pc);
 193   }
 194   reg_t legalize_privilege(reg_t);
 195   void set_privilege(reg_t);
 196   void yield_load_reservation() { state.load_reservation = (reg_t)-1; }
 197   void update_histogram(reg_t pc);
 198   const disassembler_t* get_disassembler() { return disassembler; }
 199
 200   void register_insn(insn_desc_t);
 201   void register_extension(extension_t*);
 202
 203   // MMIO slave interface
 204   bool load(reg_t addr, size_t len, uint8_t* bytes);
 205   bool store(reg_t addr, size_t len, const uint8_t* bytes);
 206
 207   // When true, display disassembly of each instruction that's executed.
 208   bool debug;
 209   // When true, take the slow simulation path.
 210   bool slow_path();
 211   bool halted() { return state.dcsr.cause ? true : false; }
 212   bool halt_request;
 213
 214   // Return the index of a trigger that matched, or -1.
 215   inline int trigger_match(trigger_operation_t operation, reg_t address, reg_t data)
 216   {
 217     if (state.dcsr.cause)
 218       return -1;
 219
 220     bool chain_ok = true;
 221
 222     for (unsigned int i = 0; i < state.num_triggers; i++) {
 223       if (!chain_ok) {
 224         chain_ok |= !state.mcontrol[i].chain;
 225         continue;
 226       }
 227
 228       if ((operation == OPERATION_EXECUTE && !state.mcontrol[i].execute) ||
 229           (operation == OPERATION_STORE && !state.mcontrol[i].store) ||
 230           (operation == OPERATION_LOAD && !state.mcontrol[i].load) ||
 231           (state.prv == PRV_M && !state.mcontrol[i].m) ||
 232           (state.prv == PRV_S && !state.mcontrol[i].s) ||
 233           (state.prv == PRV_U && !state.mcontrol[i].u)) {
 234         continue;
 235       }
 236
 237       reg_t value;
 238       if (state.mcontrol[i].select) {
 239         value = data;
 240       } else {
 241         value = address;
 242       }
 243
 244       // We need this because in 32-bit mode sometimes the PC bits get sign
 245       // extended.
 246       if (xlen == 32) {
 247         value &= 0xffffffff;
 248       }
 249
 250       switch (state.mcontrol[i].match) {
 251         case MATCH_EQUAL:
 252           if (value != state.tdata2[i])
 253             continue;
 254           break;
 255         case MATCH_NAPOT:
 256           {
 257             reg_t mask = ~((1 << cto(state.tdata2[i])) - 1);
 258             if ((value & mask) != (state.tdata2[i] & mask))
 259               continue;
 260           }
 261           break;
 262         case MATCH_GE:
 263           if (value < state.tdata2[i])
 264             continue;
 265           break;
 266         case MATCH_LT:
 267           if (value >= state.tdata2[i])
 268             continue;
 269           break;
 270         case MATCH_MASK_LOW:
 271           {
 272             reg_t mask = state.tdata2[i] >> (xlen/2);
 273             if ((value & mask) != (state.tdata2[i] & mask))
 274               continue;
 275           }
 276           break;
 277         case MATCH_MASK_HIGH:
 278           {
 279             reg_t mask = state.tdata2[i] >> (xlen/2);
 280             if (((value >> (xlen/2)) & mask) != (state.tdata2[i] & mask))
 281               continue;
 282           }
 283           break;
 284       }
 285
 286       if (!state.mcontrol[i].chain) {
 287         return i;
 288       }
 289       chain_ok = true;
 290     }
 291     return -1;
 292   }
 293
 294   void trigger_updated();
 295
 296 private:
 297   simif_t* sim;
 298   mmu_t* mmu; // main memory is always accessed via the mmu
 299   extension_t* ext;
 300   disassembler_t* disassembler;
 301   state_t state;
 302   uint32_t id;
 303   unsigned max_xlen;
 304   unsigned xlen;
 305   reg_t isa;
 306   reg_t max_isa;
 307   std::string isa_string;
 308   bool histogram_enabled;
 309   bool halt_on_reset;
 310
 311   std::vector<insn_desc_t> instructions;
 312   std::map<reg_t,uint64_t> pc_histogram;
 313
 314   static const size_t OPCODE_CACHE_SIZE = 8191;
 315   insn_desc_t opcode_cache[OPCODE_CACHE_SIZE];
 316
 317   void take_pending_interrupt() { take_interrupt(state.mip & state.mie); }
 318   void take_interrupt(reg_t mask); // take first enabled interrupt in mask
 319   void take_trap(trap_t& t, reg_t epc); // take an exception
 320   void disasm(insn_t insn); // disassemble and print an instruction
 321   int paddr_bits();
 322
 323   void enter_debug_mode(uint8_t cause);
 324
 325   friend class mmu_t;
 326   friend class clint_t;
 327   friend class extension_t;
 328
 329   void parse_isa_string(const char* isa);
 330   void build_opcode_map();
 331   void register_base_instructions();
 332   insn_func_t decode_insn(insn_t insn);
 333
 334   // Track repeated executions for processor_t::disasm()
 335   uint64_t last_pc, last_bits, executions;
 336 };
 337
 338 reg_t illegal_instruction(processor_t* p, insn_t insn, reg_t pc);
 339
 340 #define REGISTER_INSN(proc, name, match, mask) \
 341   extern reg_t rv32_##name(processor_t*, insn_t, reg_t); \
 342   extern reg_t rv64_##name(processor_t*, insn_t, reg_t); \
 343   proc->register_insn((insn_desc_t){match, mask, rv32_##name, rv64_##name});
 344
 345 #endif