From dffe66f2e7dd7ce0f18b7c4f25a93743c4bc1ee0 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 8 Mar 2016 17:08:53 +0000
Subject: Start task of setting up tagged memory in sequential interpreter

---
 src/lem_interp/interp_interface.lem | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/lem_interp/interp_interface.lem')

diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem
index e5489bd5..6fe999c9 100644
--- a/src/lem_interp/interp_interface.lem
+++ b/src/lem_interp/interp_interface.lem
@@ -394,6 +394,7 @@ end
 type read_kind =
   (* common reads *)
   Read_plain
+  | Read_tag (*For reading the tag of tagged memory*)
   (* Power reads *)
   | Read_reserve
   (* AArch64 reads *)
@@ -401,7 +402,8 @@ type read_kind =
 
 type write_kind =
   (* common writes *)
-  Write_plain
+    Write_plain
+  | Write_tag (*For writing the tag of tagged memory*)
   (* Power writes *)
   | Write_conditional
   (* AArch64 writes *)
-- 
cgit v1.2.3