From cc46b5a2366cd73d34117590448f6779fac4d312 Mon Sep 17 00:00:00 2001
From: Shaked Flur
Date: Thu, 17 Aug 2017 13:41:21 +0100
Subject: added RISC-V load-acquire

---
 src/lem_interp/sail_impl_base.lem | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/sail_impl_base.lem b/src/lem_interp/sail_impl_base.lem
index cda6702c..1642bc81 100644
--- a/src/lem_interp/sail_impl_base.lem
+++ b/src/lem_interp/sail_impl_base.lem
@@ -426,6 +426,8 @@ type read_kind =
   | Read_reserve
   (* AArch64 reads *)
   | Read_acquire | Read_exclusive | Read_exclusive_acquire | Read_stream
+  (* RISC-V reads *)
+  | Read_RISCV_acquire | Read_RISCV_reserved | Read_RISCV_reserved_acquire
 
 instance (Show read_kind)
   let show = function
-- 
cgit v1.2.3