fix(mip): update mip.mtip when mtime > mtimecmp in CPU_XIANGSHAN

OpenXiangShan · Nov 4, 2024 · 4a9d068 · 4a9d068
1 parent 74f254c
commit 4a9d068
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 0 deletions.
diff --git a/difftest/difftest.cc b/difftest/difftest.cc
@@ -394,6 +394,11 @@ void DifftestRef::raise_intr(uint64_t no) {
   }
 }
 
+void DifftestRef::update_mip(void *non_reg_interrupt_pending) {
+  auto n = (DifftestNonRegInterruptPending *) non_reg_interrupt_pending;
+  state->mip->backdoor_write_with_mask(MIP_MTIP, n->platform_irp_mtip ? MIP_MTIP : 0);
+}
+
 void DifftestRef::display() {
     int i;
   for (i = 0; i < 32; i ++) {
@@ -600,4 +605,8 @@ void difftest_set_ramsize(size_t size) {
   overrided_mem_size = size;
 }
 
+void difftest_non_reg_interrupt_pending(void *non_reg_interrupt_pending) {
+  ref->update_mip(non_reg_interrupt_pending);
+}
+
 }
diff --git a/difftest/difftest.h b/difftest/difftest.h
@@ -118,6 +118,18 @@ class DifftestUarchStatus {
   uint64_t sc_failed = 0;
 };
 
+class DifftestNonRegInterruptPending {
+  public:
+    bool platform_irp_meip = false;
+    bool platform_irp_mtip = false;
+    bool platform_irp_msip = false;
+    bool platform_irp_seip = false;
+    bool platform_irp_stip = false;
+    bool platform_irp_vseip = false;
+    bool platform_irp_vstip = false;
+    bool lcofi_req = false;
+};
+
 class DifftestRef {
 public:
   DifftestRef();
@@ -131,6 +143,7 @@ class DifftestRef {
   int store_commit(uint64_t *addr, uint64_t *data, uint8_t *mask);
   void raise_intr(uint64_t no);
   void display();
+  void update_mip(void *non_reg_interrupt_pending);
   void update_dynamic_config(void* config) {
 #ifdef RISCV_ENABLE_COMMITLOG
   p->enable_log_commits();