Skip to content

G
gdsl-toolkit
Commit dddab600 authored by Julian Kranz's avatar Julian Kranz
Browse files
Options

X86 Specification 

- Bug fixes
- Cleanup
parent 93b6e0e7
Hide whitespace changes
Inline Side-by-side
Showing with 2 additions and 2 deletions
specifications/x86/x86.ml
View file @ dddab600
...@@ -5259,8 +5259,6 @@ val /f3 [0x0f 0xae /1-reg] ...@@ -5259,8 +5259,6 @@ val /f3 [0x0f 0xae /1-reg]
| mode64? & rexw? = unop RDGSBASE r/reg64 | mode64? & rexw? = unop RDGSBASE r/reg64
| mode64? = unop RDGSBASE r/reg32 | mode64? = unop RDGSBASE r/reg32
### =><=
### RDMSR ### RDMSR
### - Read from Model Specific Register ### - Read from Model Specific Register
val / [0x0f 0x32] = arity0 RDMSR val / [0x0f 0x32] = arity0 RDMSR
...@@ -5294,6 +5292,8 @@ val / [0xcb] = varity0-def-opnd-sz-64 RET_FAR ...@@ -5294,6 +5292,8 @@ val / [0xcb] = varity0-def-opnd-sz-64 RET_FAR
val / [0xc2] = varity1-def-opnd-sz-64 RET imm16 val / [0xc2] = varity1-def-opnd-sz-64 RET imm16
val / [0xca] = varity1-def-opnd-sz-64 RET_FAR imm16 val / [0xca] = varity1-def-opnd-sz-64 RET_FAR imm16
### =><=
### ROUNDPD ### ROUNDPD
### - Round Packed Double Precision Floating-Point Values ### - Round Packed Double Precision Floating-Point Values
val /66 [0x0f 0x3a 0x09 /r] = ternop ROUNDPD xmm128 xmm/m128 imm8 val /66 [0x0f 0x3a 0x09 /r] = ternop ROUNDPD xmm128 xmm/m128 imm8
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment