From 8c143d2aaebaa210e4d4778a0bcfd5326908bdf8 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Wed, 13 Sep 2017 15:33:47 +0100
Subject: add HLT instruction for RMEM integration.

---
 x86/x64.sail | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/x86/x64.sail b/x86/x64.sail
index 2f75f540..9630a873 100644
--- a/x86/x64.sail
+++ b/x86/x64.sail
@@ -665,6 +665,15 @@ function clause execute (DIV (sz,r)) =
     erase_eflags();
   }
 
+(* ==========================================================================
+      HLT -- halt instruction used to end test in RMEM
+   ========================================================================== *)
+
+union ast member unit HLT
+
+function clause execute (HLT) = ()
+
+
 (* ==========================================================================
       Jcc
    ========================================================================== *)
-- 
cgit v1.2.3