Commit db43f575 authored by Julian Kranz's avatar Julian Kranz
Browse files

X86 Specification

- Added instruction(s): PUSHA/PUSHAD - PUSHF/PUSHFD
parent 8c1f2384
...@@ -1041,12 +1041,17 @@ type insn = ...@@ -1041,12 +1041,17 @@ type insn =
| PUNPCKHWD of arity2 | PUNPCKHWD of arity2
| PUNPCKHDQ of arity2 | PUNPCKHDQ of arity2
| PUNPCKHQDQ of arity2 | PUNPCKHQDQ of arity2
| PUNPCKLDQ of arity2 | PUNPCKLDQ of arity2
| PUNPCKLWD of arity2 | PUNPCKLWD of arity2
| PUNPCKLBW of arity2 | PUNPCKLBW of arity2
| PUNPCKLQDQ of arity2 | PUNPCKLQDQ of arity2
| PUSH of arity1 | PUSH of arity1
| PUSHA
| PUSHAD
| PUSHF
| PUSHFD
| PUSHFQ
| PXOR of arity2 | PXOR of arity2
| RCL of arity2 | RCL of arity2
| RCR of arity2 | RCR of arity2
...@@ -1323,11 +1328,11 @@ type insn = ...@@ -1323,11 +1328,11 @@ type insn =
| VPUNPCKHWD of varity | VPUNPCKHWD of varity
| VPUNPCKHDQ of varity | VPUNPCKHDQ of varity
| VPUNPCKHQDQ of varity | VPUNPCKHQDQ of varity
| VPUNPCKLBW of varity | VPUNPCKLBW of varity
| VPUNPCKLDQ of varity | VPUNPCKLDQ of varity
| VPUNPCKLQDQ of varity | VPUNPCKLQDQ of varity
| VPUNPCKLWD of varity | VPUNPCKLWD of varity
| VUCOMISD of varity | VUCOMISD of varity
| VXORPS of varity | VXORPS of varity
| XADD of arity2 | XADD of arity2
...@@ -4606,6 +4611,19 @@ val / [0x06] = unop PUSH es ...@@ -4606,6 +4611,19 @@ val / [0x06] = unop PUSH es
val / [0x0f 0xa0] = unop PUSH fs val / [0x0f 0xa0] = unop PUSH fs
val / [0x0f 0xa8] = unop PUSH gs val / [0x0f 0xa8] = unop PUSH gs
### PUSHA/PUSHAD
### - Push All General-Purpose Registers
val / [0x60]
| mode32? & opndsz? = arity0 PUSHA
| mode32? = arity0 PUSHAD
### PUSHF/PUSHFD
### - Push EFLAGS Register onto the Stack
val / [0x9c]
| opndsz? = arity0 PUSHF
| mode32? = arity0 PUSHFD
| mode64? = arity0 PUSHFQ
### PXOR ### PXOR
### - Logical Exclusive OR ### - Logical Exclusive OR
val / [0x0f 0xef /r] = binop PXOR mm64 mm/m64 val / [0x0f 0xef /r] = binop PXOR mm64 mm/m64
......
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