|
| 1 | +#include <riscv/extension.h> |
| 2 | +#include <riscv/sim.h> |
| 3 | + |
| 4 | + |
| 5 | +class dummycsr_t: public csr_t { |
| 6 | + public: |
| 7 | + dummycsr_t(processor_t *proc, const reg_t addr): csr_t(proc, addr) {} |
| 8 | + |
| 9 | + reg_t read() const noexcept override { |
| 10 | + return 42; |
| 11 | + } |
| 12 | + |
| 13 | + void verify_permissions(insn_t insn, bool write) const override {} |
| 14 | + |
| 15 | + protected: |
| 16 | + bool unlogged_write(const reg_t val) noexcept override { |
| 17 | + return true; |
| 18 | + } |
| 19 | +}; |
| 20 | + |
| 21 | +// dummy extension with dummy CSRs. Nice. |
| 22 | +struct xdummycsr_t : public extension_t { |
| 23 | + const char *name() { return "dummycsr"; } |
| 24 | + |
| 25 | + xdummycsr_t() {} |
| 26 | + |
| 27 | + std::vector<insn_desc_t> get_instructions() override { |
| 28 | + return {}; |
| 29 | + } |
| 30 | + |
| 31 | + std::vector<disasm_insn_t *> get_disasms() override { |
| 32 | + return {}; |
| 33 | + } |
| 34 | + |
| 35 | + std::vector<csr_t_p> get_csrs(processor_t &proc) const override { |
| 36 | + return {std::make_shared<dummycsr_t>(&proc, /*Addr*/ 0xfff)}; |
| 37 | + } |
| 38 | +}; |
| 39 | + |
| 40 | +REGISTER_EXTENSION(dummycsr, []() { return new xdummycsr_t; }) |
| 41 | + |
| 42 | +// Copied from spike main. |
| 43 | +// TODO: This should really be provided in libriscv |
| 44 | +static std::vector<std::pair<reg_t, abstract_mem_t *>> |
| 45 | +make_mems(const std::vector<mem_cfg_t> &layout) { |
| 46 | + std::vector<std::pair<reg_t, abstract_mem_t *>> mems; |
| 47 | + mems.reserve(layout.size()); |
| 48 | + for (const auto &cfg : layout) { |
| 49 | + mems.push_back(std::make_pair(cfg.get_base(), new mem_t(cfg.get_size()))); |
| 50 | + } |
| 51 | + return mems; |
| 52 | +} |
| 53 | + |
| 54 | +int main(int argc, char **argv) { |
| 55 | + cfg_t cfg; |
| 56 | + cfg.isa = "RV64IMAFDCV_Zicsr_xdummycsr"; |
| 57 | + std::vector<device_factory_sargs_t> plugin_devices; |
| 58 | + if (argc != 3) { |
| 59 | + std::cerr << "Error: invalid arguments\n"; |
| 60 | + exit(1); |
| 61 | + } |
| 62 | + std::vector<std::string> htif_args{argv[1] /* pk */, argv[2] /* executable */}; |
| 63 | + debug_module_config_t dm_config = {.progbufsize = 2, |
| 64 | + .max_sba_data_width = 0, |
| 65 | + .require_authentication = false, |
| 66 | + .abstract_rti = 0, |
| 67 | + .support_hasel = true, |
| 68 | + .support_abstract_csr_access = true, |
| 69 | + .support_abstract_fpr_access = true, |
| 70 | + .support_haltgroups = true, |
| 71 | + .support_impebreak = true}; |
| 72 | + std::vector<std::pair<reg_t, abstract_mem_t *>> mems = |
| 73 | + make_mems(cfg.mem_layout); |
| 74 | + sim_t sim(&cfg, false, mems, plugin_devices, htif_args, dm_config, |
| 75 | + nullptr, // log_path |
| 76 | + true, // dtb_enabled |
| 77 | + nullptr, // dtb_file |
| 78 | + false, // socket_enabled |
| 79 | + nullptr); // cmd_file |
| 80 | + sim.run(); |
| 81 | +} |
0 commit comments