X86 Specification

X86 RREIL Translator
X86 Pretty Printer

- Added instruction: INS/INSB/INSW/INSD

specifications/x86/x86-pretty.ml

@@ -391,8 +391,8 @@ val show/instruction insn =
     | FNSTENV x: "FNSTENV" -++ show/arity1 x
     | FNSTSW x: "FNSTSW" -++ show/arity1 x
     | FPATAN: "FPATAN"
-    | FPREM: "FPREM"
     | FPREM1: "FPREM1"
+    | FPREM: "FPREM"
     | FPTAN: "FPTAN"
     | FRNDINT: "FRNDINT"
     | FRSTOR x: "FRSTOR" -++ show/arity1 x
@@ -418,10 +418,10 @@ val show/instruction insn =
     | FUCOMPP: "FUCOMPP"
     | FXAM: "FXAM"
     | FXCH x: "FXCH" -++ show/arity1 x
-    | FXRSTOR64 x: "FXRSTOR64" -++ show/arity1 x
     | FXRSTOR x: "FXRSTOR" -++ show/arity1 x
-    | FXSAVE64 x: "FXSAVE64" -++ show/arity1 x
+    | FXRSTOR64 x: "FXRSTOR64" -++ show/arity1 x
     | FXSAVE x: "FXSAVE" -++ show/arity1 x
+    | FXSAVE64 x: "FXSAVE64" -++ show/arity1 x
     | FXTRACT: "FXTRACT"
     | FYL2X: "FYL2X"
     | FYL2XP1: "FYL2XP1"
@@ -434,7 +434,10 @@ val show/instruction insn =
     | IMUL x: "IMUL" -++ show/varity x
     | IN x: "IN" -++ show/arity2 x
     | INC x: "INC" -++ show/arity1 x
+    | INSB: "INSB"
+    | INSD: "INSD"
     | INSERTPS x: "INSERTPS" -++ show/arity3 x
+    | INSW: "INSW"
     | INT x: "INT" -++ show/arity1 x
     | INT0: "INT0"
     | INT3: "INT3"

specifications/x86/x86-rreil-translator.ml

@@ -559,8 +559,8 @@ val semantics insn =
     | FNSTENV x: sem-undef-arity1 x
     | FNSTSW x: sem-undef-arity1 x
     | FPATAN: sem-undef-arity0
-    | FPREM: sem-undef-arity0
     | FPREM1: sem-undef-arity0
+    | FPREM: sem-undef-arity0
     | FPTAN: sem-undef-arity0
     | FRNDINT: sem-undef-arity0
     | FRSTOR x: sem-undef-arity1 x
@@ -586,10 +586,10 @@ val semantics insn =
     | FUCOMPP: sem-undef-arity0
     | FXAM: sem-undef-arity0
     | FXCH x: sem-undef-arity1 x
-    | FXRSTOR64 x: sem-undef-arity1 x
     | FXRSTOR x: sem-undef-arity1 x
-    | FXSAVE64 x: sem-undef-arity1 x
+    | FXRSTOR64 x: sem-undef-arity1 x
     | FXSAVE x: sem-undef-arity1 x
+    | FXSAVE64 x: sem-undef-arity1 x
     | FXTRACT: sem-undef-arity0
     | FYL2X: sem-undef-arity0
     | FYL2XP1: sem-undef-arity0
@@ -602,7 +602,10 @@ val semantics insn =
     | IMUL x: sem-undef-varity x
     | IN x: sem-undef-arity2 x
     | INC x: sem-undef-arity1 x
+    | INSB: sem-undef-arity0
+    | INSD: sem-undef-arity0
     | INSERTPS x: sem-undef-arity3 x
+    | INSW: sem-undef-arity0
     | INT x: sem-undef-arity1 x
     | INT0: sem-undef-arity0
     | INT3: sem-undef-arity0

specifications/x86/x86.ml

@@ -779,10 +779,10 @@ type insn =
  | FUCOMPP
  | FXAM
  | FXCH of arity1
- | FXRSTOR64 of arity1
  | FXRSTOR of arity1
- | FXSAVE64 of arity1
+ | FXRSTOR64 of arity1
  | FXSAVE of arity1
+ | FXSAVE64 of arity1
  | FXTRACT
  | FYL2X
  | FYL2XP1
@@ -795,7 +795,10 @@ type insn =
  | IMUL of varity
  | IN of arity2
  | INC of arity1
+ | INSB
+ | INSD
  | INSERTPS of arity3
+ | INSW
  | INT of arity1
  | INT0
  | INT3
@@ -3359,7 +3362,10 @@ val / [0xff /0]
 
 ### INS/INSB/INSW/INSD
 ###  - Input from Port to String
-#Todo
+val / [0x6c] = arity0 INSB
+val / [0x6d]
+ | opndsz? = arity0 INSW
+ | otherwise = arity0 INSD
 
 ### INSERTPS
 ###  - Insert Packed Single Precision Floating-Point Value