riscv/execute.cc

   1 // See LICENSE for license details.
   2
   3 #include "processor.h"
   4 #include "mmu.h"
   5 #include <cassert>
   6
   7
   8 static void commit_log_stash_privilege(state_t* state)
   9 {
  10 #ifdef RISCV_ENABLE_COMMITLOG
  11   state->last_inst_priv = state->prv;
  12 #endif
  13 }
  14
  15 static void commit_log_print_insn(state_t* state, reg_t pc, insn_t insn)
  16 {
  17 #ifdef RISCV_ENABLE_COMMITLOG
  18   int32_t priv = state->last_inst_priv;
  19   uint64_t mask = (insn.length() == 8 ? uint64_t(0) : (uint64_t(1) << (insn.length() * 8))) - 1;
  20   if (state->log_reg_write.addr) {
  21     fprintf(stderr, "%1d 0x%016" PRIx64 " (0x%08" PRIx64 ") %c%2" PRIu64 " 0x%016" PRIx64 "\n",
  22             priv,
  23             pc,
  24             insn.bits() & mask,
  25             state->log_reg_write.addr & 1 ? 'f' : 'x',
  26             state->log_reg_write.addr >> 1,
  27             state->log_reg_write.data);
  28   } else {
  29     fprintf(stderr, "%1d 0x%016" PRIx64 " (0x%08" PRIx64 ")\n", priv, pc, insn.bits() & mask);
  30   }
  31   state->log_reg_write.addr = 0;
  32 #endif
  33 }
  34
  35 inline void processor_t::update_histogram(reg_t pc)
  36 {
  37 #ifdef RISCV_ENABLE_HISTOGRAM
  38   pc_histogram[pc]++;
  39 #endif
  40 }
  41
  42 static reg_t execute_insn(processor_t* p, reg_t pc, insn_fetch_t fetch)
  43 {
  44   commit_log_stash_privilege(p->get_state());
  45   reg_t npc = fetch.func(p, fetch.insn, pc);
  46   if (!invalid_pc(npc)) {
  47     commit_log_print_insn(p->get_state(), pc, fetch.insn);
  48     p->update_histogram(pc);
  49   }
  50   return npc;
  51 }
  52
  53 // fetch/decode/execute loop
  54 void processor_t::step(size_t n)
  55 {
  56   // TODO: We should really not call this function at all when halted, to avoid
  57   // burning CPU.
  58   if (single_step) {
  59     halted = false;
  60     n = 1;
  61   }
  62
  63   while (run && !halted && n > 0) {
  64     size_t instret = 0;
  65     reg_t pc = state.pc;
  66     mmu_t* _mmu = mmu;
  67
  68     #define advance_pc() \
  69      if (unlikely(invalid_pc(pc))) { \
  70        switch (pc) { \
  71          case PC_SERIALIZE_BEFORE: state.serialized = true; break; \
  72          case PC_SERIALIZE_AFTER: instret++; break; \
  73          default: abort(); \
  74        } \
  75        pc = state.pc; \
  76        break; \
  77      } else { \
  78        state.pc = pc; \
  79        instret++; \
  80      }
  81
  82     try
  83     {
  84       take_interrupt();
  85
  86       if (unlikely(debug))
  87       {
  88         while (instret < n)
  89         {
  90           insn_fetch_t fetch = mmu->load_insn(pc);
  91           if (!state.serialized)
  92             disasm(fetch.insn);
  93           pc = execute_insn(this, pc, fetch);
  94           advance_pc();
  95         }
  96       }
  97       else while (instret < n)
  98       {
  99         size_t idx = _mmu->icache_index(pc);
 100         auto ic_entry = _mmu->access_icache(pc);
 101
 102         #define ICACHE_ACCESS(i) { \
 103           insn_fetch_t fetch = ic_entry->data; \
 104           ic_entry++; \
 105           pc = execute_insn(this, pc, fetch); \
 106           if (i == mmu_t::ICACHE_ENTRIES-1) break; \
 107           if (unlikely(ic_entry->tag != pc)) goto miss; \
 108           if (unlikely(instret+1 == n)) break; \
 109           instret++; \
 110           state.pc = pc; \
 111         }
 112
 113         switch (idx) {
 114           #include "icache.h"
 115         }
 116
 117         advance_pc();
 118         continue;
 119
 120 miss:
 121         advance_pc();
 122         // refill I$ if it looks like there wasn't a taken branch
 123         if (pc > (ic_entry-1)->tag && pc <= (ic_entry-1)->tag + MAX_INSN_LENGTH)
 124           _mmu->refill_icache(pc, ic_entry);
 125       }
 126     }
 127     catch(trap_t& t)
 128     {
 129       take_trap(t, pc);
 130       n = instret;
 131     }
 132
 133     state.minstret += instret;
 134     n -= instret;
 135   }
 136
 137   if (single_step) {
 138     single_step = false;
 139     halted = true;
 140   }
 141 }