Commit 5c3da3a6 authored by Julian Kranz's avatar Julian Kranz
Browse files

X86 Example Specification

- Added instruction: ADDPD
parent 1cd37bc7
......@@ -545,6 +545,7 @@ type insn =
| AAS
| ADC of arity2
| ADD of arity2
| ADDPD of arity2
| AND of arity2
| BSF of arity2
| BSR of arity2
......@@ -882,6 +883,7 @@ type insn =
| TEST of arity2
| UCOMISD of arity2
| UD2
| VADDPD of varity
| VCMPEQB of varity
| VCMPEQD of varity
| VCMPEQW of varity
......@@ -1771,6 +1773,13 @@ val / [0x03 /r]
| rexw? = binop ADD r64 r/m64
| otherwise = binop ADD r32 r/m32
### ADDPD
### - Add Packed Double-Precision Floating-Point Values
val /66 [0x0f 0x58 /r] = binop ADDPD xmm128 xmm/m128
val /vex/66/0f/vexv [0x58 /r]
| vex128? = varity3 VADDPD xmm128 v/xmm xmm/m128
| vex256? = varity3 VADDPD ymm256 v/ymm ymm/m256
### AND
### - Logical AND
val / [0x24] = binop AND al imm8
......
Supports Markdown
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