From 56ccd13b26f05eca1f3756a0df20b1f69b2c2109 Mon Sep 17 00:00:00 2001
From: Yinan Xu <xuyinan1997@gmail.com>
Date: Sun, 20 Dec 2020 23:21:51 +0800
Subject: [PATCH] difftest: skip amo store

---
 src/memory/paddr.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/memory/paddr.c b/src/memory/paddr.c
index 9e27ab22..e55de946 100644
--- a/src/memory/paddr.c
+++ b/src/memory/paddr.c
@@ -155,6 +155,9 @@ store_commit_t store_commit_queue[STORE_QUEUE_SIZE];
 static uint64_t head = 0, tail = 0;
 
 void store_commit_queue_push(uint64_t addr, uint64_t data, int len) {
+  if (cpu.amo) {
+    return;
+  }
   store_commit_t *commit = store_commit_queue + tail;
   assert(!commit->valid);
   uint64_t offset = addr % 8ULL;
-- 
GitLab