X86 RREIL Translator

X86 Specification
...

- Cleanup

specifications/x86/x86-pretty.ml

@@ -494,7 +494,6 @@ val show/instruction insn =
     | LIDT x: "LIDT" -++ show/arity1 x
     | LLDT x: "LLDT" -++ show/arity1 x
     | LMSW x: "LMSW" -++ show/arity1 x
-    | LOCK: "LOCK"
     | LODS x: "LODS" -++ show/arity1 x
     | LOOP x: "LOOP" -++ show/flow1 x
     | LOOPE x: "LOOPE" -++ show/flow1 x

specifications/x86/x86-rreil-translator.ml

@@ -2292,7 +2292,6 @@ val semantics insn =
    | LIDT x: sem-undef-arity1 x
    | LLDT x: sem-undef-arity1 x
    | LMSW x: sem-undef-arity1 x
-   | LOCK x: sem-undef-arity0 x
    | LODS x: sem-rep-insn x sem-lods
    | LOOP x: sem-loop x
    | LOOPE x: sem-loope x

specifications/x86/x86.ml

@@ -868,7 +868,6 @@ type insn =
  | LIDT of arity1
  | LLDT of arity1
  | LMSW of arity1
- | LOCK of arity0
  | LODS of arity1
  | LOOP of flow1
  | LOOPE of flow1
@@ -3865,7 +3864,6 @@ val / [0x0f 0x01 /6] = unop LMSW r/m16
 
 ### LOCK
 ###  - Assert LOCK# Signal Prefix
-val / [0xf0] = arity0 LOCK
 
 ### LODS/LODSB/LODSW/LODSD/LODSQ
 ###  - Load String
@@ -5203,7 +5201,6 @@ val / [0x0f 0x01 0xf9] = arity0 RDTSCP
 
 ### REP/REPE/REPZ/REPNE/REPNZ
 ###  - Repeat String Operation Prefix
-# Todo
 
 ### RET
 ###  - Return from Procedure