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

---
 etc/regfp.sail | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'etc')

diff --git a/etc/regfp.sail b/etc/regfp.sail
index fb15310a..c98e3fa4 100644
--- a/etc/regfp.sail
+++ b/etc/regfp.sail
@@ -37,7 +37,10 @@ typedef read_kind = enumerate {
   Read_acquire;
   Read_exclusive;
   Read_exclusive_acquire;
-  Read_stream
+  Read_stream;
+  Read_RISCV_acquire;
+  Read_RISCV_reserved;
+  Read_RISCV_reserved_acquire;
 }
 
 typedef write_kind = enumerate {
@@ -62,6 +65,9 @@ typedef barrier_kind = enumerate {
   Barrier_DSB_LD;
   Barrier_ISB;
   Barrier_MIPS_SYNC;
+  Barrier_RISCV_rw_rw;
+  Barrier_RISCV_r_rw;
+  Barrier_RISCV_rw_w;
 }
 
 typedef trans_kind = enumerate {
-- 
cgit v1.2.3