Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Tanzeem Haque
gdsltoolkit
Commits
b8a3c5e9
Commit
b8a3c5e9
authored
Aug 30, 2012
by
Julian Kranz
Browse files
X86 Specification
 Added instruction(s): PSUBQ  PSUBUSB/PSUBUSW
parent
8eda084d
Changes
1
Hide whitespace changes
Inline
Sidebyside
specifications/x86/x86.ml
View file @
b8a3c5e9
...
...
@@ 1031,6 +1031,12 @@ type insn =

PSUBB
of
arity2

PSUBD
of
arity2

PSUBW
of
arity2

PSUBQ
of
arity2

PSUBSB
of
arity2

PSUBSW
of
arity2

PSUBUSB
of
arity2

PSUBUSW
of
arity2

PTEST
of
arity2

PUNPCKLDQ
of
arity2

PUNPCKLWD
of
arity2
...
...
@@ 1303,6 +1309,12 @@ type insn =

VPSUBB
of
varity

VPSUBD
of
varity

VPSUBW
of
varity

VPSUBQ
of
varity

VPSUBSB
of
varity

VPSUBSW
of
varity

VPSUBUSB
of
varity

VPSUBUSW
of
varity

VPTEST
of
varity

VPUNPCKLBW
of
varity

VPUNPCKLDQ
of
varity
...
...
@@ 4508,6 +4520,30 @@ val /vex/66/0f/vexv [0xf8 /r]  vex128? = varity3 VPSUBB xmm128 v/xmm xmm/m128
val
/
vex
/
66
/
0
f
/
vexv
[
0xf9
/
r
]

vex128
?
=
varity3
VPSUBW
xmm128
v
/
xmm
xmm
/
m128
val
/
vex
/
66
/
0
f
/
vexv
[
0xfa
/
r
]

vex128
?
=
varity3
VPSUBD
xmm128
v
/
xmm
xmm
/
m128
###
PSUBQ
###

Subtract
Packed
Quadword
Integers
val
/
[
0x0f
0xfb
/
r
]
=
binop
PSUBQ
mm64
mm
/
m64
val
/
66
[
0x0f
0xfb
/
r
]
=
binop
PSUBQ
xmm128
xmm
/
m128
val
/
vex
/
66
/
0
f
/
vexv
[
0xfb
/
r
]

vex128
?
=
varity3
VPSUBQ
xmm128
v
/
xmm
xmm
/
m128
###
PSUBSB
/
PSUBSW
###

Subtract
Packed
Signed
Integers
with
Signed
Saturation
val
/
[
0x0f
0xe8
/
r
]
=
binop
PSUBSB
mm64
mm
/
m64
val
/
66
[
0x0f
0xe8
/
r
]
=
binop
PSUBSB
xmm128
xmm
/
m128
val
/
[
0x0f
0xe9
/
r
]
=
binop
PSUBSW
mm64
mm
/
m64
val
/
66
[
0x0f
0xe9
/
r
]
=
binop
PSUBSW
xmm128
xmm
/
m128
val
/
vex
/
66
/
0
f
/
vexv
[
0xe8
/
r
]

vex128
?
=
varity3
VPSUBSB
xmm128
v
/
xmm
xmm
/
m128
val
/
vex
/
66
/
0
f
/
vexv
[
0xe9
/
r
]

vex128
?
=
varity3
VPSUBSW
xmm128
v
/
xmm
xmm
/
m128
###
PSUBUSB
/
PSUBUSW
###

Subtract
Packed
Unsigned
Integers
with
Unsigned
Saturation
val
/
[
0x0f
0xd8
/
r
]
=
binop
PSUBUSB
mm64
mm
/
m64
val
/
66
[
0x0f
0xd8
/
r
]
=
binop
PSUBUSB
xmm128
xmm
/
m128
val
/
[
0x0f
0xd9
/
r
]
=
binop
PSUBUSW
mm64
mm
/
m64
val
/
66
[
0x0f
0xd9
/
r
]
=
binop
PSUBUSW
xmm128
xmm
/
m128
val
/
vex
/
66
/
0
f
/
vexv
[
0xd8
/
r
]

vex128
?
=
varity3
VPSUBUSB
xmm128
v
/
xmm
xmm
/
m128
val
/
vex
/
66
/
0
f
/
vexv
[
0xd9
/
r
]

vex128
?
=
varity3
VPSUBUSW
xmm128
v
/
xmm
xmm
/
m128
###
PTEST
###

Logical
Compare
val
/
66
[
0x0f
0x38
0x17
/
r
]
=
binop
PTEST
xmm128
xmm
/
m128
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment