From b780e21769e5b037c2dea5a10ffc3695dfd52a18 Mon Sep 17 00:00:00 2001
From: Shaked Flur
Date: Tue, 18 Apr 2017 09:12:52 +0100
Subject: added transactional memory support

---
 etc/regfp.sail | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'etc')

diff --git a/etc/regfp.sail b/etc/regfp.sail
index 3c90c269..fb15310a 100644
--- a/etc/regfp.sail
+++ b/etc/regfp.sail
@@ -64,10 +64,15 @@ typedef barrier_kind = enumerate {
   Barrier_MIPS_SYNC;
 }
 
+typedef trans_kind = enumerate {
+  Transaction_start; Transaction_commit; Transaction_abort;
+}
+
 typedef instruction_kind = const union {
   (barrier_kind) IK_barrier;
   (read_kind) IK_mem_read;
   (write_kind) IK_mem_write;
   IK_cond_branch;
+  (trans_kind) IK_trans;
   IK_simple
 }
-- 
cgit v1.2.3