From dddab6003a12c09c510fc495e5167dc5747a3509 Mon Sep 17 00:00:00 2001
From: Julian Kranz <julian@juliankranz.de>
Date: Thu, 21 Mar 2013 20:19:58 +0100
Subject: [PATCH] X86 Specification

- Bug fixes
- Cleanup
---
 specifications/x86/x86.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/specifications/x86/x86.ml b/specifications/x86/x86.ml
index b7a7d98b..2555aba1 100644
--- a/specifications/x86/x86.ml
+++ b/specifications/x86/x86.ml
@@ -5259,8 +5259,6 @@ val /f3 [0x0f 0xae /1-reg]
  | mode64? & rexw? = unop RDGSBASE r/reg64
  | mode64? = unop RDGSBASE r/reg32
 
-### =><=
-
 ### RDMSR
 ###  - Read from Model Specific Register
 val / [0x0f 0x32] = arity0 RDMSR
@@ -5294,6 +5292,8 @@ val / [0xcb] = varity0-def-opnd-sz-64 RET_FAR
 val / [0xc2] = varity1-def-opnd-sz-64 RET imm16
 val / [0xca] = varity1-def-opnd-sz-64 RET_FAR imm16
 
+### =><=
+
 ### ROUNDPD
 ###  - Round Packed Double Precision Floating-Point Values
 val /66 [0x0f 0x3a 0x09 /r] = ternop ROUNDPD xmm128 xmm/m128 imm8
-- 
2.24.1