From 75022d46352525305b4c06b4988bf2df15f9f29e Mon Sep 17 00:00:00 2001
From: Shaked Flur
Date: Sun, 3 Sep 2017 15:05:23 +0100
Subject: added RISC-V strong-acquire/release

---
 src/gen_lib/sail_values.lem | 3 +++
 src/gen_lib/state.lem       | 2 ++
 2 files changed, 5 insertions(+)

(limited to 'src/gen_lib')

diff --git a/src/gen_lib/sail_values.lem b/src/gen_lib/sail_values.lem
index 49f37381..121f6cc8 100644
--- a/src/gen_lib/sail_values.lem
+++ b/src/gen_lib/sail_values.lem
@@ -956,3 +956,6 @@ let diafp_to_dia reginfo = function
   | DIAFP_concrete v -> DIA_concrete_address (address_of_bitv v)
   | DIAFP_reg r -> DIA_register (regfp_to_reg reginfo r)
 end
+
+let max = uncurry max
+let min = uncurry min
diff --git a/src/gen_lib/state.lem b/src/gen_lib/state.lem
index 2ea1247e..ac5cb869 100644
--- a/src/gen_lib/state.lem
+++ b/src/gen_lib/state.lem
@@ -55,8 +55,10 @@ let is_exclusive = function
   | Sail_impl_base.Read_exclusive_acquire -> true
   | Sail_impl_base.Read_stream -> false
   | Sail_impl_base.Read_RISCV_acquire -> false
+  | Sail_impl_base.Read_RISCV_strong_acquire -> false
   | Sail_impl_base.Read_RISCV_reserved -> true
   | Sail_impl_base.Read_RISCV_reserved_acquire -> true
+  | Sail_impl_base.Read_RISCV_reserved_strong_acquire -> true
 end
 
 
-- 
cgit v1.2.3