From 44ade2212a4c7fe68d6c2c2bddc0f57a0d0ca5c7 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 22 Sep 2017 10:55:30 +0100
Subject: fix typo where Sz16 write to register was only writing 8 bits.

---
 x86/x64.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/x86/x64.sail b/x86/x64.sail
index 0b0d2230..a54b35a4 100644
--- a/x86/x64.sail
+++ b/x86/x64.sail
@@ -301,7 +301,7 @@ function unit effect { wmem, wreg, escape } wEA ((bool) locked, (ea) e, (qword)
     case (Ea_r(Sz16,r)) ->
       {
         (qword) regr := REG[r];
-        regr[15 .. 8] := w[15 .. 8];
+        regr[15 .. 0] := w[15 .. 0];
         REG[r] := regr
       }
     case (Ea_r(Sz32,r)) -> REG[r] := (qword) (EXTZ (w[31 .. 0]))
-- 
cgit v1.2.3