#include "common.h"
#include "snapshot.h"
#include "VXSSimTop.h"

#if VM_TRACE
#include <verilated_vcd_c.h>	// Trace file format header
#endif

#define DIFFTEST_WIDTH 6
#define SNAPSHOT_INTERVAL 10 // unit: second

struct EmuArgs {
  uint32_t seed;
  uint64_t max_cycles;
  uint64_t log_begin, log_end;
  const char *image;
  const char *snapshot_path;

  EmuArgs() {
    seed = 0;
    max_cycles = -1;
    log_begin = 1;
    log_end = -1;
    snapshot_path = NULL;
    image = NULL;
  }
};

class Emulator {
  VXSSimTop *dut_ptr;
#if VM_TRACE
  VerilatedVcdC* tfp;
#endif
  VerilatedSaveMem snapshot_slot[2];

  // emu control variable
  uint64_t cycles;
  int hascommit;

  inline void read_emu_regs(uint64_t *r);
  inline void read_wb_info(uint64_t *wpc, uint64_t *wdata, uint32_t *wdst);
  inline void reset_ncycles(size_t cycles);
  inline void single_cycle();
  inline char* snapshot_filename(time_t t);
  void snapshot_save(const char *filename);
  void snapshot_load(const char *filename);

public:
  Emulator(EmuArgs &args);
  ~Emulator();
  uint64_t execute(uint64_t n);
  uint64_t get_cycles() const { return cycles; }
};