Difftest: add lrAddr into snapshot

chenguokai · Jul 15, 2021 · 99cf3c8 · 99cf3c8
1 parent 67bab4f
commit 99cf3c8
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/lib-include/difftest.h b/lib-include/difftest.h
@@ -28,6 +28,7 @@ enum { DIFFTEST_TO_DUT, DIFFTEST_TO_REF };
 #ifdef RV64_UARCH_SYNC
 struct SyncState {
   uint64_t lrscValid;
+  uint64_t lrscAddr;
 };
 #endif
 

diff --git a/src/isa/riscv64/difftest/ref.c b/src/isa/riscv64/difftest/ref.c
@@ -67,9 +67,15 @@ void isa_difftest_csrcpy(void *dut, bool direction) {
 }
 
 void isa_difftest_uarchstatus_cpy(void *dut, bool direction) {
-  // TODO
   if (direction == DIFFTEST_TO_REF) {
+    struct SyncState* ms = (struct SyncState*)dut;
+    cpu.lr_valid = ms->lrscValid;
+    cpu.lr_addr = ms->lrscAddr;
   } else {
+    struct SyncState ms;
+    ms.lrscValid = cpu.lr_valid;
+    ms.lrscAddr = cpu.lr_addr;
+    memcpy(dut, &ms, sizeof(struct SyncState));
   }
 }