From 468bc2736ae82688eadc048e16ac6d01aa9ff78f Mon Sep 17 00:00:00 2001
From: Prashanth Mundkur
Date: Mon, 29 Jan 2018 09:38:04 -0800
Subject: Add a fixme for unhandled fences but allow them to execute.

---
 riscv/riscv.sail | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/riscv/riscv.sail b/riscv/riscv.sail
index 9ef2365d..9ec5734e 100644
--- a/riscv/riscv.sail
+++ b/riscv/riscv.sail
@@ -259,7 +259,8 @@ function clause execute (FENCE(pred, succ)) = {
     (0b0010, 0b0010) => MEM_fence_r_r(),
     (0b0011, 0b0001) => MEM_fence_rw_w(),
     (0b0001, 0b0001) => MEM_fence_w_w(),
-    _ => not_implemented("unsupported fence")
+    _ => { print("FIXME: unsupported fence");
+           () }
   }
 }
 
-- 
cgit v1.2.3