Files
test-repo/instrs.txt
2023-04-24 22:21:00 +02:00

2455 lines
180 KiB
Plaintext

# Opcode ENC OP1 OP2 OP3 OP4 MNEM COND SZ? MISC FLAGS
# LOCK SZ8 = op size 1
# I64 D64 = default 64
# O64 F64 = force 64 (Intel)
# VSIB U66 = respect 66 prefix
# I66 = ignore 66 prefix
# ------------------- ---- --- --- --- --- ------- ---- --- ----------
00 MR Eb Gb - - ADD LOCK SZ8 EFL=m--mmmmm
01 MR Ev Gv - - ADD LOCK EFL=m--mmmmm
02 RM Gb Eb - - ADD SZ8 EFL=m--mmmmm
03 RM Gv Ev - - ADD EFL=m--mmmmm
04 IA Rb Ib - - ADD SZ8 EFL=m--mmmmm
05 IA Rv Iz - - ADD EFL=m--mmmmm
06 S Sv - - - PUSH_SEG I64
07 S Sv - - - POP_SEG I64
08 MR Eb Gb - - OR LOCK SZ8 EFL=0--mmum0
09 MR Ev Gv - - OR LOCK EFL=0--mmum0
0a RM Gb Eb - - OR SZ8 EFL=0--mmum0
0b RM Gv Ev - - OR EFL=0--mmum0
0c IA Rb Ib - - OR SZ8 EFL=0--mmum0
0d IA Rv Iz - - OR EFL=0--mmum0
0e S Sv - - - PUSH_SEG I64
#0f escape opcode
10 MR Eb Gb - - ADC LOCK SZ8 EFL=m--mmmmM
11 MR Ev Gv - - ADC LOCK EFL=m--mmmmM
12 RM Gb Eb - - ADC SZ8 EFL=m--mmmmM
13 RM Gv Ev - - ADC EFL=m--mmmmM
14 IA Rb Ib - - ADC SZ8 EFL=m--mmmmM
15 IA Rv Iz - - ADC EFL=m--mmmmM
16 S Sv - - - PUSH_SEG I64
17 S Sv - - - POP_SEG I64
18 MR Eb Gb - - SBB LOCK SZ8 EFL=m--mmmmM
19 MR Ev Gv - - SBB LOCK EFL=m--mmmmM
1a RM Gb Eb - - SBB SZ8 EFL=m--mmmmM
1b RM Gv Ev - - SBB EFL=m--mmmmM
1c IA Rb Ib - - SBB SZ8 EFL=m--mmmmM
1d IA Rv Iz - - SBB EFL=m--mmmmM
1e S Sv - - - PUSH_SEG I64
1f S Sv - - - POP_SEG I64
20 MR Eb Gb - - AND LOCK SZ8 EFL=0--mmum0
21 MR Ev Gv - - AND LOCK EFL=0--mmum0
22 RM Gb Eb - - AND SZ8 EFL=0--mmum0
23 RM Gv Ev - - AND EFL=0--mmum0
24 IA Rb Ib - - AND SZ8 EFL=0--mmum0
25 IA Rv Iz - - AND EFL=0--mmum0
#26 SEG=ES prefix
27 NP - - - - DAA I64 EFL=u--mmMmM
28 MR Eb Gb - - SUB LOCK SZ8 EFL=m--mmmmm
29 MR Ev Gv - - SUB LOCK EFL=m--mmmmm
2a RM Gb Eb - - SUB SZ8 EFL=m--mmmmm
2b RM Gv Ev - - SUB EFL=m--mmmmm
2c IA Rb Ib - - SUB SZ8 EFL=m--mmmmm
2d IA Rv Iz - - SUB EFL=m--mmmmm
#2e SEG=CS prefix
2f NP - - - - DAS I64 EFL=u--mmMmM
30 MR Eb Gb - - XOR LOCK SZ8 EFL=0--mmum0
31 MR Ev Gv - - XOR LOCK EFL=0--mmum0
32 RM Gb Eb - - XOR SZ8 EFL=0--mmum0
33 RM Gv Ev - - XOR EFL=0--mmum0
34 IA Rb Ib - - XOR SZ8 EFL=0--mmum0
35 IA Rv Iz - - XOR EFL=0--mmum0
#36 SEG=SS prefix
37 NP - - - - AAA I64 EFL=u--uuMum
38 MR Eb Gb - - CMP SZ8 EFL=m--mmmmm
39 MR Ev Gv - - CMP EFL=m--mmmmm
3a RM Gb Eb - - CMP SZ8 EFL=m--mmmmm
3b RM Gv Ev - - CMP EFL=m--mmmmm
3c IA Rb Ib - - CMP SZ8 EFL=m--mmmmm
3d IA Rv Iz - - CMP EFL=m--mmmmm
#3e SEG=DS prefix
3f NP - - - - AAS I64 EFL=u--uuMum
40+ O Rv - - - INC I64 EFL=m--mmmm-
48+ O Rv - - - DEC I64 EFL=m--mmmm-
50+ O Rv - - - PUSH D64
58+ O Rv - - - POP D64
60 NP - - - - PUSHA+w I64
61 NP - - - - POPA+w I64
62/m RM Gv Ma - - BOUND I64
63 MR Ew Gw - - ARPL I64 EFL=----m---
63 RM Gv Ed - - MOVSX O64 F=LM ENC_SEPSZ
#64 SEG=FS prefix
#65 SEG=GS prefix
#66 operand size prefix
#67 address size prefix
68 I Iz - - - PUSH D64
69 RMI Gv Ev Iz - IMUL EFL=m--uuuum
6a I Ibs - - - PUSH D64
6b RMI Gv Ev Ibs - IMUL EFL=m--uuuum
6c NP - - - - INS+ws SZ8 ENC_REP EFL=-t------
6d NP - - - - INS+ws ENC_REP EFL=-t------
6e NP - - - - OUTS+was SZ8 ENC_REP EFL=-t------
6f NP - - - - OUTS+was ENC_REP EFL=-t------
70 D Jbs - - - JO F64 EFL=t-------
71 D Jbs - - - JNO F64 EFL=t-------
72 D Jbs - - - JC F64 EFL=-------t
73 D Jbs - - - JNC F64 EFL=-------t
74 D Jbs - - - JZ F64 EFL=----t---
75 D Jbs - - - JNZ F64 EFL=----t---
76 D Jbs - - - JBE F64 EFL=----t--t
77 D Jbs - - - JA F64 EFL=----t--t
78 D Jbs - - - JS F64 EFL=---t----
79 D Jbs - - - JNS F64 EFL=---t----
7a D Jbs - - - JP F64 EFL=------t-
7b D Jbs - - - JNP F64 EFL=------t-
7c D Jbs - - - JL F64 EFL=t--t----
7d D Jbs - - - JGE F64 EFL=t--t----
7e D Jbs - - - JLE F64 EFL=t--tt---
7f D Jbs - - - JG F64 EFL=t--tt---
80/0 MI Eb Ib - - ADD LOCK SZ8 EFL=m--mmmmm
80/1 MI Eb Ib - - OR LOCK SZ8 EFL=0--mmum0
80/2 MI Eb Ib - - ADC LOCK SZ8 EFL=m--mmmmM
80/3 MI Eb Ib - - SBB LOCK SZ8 EFL=m--mmmmM
80/4 MI Eb Ib - - AND LOCK SZ8 EFL=0--mmum0
80/5 MI Eb Ib - - SUB LOCK SZ8 EFL=m--mmmmm
80/6 MI Eb Ib - - XOR LOCK SZ8 EFL=0--mmum0
80/7 MI Eb Ib - - CMP SZ8 EFL=m--mmmmm
81/0 MI Ev Iz - - ADD LOCK EFL=m--mmmmm
81/1 MI Ev Iz - - OR LOCK EFL=0--mmum0
81/2 MI Ev Iz - - ADC LOCK EFL=m--mmmmM
81/3 MI Ev Iz - - SBB LOCK EFL=m--mmmmM
81/4 MI Ev Iz - - AND LOCK EFL=0--mmum0
81/5 MI Ev Iz - - SUB LOCK EFL=m--mmmmm
81/6 MI Ev Iz - - XOR LOCK EFL=0--mmum0
81/7 MI Ev Iz - - CMP EFL=m--mmmmm
82/0 MI Eb Ib - - ADD LOCK I64 SZ8 EFL=m--mmmmm
82/1 MI Eb Ib - - OR LOCK I64 SZ8 EFL=0--mmum0
82/2 MI Eb Ib - - ADC LOCK I64 SZ8 EFL=m--mmmmM
82/3 MI Eb Ib - - SBB LOCK I64 SZ8 EFL=m--mmmmM
82/4 MI Eb Ib - - AND LOCK I64 SZ8 EFL=0--mmum0
82/5 MI Eb Ib - - SUB LOCK I64 SZ8 EFL=m--mmmmm
82/6 MI Eb Ib - - XOR LOCK I64 SZ8 EFL=0--mmum0
82/7 MI Eb Ib - - CMP I64 SZ8 EFL=m--mmmmm
83/0 MI Ev Ibs - - ADD LOCK EFL=m--mmmmm
83/1 MI Ev Ibs - - OR LOCK EFL=0--mmum0
83/2 MI Ev Ibs - - ADC LOCK EFL=m--mmmmM
83/3 MI Ev Ibs - - SBB LOCK EFL=m--mmmmM
83/4 MI Ev Ibs - - AND LOCK EFL=0--mmum0
83/5 MI Ev Ibs - - SUB LOCK EFL=m--mmmmm
83/6 MI Ev Ibs - - XOR LOCK EFL=0--mmum0
83/7 MI Ev Ibs - - CMP EFL=m--mmmmm
84 MR Eb Gb - - TEST SZ8 EFL=0--mmum0
85 MR Ev Gv - - TEST EFL=0--mmum0
86 MR Eb Gb - - XCHG LOCK SZ8
87 MR Ev Gv - - XCHG LOCK
88 MR Eb Gb - - MOV SZ8
89 MR Ev Gv - - MOV
8a RM Gb Eb - - MOV SZ8
8b RM Gv Ev - - MOV
# TODO: 8c is actually Ev,Sw; exact semantics are TBD
8c/0 MR Ew Sw - - MOV_S2G
8c/1 MR Ew Sw - - MOV_S2G
8c/2 MR Ew Sw - - MOV_S2G
8c/3 MR Ew Sw - - MOV_S2G
8c/4 MR Ew Sw - - MOV_S2G
8c/5 MR Ew Sw - - MOV_S2G
8d/m RM Gv M - - LEA
8e/0 RM Sw Ew - - MOV_G2S
8e/2 RM Sw Ew - - MOV_G2S
8e/3 RM Sw Ew - - MOV_G2S
8e/4 RM Sw Ew - - MOV_G2S
8e/5 RM Sw Ew - - MOV_G2S
8f/0 M Ev - - - POP D64
# Against frequent belief, only, XCHG (r/e)AX, (r)AX with 90 is NOP.
# As a lacking REX.B cannot be specified here, this is hardcoded.
90+ OA Rv Rv - - XCHG_NOP
98 NP - - - - C_EX+w
99 NP - - - - C_SEP+w
# Far jmp/call immediate size adjusted in code
9a I Ap - - - CALLF I64
9b NP - - - - FWAIT
9c NP - - - - PUSHF+w D64 EFL=tttttttt
9d NP - - - - POPF+w D64 EFL=mmmmmmmm
9e NP - - - - SAHF EFL=---mmmmm
9f NP - - - - LAHF EFL=---ttttt
a0 FD Rb Ob - - MOV+as SZ8
a1 FD Rv Ov - - MOV+as
a2 TD Ob Rb - - MOV+as SZ8
a3 TD Ov Rv - - MOV+as
a4 NP - - - - MOVS+was SZ8 ENC_REP EFL=-t------
a5 NP - - - - MOVS+was ENC_REP EFL=-t------
a6 NP - - - - CMPS+was SZ8 ENC_REPCC EFL=mt-mmmmm
a7 NP - - - - CMPS+was ENC_REPCC EFL=mt-mmmmm
a8 IA Rb Ib - - TEST SZ8 EFL=0--mmum0
a9 IA Rv Iz - - TEST EFL=0--mmum0
aa NP - - - - STOS+wa SZ8 ENC_REP EFL=-t------
ab NP - - - - STOS+wa ENC_REP EFL=-t------
ac NP - - - - LODS+was SZ8 ENC_REP EFL=-t------
ad NP - - - - LODS+was ENC_REP EFL=-t------
ae NP - - - - SCAS+wa SZ8 ENC_REPCC EFL=mt-mmmmm
af NP - - - - SCAS+wa ENC_REPCC EFL=mt-mmmmm
b0+ OI Rb Ib - - MOVABS SZ8
b8+ OI Rv Iv - - MOVABS
c0/0 MI Eb Ib - - ROL SZ8 EFL=m------m
c0/1 MI Eb Ib - - ROR SZ8 EFL=m------m
c0/2 MI Eb Ib - - RCL SZ8 EFL=m------M
c0/3 MI Eb Ib - - RCR SZ8 EFL=m------M
c0/4 MI Eb Ib - - SHL SZ8 EFL=m--mmumm
c0/5 MI Eb Ib - - SHR SZ8 EFL=m--mmumm
c0/6 MI Eb Ib - - SHL SZ8 EFL=m--mmumm
c0/7 MI Eb Ib - - SAR SZ8 EFL=m--mmumm
c1/0 MI Ev Ib - - ROL EFL=m------m
c1/1 MI Ev Ib - - ROR EFL=m------m
c1/2 MI Ev Ib - - RCL EFL=m------M
c1/3 MI Ev Ib - - RCR EFL=m------M
c1/4 MI Ev Ib - - SHL EFL=m--mmumm
c1/5 MI Ev Ib - - SHR EFL=m--mmumm
c1/6 MI Ev Ib - - SHL EFL=m--mmumm
c1/7 MI Ev Ib - - SAR EFL=m--mmumm
# RET immediate size handled in code
c2 I Iw - - - RET+w F64
c3 NP - - - - RET+w F64
c4/m RM Gv Mp - - LES I64
c5/m RM Gv Mp - - LDS I64
c6/0 MI Eb Ib - - MOV SZ8
c6f8 I Ib - - - XABORT F=HLERTM
c7/0 MI Ev Iz - - MOV
c7f8 D Jzd - - - XBEGIN I64 F=HLERTM
c7f8 D Jzq - - - XBEGIN O64 F=HLERTM
# ENTER immediate handled in code, actually it is Iw,Ib
c8 I Id - - - ENTER+w D64
c9 NP - - - - LEAVE+w D64
# RETF immediate size handled in code
ca I Iw - - - RETF+w
cb NP - - - - RETF+w
cc NP - - - - INT3 EFL=--M-----
cd I Ib - - - INT EFL=--M-----
ce NP - - - - INTO I64 EFL=t-M-----
cf NP - - - - IRET+w EFL=mmmmmmmm
d0/0 M1 Eb Ib - - ROL SZ8 EFL=m------m
d0/1 M1 Eb Ib - - ROR SZ8 EFL=m------m
d0/2 M1 Eb Ib - - RCL SZ8 EFL=m------M
d0/3 M1 Eb Ib - - RCR SZ8 EFL=m------M
d0/4 M1 Eb Ib - - SHL SZ8 EFL=m--mmumm
d0/5 M1 Eb Ib - - SHR SZ8 EFL=m--mmumm
d0/6 M1 Eb Ib - - SHL SZ8 EFL=m--mmumm
d0/7 M1 Eb Ib - - SAR SZ8 EFL=m--mmumm
d1/0 M1 Ev Ib - - ROL EFL=m------m
d1/1 M1 Ev Ib - - ROR EFL=m------m
d1/2 M1 Ev Ib - - RCL EFL=m------M
d1/3 M1 Ev Ib - - RCR EFL=m------M
d1/4 M1 Ev Ib - - SHL EFL=m--mmumm
d1/5 M1 Ev Ib - - SHR EFL=m--mmumm
d1/6 M1 Ev Ib - - SHL EFL=m--mmumm
d1/7 M1 Ev Ib - - SAR EFL=m--mmumm
d2/0 MC Eb Rb - - ROL SZ8 EFL=m------m
d2/1 MC Eb Rb - - ROR SZ8 EFL=m------m
d2/2 MC Eb Rb - - RCL SZ8 EFL=m------M
d2/3 MC Eb Rb - - RCR SZ8 EFL=m------M
d2/4 MC Eb Rb - - SHL SZ8 EFL=m--mmumm
d2/5 MC Eb Rb - - SHR SZ8 EFL=m--mmumm
d2/6 MC Eb Rb - - SHL SZ8 EFL=m--mmumm
d2/7 MC Eb Rb - - SAR SZ8 EFL=m--mmumm
d3/0 MC Ev Rb - - ROL EFL=m------m
d3/1 MC Ev Rb - - ROR EFL=m------m
d3/2 MC Ev Rb - - RCL EFL=m------M
d3/3 MC Ev Rb - - RCR EFL=m------M
d3/4 MC Ev Rb - - SHL EFL=m--mmumm
d3/5 MC Ev Rb - - SHR EFL=m--mmumm
d3/6 MC Ev Rb - - SHL EFL=m--mmumm
d3/7 MC Ev Rb - - SAR EFL=m--mmumm
d4 I Ib - - - AAM I64 SZ8 EFL=u--mmumu
d5 I Ib - - - AAD I64 SZ8 EFL=u--mmumu
d6 NP - - - - SALC I64 UNDOC
d7 NP - - - - XLATB+as
#d8-df FPU Escape
e0 D Jbs - - - LOOPNZ+a F64 EFL=----t---
e1 D Jbs - - - LOOPZ+a F64 EFL=----t---
e2 D Jbs - - - LOOP+a F64
e3 D Jbs - - - JCXZ+a F64
e4 IA Rb Ib - - IN SZ8
e5 IA Rz Ib - - IN
e6 IA Rb Ib - - OUT SZ8
e7 IA Rz Ib - - OUT
e8 D Jz - - - CALL F64
e9 D Jz - - - JMP F64
# Far jmp/call immediate size adjusted in code
ea I Ap - - - JMPF I64
eb D Jbs - - - JMP F64
ec NP - - - - IN+w SZ8
ed NP - - - - IN+w
ee NP - - - - OUT+w SZ8
ef NP - - - - OUT+w
#f0 prefix
f1 NP - - - - INT1 EFL=--M-----
#f2 REPNZ prefix
#f3 REP/REPZ prefix
f4 NP - - - - HLT CPL0
f5 NP - - - - CMC EFL=-------M
f6/0 MI Eb Ib - - TEST SZ8 EFL=0--mmum0
f6/1 MI Eb Ib - - TEST SZ8 EFL=0--mmum0
f6/2 M Eb - - - NOT LOCK SZ8
f6/3 M Eb - - - NEG LOCK SZ8 EFL=m--mmmmm
f6/4 M Eb - - - MUL SZ8 EFL=m--uuuum
f6/5 M Eb - - - IMUL SZ8 EFL=m--uuuum
f6/6 M Eb - - - DIV SZ8 EFL=u--uuuuu
f6/7 M Eb - - - IDIV SZ8 EFL=u--uuuuu
f7/0 MI Ev Iz - - TEST EFL=0--mmum0
f7/1 MI Ev Iz - - TEST EFL=0--mmum0
f7/2 M Ev - - - NOT LOCK
f7/3 M Ev - - - NEG LOCK EFL=m--mmmmm
f7/4 M Ev - - - MUL EFL=m--uuuum
f7/5 M Ev - - - IMUL EFL=m--uuuum
f7/6 M Ev - - - DIV EFL=u--uuuuu
f7/7 M Ev - - - IDIV EFL=u--uuuuu
f8 NP - - - - CLC EFL=-------0
f9 NP - - - - STC EFL=-------1
fa NP - - - - CLI EFL=--0-----
fb NP - - - - STI EFL=--1-----
fc NP - - - - CLD EFL=-0------
fd NP - - - - STD EFL=-1------
fe/0 M Eb - - - INC LOCK SZ8 EFL=m--mmmm-
fe/1 M Eb - - - DEC LOCK SZ8 EFL=m--mmmm-
ff/0 M Ev - - - INC LOCK EFL=m--mmmm-
ff/1 M Ev - - - DEC LOCK EFL=m--mmmm-
ff/2 M Ev - - - CALL F64
ff/3m M Mp - - - CALLF
ff/4 M Ev - - - JMP F64
ff/5m M Mp - - - JMPF
ff/6 M Ev - - - PUSH D64
# TODO: SDM states taht SLDT/STR are Rv/Mw (like SMSW), but semantics not verified
0f00/0 M Ew - - - SLDT
0f00/1 M Ew - - - STR
0f00/2 M Ew - - - LLDT CPL0
0f00/3 M Ew - - - LTR CPL0
0f00/4 M Ew - - - VERR EFL=----m---
0f00/5 M Ew - - - VERW EFL=----m---
0f01/0m M M - - - SGDT
0f01/1m M M - - - SIDT
0f01/2m M M - - - LGDT CPL0
0f01/3m M M - - - LIDT CPL0
0f01/4m M Mw - - - SMSW
0f01/4r M Rv - - - SMSW
0f01/6 M Ew - - - LMSW CPL0
0f01/7m M Mb - - - INVLPG SZ8 F=486 CPL0
NP.0f01c0 NP - - - - ENCLV F=SGX
NP.0f01c8 NP - - - - MONITOR F=MONITOR
NP.0f01c9 NP - - - - MWAIT F=MONITOR
NP.0f01ca NP - - - - CLAC F=SMAP CPL0
NP.0f01cb NP - - - - STAC F=SMAP CPL0
NP.0f01cf NP - - - - ENCLS F=SGX
NP.0f01d0 NP - - - - XGETBV F=XSAVE
NP.0f01d1 NP - - - - XSETBV F=XSAVE
NP.0f01d5 NP - - - - XEND F=HLERTM
NP.0f01d6 NP - - - - XTEST F=HLERTM EFL=0--0m000
NP.0f01d7 NP - - - - ENCLU F=SGX
0f01f8 NP - - - - SWAPGS O64 F=LM
0f01f9 NP - - - - RDTSCP F=RDTSCP
0f02 RM Gv Ew - - LAR EFL=----m---
0f03 RM Gv Ew - - LSL EFL=----m---
0f05 NP - - - - SYSCALL O64 F=LM EFL=MMMMMMMM
0f06 NP - - - - CLTS CPL0
0f07 NP - - - - SYSRET O64 F=LM CPL0 EFL=mmmmmmmm
0f08 NP - - - - INVD F=486 CPL0
*0f09 NP - - - - WBINVD F=486 CPL0
0f0b NP - - - - UD2
0f0d/0m M Mb - - - PREFETCH F=PREFETCH
0f0d/1m M Mb - - - PREFETCHW F=PREFETCHW
0f0d/2m M Mb - - - PREFETCHWT1 F=PREFETCHWT1
# All other slots are reserved, AMD maps them to /0
*0f0d/m M Mb - - - RESERVED_PREFETCH ONLYAMD F=PREFETCH
*0f0d/r MR Ev Gv - - RESERVED_NOP
0f0e NP - - - - FEMMS ONLYAMD F=3DNOW
# TODO: actually decode 3DNow! instructions. Given that 3DNow! no longer exists,
# this is unlikely to happen, though.
0f0f RMI Pq Qq Ib - 3DNOW ONLYAMD F=3DNOW
0f18/0m M Mb - - - PREFETCHNTA F=SSE
0f18/1m M Mb - - - PREFETCHT0 F=SSE
0f18/2m M Mb - - - PREFETCHT1 F=SSE
0f18/3m M Mb - - - PREFETCHT2 F=SSE
0f18/6m M Mb - - - PREFETCHIT1 O64 F=PREFETCHI
0f18/7m M Mb - - - PREFETCHIT0 O64 F=PREFETCHI
# Reserved NOPs are weak, they can be overridden by other instructions.
*0f18 MR Ev Gv - - RESERVED_NOP
*0f19 MR Ev Gv - - RESERVED_NOP
*0f1a MR Ev Gv - - RESERVED_NOP
*0f1b MR Ev Gv - - RESERVED_NOP
*0f1c MR Ev Gv - - RESERVED_NOP
*0f1d MR Ev Gv - - RESERVED_NOP
*0f1e MR Ev Gv - - RESERVED_NOP
*0f1f MR Ev Gv - - RESERVED_NOP
0f1f/0 M Ev - - - NOP
0f20 MR Ry Cy - - MOV_CR2G I66 D64 CPL0 EFL=u--uuuuu
0f21 MR Ry Dy - - MOV_DR2G I66 D64 CPL0 EFL=u--uuuuu
0f22 RM Cy Ry - - MOV_G2CR I66 D64 CPL0 EFL=u--uuuuu
0f23 RM Dy Ry - - MOV_G2DR I66 D64 CPL0 EFL=u--uuuuu
0f30 NP - - - - WRMSR F=586 CPL0
0f31 NP - - - - RDTSC F=586
0f32 NP - - - - RDMSR F=586 CPL0
0f33 NP - - - - RDPMC F=686
0f34 NP - - - - SYSENTER F=686 EFL=--m-----
0f35 NP - - - - SYSEXIT F=686 CPL0
NP.0f37 NP - - - - GETSEC F=SMX EFL=MMMMMMMM
# 0f38, 0f3a are escape opcodes
0f40 RM Gv Ev - - CMOVO F=CMOV EFL=t-------
0f41 RM Gv Ev - - CMOVNO F=CMOV EFL=t-------
0f42 RM Gv Ev - - CMOVC F=CMOV EFL=-------t
0f43 RM Gv Ev - - CMOVNC F=CMOV EFL=-------t
0f44 RM Gv Ev - - CMOVZ F=CMOV EFL=----t---
0f45 RM Gv Ev - - CMOVNZ F=CMOV EFL=----t---
0f46 RM Gv Ev - - CMOVBE F=CMOV EFL=----t--t
0f47 RM Gv Ev - - CMOVA F=CMOV EFL=----t--t
0f48 RM Gv Ev - - CMOVS F=CMOV EFL=---t----
0f49 RM Gv Ev - - CMOVNS F=CMOV EFL=---t----
0f4a RM Gv Ev - - CMOVP F=CMOV EFL=------t-
0f4b RM Gv Ev - - CMOVNP F=CMOV EFL=------t-
0f4c RM Gv Ev - - CMOVL F=CMOV EFL=t--t----
0f4d RM Gv Ev - - CMOVGE F=CMOV EFL=t--t----
0f4e RM Gv Ev - - CMOVLE F=CMOV EFL=t--tt---
0f4f RM Gv Ev - - CMOVG F=CMOV EFL=t--tt---
0f80 D Jz - - - JO F64 EFL=t-------
0f81 D Jz - - - JNO F64 EFL=t-------
0f82 D Jz - - - JC F64 EFL=-------t
0f83 D Jz - - - JNC F64 EFL=-------t
0f84 D Jz - - - JZ F64 EFL=----t---
0f85 D Jz - - - JNZ F64 EFL=----t---
0f86 D Jz - - - JBE F64 EFL=----t--t
0f87 D Jz - - - JA F64 EFL=----t--t
0f88 D Jz - - - JS F64 EFL=---t----
0f89 D Jz - - - JNS F64 EFL=---t----
0f8a D Jz - - - JP F64 EFL=------t-
0f8b D Jz - - - JNP F64 EFL=------t-
0f8c D Jz - - - JL F64 EFL=t--t----
0f8d D Jz - - - JGE F64 EFL=t--t----
0f8e D Jz - - - JLE F64 EFL=t--tt---
0f8f D Jz - - - JG F64 EFL=t--tt---
0f90 M Eb - - - SETO SZ8 EFL=t-------
0f91 M Eb - - - SETNO SZ8 EFL=t-------
0f92 M Eb - - - SETC SZ8 EFL=-------t
0f93 M Eb - - - SETNC SZ8 EFL=-------t
0f94 M Eb - - - SETZ SZ8 EFL=----t---
0f95 M Eb - - - SETNZ SZ8 EFL=----t---
0f96 M Eb - - - SETBE SZ8 EFL=----t--t
0f97 M Eb - - - SETA SZ8 EFL=----t--t
0f98 M Eb - - - SETS SZ8 EFL=---t----
0f99 M Eb - - - SETNS SZ8 EFL=---t----
0f9a M Eb - - - SETP SZ8 EFL=------t-
0f9b M Eb - - - SETNP SZ8 EFL=------t-
0f9c M Eb - - - SETL SZ8 EFL=t--t----
0f9d M Eb - - - SETGE SZ8 EFL=t--t----
0f9e M Eb - - - SETLE SZ8 EFL=t--tt---
0f9f M Eb - - - SETG SZ8 EFL=t--tt---
0fa0 S Sv - - - PUSH_SEG D64
0fa1 S Sv - - - POP_SEG D64
0fa2 NP - - - - CPUID F=586
0fa3 MR Ev Gv - - BT EFL=u--u-uum
0fa4 MRI Ev Gv Ib - SHLD EFL=u--mmumm
0fa5 MRC Ev Gv Rb - SHLD EFL=u--mmumm
0fa8 S Sv - - - PUSH_SEG D64
0fa9 S Sv - - - POP_SEG D64
0faa NP - - - - RSM F=586
0fab MR Ev Gv - - BTS LOCK EFL=u--u-uum
0fac MRI Ev Gv Ib - SHRD EFL=u--mmumm
0fad MRC Ev Gv Rb - SHRD EFL=u--mmumm
0faf RM Gv Ev - - IMUL EFL=m--uuuum
0fb0 MR Eb Gb - - CMPXCHG LOCK SZ8 F=486 EFL=m--mmmmm
0fb1 MR Ev Gv - - CMPXCHG LOCK F=486 EFL=m--mmmmm
0fb2/m RM Gv Mp - - LSS
0fb3 MR Ev Gv - - BTR LOCK EFL=u--u-uum
0fb4/m RM Gv Mp - - LFS
0fb5/m RM Gv Mp - - LGS
0fb6 RM Gv Eb - - MOVZX ENC_SEPSZ
0fb7 RM Gv Ew - - MOVZX ENC_SEPSZ
F3.0fb8 RM Gv Ev - - POPCNT U66 F=POPCNT EFL=0--0m000
0fb9 RM Gv Ev - - UD1
0fba/4 MI Ev Ib - - BT EFL=u--u-uum
0fba/5 MI Ev Ib - - BTS LOCK EFL=u--u-uum
0fba/6 MI Ev Ib - - BTR LOCK EFL=u--u-uum
0fba/7 MI Ev Ib - - BTC LOCK EFL=u--u-uum
0fbb MR Ev Gv - - BTC LOCK EFL=u--u-uum
*0fbc RM Gv Ev - - BSF EFL=u--umuuu
F3.0fbc RM Gv Ev - - TZCNT U66 F=BMI1 EFL=u--umuum
*0fbd RM Gv Ev - - BSR EFL=u--umuuu
F3.0fbd RM Gv Ev - - LZCNT U66 F=LZCNT EFL=u--umuum
0fbe RM Gv Eb - - MOVSX ENC_SEPSZ
0fbf RM Gv Ew - - MOVSX ENC_SEPSZ
0fc0 MR Eb Gb - - XADD LOCK SZ8 F=486 EFL=m--mmmmm
0fc1 MR Ev Gv - - XADD LOCK F=486 EFL=m--mmmmm
NP.0fc3/m MR My Gy - - MOVNTI F=SSE2
0fc7/1m M M - - - CMPXCHGD+w LOCK I66 F=586 EFL=----m---
0fc8+ O Rv - - - BSWAP F=486
0fff RM Gv Ev - - UD0
#
NFx.0f38f0/m RM Gv Mv - - MOVBE F=MOVBE
F2.0f38f0 RM Gd Eb - - CRC32 SZ8 F=SSE42
NFx.0f38f1/m MR Mv Gv - - MOVBE F=MOVBE
F2.0f38f1 RM Gd Ev - - CRC32 U66 F=SSE42
#
# MMX
NP.0f2a RM Vq Qq - - MMX_CVTPI2PS F=SSE2
66.0f2a RM Vdq Qq - - MMX_CVTPI2PD F=SSE2
NP.0f2c RM Pq Wq - - MMX_CVTTPS2PI F=SSE2
66.0f2c RM Pq Wdq - - MMX_CVTTPD2PI F=SSE2
NP.0f2d RM Pq Wq - - MMX_CVTPS2PI F=SSE2
66.0f2d RM Pq Wdq - - MMX_CVTPD2PI F=SSE2
NP.0f60 RM Pq Qd - - MMX_PUNPCKLBW F=MMX
NP.0f61 RM Pq Qd - - MMX_PUNPCKLWD F=MMX
NP.0f62 RM Pq Qd - - MMX_PUNPCKLDQ F=MMX
NP.0f63 RM Pq Qq - - MMX_PACKSSWB F=MMX
NP.0f64 RM Pq Qq - - MMX_PCMPGTB F=MMX
NP.0f65 RM Pq Qq - - MMX_PCMPGTW F=MMX
NP.0f66 RM Pq Qq - - MMX_PCMPGTD F=MMX
NP.0f67 RM Pq Qq - - MMX_PACKUSWB F=MMX
NP.0f68 RM Pq Qq - - MMX_PUNPCKHBW F=MMX
NP.0f69 RM Pq Qq - - MMX_PUNPCKHWD F=MMX
NP.0f6a RM Pq Qq - - MMX_PUNPCKHDQ F=MMX
NP.0f6b RM Pq Qq - - MMX_PACKSSDW F=MMX
NP.W0.0f6e RM Pq Ey - - MMX_MOVD_G2M F=MMX ENC_NOSZ
NP.W1.0f6e RM Pq Ey - - MMX_MOVQ_G2M F=MMX ENC_NOSZ
NP.0f6f RM Pq Qq - - MMX_MOVQ F=MMX
NP.0f70 RMI Qq Pq Ib - MMX_PSHUFW F=SSE
NP.0f71/2r MI Nq Ib - - MMX_PSRLW F=MMX
NP.0f71/4r MI Nq Ib - - MMX_PSRAW F=MMX
NP.0f71/6r MI Nq Ib - - MMX_PSLLW F=MMX
NP.0f72/2r MI Nq Ib - - MMX_PSRLD F=MMX
NP.0f72/4r MI Nq Ib - - MMX_PSRAD F=MMX
NP.0f72/6r MI Nq Ib - - MMX_PSLLD F=MMX
NP.0f73/2r MI Nq Ib - - MMX_PSRLQ F=MMX
NP.0f73/6r MI Nq Ib - - MMX_PSLLQ F=MMX
NP.0f74 RM Pq Qq - - MMX_PCMPEQB F=MMX
NP.0f75 RM Pq Qq - - MMX_PCMPEQW F=MMX
NP.0f76 RM Pq Qq - - MMX_PCMPEQD F=MMX
NP.0f77 NP - - - - MMX_EMMS F=MMX
NP.W0.0f7e MR Ey Py - - MMX_MOVD_M2G F=MMX ENC_NOSZ
NP.W1.0f7e MR Ey Py - - MMX_MOVQ_M2G F=MMX ENC_NOSZ
NP.0f7f MR Qq Pq - - MMX_MOVQ F=MMX
NP.0fc4 RMI Pq Ew Ib - MMX_PINSRW F=SSE ENC_NOSZ
NP.0fc5/r RMI Gy Nq Ib - MMX_PEXTRW D64 F=SSE
NP.0fd1 RM Pq Qq - - MMX_PSRLW F=MMX
NP.0fd2 RM Pq Qq - - MMX_PSRLD F=MMX
NP.0fd3 RM Pq Qq - - MMX_PSRLQ F=MMX
NP.0fd4 RM Pq Qq - - MMX_PADDQ F=MMX
NP.0fd5 RM Pq Qq - - MMX_PMULLW F=MMX
F2.0fd6/r RM Pq Uq - - MMX_MOVDQ2Q F=SSE
F3.0fd6/r RM Vdq Nq - - MMX_MOVQ2DQ F=SSE
NP.0fd7/r RM Gv Nq - - MMX_PMOVMSKB D64 F=SSE
NP.0fd8 RM Pq Qq - - MMX_PSUBUSB F=MMX
NP.0fd9 RM Pq Qq - - MMX_PSUBUSW F=MMX
NP.0fda RM Pq Qq - - MMX_PMINUB F=SSE
NP.0fdb RM Pq Qq - - MMX_PAND F=MMX
NP.0fdc RM Pq Qq - - MMX_PADDUSB F=MMX
NP.0fdd RM Pq Qq - - MMX_PADDUSW F=MMX
NP.0fde RM Pq Qq - - MMX_PMAXUB F=SSE
NP.0fdf RM Pq Qq - - MMX_PANDN F=MMX
NP.0fe0 RM Pq Qq - - MMX_PAVGB F=SSE
NP.0fe1 RM Pq Qq - - MMX_PSRAW F=MMX
NP.0fe2 RM Pq Qq - - MMX_PSRAD F=MMX
NP.0fe3 RM Pq Qq - - MMX_PAVGW F=SSE
NP.0fe4 RM Pq Qq - - MMX_PMULHUW F=SSE
NP.0fe5 RM Pq Qq - - MMX_PMULHW F=MMX
NP.0fe7/m MR Mq Pq - - MMX_MOVNTQ F=SSE
NP.0fe8 RM Pq Qq - - MMX_PSUBSB F=MMX
NP.0fe9 RM Pq Qq - - MMX_PSUBSW F=MMX
NP.0feb RM Pq Qq - - MMX_POR F=MMX
NP.0fec RM Pq Qq - - MMX_PADDSB F=MMX
NP.0fea RM Pq Qq - - MMX_PMINSW F=SSE
NP.0fee RM Pq Qq - - MMX_PMAXSW F=SSE
NP.0fed RM Pq Qq - - MMX_PADDSW F=MMX
NP.0fef RM Pq Qq - - MMX_PXOR F=MMX
NP.0ff1 RM Pq Qq - - MMX_PSLLW F=MMX
NP.0ff2 RM Pq Qq - - MMX_PSLLD F=MMX
NP.0ff3 RM Pq Qq - - MMX_PSLLQ F=MMX
NP.0ff4 RM Pq Qq - - MMX_PMULUDQ F=MMX
NP.0ff5 RM Pq Qq - - MMX_PMADDWD F=MMX
NP.0ff6 RM Pq Qq - - MMX_PSADBW F=SSE
NP.0ff7/r RM Pq Nq - - MMX_MASKMOVQ+as F=SSE
NP.0ff8 RM Pq Qq - - MMX_PSUBB F=MMX
NP.0ff9 RM Pq Qq - - MMX_PSUBW F=MMX
NP.0ffa RM Pq Qq - - MMX_PSUBD F=MMX
NP.0ffb RM Pq Qq - - MMX_PSUBQ F=MMX
NP.0ffc RM Pq Qq - - MMX_PADDB F=MMX
NP.0ffd RM Pq Qq - - MMX_PADDW F=MMX
NP.0ffe RM Pq Qq - - MMX_PADDD F=MMX
NP.0f3800 RM Pq Qq - - MMX_PSHUFB F=SSSE3
NP.0f3801 RM Pq Qq - - MMX_PHADDW F=SSSE3
NP.0f3802 RM Pq Qq - - MMX_PHADDD F=SSSE3
NP.0f3803 RM Pq Qq - - MMX_PHADDSW F=SSSE3
NP.0f3804 RM Pq Qq - - MMX_PMADDUBSW F=SSSE3
NP.0f3805 RM Pq Qq - - MMX_PHSUBW F=SSSE3
NP.0f3806 RM Pq Qq - - MMX_PHSUBD F=SSSE3
NP.0f3807 RM Pq Qq - - MMX_PHSUBSW F=SSSE3
NP.0f3808 RM Pq Qq - - MMX_PSIGNB F=SSSE3
NP.0f3809 RM Pq Qq - - MMX_PSIGNW F=SSSE3
NP.0f380a RM Pq Qq - - MMX_PSIGND F=SSSE3
NP.0f380b RM Pq Qq - - MMX_PMULHRSW F=SSSE3
NP.0f381c RM Pq Qq - - MMX_PABSB F=SSSE3
NP.0f381d RM Pq Qq - - MMX_PABSW F=SSSE3
NP.0f381e RM Pq Qq - - MMX_PABSD F=SSSE3
NP.0f3a0f RMI Pq Qq Ib - MMX_PALIGNR F=SSSE3
#
# SSE
NP.0f10 RM Vps Wps - - SSE_MOVUPS F=SSE
66.0f10 RM Vpd Wpd - - SSE_MOVUPD F=SSE2
# MOVSS/MOVSD reg,mem set the full XMM register
F3.0f10 RM Vx Wss - - SSE_MOVSS F=SSE
F2.0f10 RM Vx Wsd - - SSE_MOVSD F=SSE2
NP.0f11 MR Wps Vps - - SSE_MOVUPS F=SSE
66.0f11 MR Wpd Vpd - - SSE_MOVUPD F=SSE2
F3.0f11 MR Wss Vss - - SSE_MOVSS F=SSE
F2.0f11 MR Wsd Vsd - - SSE_MOVSD F=SSE2
NP.0f12/m RM Vx Mq - - SSE_MOVLPS F=SSE
NP.0f12/r RM Vx Ux - - SSE_MOVHLPS F=SSE
66.0f12/m RM Vx Mq - - SSE_MOVLPD F=SSE2
F3.0f12 RM Vx Wx - - SSE_MOVSLDUP F=SSE3
F2.0f12 RM Vx Wq - - SSE_MOVDDUP F=SSE3
NP.0f13/m MR Mq Vq - - SSE_MOVLPS F=SSE
66.0f13/m MR Mq Vq - - SSE_MOVLPD F=SSE2
NP.0f14 RM Vps Wps - - SSE_UNPCKLPS F=SSE
66.0f14 RM Vpd Wpd - - SSE_UNPCKLPD F=SSE2
NP.0f15 RM Vps Wps - - SSE_UNPCKHPS F=SSE
66.0f15 RM Vpd Wpd - - SSE_UNPCKHPD F=SSE2
NP.0f16/m RM Vx Wq - - SSE_MOVHPS F=SSE
NP.0f16/r RM Vx Wq - - SSE_MOVLHPS F=SSE
66.0f16/m RM Vdq Mq - - SSE_MOVHPD F=SSE2
F3.0f16 RM Vx Wx - - SSE_MOVSHDUP F=SSE3
NP.0f17/m MR Mq Vx - - SSE_MOVHPS F=SSE
66.0f17/m MR Mq Vx - - SSE_MOVHPD F=SSE2
NP.0f28 RM Vps Wps - - SSE_MOVAPS F=SSE
66.0f28 RM Vpd Wpd - - SSE_MOVAPD F=SSE2
NP.0f29 MR Vps Wps - - SSE_MOVAPS F=SSE
66.0f29 MR Vpd Wpd - - SSE_MOVAPD F=SSE2
F3.0f2a RM Vss Ey - - SSE_CVTSI2SS F=SSE
F2.0f2a RM Vsd Ey - - SSE_CVTSI2SD F=SSE2
NP.0f2b/m MR Mps Vps - - SSE_MOVNTPS F=SSE
66.0f2b/m MR Mpd Vpd - - SSE_MOVNTPD F=SSE2
F3.0f2b/m MR Mss Vss - - SSE_MOVNTSS F=SSE ONLYAMD
F2.0f2b/m MR Msd Vsd - - SSE_MOVNTSD F=SSE2 ONLYAMD
F3.0f2c RM Gy Wss - - SSE_CVTTSS2SI F=SSE
F2.0f2c RM Gy Wsd - - SSE_CVTTSD2SI F=SSE2
F3.0f2d RM Gy Wss - - SSE_CVTSS2SI F=SSE
F2.0f2d RM Gy Wsd - - SSE_CVTSD2SI F=SSE2
NP.0f2e RM Vss Wss - - SSE_UCOMISS F=SSE EFL=0--0m0mm
66.0f2e RM Vsd Wsd - - SSE_UCOMISD F=SSE2 EFL=0--0m0mm
NP.0f2f RM Vss Wss - - SSE_COMISS F=SSE EFL=0--0m0mm
66.0f2f RM Vsd Wsd - - SSE_COMISD F=SSE2 EFL=0--0m0mm
NP.0f50/r RM Gy Udq - - SSE_MOVMSKPS D64 F=SSE
66.0f50/r RM Gy Udq - - SSE_MOVMSKPD D64 F=SSE2
NP.0f51 RM Vps Wps - - SSE_SQRTPS F=SSE
66.0f51 RM Vpd Wpd - - SSE_SQRTPD F=SSE2
F3.0f51 RM Vss Wss - - SSE_SQRTSS F=SSE
F2.0f51 RM Vsd Wsd - - SSE_SQRTSD F=SSE2
NP.0f52 RM Vps Wps - - SSE_RSQRTPS F=SSE
F3.0f52 RM Vss Wss - - SSE_RSQRTSS F=SSE
NP.0f53 RM Vps Wps - - SSE_RCPPS F=SSE
F3.0f53 RM Vss Wss - - SSE_RCPSS F=SSE
NP.0f54 RM Vps Wps - - SSE_ANDPS F=SSE
66.0f54 RM Vpd Wpd - - SSE_ANDPD F=SSE2
NP.0f55 RM Vps Wps - - SSE_ANDNPS F=SSE
66.0f55 RM Vpd Wpd - - SSE_ANDNPD F=SSE2
NP.0f56 RM Vps Wps - - SSE_ORPS F=SSE
66.0f56 RM Vpd Wpd - - SSE_ORPD F=SSE2
NP.0f57 RM Vps Wps - - SSE_XORPS F=SSE
66.0f57 RM Vpd Wpd - - SSE_XORPD F=SSE2
NP.0f58 RM Vps Wps - - SSE_ADDPS F=SSE
66.0f58 RM Vpd Wpd - - SSE_ADDPD F=SSE2
F3.0f58 RM Vss Wss - - SSE_ADDSS F=SSE
F2.0f58 RM Vsd Wsd - - SSE_ADDSD F=SSE2
NP.0f59 RM Vps Wps - - SSE_MULPS F=SSE
66.0f59 RM Vpd Wpd - - SSE_MULPD F=SSE2
F3.0f59 RM Vss Wss - - SSE_MULSS F=SSE
F2.0f59 RM Vsd Wsd - - SSE_MULSD F=SSE2
NP.0f5a RM Vpd Wq - - SSE_CVTPS2PD F=SSE2
66.0f5a RM Vps Wpd - - SSE_CVTPD2PS F=SSE2
F3.0f5a RM Vsd Vss - - SSE_CVTSS2SD F=SSE2
F2.0f5a RM Vss Vsd - - SSE_CVTSD2SS F=SSE2
NP.0f5b RM Vps Wdq - - SSE_CVTDQ2PS F=SSE2
66.0f5b RM Vdq Wps - - SSE_CVTPS2DQ F=SSE2
F3.0f5b RM Vdq Wps - - SSE_CVTTPS2DQ F=SSE2
NP.0f5c RM Vps Wps - - SSE_SUBPS F=SSE
66.0f5c RM Vpd Wpd - - SSE_SUBPD F=SSE2
F3.0f5c RM Vss Wss - - SSE_SUBSS F=SSE
F2.0f5c RM Vsd Wsd - - SSE_SUBSD F=SSE2
NP.0f5d RM Vps Wps - - SSE_MINPS F=SSE
66.0f5d RM Vpd Wpd - - SSE_MINPD F=SSE2
F3.0f5d RM Vss Wss - - SSE_MINSS F=SSE
F2.0f5d RM Vsd Wsd - - SSE_MINSD F=SSE2
NP.0f5e RM Vps Wps - - SSE_DIVPS F=SSE
66.0f5e RM Vpd Wpd - - SSE_DIVPD F=SSE2
F3.0f5e RM Vss Wss - - SSE_DIVSS F=SSE
F2.0f5e RM Vsd Wsd - - SSE_DIVSD F=SSE2
NP.0f5f RM Vps Wps - - SSE_MAXPS F=SSE
66.0f5f RM Vpd Wpd - - SSE_MAXPD F=SSE2
F3.0f5f RM Vss Wss - - SSE_MAXSS F=SSE
F2.0f5f RM Vsd Wsd - - SSE_MAXSD F=SSE2
66.0f60 RM Vx Wx - - SSE_PUNPCKLBW F=SSE2
66.0f61 RM Vx Wx - - SSE_PUNPCKLWD F=SSE2
66.0f62 RM Vx Wx - - SSE_PUNPCKLDQ F=SSE2
66.0f63 RM Vx Wx - - SSE_PACKSSWB F=SSE2
66.0f64 RM Vx Wx - - SSE_PCMPGTB F=SSE2
66.0f65 RM Vx Wx - - SSE_PCMPGTW F=SSE2
66.0f66 RM Vx Wx - - SSE_PCMPGTD F=SSE2
66.0f67 RM Vx Wx - - SSE_PACKUSWB F=SSE2
66.0f68 RM Vx Wx - - SSE_PUNPCKHBW F=SSE2
66.0f69 RM Vx Wx - - SSE_PUNPCKHWD F=SSE2
66.0f6a RM Vx Wx - - SSE_PUNPCKHDQ F=SSE2
66.0f6b RM Vx Wx - - SSE_PACKSSDW F=SSE2
66.0f6c RM Vx Wx - - SSE_PUNPCKLQDQ F=SSE2
66.0f6d RM Vx Wx - - SSE_PUNPCKHQDQ F=SSE2
66.W0.0f6e RM Vx Ed - - SSE_MOVD_G2X F=SSE2 ENC_NOSZ
66.W1.0f6e RM Vx Eq - - SSE_MOVQ_G2X F=SSE2 ENC_NOSZ
66.0f6f RM Vx Wx - - SSE_MOVDQA F=SSE2
F3.0f6f RM Vx Wx - - SSE_MOVDQU F=SSE2
66.0f70 RMI Vx Wx Ib - SSE_PSHUFD F=SSE2
F3.0f70 RMI Vx Wx Ib - SSE_PSHUFHW F=SSE2
F2.0f70 RMI Vx Wx Ib - SSE_PSHUFLW F=SSE2
66.0f71/2r MI Ux Ib - - SSE_PSRLW F=SSE2
66.0f71/4r MI Ux Ib - - SSE_PSRAW F=SSE2
66.0f71/6r MI Ux Ib - - SSE_PSLLW F=SSE2
66.0f72/2r MI Ux Ib - - SSE_PSRLD F=SSE2
66.0f72/4r MI Ux Ib - - SSE_PSRAD F=SSE2
66.0f72/6r MI Ux Ib - - SSE_PSLLD F=SSE2
66.0f73/2r MI Ux Ib - - SSE_PSRLQ F=SSE2
66.0f73/3r MI Ux Ib - - SSE_PSRLDQ F=SSE2
66.0f73/6r MI Ux Ib - - SSE_PSLLQ F=SSE2
66.0f73/7r MI Ux Ib - - SSE_PSLLDQ F=SSE2
66.0f74 RM Vx Wx - - SSE_PCMPEQB F=SSE2
66.0f75 RM Vx Wx - - SSE_PCMPEQW F=SSE2
66.0f76 RM Vx Wx - - SSE_PCMPEQD F=SSE2
# EXTRQ/INSERTQ immediate size handled in code.
66.0f78/0r MI Ux Iw - - SSE_EXTRQ F=SSE4A ONLYAMD
F2.0f78/r RMI Vx Wx Iw - SSE_INSERTQ F=SSE4A ONLYAMD
66.0f79/r RM Vx Wx - - SSE_EXTRQ F=SSE4A ONLYAMD
F2.0f79/r RM Vx Wx - - SSE_INSERTQ F=SSE4A ONLYAMD
66.0f7c RM Vx Wx - - SSE_HADDPD F=SSE3
F2.0f7c RM Vx Wx - - SSE_HADDPS F=SSE3
66.0f7d RM Vx Wx - - SSE_HSUBPD F=SSE3
F2.0f7d RM Vx Wx - - SSE_HSUBPS F=SSE3
66.W0.0f7e MR Ey Vy - - SSE_MOVD_X2G F=SSE2 ENC_NOSZ
66.W1.0f7e MR Ey Vy - - SSE_MOVQ_X2G F=SSE2 ENC_NOSZ
F3.0f7e RM Vx Wq - - SSE_MOVQ F=SSE2
66.0f7f MR Wx Vx - - SSE_MOVDQA F=SSE2
F3.0f7f MR Wx Vx - - SSE_MOVDQU F=SSE2
NP.0fae/0m M M - - - FXSAVE+w F=FXSR
NP.0fae/1m M M - - - FXRSTOR+w F=FXSR
NP.0fae/2m M Md - - - LDMXCSR F=SSE
NP.0fae/3m M Md - - - STMXCSR F=SSE
NP.0faee8+ NP - - - - LFENCE F=SSE2
NP.0faef0+ NP - - - - MFENCE F=SSE2
NP.0faef8+ NP - - - - SFENCE F=SSE
NP.0fc2 RMI Vps Wps Ib - SSE_CMPPS F=SSE
66.0fc2 RMI Vpd Wpd Ib - SSE_CMPPD F=SSE2
F3.0fc2 RMI Vss Wss Ib - SSE_CMPSS F=SSE
F2.0fc2 RMI Vsd Wsd Ib - SSE_CMPSD F=SSE2
66.0fc4 RMI Vx Ew Ib - SSE_PINSRW F=SSE2 ENC_NOSZ
66.0fc5/r RMI Gy Udq Ib - SSE_PEXTRW D64 F=SSE2 ENC_NOSZ
NP.0fc6 RMI Vps Wps Ib - SSE_SHUFPS F=SSE
66.0fc6 RMI Vpd Wpd Ib - SSE_SHUFPD F=SSE2
66.0fd0 RM Vps Wps - - SSE_ADDSUBPD F=SSE3
F2.0fd0 RM Vpd Wpd - - SSE_ADDSUBPS F=SSE3
66.0fd1 RM Vx Wx - - SSE_PSRLW F=SSE2
66.0fd2 RM Vx Wx - - SSE_PSRLD F=SSE2
66.0fd3 RM Vx Wx - - SSE_PSRLQ F=SSE2
66.0fd4 RM Vx Wx - - SSE_PADDQ F=SSE2
66.0fd5 RM Vx Wx - - SSE_PMULLW F=SSE2
# This is tricky, MOVQ to mem writes 64 bits, MOVQ to reg writes 128 bits
66.0fd6 MR Wq Vq - - SSE_MOVQ F=SSE2
66.0fd7/r RM Gy Udq - - SSE_PMOVMSKB D64 F=SSE2
66.0fd8 RM Vx Wx - - SSE_PSUBUSB F=SSE2
66.0fd9 RM Vx Wx - - SSE_PSUBUSW F=SSE2
66.0fda RM Vx Wx - - SSE_PMINUB F=SSE2
66.0fdb RM Vx Wx - - SSE_PAND F=SSE2
66.0fdc RM Vx Wx - - SSE_PADDUSB F=SSE2
66.0fdd RM Vx Wx - - SSE_PADDUSW F=SSE2
66.0fde RM Vx Wx - - SSE_PMAXUB F=SSE2
66.0fdf RM Vx Wx - - SSE_PANDN F=SSE2
66.0fe0 RM Vx Wx - - SSE_PAVGB F=SSE2
66.0fe1 RM Vx Wx - - SSE_PSRAW F=SSE2
66.0fe2 RM Vx Wx - - SSE_PSRAD F=SSE2
66.0fe3 RM Vx Wx - - SSE_PAVGW F=SSE2
66.0fe4 RM Vx Wx - - SSE_PMULHUW F=SSE2
66.0fe5 RM Vx Wx - - SSE_PMULHW F=SSE2
66.0fe6 RM Vx Wpd - - SSE_CVTTPD2DQ F=SSE2
F3.0fe6 RM Vpd Wq - - SSE_CVTDQ2PD F=SSE2
F2.0fe6 RM Vx Wpd - - SSE_CVTPD2DQ F=SSE2
66.0fe7/m MR Mx Vx - - SSE_MOVNTDQ F=SSE2
66.0fe8 RM Vx Wx - - SSE_PSUBSB F=SSE2
66.0fe9 RM Vx Wx - - SSE_PSUBSW F=SSE2
66.0feb RM Vx Wx - - SSE_POR F=SSE2
66.0fec RM Vx Wx - - SSE_PADDSB F=SSE2
66.0fea RM Vx Wx - - SSE_PMINSW F=SSE2
66.0fee RM Vx Wx - - SSE_PMAXSW F=SSE2
66.0fed RM Vx Wx - - SSE_PADDSW F=SSE2
66.0fef RM Vx Wx - - SSE_PXOR F=SSE2
F2.0ff0/m RM Vx Mx - - SSE_LDDQU F=SSE3
66.0ff1 RM Vx Wx - - SSE_PSLLW F=SSE2
66.0ff2 RM Vx Wx - - SSE_PSLLD F=SSE2
66.0ff3 RM Vx Wx - - SSE_PSLLQ F=SSE2
66.0ff4 RM Vx Wx - - SSE_PMULUDQ F=SSE2
66.0ff5 RM Vx Wx - - SSE_PMADDWD F=SSE2
66.0ff6 RM Vx Wx - - SSE_PSADBW F=SSE2
66.0ff7/r RM Vx Ux - - SSE_MASKMOVDQU+as F=SSE2
66.0ff8 RM Vx Wx - - SSE_PSUBB F=SSE2
66.0ff9 RM Vx Wx - - SSE_PSUBW F=SSE2
66.0ffa RM Vx Wx - - SSE_PSUBD F=SSE2
66.0ffb RM Vx Wx - - SSE_PSUBQ F=SSE2
66.0ffc RM Vx Wx - - SSE_PADDB F=SSE2
66.0ffd RM Vx Wx - - SSE_PADDW F=SSE2
66.0ffe RM Vx Wx - - SSE_PADDD F=SSE2
#
66.0f3800 RM Vx Wx - - SSE_PSHUFB F=SSSE3
66.0f3801 RM Vx Wx - - SSE_PHADDW F=SSSE3
66.0f3802 RM Vx Wx - - SSE_PHADDD F=SSSE3
66.0f3803 RM Vx Wx - - SSE_PHADDSW F=SSSE3
66.0f3804 RM Vx Wx - - SSE_PMADDUBSW F=SSSE3
66.0f3805 RM Vx Wx - - SSE_PHSUBW F=SSSE3
66.0f3806 RM Vx Wx - - SSE_PHSUBD F=SSSE3
66.0f3807 RM Vx Wx - - SSE_PHSUBSW F=SSSE3
66.0f3808 RM Vx Wx - - SSE_PSIGNB F=SSSE3
66.0f3809 RM Vx Wx - - SSE_PSIGNW F=SSSE3
66.0f380a RM Vx Wx - - SSE_PSIGND F=SSSE3
66.0f380b RM Vx Wx - - SSE_PMULHRSW F=SSSE3
66.0f3810 RM Vdq Wdq - - SSE_PBLENDVB F=SSE41
66.0f3814 RMA Vdq Wdq Udq - SSE_BLENDVPS F=SSE41
66.0f3815 RMA Vdq Wdq Udq - SSE_BLENDVPD F=SSE41
66.0f3817 RM Vx Wx - - SSE_PTEST F=SSE41 EFL=0--0m00m
66.0f381c RM Vx Wx - - SSE_PABSB F=SSSE3
66.0f381d RM Vx Wx - - SSE_PABSW F=SSSE3
66.0f381e RM Vx Wx - - SSE_PABSD F=SSSE3
66.0f3820 RM Vx Wh - - SSE_PMOVSXBW F=SSE41
66.0f3821 RM Vx Wf - - SSE_PMOVSXBD F=SSE41
66.0f3822 RM Vx We - - SSE_PMOVSXBQ F=SSE41
66.0f3823 RM Vx Wh - - SSE_PMOVSXWD F=SSE41
66.0f3824 RM Vx Wf - - SSE_PMOVSXWQ F=SSE41
66.0f3825 RM Vx Wh - - SSE_PMOVSXDQ F=SSE41
66.0f3828 RM Vx Wx - - SSE_PMULDQ F=SSE41
66.0f3829 RM Vx Wx - - SSE_PCMPEQQ F=SSE41
66.0f382a/m RM Vx Mx - - SSE_MOVNTDQA F=SSE41
66.0f382b RM Vx Wx - - SSE_PACKUSDW F=SSE41
66.0f3830 RM Vx Wh - - SSE_PMOVZXBW F=SSE41
66.0f3831 RM Vx Wf - - SSE_PMOVZXBD F=SSE41
66.0f3832 RM Vx We - - SSE_PMOVZXBQ F=SSE41
66.0f3833 RM Vx Wh - - SSE_PMOVZXWD F=SSE41
66.0f3834 RM Vx Wf - - SSE_PMOVZXWQ F=SSE41
66.0f3835 RM Vx Wh - - SSE_PMOVZXDQ F=SSE41
66.0f3837 RM Vx Wx - - SSE_PCMPGTQ F=SSE41
66.0f3838 RM Vx Wx - - SSE_PMINSB F=SSE41
66.0f3839 RM Vx Wx - - SSE_PMINSD F=SSE41
66.0f383a RM Vx Wx - - SSE_PMINUW F=SSE41
66.0f383b RM Vx Wx - - SSE_PMINUD F=SSE41
66.0f383c RM Vx Wx - - SSE_PMAXSB F=SSE41
66.0f383d RM Vx Wx - - SSE_PMAXSD F=SSE41
66.0f383e RM Vx Wx - - SSE_PMAXUW F=SSE41
66.0f383f RM Vx Wx - - SSE_PMAXUD F=SSE41
66.0f3840 RM Vx Wx - - SSE_PMULLD F=SSE41
66.0f3841 RM Vx Wx - - SSE_PHMINPOSUW F=SSE41
# TODO: GP operand has address size
66.0f38f8/m RM Gy Moq - - MOVDIR64B D64 F=MOVDIR64B
NP.0f38f9/m MR My Gy - - MOVDIRI F=MOVDIRI
#
66.0f3a08 RMI Vps Wps Ib - SSE_ROUNDPS F=SSE41
66.0f3a09 RMI Vpd Wpd Ib - SSE_ROUNDPD F=SSE41
66.0f3a0a RMI Vss Wss Ib - SSE_ROUNDSS F=SSE41
66.0f3a0b RMI Vsd Wsd Ib - SSE_ROUNDSD F=SSE41
66.0f3a0c RMI Vps Wps Ib - SSE_BLENDPS F=SSE41
66.0f3a0d RMI Vpd Wpd Ib - SSE_BLENDPD F=SSE41
66.0f3a0e RMI Vx Wx Ib - SSE_PBLENDW F=SSE41
66.0f3a0f RMI Vx Wx Ib - SSE_PALIGNR F=SSSE3
66.0f3a14/m MRI Mb Vx Ib - SSE_PEXTRB F=SSE41
66.0f3a14/r MRI Rd Vx Ib - SSE_PEXTRB F=SSE41 ENC_NOSZ
66.0f3a15/m MRI Mw Vx Ib - SSE_PEXTRW F=SSE41
66.0f3a15/r MRI Rd Vx Ib - SSE_PEXTRW F=SSE41 ENC_NOSZ
66.W0.0f3a16 MRI Ed Vx Ib - SSE_PEXTRD F=SSE41 ENC_NOSZ
66.W1.0f3a16 MRI Eq Vx Ib - SSE_PEXTRQ F=SSE41 ENC_NOSZ
66.0f3a17 MRI Ed Vx Ib - SSE_EXTRACTPS F=SSE41
66.0f3a20 RMI Vx Eb Ib - SSE_PINSRB F=SSE41
66.0f3a21 RMI Vps Wss Ib - SSE_INSERTPS F=SSE41
66.W0.0f3a22 RMI Vx Ed Ib - SSE_PINSRD F=SSE41 ENC_NOSZ
66.W1.0f3a22 RMI Vx Eq Ib - SSE_PINSRQ F=SSE41 ENC_NOSZ
66.0f3a40 RMI Vps Wps Ib - SSE_DPPS F=SSE41
66.0f3a41 RMI Vpd Wpd Ib - SSE_DPPD F=SSE41
66.0f3a42 RMI Vx Wx Ib - SSE_MPSADBW F=SSE41
66.0f3a44 RMI Vdq Wdq Ib - SSE_PCLMULQDQ F=PCLMULQDQ
66.0f3a60 RMI Vdq Wdq Ib - SSE_PCMPESTRM F=SSE42 EFL=m--mm00m
66.0f3a61 RMI Vdq Wdq Ib - SSE_PCMPESTRI F=SSE42 EFL=m--mm00m
66.0f3a62 RMI Vdq Wdq Ib - SSE_PCMPISTRM F=SSE42 EFL=m--mm00m
66.0f3a63 RMI Vdq Wdq Ib - SSE_PCMPISTRI F=SSE42 EFL=m--mm00m
#
66.0f38db RM Vdq Wdq - - AESIMC F=AESNI
66.0f38dc RM Vdq Wdq - - AESENC F=AESNI
66.0f38dd RM Vdq Wdq - - AESENCLAST F=AESNI
66.0f38de RM Vdq Wdq - - AESDEC F=AESNI
66.0f38df RM Vdq Wdq - - AESDECLAST F=AESNI
66.0f3adf RMI Vdq Wdq Ib - AESKEYGENASSIST F=AESNI
VEX.66.L0.0f38db RM Vdq Wdq - - VAESIMC F=AESNI,AVX
# 256-bit encodings require VAES.
VEX.66.0f38dc RVM Vx Hx Wx - VAESENC F=AESNI,AVX
VEX.66.0f38dd RVM Vx Hx Wx - VAESENCLAST F=AESNI,AVX
VEX.66.0f38de RVM Vx Hx Wx - VAESDEC F=AESNI,AVX
VEX.66.0f38df RVM Vx Hx Wx - VAESDECLAST F=AESNI,AVX
VEX.66.L0.0f3adf RMI Vdq Wdq Ib - VAESKEYGENASSIST F=AESNI,AVX
#
# AVX
VEX.NP.0f10 RM Vps Wps - - VMOVUPS F=AVX
VEX.66.0f10 RM Vpd Wpd - - VMOVUPD F=AVX
VEX.F3.LIG.0f10/m RM Vdq Mss - - VMOVSS F=AVX
VEX.F3.LIG.0f10/r RVM Vdq Hdq Uss - VMOVSS F=AVX
VEX.F2.LIG.0f10/m RM Vdq Msd - - VMOVSD F=AVX
VEX.F2.LIG.0f10/r RVM Vdq Hdq Usd - VMOVSD F=AVX
VEX.NP.0f11 MR Wps Vps - - VMOVUPS F=AVX
VEX.66.0f11 MR Wpd Vpd - - VMOVUPD F=AVX
VEX.F3.LIG.0f11/m MR Mss Vss - - VMOVSS F=AVX
VEX.F3.LIG.0f11/r MVR Udq Hdq Vss - VMOVSS F=AVX
VEX.F2.LIG.0f11/m MR Msd Vsd - - VMOVSD F=AVX
VEX.F2.LIG.0f11/r MVR Udq Hdq Vsd - VMOVSD F=AVX
VEX.NP.L0.0f12/m RVM Vdq Hdq Mq - VMOVLPS F=AVX
VEX.NP.L0.0f12/r RVM Vdq Hdq Udq - VMOVHLPS F=AVX
VEX.66.L0.0f12/m RVM Vdq Hdq Mq - VMOVLPD F=AVX
VEX.F2.L0.0f12 RM Vx Wq - - VMOVDDUP F=AVX
VEX.F2.L1.0f12 RM Vx Wx - - VMOVDDUP F=AVX
VEX.F3.0f12 RM Vx Wx - - VMOVSLDUP F=AVX
VEX.NP.L0.0f13/m MR Mq Vq - - VMOVLPS F=AVX
VEX.66.L0.0f13/m MR Mq Vq - - VMOVLPD F=AVX
VEX.NP.0f14 RVM Vx Hx Wx - VUNPCKLPS F=AVX
VEX.66.0f14 RVM Vx Hx Wx - VUNPCKLPD F=AVX
VEX.NP.0f15 RVM Vx Hx Wx - VUNPCKHPS F=AVX
VEX.66.0f15 RVM Vx Hx Wx - VUNPCKHPD F=AVX
VEX.NP.L0.0f16/m RVM Vdq Hq Mq - VMOVHPS F=AVX
VEX.NP.L0.0f16/r RVM Vdq Hq Uq - VMOVLHPS F=AVX
VEX.66.L0.0f16/m RVM Vdq Hq Mq - VMOVHPD F=AVX
VEX.F3.0f16 RM Vx Wx - - VMOVSHDUP F=AVX
VEX.NP.L0.0f17/m MR Mq Vq - - VMOVHPS F=AVX
VEX.66.L0.0f17/m MR Mq Vq - - VMOVHPD F=AVX
VEX.NP.0f28 RM Vps Wps - - VMOVAPS F=AVX
VEX.66.0f28 RM Vpd Wpd - - VMOVAPD F=AVX
VEX.NP.0f29 MR Wps Vps - - VMOVAPS F=AVX
VEX.66.0f29 MR Wpd Vpd - - VMOVAPD F=AVX
VEX.F3.LIG.0f2a RVM Vdq Hdq Ey - VCVTSI2SS F=AVX
VEX.F2.LIG.0f2a RVM Vdq Hdq Ey - VCVTSI2SD F=AVX
VEX.NP.0f2b/m MR Mps Vps - - VMOVNTPS F=AVX
VEX.66.0f2b/m MR Mpd Vpd - - VMOVNTPD F=AVX
VEX.F3.LIG.0f2c RM Gy Wss - - VCVTTSS2SI F=AVX
VEX.F2.LIG.0f2c RM Gy Wsd - - VCVTTSD2SI F=AVX
VEX.F3.LIG.0f2d RM Gy Wss - - VCVTSS2SI F=AVX
VEX.F2.LIG.0f2d RM Gy Wsd - - VCVTSD2SI F=AVX
VEX.NP.LIG.0f2e RM Vss Wss - - VUCOMISS F=AVX EFL=0--0m0mm
VEX.66.LIG.0f2e RM Vsd Wsd - - VUCOMISD F=AVX EFL=0--0m0mm
VEX.NP.LIG.0f2f RM Vss Wss - - VCOMISS F=AVX EFL=0--0m0mm
VEX.66.LIG.0f2f RM Vsd Wsd - - VCOMISD F=AVX EFL=0--0m0mm
VEX.NP.0f50/r RM Gd Ups - - VMOVMSKPS F=AVX
VEX.66.0f50/r RM Gd Upd - - VMOVMSKPD F=AVX
VEX.NP.0f51 RM Vps Wps - - VSQRTPS F=AVX
VEX.66.0f51 RM Vpd Wpd - - VSQRTPD F=AVX
VEX.F3.LIG.0f51 RVM Vdq Hdq Wss - VSQRTSS F=AVX
VEX.F2.LIG.0f51 RVM Vdq Hdq Wsd - VSQRTSD F=AVX
VEX.NP.0f52 RM Vps Wps - - VRSQRTPS F=AVX
VEX.F3.LIG.0f52 RVM Vdq Hdq Wss - VRSQRTSS F=AVX
VEX.NP.0f53 RM Vps Wps - - VRCPPS F=AVX
VEX.F3.LIG.0f53 RVM Vdq Hdq Wss - VRCPSS F=AVX
VEX.NP.0f54 RVM Vps Hps Wps - VANDPS F=AVX
VEX.66.0f54 RVM Vpd Hpd Wpd - VANDPD F=AVX
VEX.NP.0f55 RVM Vps Hps Wps - VANDNPS F=AVX
VEX.66.0f55 RVM Vpd Hpd Wpd - VANDNPD F=AVX
VEX.NP.0f56 RVM Vps Hps Wps - VORPS F=AVX
VEX.66.0f56 RVM Vpd Hpd Wpd - VORPD F=AVX
VEX.NP.0f57 RVM Vps Hps Wps - VXORPS F=AVX
VEX.66.0f57 RVM Vpd Hpd Wpd - VXORPD F=AVX
VEX.NP.0f58 RVM Vps Hps Wps - VADDPS F=AVX
VEX.66.0f58 RVM Vpd Hpd Wpd - VADDPD F=AVX
VEX.F3.LIG.0f58 RVM Vdq Hdq Wss - VADDSS F=AVX
VEX.F2.LIG.0f58 RVM Vdq Hdq Wsd - VADDSD F=AVX
VEX.NP.0f59 RVM Vps Hps Wps - VMULPS F=AVX
VEX.66.0f59 RVM Vpd Hpd Wpd - VMULPD F=AVX
VEX.F3.LIG.0f59 RVM Vdq Hdq Wss - VMULSS F=AVX
VEX.F2.LIG.0f59 RVM Vdq Hdq Wsd - VMULSD F=AVX
VEX.NP.0f5a RM Vpd Wh - - VCVTPS2PD F=AVX
VEX.66.0f5a RM Vh Wpd - - VCVTPD2PS F=AVX
VEX.F3.LIG.0f5a RVM Vdq Hdq Wss - VCVTSS2SD F=AVX
VEX.F2.LIG.0f5a RVM Vdq Hdq Wsd - VCVTSD2SS F=AVX
VEX.NP.0f5b RM Vps Vx - - VCVTDQ2PS F=AVX
VEX.66.0f5b RM Vx Vps - - VCVTPS2DQ F=AVX
VEX.F3.0f5b RM Vx Vps - - VCVTTPS2DQ F=AVX
VEX.NP.0f5c RVM Vps Hps Wps - VSUBPS F=AVX
VEX.66.0f5c RVM Vpd Hpd Wpd - VSUBPD F=AVX
VEX.F3.LIG.0f5c RVM Vdq Hdq Wss - VSUBSS F=AVX
VEX.F2.LIG.0f5c RVM Vdq Hdq Wsd - VSUBSD F=AVX
VEX.NP.0f5d RVM Vps Hps Wps - VMINPS F=AVX
VEX.66.0f5d RVM Vpd Hpd Wpd - VMINPD F=AVX
VEX.F3.LIG.0f5d RVM Vdq Hdq Wss - VMINSS F=AVX
VEX.F2.LIG.0f5d RVM Vdq Hdq Wsd - VMINSD F=AVX
VEX.NP.0f5e RVM Vps Hps Wps - VDIVPS F=AVX
VEX.66.0f5e RVM Vpd Hpd Wpd - VDIVPD F=AVX
VEX.F3.LIG.0f5e RVM Vdq Hdq Wss - VDIVSS F=AVX
VEX.F2.LIG.0f5e RVM Vdq Hdq Wsd - VDIVSD F=AVX
VEX.NP.0f5f RVM Vps Hps Wps - VMAXPS F=AVX
VEX.66.0f5f RVM Vpd Hpd Wpd - VMAXPD F=AVX
VEX.F3.LIG.0f5f RVM Vdq Hdq Wss - VMAXSS F=AVX
VEX.F2.LIG.0f5f RVM Vdq Hdq Wsd - VMAXSD F=AVX
VEX.66.0f60 RVM Vx Hx Wx - VPUNPCKLBW F=AVX
VEX.66.0f61 RVM Vx Hx Wx - VPUNPCKLWD F=AVX
VEX.66.0f62 RVM Vx Hx Wx - VPUNPCKLDQ F=AVX
VEX.66.0f63 RVM Vx Hx Wx - VPACKSSWB F=AVX
VEX.66.0f64 RVM Vx Hx Wx - VPCMPGTB F=AVX
VEX.66.0f65 RVM Vx Hx Wx - VPCMPGTW F=AVX
VEX.66.0f66 RVM Vx Hx Wx - VPCMPGTD F=AVX
VEX.66.0f67 RVM Vx Hx Wx - VPACKUSWB F=AVX
VEX.66.0f68 RVM Vx Hx Wx - VPUNPCKHBW F=AVX
VEX.66.0f69 RVM Vx Hx Wx - VPUNPCKHWD F=AVX
VEX.66.0f6a RVM Vx Hx Wx - VPUNPCKHDQ F=AVX
VEX.66.0f6b RVM Vx Hx Wx - VPACKSSDW F=AVX
VEX.66.0f6c RVM Vx Hx Wx - VPUNPCKLQDQ F=AVX
VEX.66.0f6d RVM Vx Hx Wx - VPUNPCKHQDQ F=AVX
VEX.66.W0.L0.0f6e RM Vy Ey - - VMOVD_G2X F=AVX ENC_NOSZ
VEX.66.W1.L0.0f6e RM Vy Ey - - VMOVD_G2X I64 F=AVX ENC_NOSZ
VEX.66.W1.L0.0f6e RM Vy Ey - - VMOVQ_G2X O64 F=AVX ENC_NOSZ
VEX.66.0f6f RM Vx Wx - - VMOVDQA F=AVX
VEX.F3.0f6f RM Vx Wx - - VMOVDQU F=AVX
VEX.66.0f70 RMI Vx Wx Ib - VPSHUFD F=AVX
VEX.F3.0f70 RMI Vx Wx Ib - VPSHUFHW F=AVX
VEX.F2.0f70 RMI Vx Wx Ib - VPSHUFLW F=AVX
VEX.66.0f71/2r VMI Hx Ux Ib - VPSRLW F=AVX
VEX.66.0f71/4r VMI Hx Ux Ib - VPSRAW F=AVX
VEX.66.0f71/6r VMI Hx Ux Ib - VPSLLW F=AVX
VEX.66.0f72/2r VMI Hx Ux Ib - VPSRLD F=AVX
VEX.66.0f72/4r VMI Hx Ux Ib - VPSRAD F=AVX
VEX.66.0f72/6r VMI Hx Ux Ib - VPSLLD F=AVX
VEX.66.0f73/2r VMI Hx Ux Ib - VPSRLQ F=AVX
VEX.66.0f73/3r VMI Hx Ux Ib - VPSRLDQ F=AVX
VEX.66.0f73/6r VMI Hx Ux Ib - VPSLLQ F=AVX
VEX.66.0f73/7r VMI Hx Ux Ib - VPSLLDQ F=AVX
VEX.66.0f74 RVM Vx Hx Wx - VPCMPEQB F=AVX
VEX.66.0f75 RVM Vx Hx Wx - VPCMPEQW F=AVX
VEX.66.0f76 RVM Vx Hx Wx - VPCMPEQD F=AVX
VEX.NP.L0.0f77 NP - - - - VZEROUPPER F=AVX
VEX.NP.L1.0f77 NP - - - - VZEROALL F=AVX
VEX.66.0f7c RVM Vx Hx Wx - VHADDPD F=AVX
VEX.F2.0f7c RVM Vx Hx Wx - VHADDPS F=AVX
VEX.66.0f7d RVM Vx Hx Wx - VHSUBPD F=AVX
VEX.F2.0f7d RVM Vx Hx Wx - VHSUBPS F=AVX
VEX.66.W0.L0.0f7e MR Ey Vy - - VMOVD_X2G F=AVX ENC_NOSZ
VEX.66.W1.L0.0f7e MR Ey Vy - - VMOVD_X2G I64 F=AVX ENC_NOSZ
VEX.66.W1.L0.0f7e MR Ey Vy - - VMOVQ_X2G O64 F=AVX ENC_NOSZ
VEX.F3.L0.0f7e RM Vq Wq - - VMOVQ F=AVX ENC_NOSZ
VEX.66.0f7f MR Wx Vx - - VMOVDQA F=AVX
VEX.F3.0f7f MR Wx Vx - - VMOVDQU F=AVX
VEX.NP.L0.0fae/2m M Md - - - VLDMXCSR F=AVX
VEX.NP.L0.0fae/3m M Md - - - VSTMXCSR F=AVX
VEX.NP.0fc2 RVMI Vx Hx Wx Ib VCMPPS F=AVX
VEX.66.0fc2 RVMI Vx Hx Wx Ib VCMPPD F=AVX
VEX.F3.LIG.0fc2 RVMI Vdq Hdq Wss Ib VCMPSS F=AVX
VEX.F2.LIG.0fc2 RVMI Vdq Hdq Wsd Ib VCMPSD F=AVX
VEX.66.L0.0fc4 RVMI Vx Hx Ew Ib VPINSRW F=AVX ENC_NOSZ
VEX.66.L0.0fc5/r RMI Gd Ux Ib - VPEXTRW F=AVX ENC_NOSZ
VEX.NP.0fc6 RVMI Vx Hx Wx Ib VSHUFPS F=AVX
VEX.66.0fc6 RVMI Vx Hx Wx Ib VSHUFPD F=AVX
VEX.66.0fd0 RVM Vx Hx Wx - VADDSUBPD F=AVX
VEX.F2.0fd0 RVM Vx Hx Wx - VADDSUBPS F=AVX
VEX.66.0fd1 RVM Vx Hx Wdq - VPSRLW F=AVX
VEX.66.0fd2 RVM Vx Hx Wdq - VPSRLD F=AVX
VEX.66.0fd3 RVM Vx Hx Wdq - VPSRLQ F=AVX
VEX.66.0fd4 RVM Vx Hx Wx - VPADDQ F=AVX
VEX.66.0fd5 RVM Vx Hx Wx - VPMULLW F=AVX
VEX.66.L0.0fd6 MR Wq Vq - - VMOVQ F=AVX
VEX.66.0fd7/r RM Gd Ux - - VPMOVMSKB F=AVX
VEX.66.0fd8 RVM Vx Hx Wx - VPSUBUSB F=AVX
VEX.66.0fd9 RVM Vx Hx Wx - VPSUBUSW F=AVX
VEX.66.0fda RVM Vx Hx Wx - VPMINUB F=AVX
VEX.66.0fdb RVM Vx Hx Wx - VPAND F=AVX
VEX.66.0fdc RVM Vx Hx Wx - VPADDUSB F=AVX
VEX.66.0fdd RVM Vx Hx Wx - VPADDUSW F=AVX
VEX.66.0fde RVM Vx Hx Wx - VPMAXUB F=AVX
VEX.66.0fdf RVM Vx Hx Wx - VPANDN F=AVX
VEX.66.0fe0 RVM Vx Hx Wx - VPAVGB F=AVX
VEX.66.0fe1 RVM Vx Hx Wdq - VPSRAW F=AVX
VEX.66.0fe2 RVM Vx Hx Wdq - VPSRAD F=AVX
VEX.66.0fe3 RVM Vx Hx Wx - VPAVGW F=AVX
VEX.66.0fe4 RVM Vx Hx Wx - VPMULHUW F=AVX
VEX.66.0fe5 RVM Vx Hx Wx - VPMULHW F=AVX
VEX.66.0fe6 RM Vh Wx - - VCVTTPD2DQ F=AVX
VEX.F3.0fe6 RM Vx Wh - - VCVTDQ2PD F=AVX
VEX.F2.0fe6 RM Vh Wx - - VCVTPD2DQ F=AVX
VEX.66.0fe7/m MR Mx Vx - - VMOVNTDQ F=AVX
VEX.66.0fe8 RVM Vx Hx Wx - VPSUBSB F=AVX
VEX.66.0fe9 RVM Vx Hx Wx - VPSUBSW F=AVX
VEX.66.0feb RVM Vx Hx Wx - VPOR F=AVX
VEX.66.0fec RVM Vx Hx Wx - VPADDSB F=AVX
VEX.66.0fea RVM Vx Hx Wx - VPMINSW F=AVX
VEX.66.0fed RVM Vx Hx Wx - VPADDSW F=AVX
VEX.66.0fee RVM Vx Hx Wx - VPMAXSW F=AVX
VEX.66.0fef RVM Vx Hx Wx - VPXOR F=AVX
VEX.F2.0ff0/m RM Vx Wx - - VLDDQU F=AVX
VEX.66.0ff1 RVM Vx Hx Wdq - VPSLLW F=AVX
VEX.66.0ff2 RVM Vx Hx Wdq - VPSLLD F=AVX
VEX.66.0ff3 RVM Vx Hx Wdq - VPSLLQ F=AVX
VEX.66.0ff4 RVM Vx Hx Wx - VPMULUDQ F=AVX
VEX.66.0ff5 RVM Vx Hx Wx - VPMADDWD F=AVX
VEX.66.0ff6 RVM Vx Hx Wx - VPSADBW F=AVX
VEX.66.L0.0ff7/r RM Vx Ux - - VMASKMOVDQU+as F=AVX
VEX.66.0ff8 RVM Vx Hx Wx - VPSUBB F=AVX
VEX.66.0ff9 RVM Vx Hx Wx - VPSUBW F=AVX
VEX.66.0ffa RVM Vx Hx Wx - VPSUBD F=AVX
VEX.66.0ffb RVM Vx Hx Wx - VPSUBQ F=AVX
VEX.66.0ffc RVM Vx Hx Wx - VPADDB F=AVX
VEX.66.0ffd RVM Vx Hx Wx - VPADDW F=AVX
VEX.66.0ffe RVM Vx Hx Wx - VPADDD F=AVX
VEX.66.0f3800 RVM Vx Hx Wx - VPSHUFB F=AVX
VEX.66.0f3801 RVM Vx Hx Wx - VPHADDW F=AVX
VEX.66.0f3802 RVM Vx Hx Wx - VPHADDD F=AVX
VEX.66.0f3803 RVM Vx Hx Wx - VPHADDSW F=AVX
VEX.66.0f3804 RVM Vx Hx Wx - VPMADDUBSW F=AVX
VEX.66.0f3805 RVM Vx Hx Wx - VPHSUBW F=AVX
VEX.66.0f3806 RVM Vx Hx Wx - VPHSUBD F=AVX
VEX.66.0f3807 RVM Vx Hx Wx - VPHSUBSW F=AVX
VEX.66.0f3808 RVM Vx Hx Wx - VPSIGNB F=AVX
VEX.66.0f3809 RVM Vx Hx Wx - VPSIGNW F=AVX
VEX.66.0f380a RVM Vx Hx Wx - VPSIGND F=AVX
VEX.66.0f380b RVM Vx Hx Wx - VPMULHRSW F=AVX
VEX.66.W0.0f380c RVM Vx Hx Wx - VPERMILPS F=AVX
VEX.66.W0.0f380d RVM Vx Hx Wx - VPERMILPD F=AVX
VEX.66.W0.0f380e RM Vx Wx - - VTESTPS F=AVX
VEX.66.W0.0f380f RM Vx Wx - - VTESTPD F=AVX
VEX.66.W0.0f3813 RM Vx Wh - - VCVTPH2PS F=F16C
VEX.66.W0.L1.0f3816 RVM Vx Hx Wx - VPERMPS F=AVX2
VEX.66.0f3817 RM Vx Wx - - VPTEST F=AVX EFL=0--0m00m
VEX.66.W0.0f3818 RM Vx Wd - - VBROADCASTSS F=AVX
VEX.66.W0.L1.0f3819 RM Vx Wq - - VBROADCASTSD F=AVX
VEX.66.W0.L1.0f381a RM Vx Wdq - - VBROADCASTF128 F=AVX
VEX.66.0f381c RM Vx Wx - - VPABSB F=AVX
VEX.66.0f381d RM Vx Wx - - VPABSW F=AVX
VEX.66.0f381e RM Vx Wx - - VPABSD F=AVX
VEX.66.0f3820 RM Vx Wh - - VPMOVSXBW F=AVX
VEX.66.0f3821 RM Vx Wf - - VPMOVSXBD F=AVX
VEX.66.0f3822 RM Vx We - - VPMOVSXBQ F=AVX
VEX.66.0f3823 RM Vx Wh - - VPMOVSXWD F=AVX
VEX.66.0f3824 RM Vx Wf - - VPMOVSXWQ F=AVX
VEX.66.0f3825 RM Vx Wh - - VPMOVSXDQ F=AVX
VEX.66.0f3828 RVM Vx Hx Wx - VPMULDQ F=AVX
VEX.66.0f3829 RVM Vx Hx Wx - VPCMPEQQ F=AVX
VEX.66.0f382a/m RM Vx Mx - - VMOVNTDQA F=AVX
VEX.66.0f382b RVM Vx Hx Wx - VPACKUSDW F=AVX
VEX.66.W0.0f382c/m RVM Vx Hx Mx - VMASKMOVPS F=AVX
VEX.66.W0.0f382d/m RVM Vx Hx Mx - VMASKMOVPD F=AVX
VEX.66.W0.0f382e/m MVR Mx Hx Vx - VMASKMOVPS F=AVX
VEX.66.W0.0f382f/m MVR Mx Hx Vx - VMASKMOVPD F=AVX
VEX.66.0f3830 RM Vx Wh - - VPMOVZXBW F=AVX
VEX.66.0f3831 RM Vx Wf - - VPMOVZXBD F=AVX
VEX.66.0f3832 RM Vx We - - VPMOVZXBQ F=AVX
VEX.66.0f3833 RM Vx Wh - - VPMOVZXWD F=AVX
VEX.66.0f3834 RM Vx Wf - - VPMOVZXWQ F=AVX
VEX.66.0f3835 RM Vx Wh - - VPMOVZXDQ F=AVX
VEX.66.W0.L1.0f3836 RVM Vx Hx Wx - VPERMD F=AVX2
VEX.66.0f3837 RVM Vx Hx Wx - VPCMPGTQ F=AVX
VEX.66.0f3838 RVM Vx Hx Wx - VPMINSB F=AVX
VEX.66.0f3839 RVM Vx Hx Wx - VPMINSD F=AVX
VEX.66.0f383a RVM Vx Hx Wx - VPMINUW F=AVX
VEX.66.0f383b RVM Vx Hx Wx - VPMINUD F=AVX
VEX.66.0f383c RVM Vx Hx Wx - VPMAXSB F=AVX
VEX.66.0f383d RVM Vx Hx Wx - VPMAXSD F=AVX
VEX.66.0f383e RVM Vx Hx Wx - VPMAXUW F=AVX
VEX.66.0f383f RVM Vx Hx Wx - VPMAXUD F=AVX
VEX.66.0f3840 RVM Vx Hx Wx - VPMULLD F=AVX
VEX.66.L0.0f3841 RM Vx Wx - - VPHMINPOSUW F=AVX
VEX.66.W0.0f3845 RVM Vx Hx Wx - VPSRLVD F=AVX2
VEX.66.W1.0f3845 RVM Vx Hx Wx - VPSRLVQ F=AVX2
VEX.66.W0.0f3846 RVM Vx Hx Wx - VPSRAVD F=AVX2
VEX.66.W0.0f3847 RVM Vx Hx Wx - VPSLLVD F=AVX2
VEX.66.W1.0f3847 RVM Vx Hx Wx - VPSLLVQ F=AVX2
VEX.66.W0.0f3858 RM Vx Wd - - VPBROADCASTD F=AVX2
VEX.66.W0.0f3859 RM Vx Wq - - VPBROADCASTQ F=AVX2
VEX.66.W0.L1.0f385a/m RM Vx Mdq - - VBROADCASTI128 F=AVX2 ENC_NOSZ
VEX.66.W0.0f3878 RM Vx Wb - - VPBROADCASTB F=AVX2
VEX.66.W0.0f3879 RM Vx Ww - - VPBROADCASTW F=AVX2
VEX.66.W0.0f388c/m RVM Vx Hx Mx - VPMASKMOVD F=AVX2
VEX.66.W1.0f388c/m RVM Vx Hx Mx - VPMASKMOVQ F=AVX2
VEX.66.W0.0f388e/m MVR Mx Hx Vx - VPMASKMOVD F=AVX2
VEX.66.W1.0f388e/m MVR Mx Hx Vx - VPMASKMOVQ F=AVX2
VEX.66.W0.0f3890/m RMV Vx Md Hx - VPGATHERDD VSIB F=AVX2
VEX.66.W1.0f3890/m RMV Vx Mq Hx - VPGATHERDQ VSIB F=AVX2
VEX.66.W0.0f3891/m RMV Vh Md Hh - VPGATHERQD VSIB F=AVX2
VEX.66.W1.0f3891/m RMV Vx Mq Hx - VPGATHERQQ VSIB F=AVX2
VEX.66.W0.0f3892/m RMV Vx Md Hx - VGATHERDPS VSIB F=AVX2
VEX.66.W1.0f3892/m RMV Vx Mq Hx - VGATHERDPD VSIB F=AVX2
VEX.66.W0.0f3893/m RMV Vh Md Hh - VGATHERQPS VSIB F=AVX2
VEX.66.W1.0f3893/m RMV Vx Mq Hx - VGATHERQPD VSIB F=AVX2
VEX.66.W0.0f3896 RVM Vx Hx Wx - VFMADDSUB132PS F=FMA
VEX.66.W1.0f3896 RVM Vx Hx Wx - VFMADDSUB132PD F=FMA
VEX.66.W0.0f3897 RVM Vx Hx Wx - VFMSUBADD132PS F=FMA
VEX.66.W1.0f3897 RVM Vx Hx Wx - VFMSUBADD132PD F=FMA
VEX.66.W0.0f3898 RVM Vx Hx Wx - VFMADD132PS F=FMA
VEX.66.W1.0f3898 RVM Vx Hx Wx - VFMADD132PD F=FMA
VEX.66.W0.LIG.0f3899 RVM Vdq Hdq Wss - VFMADD132SS F=FMA
VEX.66.W1.LIG.0f3899 RVM Vdq Hdq Wsd - VFMADD132SD F=FMA
VEX.66.W0.0f389a RVM Vx Hx Wx - VFMSUB132PS F=FMA
VEX.66.W1.0f389a RVM Vx Hx Wx - VFMSUB132PD F=FMA
VEX.66.W0.LIG.0f389b RVM Vdq Hdq Wss - VFMSUB132SS F=FMA
VEX.66.W1.LIG.0f389b RVM Vdq Hdq Wsd - VFMSUB132SD F=FMA
VEX.66.W0.0f389c RVM Vx Hx Wx - VFNMADD132PS F=FMA
VEX.66.W1.0f389c RVM Vx Hx Wx - VFNMADD132PD F=FMA
VEX.66.W0.LIG.0f389d RVM Vdq Hdq Wss - VFNMADD132SS F=FMA
VEX.66.W1.LIG.0f389d RVM Vdq Hdq Wsd - VFNMADD132SD F=FMA
VEX.66.W0.0f389e RVM Vx Hx Wx - VFNMSUB132PS F=FMA
VEX.66.W1.0f389e RVM Vx Hx Wx - VFNMSUB132PD F=FMA
VEX.66.W0.LIG.0f389f RVM Vdq Hdq Wss - VFNMSUB132SS F=FMA
VEX.66.W1.LIG.0f389f RVM Vdq Hdq Wsd - VFNMSUB132SD F=FMA
VEX.66.W0.0f38a6 RVM Vx Hx Wx - VFMADDSUB213PS F=FMA
VEX.66.W1.0f38a6 RVM Vx Hx Wx - VFMADDSUB213PD F=FMA
VEX.66.W0.0f38a7 RVM Vx Hx Wx - VFMSUBADD213PS F=FMA
VEX.66.W1.0f38a7 RVM Vx Hx Wx - VFMSUBADD213PD F=FMA
VEX.66.W0.0f38a8 RVM Vx Hx Wx - VFMADD213PS F=FMA
VEX.66.W1.0f38a8 RVM Vx Hx Wx - VFMADD213PD F=FMA
VEX.66.W0.LIG.0f38a9 RVM Vdq Hdq Wss - VFMADD213SS F=FMA
VEX.66.W1.LIG.0f38a9 RVM Vdq Hdq Wsd - VFMADD213SD F=FMA
VEX.66.W0.0f38aa RVM Vx Hx Wx - VFMSUB213PS F=FMA
VEX.66.W1.0f38aa RVM Vx Hx Wx - VFMSUB213PD F=FMA
VEX.66.W0.LIG.0f38ab RVM Vdq Hdq Wss - VFMSUB213SS F=FMA
VEX.66.W1.LIG.0f38ab RVM Vdq Hdq Wsd - VFMSUB213SD F=FMA
VEX.66.W0.0f38ac RVM Vx Hx Wx - VFNMADD213PS F=FMA
VEX.66.W1.0f38ac RVM Vx Hx Wx - VFNMADD213PD F=FMA
VEX.66.W0.LIG.0f38ad RVM Vdq Hdq Wss - VFNMADD213SS F=FMA
VEX.66.W1.LIG.0f38ad RVM Vdq Hdq Wsd - VFNMADD213SD F=FMA
VEX.66.W0.0f38ae RVM Vx Hx Wx - VFNMSUB213PS F=FMA
VEX.66.W1.0f38ae RVM Vx Hx Wx - VFNMSUB213PD F=FMA
VEX.66.W0.LIG.0f38af RVM Vdq Hdq Wss - VFNMSUB213SS F=FMA
VEX.66.W1.LIG.0f38af RVM Vdq Hdq Wsd - VFNMSUB213SD F=FMA
VEX.66.W0.0f38b6 RVM Vx Hx Wx - VFMADDSUB231PS F=FMA
VEX.66.W1.0f38b6 RVM Vx Hx Wx - VFMADDSUB231PD F=FMA
VEX.66.W0.0f38b7 RVM Vx Hx Wx - VFMSUBADD231PS F=FMA
VEX.66.W1.0f38b7 RVM Vx Hx Wx - VFMSUBADD231PD F=FMA
VEX.66.W0.0f38b8 RVM Vx Hx Wx - VFMADD231PS F=FMA
VEX.66.W1.0f38b8 RVM Vx Hx Wx - VFMADD231PD F=FMA
VEX.66.W0.LIG.0f38b9 RVM Vdq Hdq Wss - VFMADD231SS F=FMA
VEX.66.W1.LIG.0f38b9 RVM Vdq Hdq Wsd - VFMADD231SD F=FMA
VEX.66.W0.0f38ba RVM Vx Hx Wx - VFMSUB231PS F=FMA
VEX.66.W1.0f38ba RVM Vx Hx Wx - VFMSUB231PD F=FMA
VEX.66.W0.LIG.0f38bb RVM Vdq Hdq Wss - VFMSUB231SS F=FMA
VEX.66.W1.LIG.0f38bb RVM Vdq Hdq Wsd - VFMSUB231SD F=FMA
VEX.66.W0.0f38bc RVM Vx Hx Wx - VFNMADD231PS F=FMA
VEX.66.W1.0f38bc RVM Vx Hx Wx - VFNMADD231PD F=FMA
VEX.66.W0.LIG.0f38bd RVM Vdq Hdq Wss - VFNMADD231SS F=FMA
VEX.66.W1.LIG.0f38bd RVM Vdq Hdq Wsd - VFNMADD231SD F=FMA
VEX.66.W0.0f38be RVM Vx Hx Wx - VFNMSUB231PS F=FMA
VEX.66.W1.0f38be RVM Vx Hx Wx - VFNMSUB231PD F=FMA
VEX.66.W0.LIG.0f38bf RVM Vdq Hdq Wss - VFNMSUB231SS F=FMA
VEX.66.W1.LIG.0f38bf RVM Vdq Hdq Wsd - VFNMSUB231SD F=FMA
VEX.66.W1.L1.0f3a00 RMI Vx Wx Ib - VPERMQ F=AVX2
VEX.66.W1.L1.0f3a01 RMI Vx Wx Ib - VPERMPD F=AVX2
VEX.66.W0.0f3a02 RVMI Vx Hx Wx Ib VPBLENDD F=AVX2
VEX.66.W0.0f3a04 RMI Vx Wx Ib - VPERMILPS F=AVX
VEX.66.W0.0f3a05 RMI Vx Wx Ib - VPERMILPD F=AVX
VEX.66.W0.L1.0f3a06 RVMI Vx Hx Wx Ib VPERM2F128 F=AVX
VEX.66.0f3a08 RMI Vps Wps Ib - VROUNDPS F=AVX
VEX.66.0f3a09 RMI Vpd Wpd Ib - VROUNDPD F=AVX
VEX.66.LIG.0f3a0a RVMI Vdq Hdq Wss Ib VROUNDSS F=AVX
VEX.66.LIG.0f3a0b RVMI Vdq Hdq Wsd Ib VROUNDSD F=AVX
VEX.66.0f3a0c RVMI Vx Hx Wx Ib VBLENDPS F=AVX
VEX.66.0f3a0d RVMI Vx Hx Wx Ib VBLENDPD F=AVX
VEX.66.0f3a0e RVMI Vx Hx Wx Ib VPBLENDW F=AVX
VEX.66.0f3a0f RVMI Vx Hx Wx Ib VPALIGNR F=AVX
VEX.66.L0.0f3a14/m MRI Mb Vx Ib - VPEXTRB F=AVX ENC_NOSZ
VEX.66.L0.0f3a14/r MRI Rd Vx Ib - VPEXTRB F=AVX ENC_NOSZ
VEX.66.L0.0f3a15/m MRI Mw Vx Ib - VPEXTRW F=AVX ENC_NOSZ
VEX.66.L0.0f3a15/r MRI Rd Vx Ib - VPEXTRW F=AVX ENC_NOSZ
VEX.66.W0.L0.0f3a16 MRI Ed Vx Ib - VPEXTRD F=AVX ENC_NOSZ
VEX.66.W1.L0.0f3a16 MRI Ed Vx Ib - VPEXTRD I64 F=AVX ENC_NOSZ
VEX.66.W1.L0.0f3a16 MRI Eq Vx Ib - VPEXTRQ O64 F=AVX ENC_NOSZ
VEX.66.L0.0f3a17 MRI Ed Vx Ib - VEXTRACTPS F=AVX ENC_NOSZ
VEX.66.W0.L1.0f3a18 RVMI Vx Hx Wdq Ib VINSERTF128 F=AVX ENC_NOSZ
VEX.66.W0.L1.0f3a19 MRI Wdq Vx Ib - VEXTRACTF128 F=AVX ENC_NOSZ
VEX.66.W0.0f3a1d MRI Wh Hx Ib - VCVTPS2PH F=F16C
VEX.66.L0.0f3a20 RVMI Vx Hx Eb Ib VPINSRB F=AVX ENC_NOSZ
VEX.66.L0.0f3a21 RVMI Vx Hx Wd Ib VINSERTPS F=AVX ENC_NOSZ
VEX.66.W0.L0.0f3a22 RVMI Vdq Hdq Ey Ib VPINSRD F=AVX ENC_NOSZ
VEX.66.W1.L0.0f3a22 RVMI Vdq Hdq Ey Ib VPINSRD I64 F=AVX ENC_NOSZ
VEX.66.W1.L0.0f3a22 RVMI Vdq Hdq Ey Ib VPINSRQ O64 F=AVX ENC_NOSZ
VEX.66.W0.L1.0f3a38 RVMI Vx Hx Wdq Ib VINSERTI128 F=AVX2 ENC_NOSZ
VEX.66.W0.L1.0f3a39 MRI Wdq Vx Ib - VEXTRACTI128 F=AVX2 ENC_NOSZ
VEX.66.0f3a40 RVMI Vx Hx Wx Ib VDPPS F=AVX
VEX.66.L0.0f3a41 RVMI Vx Hx Wx Ib VDPPD F=AVX
VEX.66.0f3a42 RVMI Vx Hx Wx Ib VMPSADBW F=AVX
VEX.66.0f3a44 RVMI Vx Hx Wx Ib VPCLMULQDQ F=PCLMULQDQ,AVX
VEX.66.W0.L1.0f3a46 RVMI Vx Hx Wx Ib VPERM2I128 F=AVX2
VEX.66.W0.0f3a4a RVMR Vx Hx Wx Lx VBLENDVPS F=AVX
VEX.66.W0.0f3a4b RVMR Vx Hx Wx Lx VBLENDVPD F=AVX
VEX.66.W0.0f3a4c RVMR Vx Hx Wx Lx VPBLENDVB F=AVX
VEX.66.L0.0f3a60 RMI Vx Wx Ib - VPCMPESTRM F=AVX ENC_NOSZ
VEX.66.L0.0f3a61 RMI Vx Wx Ib - VPCMPESTRI F=AVX ENC_NOSZ
VEX.66.L0.0f3a62 RMI Vx Wx Ib - VPCMPISTRM F=AVX ENC_NOSZ
VEX.66.L0.0f3a63 RMI Vx Wx Ib - VPCMPISTRI F=AVX ENC_NOSZ
#
# BMI1
VEX.NP.L0.0f38f2 RVM Gy By Ey - ANDN F=BMI1 EFL=0--mmuu0
VEX.NP.L0.0f38f3/1 VM By Ey - - BLSR F=BMI1 EFL=0--mmuum
VEX.NP.L0.0f38f3/2 VM By Ey - - BLSMSK F=BMI1 EFL=0--m0uum
VEX.NP.L0.0f38f3/3 VM By Ey - - BLSI F=BMI1 EFL=0--mmuum
VEX.NP.L0.0f38f7 RMV Gy Ey By - BEXTR F=BMI1 EFL=0--umuu0
# BMI2
VEX.F2.L0.0f3af0 RMI Gy Ey Ib - RORX F=BMI2
VEX.NP.L0.0f38f5 RMV Gy Ey By - BZHI F=BMI2 EFL=0--mmuum
VEX.F2.L0.0f38f5 RVM Gy By Ey - PDEP F=BMI2
VEX.F3.L0.0f38f5 RVM Gy By Ey - PEXT F=BMI2
VEX.F2.L0.0f38f6 RVM Gy By Ey - MULX F=BMI2
VEX.66.L0.0f38f7 RMV Gy Ey By - SHLX F=BMI2
VEX.F2.L0.0f38f7 RMV Gy Ey By - SHRX F=BMI2
VEX.F3.L0.0f38f7 RMV Gy Ey By - SARX F=BMI2
# ADX
66.0f38f6 RM Gy Ey - - ADCX F=ADX EFL=-------M
F3.0f38f6 RM Gy Ey - - ADOX F=ADX EFL=M-------
#
# FPU
# Source for UNDOC opcodes: https://www.sandpile.org/x86/opc_fpu.htm
d8/0m M Md - - - FADD F=387 ENC_SEPSZ
d8/1m M Md - - - FMUL F=387 ENC_SEPSZ
d8/2m M Md - - - FCOM F=387 ENC_SEPSZ
d8/3m M Md - - - FCOMP F=387 ENC_SEPSZ
d8/4m M Md - - - FSUB F=387 ENC_SEPSZ
d8/5m M Md - - - FSUBR F=387 ENC_SEPSZ
d8/6m M Md - - - FDIV F=387 ENC_SEPSZ
d8/7m M Md - - - FDIVR F=387 ENC_SEPSZ
d8/0r AM Ft Ft - - FADD F=387
d8/1r AM Ft Ft - - FMUL F=387
d8/2r AM Ft Ft - - FCOM F=387
d8/3r AM Ft Ft - - FCOMP F=387
d8/4r AM Ft Ft - - FSUB F=387
d8/5r AM Ft Ft - - FSUBR F=387
d8/6r AM Ft Ft - - FDIV F=387
d8/7r AM Ft Ft - - FDIVR F=387
d9/0m M Md - - - FLD F=387 ENC_SEPSZ
d9/2m M Md - - - FST F=387 ENC_SEPSZ
d9/3m M Md - - - FSTP F=387 ENC_SEPSZ
d9/4m M M - - - FLDENV F=387
d9/5m M Mw - - - FLDCW F=387
d9/6m M M - - - FSTENV F=387
d9/7m M Mw - - - FSTCW F=387
d9/0r M Ft - - - FLD F=387
d9/1r M Ft - - - FXCH F=387
d9d0 NP - - - - FNOP F=387
d9/3r MA Ft Ft - - FSTPNCE F=387 UNDOC
d9e0 NP - - - - FCHS F=387
d9e1 NP - - - - FABS F=387
d9e4 NP - - - - FTST F=387
d9e5 NP - - - - FXAM F=387
d9e8 NP - - - - FLD1 F=387
d9e9 NP - - - - FLDL2T F=387
d9ea NP - - - - FLDL2E F=387
d9eb NP - - - - FLDPI F=387
d9ec NP - - - - FLDLG2 F=387
d9ed NP - - - - FLDLN2 F=387
d9ee NP - - - - FLDZ F=387
d9f0 NP - - - - F2XM1 F=387
d9f1 NP - - - - FYL2X F=387
d9f2 NP - - - - FPTAN F=387
d9f3 NP - - - - FPATAN F=387
d9f4 NP - - - - FXTRACT F=387
d9f5 NP - - - - FPREM1 F=387
d9f6 NP - - - - FDECSTP F=387
d9f7 NP - - - - FINCSTP F=387
d9f8 NP - - - - FPREM F=387
d9f9 NP - - - - FYL2XP1 F=387
d9fa NP - - - - FSQRT F=387
d9fb NP - - - - FSINCOS F=387
d9fc NP - - - - FRNDINT F=387
d9fd NP - - - - FSCALE F=387
d9fe NP - - - - FSIN F=387
d9ff NP - - - - FCOS F=387
da/0m M Md - - - FIADD F=387 ENC_SEPSZ
da/1m M Md - - - FIMUL F=387 ENC_SEPSZ
da/2m M Md - - - FICOM F=387 ENC_SEPSZ
da/3m M Md - - - FICOMP F=387 ENC_SEPSZ
da/4m M Md - - - FISUB F=387 ENC_SEPSZ
da/5m M Md - - - FISUBR F=387 ENC_SEPSZ
da/6m M Md - - - FIDIV F=387 ENC_SEPSZ
da/7m M Md - - - FIDIVR F=387 ENC_SEPSZ
da/0r M Ft - - - FCMOVB F=686 EFL=-------t
da/1r M Ft - - - FCMOVE F=686 EFL=----t---
da/2r M Ft - - - FCMOVBE F=686 EFL=----t--t
da/3r M Ft - - - FCMOVU F=686 EFL=------t-
dae9 NP - - - - FUCOMPP F=387
db/0m M Md - - - FILD F=387 ENC_SEPSZ
db/1m M Md - - - FISTTP F=SSE3 ENC_SEPSZ
db/2m M Md - - - FIST F=387 ENC_SEPSZ
db/3m M Md - - - FISTP F=387 ENC_SEPSZ
db/5m M Ft - - - FLD F=387 ENC_SEPSZ
db/7m M Ft - - - FSTP F=387 ENC_SEPSZ
db/0r M Ft - - - FCMOVNB F=686 EFL=-------t
db/1r M Ft - - - FCMOVNE F=686 EFL=----t---
db/2r M Ft - - - FCMOVNBE F=686 EFL=----t--t
db/3r M Ft - - - FCMOVNU F=686 EFL=------t-
dbe0 NP - - - - FENI8087_NOP F=387 UNDOC
dbe1 NP - - - - FDISI8087_NOP F=387 UNDOC
dbe2 NP - - - - FCLEX F=387
dbe3 NP - - - - FINIT F=387
dbe4 NP - - - - FSETPM287_NOP F=387 UNDOC
dbe5 NP - - - - FSETPM287_NOP F=387 UNDOC
db/5r M Ft - - - FUCOMI F=686 EFL=0--0m0mm
db/6r M Ft - - - FCOMI F=686 EFL=0--0m0mm
dc/0m M Mq - - - FADD F=387 ENC_SEPSZ
dc/1m M Mq - - - FMUL F=387 ENC_SEPSZ
dc/2m M Mq - - - FCOM F=387 ENC_SEPSZ
dc/3m M Mq - - - FCOMP F=387 ENC_SEPSZ
dc/4m M Mq - - - FSUB F=387 ENC_SEPSZ
dc/5m M Mq - - - FSUBR F=387 ENC_SEPSZ
dc/6m M Mq - - - FDIV F=387 ENC_SEPSZ
dc/7m M Mq - - - FDIVR F=387 ENC_SEPSZ
dc/0r MA Ft Ft - - FADD F=387
dc/1r MA Ft Ft - - FMUL F=387
dc/2r MA Ft Ft - - FCOM F=387 UNDOC
dc/3r MA Ft Ft - - FCOMP F=387 UNDOC
dc/4r MA Ft Ft - - FSUBR F=387
dc/5r MA Ft Ft - - FSUB F=387
dc/6r MA Ft Ft - - FDIVR F=387
dc/7r MA Ft Ft - - FDIV F=387
dd/0m M Mq - - - FLD F=387 ENC_SEPSZ
dd/1m M Mq - - - FISTTP F=387 ENC_SEPSZ
dd/2m M Mq - - - FST F=387 ENC_SEPSZ
dd/3m M Mq - - - FSTP F=387 ENC_SEPSZ
dd/4m M M - - - FRSTOR F=387
dd/6m M M - - - FSAVE F=387
dd/7m M Mw - - - FSTSW F=387
dd/0r M Ft - - - FFREE F=387
dd/1r AM Ft Ft - - FXCH F=387 UNDOC
dd/2r M Ft - - - FST F=387
dd/3r M Ft - - - FSTP F=387
dd/4r M Ft - - - FUCOM F=387
dd/5r M Ft - - - FUCOMP F=387
de/0m M Mw - - - FIADD F=387 ENC_SEPSZ
de/1m M Mw - - - FIMUL F=387 ENC_SEPSZ
de/2m M Mw - - - FICOM F=387 ENC_SEPSZ
de/3m M Mw - - - FICOMP F=387 ENC_SEPSZ
de/4m M Mw - - - FISUB F=387 ENC_SEPSZ
de/5m M Mw - - - FISUBR F=387 ENC_SEPSZ
de/6m M Mw - - - FIDIV F=387 ENC_SEPSZ
de/7m M Mw - - - FIDIVR F=387 ENC_SEPSZ
de/0r MA Ft Ft - - FADDP F=387
de/1r MA Ft Ft - - FMULP F=387
de/2r AM Ft Ft - - FCOMP F=387 UNDOC
ded9 NP - - - - FCOMPP F=387
de/4r MA Ft Ft - - FSUBRP F=387
de/5r MA Ft Ft - - FSUBP F=387
de/6r MA Ft Ft - - FDIVRP F=387
de/7r MA Ft Ft - - FDIVP F=387
df/0m M Mw - - - FILD F=387 ENC_SEPSZ
df/1m M Mw - - - FISTTP F=387 ENC_SEPSZ
df/2m M Mw - - - FIST F=387 ENC_SEPSZ
df/3m M Mw - - - FISTP F=387 ENC_SEPSZ
df/4m M Ft - - - FBLD F=387
df/5m M Mq - - - FILD F=387 ENC_SEPSZ
df/6m M Ft - - - FBSTP F=387
df/7m M Mq - - - FISTP F=387 ENC_SEPSZ
df/0r M Ft - - - FFREEP F=387 UNDOC
df/1r AM Ft Ft - - FXCH F=387 UNDOC
df/2r MA Ft Ft - - FSTP F=387 UNDOC
df/3r MA Ft Ft - - FSTP F=387 UNDOC
# FSTSW AX
dfe0 A Rw - - - FSTSW F=387
df/5r AM Ft Ft - - FUCOMIP F=686 EFL=0--0m0mm
df/6r AM Ft Ft - - FCOMIP F=686 EFL=0--0m0mm
#
# Control Flow Enforcement
F3.0f01/5m M Mq - - - RSTORSSP F=CET
F3.0f01e8 NP - - - - SETSSBSY F=CET CPL0
F3.0f01ea NP - - - - SAVEPREVSSP F=CET
F3.0f1e/1r M Ry - - - RDSSP F=CET
F3.0f1efa NP - - - - ENDBR64 F=CET
F3.0f1efb NP - - - - ENDBR32 F=CET
66.0f38f5/m MR My Gy - - WRUSS F=CET
NP.0f38f6/m MR My Gy - - WRSS F=CET
F3.0fae/6m M Mq - - - CLRSSBSY F=CET CPL0
F3.0fae/5r M Ry - - - INCSSP F=CET
#
# CLDEMOTE
NP.0f1c/0m M Mb - - - CLDEMOTE F=CLDEMOTE
# VIA PadLock
F3.0fa6c0 NP - - - - REP_MONTMUL F=PADLOCK ONLYVIA
F3.0fa6c8 NP - - - - REP_XSHA1 F=PADLOCK ONLYVIA
F3.0fa6d0 NP - - - - REP_XSHA256 F=PADLOCK ONLYVIA
NFx.0fa7c0 NP - - - - XSTORE F=PADLOCK ONLYVIA
F3.0fa7c0 NP - - - - REP_XSTORE F=PADLOCK ONLYVIA
F3.0fa7c8 NP - - - - REP_XCRYPTECB F=PADLOCK ONLYVIA
F3.0fa7d0 NP - - - - REP_XCRYPTCBC F=PADLOCK ONLYVIA
F3.0fa7d8 NP - - - - REP_XCRYPTCTR F=PADLOCK ONLYVIA
F3.0fa7e0 NP - - - - REP_XCRYPTCFB F=PADLOCK ONLYVIA
F3.0fa7e8 NP - - - - REP_XCRYPTOFB F=PADLOCK ONLYVIA
# VMX
66.0f3880/m RM Gy Mdq - - INVEPT D64 F=VMX
66.0f3881/m RM Gy Mdq - - INVVPID D64 F=VMX
NP.0f01c1 NP - - - - VMCALL F=VMX
66.0fc7/6m M Mq - - - VMCLEAR F=VMX
NP.0f01d4 NP - - - - VMFUNC F=VMX
NP.0f01c2 NP - - - - VMLAUNCH F=VMX
NP.0f01c3 NP - - - - VMRESUME F=VMX
NP.0fc7/6m M Mq - - - VMPTRLD F=VMX
NP.0fc7/7m M Mq - - - VMPTRST F=VMX
NP.0f78 MR Ey Gy - - VMREAD D64 F=VMX
NP.0f79 RM Gy Ey - - VMWRITE D64 F=VMX
NP.0f01c4 NP - - - - VMXOFF F=VMX
F3.0fc7/6m M Mq - - - VMXON F=VMX
# SEAM/TDX
66.0f01cc NP - - - - TDCALL F=SEAM
66.0f01cd NP - - - - SEAMRET F=SEAM
66.0f01ce NP - - - - SEAMOPS F=SEAM
66.0f01cf NP - - - - SEAMCALL F=SEAM
# AMD CLZERO
0f01fc A Rv - - - CLZERO F=CLZERO ONLYAMD
# AMD RDPRU
0f01fd NP - - - - RDPRU F=RDPRU ONLYAMD
# AMD SVM
0f01d8 NP - - - - VMRUN F=SVM ONLYAMD CPL0
NFx.0f01d9 NP - - - - VMMCALL F=SVM ONLYAMD
F3.0f01d9 NP - - - - VMGEXIT F=SEVES ONLYAMD
F2.0f01d9 NP - - - - VMGEXIT F=SEVES ONLYAMD
0f01da NP - - - - VMLOAD F=SVM ONLYAMD CPL0
0f01db NP - - - - VMSAVE F=SVM ONLYAMD CPL0
0f01dc NP - - - - STGI F=SKINIT ONLYAMD CPL0
0f01dd NP - - - - CLGI F=SKINIT ONLYAMD CPL0
0f01de NP - - - - SKINIT F=SKINIT ONLYAMD CPL0
0f01df NP - - - - INVLPGA F=SVM ONLYAMD CPL0
NP.0f01fa NP - - - - MONITORX F=MONITORX ONLYAMD
F3.0f01fa NP - - - - MCOMMIT F=MCOMMIT ONLYAMD
NP.0f01fb NP - - - - MWAITX F=MONITORX ONLYAMD
NP.0f01fe NP - - - - INVLPGB F=INVLPGB ONLYAMD CPL0
NP.0f01ff NP - - - - TLBSYNC F=INVLPGB ONLYAMD CPL0
# AMD SNP
F3.0f01fe NP - - - - RMPADJUST O64 F=SNP ONLYAMD CPL0
F2.0f01fe NP - - - - RMPUPDATE O64 F=SNP ONLYAMD CPL0
F3.0f01ff NP - - - - PSMASH O64 F=SNP ONLYAMD
F2.0f01ff NP - - - - PVALIDATE O64 F=SNP ONLYAMD
# WAITPKG
66.0fae/6r M Rd - - - TPAUSE F=WAITPKG EFL=0--0000m
F3.0fae/6r M Ry - - - UMONITOR F=WAITPKG
F2.0fae/6r M Rd - - - UMWAIT F=WAITPKG EFL=0--0000m
# PRWRITE
F3.0fae/4 M Ey - - - PTWRITE F=PTWRITE
# GFNI
66.0f38cf RM Vx Wx - - GF2P8MULB F=GFNI
66.0f3ace RMI Vx Wx Ib - GF2P8AFFINEQB F=GFNI
66.0f3acf RMI Vx Wx Ib - GF2P8AFFINEINVQB F=GFNI
VEX.66.W0.0f38cf RVM Vx Hx Wx - VGF2P8MULB F=AVX,GFNI
VEX.66.W1.0f3ace RVMI Vx Hx Wx Ib VGF2P8AFFINEQB F=AVX,GFNI
VEX.66.W1.0f3acf RVMI Vx Hx Wx Ib VGF2P8AFFINEINVQB F=AVX,GFNI
EVEX.66.W0.0f38cf RVM Vx Hx Wx - EVX_GF2P8MULB+k F=AVX,GFNI TUPLE_FULL_MEM
EVEX.66.W1.0f3ace RVMI Vx Hx Wx Ib EVX_GF2P8AFFINEQB+kb F=AVX512F,GFNI TUPLE_FULL_64
EVEX.66.W1.0f3acf RVMI Vx Hx Wx Ib EVX_GF2P8AFFINEINVQB+kb F=AVX512F,GFNI TUPLE_FULL_64
# ENQCMD
# TODO: Gy operands are address-sized
F2.0f38f8/m RM Gy Moq - - ENQCMD F=ENQCMD
F3.0f38f8/m RM Gy Moq - - ENQCMDS F=ENQCMD
# PCONFIG
NP.0f01c5 NP - - - - PCONFIG F=PCONFIG
# WBNOINVD
F3.0f09 NP - - - - WBNOINVD F=WBNOINVD CPL0
NP.0f01ee NP - - - - RDPKRU F=OSPKE
NP.0f01ef NP - - - - WRPKRU F=OSPKE
F3.0fae/0r M Ry - - - RDFSBASE O64 F=FSGSBASE
F3.0fae/1r M Ry - - - RDGSBASE O64 F=FSGSBASE
F3.0fae/2r M Ry - - - WRFSBASE O64 F=FSGSBASE
F3.0fae/3r M Ry - - - WRGSBASE O64 F=FSGSBASE
NP.0fae/4m M M - - - XSAVE+w F=XSAVE
NP.0fae/5m M M - - - XRSTOR+w F=XSAVE
NP.0fae/6m M M - - - XSAVEOPT+w F=XSAVEOPT
66.0fae/6m M Mb - - - CLWB F=CLWB
NP.0fae/7m M Mb - - - CLFLUSH F=CLFLSH
66.0fae/7m M Mb - - - CLFLUSHOPT F=CLFLUSHOPT
NP.0fc7/3m M M - - - XRSTORS+w F=XSS
NP.0fc7/4m M M - - - XSAVEC+w F=XSAVEC
NP.0fc7/5m M M - - - XSAVES+w F=XSS
NFx.0fc7/6r M Rv - - - RDRAND F=RDRAND EFL=0--0000m
NFx.0fc7/7r M Rv - - - RDSEED F=RDSEED EFL=0--0000m
F3.0fc7/7r M Ry - - - RDPID D64 F=RDPID
66.0f3882/m RM Gy Mdq - - INVPCID D64 F=INVPCID CPL0
NP.0f38c8 RM Vdq Wdq - - SHA1NEXTE F=SHA
NP.0f38c9 RM Vdq Wdq - - SHA1MSG1 F=SHA
NP.0f38ca RM Vdq Wdq - - SHA1MSG2 F=SHA
NP.0f38cb RMA Vdq Wdq Udq - SHA256RNDS2 F=SHA
NP.0f38cc RM Vdq Wdq - - SHA256MSG1 F=SHA
NP.0f38cd RM Vdq Wdq - - SHA256MSG2 F=SHA
NP.0f3acc RMI Vdq Wdq Ib - SHA1RNDS4 F=SHA
#NP.0f1a/m RM Z M - - BNDLDX F=MPX
#66.0f1a RM Z Z - - BNDMOV D64 F=MPX
#F2.0f1a RM Z Ey - - BNDCU D64 F=MPX
#F3.0f1a RM Z Ey - - BNDCL D64 F=MPX
#NP.0f1b/m MR M Z - - BNDSTX F=MPX
#66.0f1b MR Z Z - - BNDMOV D64 F=MPX
#F2.0f1b RM Z Ey - - BNDCN D64 F=MPX
#F3.0f1b/m RM Z M - - BNDMK F=MPX
# TSXLDTRK
F2.0f01e8 NP - - - - XSUSLDTRK F=TSXLDTRK
F2.0f01e9 NP - - - - XRESLDTRK F=TSXLDTRK
# AVX_VNNI
VEX.NP.W0.0f3850 RVM Vx Hx Wx - VPDPBUUD F=VNNI-INT8
VEX.66.W0.0f3850 RVM Vx Hx Wx - VPDPBUSD F=VNNI
VEX.F3.W0.0f3850 RVM Vx Hx Wx - VPDPBSUD F=VNNI-INT8
VEX.F2.W0.0f3850 RVM Vx Hx Wx - VPDPBSSD F=VNNI-INT8
VEX.NP.W0.0f3851 RVM Vx Hx Wx - VPDPBUUDS F=VNNI-INT8
VEX.66.W0.0f3851 RVM Vx Hx Wx - VPDPBUSDS F=VNNI
VEX.F3.W0.0f3851 RVM Vx Hx Wx - VPDPBSUDS F=VNNI-INT8
VEX.F2.W0.0f3851 RVM Vx Hx Wx - VPDPBSSDS F=VNNI-INT8
VEX.66.W0.0f3852 RVM Vx Hx Wx - VPDPWSSD F=VNNI
VEX.66.W0.0f3853 RVM Vx Hx Wx - VPDPWSSDS F=VNNI
# AVX-NE-CONVERT
VEX.NP.W0.0f38b0/m RM Vx Mx - - VCVTNEOPH2PS F=AVX-NE-CONVERT
VEX.66.W0.0f38b0/m RM Vx Mx - - VCVTNEEPH2PS F=AVX-NE-CONVERT
VEX.F3.W0.0f38b0/m RM Vx Mx - - VCVTNEEBF162PS F=AVX-NE-CONVERT
VEX.F2.W0.0f38b0/m RM Vx Mx - - VCVTNEOBF162PS F=AVX-NE-CONVERT
VEX.66.W0.0f38b1/m RM Vx Mw - - VBCSTNESH2PS F=AVX-NE-CONVERT
VEX.F3.W0.0f38b1/m RM Vx Mw - - VBCSTNEBF162PS F=AVX-NE-CONVERT
VEX.F3.W0.0f3872 RM Vh Wps - - VCVTNEPS2BF16 F=AVX-NE-CONVERT
# AVX-IFMA
VEX.66.W1.0f38b4 RVM Vx Hx Wx - VPMADD52LUQ F=AVX-IFMA
VEX.66.W1.0f38b5 RVM Vx Hx Wx - VPMADD52HUQ F=AVX-IFMA
# HRESET
F3.0f3af0c0 I Ib - - - HRESET F=HRESET
# SERIALIZE
NP.0f01e8 NP - - - - SERIALIZE F=SERIALIZE
# UINTR
F3.0f01ec NP - - - - UIRET O64 F=UINTR
F3.0f01ed NP - - - - TESTUI O64 F=UINTR
F3.0f01ee NP - - - - CLUI O64 F=UINTR
F3.0f01ef NP - - - - STUI O64 F=UINTR
F3.0fc7/6r M Ry - - - SENDUIPI O64 D64 F=UINTR
# WRMSRNS
NP.0f01c6 NP - - - - WRMSRNS F=WRMSRNS CPL0
# MSRLIST
F2.0f01c6 NP - - - - RDMSRLIST O64 F=MSRLIST CPL0
F3.0f01c6 NP - - - - WRMSRLIST O64 F=MSRLIST CPL0
# RAO-INT
NP.0f38fc/m MR My Gy - - AADD F=RAO-INT
66.0f38fc/m MR My Gy - - AAND F=RAO-INT
F3.0f38fc/m MR My Gy - - AXOR F=RAO-INT
F2.0f38fc/m MR My Gy - - AOR F=RAO-INT
# CMPCCXADD
VEX.66.L0.0f38e0/m MRV My Gy By - CMPOXADD O64 F=CMPCCXADD EFL=m--mmmmm
VEX.66.L0.0f38e1/m MRV My Gy By - CMPNOXADD O64 F=CMPCCXADD EFL=m--mmmmm
VEX.66.L0.0f38e2/m MRV My Gy By - CMPBXADD O64 F=CMPCCXADD EFL=m--mmmmm
VEX.66.L0.0f38e3/m MRV My Gy By - CMPNBXADD O64 F=CMPCCXADD EFL=m--mmmmm
VEX.66.L0.0f38e4/m MRV My Gy By - CMPZXADD O64 F=CMPCCXADD EFL=m--mmmmm
VEX.66.L0.0f38e5/m MRV My Gy By - CMPNZXADD O64 F=CMPCCXADD EFL=m--mmmmm
VEX.66.L0.0f38e6/m MRV My Gy By - CMPBEXADD O64 F=CMPCCXADD EFL=m--mmmmm
VEX.66.L0.0f38e7/m MRV My Gy By - CMPNBEXADD O64 F=CMPCCXADD EFL=m--mmmmm
VEX.66.L0.0f38e8/m MRV My Gy By - CMPSXADD O64 F=CMPCCXADD EFL=m--mmmmm
VEX.66.L0.0f38e9/m MRV My Gy By - CMPNSXADD O64 F=CMPCCXADD EFL=m--mmmmm
VEX.66.L0.0f38ea/m MRV My Gy By - CMPPXADD O64 F=CMPCCXADD EFL=m--mmmmm
VEX.66.L0.0f38eb/m MRV My Gy By - CMPNPXADD O64 F=CMPCCXADD EFL=m--mmmmm
VEX.66.L0.0f38ec/m MRV My Gy By - CMPLXADD O64 F=CMPCCXADD EFL=m--mmmmm
VEX.66.L0.0f38ed/m MRV My Gy By - CMPNLXADD O64 F=CMPCCXADD EFL=m--mmmmm
VEX.66.L0.0f38ee/m MRV My Gy By - CMPLEXADD O64 F=CMPCCXADD EFL=m--mmmmm
VEX.66.L0.0f38ef/m MRV My Gy By - CMPNLEXADD O64 F=CMPCCXADD EFL=m--mmmmm
# AESKLE/KL (Key Locker)
F3.0f38d8/0m M M - - - AESENCWIDE128KL F=AESKLE
F3.0f38d8/1m M M - - - AESDECWIDE128KL F=AESKLE
F3.0f38d8/2m M M - - - AESENCWIDE256KL F=AESKLE
F3.0f38d8/3m M M - - - AESDECWIDE256KL F=AESKLE
F3.0f38dc/m RM Vx M - - AESENC128KL F=AESKLE
F3.0f38dc/r RM Vx Ux - - LOADIWKEY F=AESKLE
F3.0f38dd/m RM Vx M - - AESDEC128KL F=AESKLE
F3.0f38de/m RM Vx M - - AESENC256KL F=AESKLE
F3.0f38df/m RM Vx M - - AESDEC256KL F=AESKLE
F3.0f38fa/r RM Gd Rd - - ENCODEKEY128 F=AESKLE
F3.0f38fb/r RM Gd Rd - - ENCODEKEY256 F=AESKLE
# FRED
F2.0f00/6 M Ew - - - LKGS F=FRED
F3.0f01ca NP - - - - ERETU F=FRED
F2.0f01ca NP - - - - ERETS F=FRED
# AVX512
EVEX.NP.W0.0f58 RVM Vps Hps Wps - EVX_ADDPS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f58 RVM Vpd Hpd Wpd - EVX_ADDPD+kbr F=AVX512F TUPLE_FULL_64
EVEX.F3.W0.LIG.0f58 RVM Vdq Hdq Wss - EVX_ADDSS+kr F=AVX512F TUPLE1_SCALAR_32
EVEX.F2.W1.LIG.0f58 RVM Vdq Hdq Wsd - EVX_ADDSD+kr F=AVX512F TUPLE1_SCALAR_64
EVEX.66.0f38dc RVM Vx Hx Wx - EVX_AESENC F=AVX512F,VAES TUPLE_FULL_MEM
EVEX.66.0f38dd RVM Vx Hx Wx - EVX_AESENCLAST F=AVX512F,VAES TUPLE_FULL_MEM
EVEX.66.0f38de RVM Vx Hx Wx - EVX_AESDEC F=AVX512F,VAES TUPLE_FULL_MEM
EVEX.66.0f38df RVM Vx Hx Wx - EVX_AESDECLAST F=AVX512F,VAES TUPLE_FULL_MEM
EVEX.NP.W0.0f54 RVM Vps Hps Wps - EVX_ANDPS+kb F=AVX512DQ TUPLE_FULL_32
EVEX.66.W1.0f54 RVM Vpd Hpd Wpd - EVX_ANDPD+kb F=AVX512DQ TUPLE_FULL_64
EVEX.NP.W0.0f55 RVM Vps Hps Wps - EVX_ANDNPS+kb F=AVX512DQ TUPLE_FULL_32
EVEX.66.W1.0f55 RVM Vpd Hpd Wpd - EVX_ANDNPD+kb F=AVX512DQ TUPLE_FULL_64
EVEX.NP.W0.0fc2 RVMI Kb Hps Wps Ib EVX_CMPPS+kbe F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0fc2 RVMI Kb Hpd Wpd Ib EVX_CMPPD+kbe F=AVX512F TUPLE_FULL_64
EVEX.F3.W0.LIG.0fc2 RVMI Kb Hss Wss Ib EVX_CMPSS+ke F=AVX512F TUPLE1_SCALAR_32
EVEX.F2.W1.LIG.0fc2 RVMI Kb Hsd Wsd Ib EVX_CMPSD+ke F=AVX512F TUPLE1_SCALAR_64
EVEX.NP.W0.LIG.0f2f RM Vss Wss - - EVX_COMISS+e F=AVX512F TUPLE1_SCALAR_32 EFL=0--0m0mm
EVEX.66.W1.LIG.0f2f RM Vsd Wsd - - EVX_COMISD+e F=AVX512F TUPLE1_SCALAR_64 EFL=0--0m0mm
# Note: SAE is ignored
EVEX.F3.W0.0fe6 RM Vpd Wh - - EVX_CVTDQ2PD+kbe F=AVX512F TUPLE_HALF_32
EVEX.F2.W1.0fe6 RM Vh Wpd - - EVX_CVTPD2DQ+kbr F=AVX512F TUPLE_FULL_64
EVEX.NP.W0.0f5b RM Vps Wps - - EVX_CVTDQ2PS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W0.0f5b RM Vps Wps - - EVX_CVTPS2DQ+kbr F=AVX512F TUPLE_FULL_32
EVEX.NP.W0.0f5a RM Vpd Wh - - EVX_CVTPS2PD+kbe F=AVX512F TUPLE_HALF_32
EVEX.66.W1.0f5a RM Vh Wpd - - EVX_CVTPD2PS+kbr F=AVX512F TUPLE_FULL_64
EVEX.F3.LIG.0f2d RM Gy Wss - - EVX_CVTSS2SI+r F=AVX512F TUPLE1_FIXED_32
EVEX.F2.LIG.0f2d RM Gy Wsd - - EVX_CVTSD2SI+r F=AVX512F TUPLE1_FIXED_64
EVEX.F3.W0.LIG.0f5a RVM Vdq Hdq Wss - EVX_CVTSS2SD+ke F=AVX512F TUPLE1_SCALAR_32
EVEX.F2.W1.LIG.0f5a RVM Vdq Hdq Wsd - EVX_CVTSD2SS+kr F=AVX512F TUPLE1_SCALAR_64
EVEX.F3.LIG.0f2a RVM Vdq Hdq Ey - EVX_CVTSI2SS+r F=AVX512F TUPLE1_SCALAR_OPSZ
# Note: for W0, ER is ignored (i.e., will not UD, according to Intel SDM)
EVEX.F2.LIG.0f2a RVM Vdq Hdq Ey - EVX_CVTSI2SD+r F=AVX512F TUPLE1_SCALAR_OPSZ
EVEX.66.W1.0fe6 RM Vps Wpd - - EVX_CVTTPD2DQ+kbe F=AVX512F TUPLE_FULL_64
EVEX.F3.W0.0f5b RM Vps Wps - - EVX_CVTTPS2DQ+kbe F=AVX512F TUPLE_FULL_32
EVEX.F2.LIG.0f2c RM Gy Wsd - - EVX_CVTTSD2SI+e F=AVX512F TUPLE1_FIXED_64
EVEX.F3.LIG.0f2c RM Gy Wss - - EVX_CVTTSS2SI+e F=AVX512F TUPLE1_FIXED_32
EVEX.NP.W0.0f5e RVM Vps Hps Wps - EVX_DIVPS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f5e RVM Vpd Hpd Wpd - EVX_DIVPD+kbr F=AVX512F TUPLE_FULL_64
EVEX.F3.W0.LIG.0f5e RVM Vdq Hdq Wss - EVX_DIVSS+kr F=AVX512F TUPLE1_SCALAR_32
EVEX.F2.W1.LIG.0f5e RVM Vdq Hdq Wsd - EVX_DIVSD+kr F=AVX512F TUPLE1_SCALAR_64
# Note: tuple size is actually fixed at 32 bits, regardless of EVEX.W
EVEX.66.L0.0f3a17 MRI Ess Vps Ib - EVX_EXTRACTPS F=AVX512F TUPLE1_FIXED_32
EVEX.66.W0.L0.0f3a21 RVMI Vps Hps Wss Ib EVX_INSERTPS F=AVX512F TUPLE1_SCALAR_32
EVEX.NP.W0.0f5f RVM Vps Hps Wps - EVX_MAXPS+kbe F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f5f RVM Vpd Hpd Wpd - EVX_MAXPD+kbe F=AVX512F TUPLE_FULL_64
EVEX.F3.W0.LIG.0f5f RVM Vdq Hdq Wss - EVX_MAXSS+ke F=AVX512F TUPLE1_SCALAR_32
EVEX.F2.W1.LIG.0f5f RVM Vdq Hdq Wsd - EVX_MAXSD+ke F=AVX512F TUPLE1_SCALAR_64
EVEX.NP.W0.0f5d RVM Vps Hps Wps - EVX_MINPS+kbe F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f5d RVM Vpd Hpd Wpd - EVX_MINPD+kbe F=AVX512F TUPLE_FULL_64
EVEX.F3.W0.LIG.0f5d RVM Vdq Hdq Wss - EVX_MINSS+ke F=AVX512F TUPLE1_SCALAR_32
EVEX.F2.W1.LIG.0f5d RVM Vdq Hdq Wsd - EVX_MINSD+ke F=AVX512F TUPLE1_SCALAR_64
EVEX.NP.W0.0f28 RM Vps Wps - - EVX_MOVAPS+k F=AVX512F TUPLE_FULL_MEM
EVEX.66.W1.0f28 RM Vpd Wpd - - EVX_MOVAPD+k F=AVX512F TUPLE_FULL_MEM
EVEX.NP.W0.0f29 MR Wps Vps - - EVX_MOVAPS+k F=AVX512F TUPLE_FULL_MEM
EVEX.66.W1.0f29 MR Wpd Vpd - - EVX_MOVAPD+k F=AVX512F TUPLE_FULL_MEM
EVEX.66.L0.0f7e MR Ey Vy - - EVX_MOV_X2G F=AVX512F TUPLE1_SCALAR_OPSZ
EVEX.66.L0.0f6e RM Vy Ey - - EVX_MOV_G2X F=AVX512F TUPLE1_SCALAR_OPSZ
EVEX.F2.W1.L0.0f12 RM Vpd Wq - - EVX_MOVDDUP+k F=AVX512F TUPLE1_SCALAR_64
EVEX.F2.W1.L12.0f12 RM Vpd Wpd - - EVX_MOVDDUP+k F=AVX512F TUPLE_MOVDDUP
EVEX.66.W0.0f6f RM Vx Wx - - EVX_MOVDQA32+k F=AVX512F TUPLE_FULL_MEM
EVEX.66.W1.0f6f RM Vx Wx - - EVX_MOVDQA64+k F=AVX512F TUPLE_FULL_MEM
EVEX.66.W0.0f7f MR Wx Vx - - EVX_MOVDQA32+k F=AVX512F TUPLE_FULL_MEM
EVEX.66.W1.0f7f MR Wx Vx - - EVX_MOVDQA64+k F=AVX512F TUPLE_FULL_MEM
EVEX.F3.W0.0f6f RM Vx Wx - - EVX_MOVDQU32+k F=AVX512F TUPLE_FULL_MEM
EVEX.F3.W1.0f6f RM Vx Wx - - EVX_MOVDQU64+k F=AVX512F TUPLE_FULL_MEM
EVEX.F3.W0.0f7f MR Wx Vx - - EVX_MOVDQU32+k F=AVX512F TUPLE_FULL_MEM
EVEX.F3.W1.0f7f MR Wx Vx - - EVX_MOVDQU64+k F=AVX512F TUPLE_FULL_MEM
EVEX.F2.W0.0f6f RM Vx Wx - - EVX_MOVDQU8+k F=AVX512BW TUPLE_FULL_MEM
EVEX.F2.W1.0f6f RM Vx Wx - - EVX_MOVDQU16+k F=AVX512BW TUPLE_FULL_MEM
EVEX.F2.W0.0f7f MR Wx Vx - - EVX_MOVDQU8+k F=AVX512BW TUPLE_FULL_MEM
EVEX.F2.W1.0f7f MR Wx Vx - - EVX_MOVDQU16+k F=AVX512BW TUPLE_FULL_MEM
EVEX.NP.W0.L0.0f12/m RVM Vps Hps Mq - EVX_MOVLPS F=AVX512F TUPLE2_32
EVEX.NP.W0.L0.0f12/r RVM Vps Hps Ups - EVX_MOVHLPS F=AVX512F
EVEX.66.W1.L0.0f12/m RVM Vpd Hpd Msd - EVX_MOVLPD F=AVX512F TUPLE1_SCALAR_64
EVEX.NP.W0.L0.0f13/m MR Mq Vq - - EVX_MOVLPS F=AVX512F TUPLE2_32
EVEX.66.W1.L0.0f13/m MR Msd Vsd - - EVX_MOVLPD F=AVX512F TUPLE1_SCALAR_64
EVEX.NP.W0.L0.0f16/m RVM Vps Hq Mq - EVX_MOVHPS F=AVX512F TUPLE2_32
EVEX.NP.W0.L0.0f16/r RVM Vps Hq Uq - EVX_MOVLHPS F=AVX512F
EVEX.66.W1.L0.0f16/m RVM Vpd Hsd Msd - EVX_MOVHPD F=AVX512F TUPLE1_SCALAR_64
EVEX.NP.W0.L0.0f17/m MR Mq Vq - - EVX_MOVHPS F=AVX512F TUPLE2_32
EVEX.66.W1.L0.0f17/m MR Msd Vpd - - EVX_MOVHPD F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W0.0f382a/m RM Vx Mx - - EVX_MOVNTDQA F=AVX512F TUPLE_FULL_MEM
EVEX.66.W0.0fe7/m MR Mx Vx - - EVX_MOVNTDQ F=AVX512F TUPLE_FULL_MEM
EVEX.NP.W0.0f2b/m MR Mps Vps - - EVX_MOVNTPS F=AVX512F TUPLE_FULL_MEM
EVEX.66.W1.0f2b/m MR Mpd Vpd - - EVX_MOVNTPD F=AVX512F TUPLE_FULL_MEM
EVEX.F3.W1.L0.0f7e RM Vq Wq - - EVX_MOVQ F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W1.L0.0fd6 MR Wq Vq - - EVX_MOVQ F=AVX512F TUPLE1_SCALAR_64
EVEX.F3.W0.LIG.0f10/m RM Vdq Mss - - EVX_MOVSS+k F=AVX512F TUPLE1_SCALAR_32
EVEX.F3.W0.LIG.0f10/r RVM Vdq Hdq Uss - EVX_MOVSS+k F=AVX512F
EVEX.F2.W1.LIG.0f10/m RM Vdq Msd - - EVX_MOVSD+k F=AVX512F TUPLE1_SCALAR_64
EVEX.F2.W1.LIG.0f10/r RVM Vdq Hdq Usd - EVX_MOVSD+k F=AVX512F
EVEX.F3.W0.LIG.0f11/m MR Mss Vss - - EVX_MOVSS+k F=AVX512F TUPLE1_SCALAR_32
EVEX.F3.W0.LIG.0f11/r MVR Udq Hdq Vss - EVX_MOVSS+k F=AVX512F
EVEX.F2.W1.LIG.0f11/m MR Msd Vsd - - EVX_MOVSD+k F=AVX512F TUPLE1_SCALAR_64
EVEX.F2.W1.LIG.0f11/r MVR Udq Hdq Vsd - EVX_MOVSD+k F=AVX512F
EVEX.F3.W0.0f12 RM Vps Wps - - EVX_MOVSLDUP+k F=AVX512F TUPLE_FULL_MEM
EVEX.F3.W0.0f16 RM Vps Wps - - EVX_MOVSHDUP+k F=AVX512F TUPLE_FULL_MEM
EVEX.NP.W0.0f10 RM Vps Wps - - EVX_MOVUPS+k F=AVX512F TUPLE_FULL_MEM
EVEX.66.W1.0f10 RM Vpd Wpd - - EVX_MOVUPD+k F=AVX512F TUPLE_FULL_MEM
EVEX.NP.W0.0f11 MR Wps Vps - - EVX_MOVUPS+k F=AVX512F TUPLE_FULL_MEM
EVEX.66.W1.0f11 MR Wpd Vpd - - EVX_MOVUPD+k F=AVX512F TUPLE_FULL_MEM
EVEX.NP.W0.0f59 RVM Vps Hps Wps - EVX_MULPS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f59 RVM Vpd Hpd Wpd - EVX_MULPD+kbr F=AVX512F TUPLE_FULL_64
EVEX.F3.W0.LIG.0f59 RVM Vdq Hdq Wss - EVX_MULSS+kr F=AVX512F TUPLE1_SCALAR_32
EVEX.F2.W1.LIG.0f59 RVM Vdq Hdq Wsd - EVX_MULSD+kr F=AVX512F TUPLE1_SCALAR_64
EVEX.NP.W0.0f56 RVM Vps Hps Wps - EVX_ORPS+kb F=AVX512DQ TUPLE_FULL_32
EVEX.66.W1.0f56 RVM Vpd Hpd Wpd - EVX_ORPD+kb F=AVX512DQ TUPLE_FULL_64
EVEX.66.0f381c RM Vx Wx - - EVX_PABSB+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0f381d RM Vx Wx - - EVX_PABSW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W0.0f381e RM Vx Wx - - EVX_PABSD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f381f RM Vx Wx - - EVX_PABSQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.0f63 RVM Vx Hx Wx - EVX_PACKSSWB+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0f67 RVM Vx Hx Wx - EVX_PACKUSWB+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W0.0f6b RVM Vx Hx Wx - EVX_PACKSSDW+kb F=AVX512BW TUPLE_FULL_32
EVEX.66.W0.0f382b RVM Vx Hx Wx - EVX_PACKUSDW+kb F=AVX512BW TUPLE_FULL_32
EVEX.66.0ffc RVM Vx Hx Wx - EVX_PADDB+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0ffd RVM Vx Hx Wx - EVX_PADDW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W0.0ffe RVM Vx Hx Wx - EVX_PADDD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0fd4 RVM Vx Hx Wx - EVX_PADDQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.0fec RVM Vx Hx Wx - EVX_PADDSB+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0fed RVM Vx Hx Wx - EVX_PADDSW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0fdc RVM Vx Hx Wx - EVX_PADDUSB+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0fdd RVM Vx Hx Wx - EVX_PADDUSW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0f3a0f RVMI Vx Hx Wx Ib EVX_PALIGNR+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W0.0fdb RVM Vx Hx Wx - EVX_PANDD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0fdb RVM Vx Hx Wx - EVX_PANDQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0fdf RVM Vx Hx Wx - EVX_PANDND+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0fdf RVM Vx Hx Wx - EVX_PANDNQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.0fe0 RVM Vx Hx Wx - EVX_PAVGB+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0fe3 RVM Vx Hx Wx - EVX_PAVGW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0f3a44 RVMI Vx Hx Wx Ib EVX_PCLMULQDQ F=AVX512F,VPCLMULQDQ TUPLE_FULL_MEM
EVEX.66.0f74 RVM K Hx Wx - EVX_PCMPEQB+k F=AVX512F TUPLE_FULL_MEM
EVEX.66.0f75 RVM K Hx Wx - EVX_PCMPEQW+k F=AVX512F TUPLE_FULL_MEM
EVEX.66.W0.0f76 RVM K Hx Wx - EVX_PCMPEQD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f3829 RVM K Hx Wx - EVX_PCMPEQQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.0f64 RVM K Hx Wx - EVX_PCMPGTB+k F=AVX512F TUPLE_FULL_MEM
EVEX.66.0f65 RVM K Hx Wx - EVX_PCMPGTW+k F=AVX512F TUPLE_FULL_MEM
EVEX.66.W0.0f66 RVM K Hx Wx - EVX_PCMPGTD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f3837 RVM K Hx Wx - EVX_PCMPGTQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.L0.0f3a14/m MRI Mb Vx Ib - EVX_PEXTRB F=AVX512BW TUPLE1_SCALAR_8
EVEX.66.L0.0f3a14/r MRI Rd Vx Ib - EVX_PEXTRB F=AVX512BW
EVEX.66.L0.0fc5/r RMI Gd Ux Ib - EVX_PEXTRW F=AVX512BW
EVEX.66.L0.0f3a15/m MRI Mw Vx Ib - EVX_PEXTRW F=AVX512BW TUPLE1_SCALAR_16
EVEX.66.L0.0f3a15/r MRI Rd Vx Ib - EVX_PEXTRW F=AVX512BW
EVEX.66.L0.0f3a16 MRI Ey Vdq Ib - EVX_PEXTR F=AVX512DQ TUPLE1_SCALAR_OPSZ
EVEX.66.L0.0f3a20 RVMI Vx Hx Eb Ib EVX_PINSR F=AVX512BW TUPLE1_SCALAR_8
EVEX.66.L0.0fc4 RVMI Vx Hx Ew Ib EVX_PINSR F=AVX512BW TUPLE1_SCALAR_16
EVEX.66.L0.0f3a22 RVMI Vdq Hdq Ey Ib EVX_PINSR F=AVX512DQ TUPLE1_SCALAR_OPSZ
EVEX.66.0f3804 RVM Vx Hx Wx - EVX_PMADDUBSW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0ff5 RVM Vx Hx Wx - EVX_PMADDWD+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0fda RVM Vx Hx Wx - EVX_PMINUB+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0fde RVM Vx Hx Wx - EVX_PMAXUB+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0fea RVM Vx Hx Wx - EVX_PMINSW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0fee RVM Vx Hx Wx - EVX_PMAXSW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0f3838 RVM Vx Hx Wx - EVX_PMINSB+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W0.0f3839 RVM Vx Hx Wx - EVX_PMINSD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f3839 RVM Vx Hx Wx - EVX_PMINSQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.0f383a RVM Vx Hx Wx - EVX_PMINUW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W0.0f383b RVM Vx Hx Wx - EVX_PMINUD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f383b RVM Vx Hx Wx - EVX_PMINUQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.0f383c RVM Vx Hx Wx - EVX_PMAXSB+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W0.0f383d RVM Vx Hx Wx - EVX_PMAXSD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f383d RVM Vx Hx Wx - EVX_PMAXSQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.0f383e RVM Vx Hx Wx - EVX_PMAXUW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W0.0f383f RVM Vx Hx Wx - EVX_PMAXUD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f383f RVM Vx Hx Wx - EVX_PMAXUQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.0f3820 RM Vx Wh - - EVX_PMOVSXBW+k F=AVX512F TUPLE_HALF_MEM
EVEX.66.0f3821 RM Vx Wf - - EVX_PMOVSXBD+k F=AVX512F TUPLE_QUARTER_MEM
EVEX.66.0f3822 RM Vx We - - EVX_PMOVSXBQ+k F=AVX512F TUPLE_EIGHTH_MEM
EVEX.66.0f3823 RM Vx Wh - - EVX_PMOVSXWD+k F=AVX512F TUPLE_HALF_MEM
EVEX.66.0f3824 RM Vx Wf - - EVX_PMOVSXWQ+k F=AVX512F TUPLE_QUARTER_MEM
EVEX.66.W0.0f3825 RM Vx Wh - - EVX_PMOVSXDQ+k F=AVX512F TUPLE_HALF_MEM
EVEX.66.0f3830 RM Vx Wh - - EVX_PMOVZXBW+k F=AVX512F TUPLE_HALF_MEM
EVEX.66.0f3831 RM Vx Wf - - EVX_PMOVZXBD+k F=AVX512F TUPLE_QUARTER_MEM
EVEX.66.0f3832 RM Vx We - - EVX_PMOVZXBQ+k F=AVX512F TUPLE_EIGHTH_MEM
EVEX.66.0f3833 RM Vx Wh - - EVX_PMOVZXWD+k F=AVX512F TUPLE_HALF_MEM
EVEX.66.0f3834 RM Vx Wf - - EVX_PMOVZXWQ+k F=AVX512F TUPLE_QUARTER_MEM
EVEX.66.W0.0f3835 RM Vx Wh - - EVX_PMOVZXDQ+k F=AVX512F TUPLE_HALF_MEM
EVEX.66.W1.0f3828 RVM Vx Hx Wx - EVX_PMULDQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.0f380b RVM Vx Hx Wx - EVX_PMULHRSW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0fe4 RVM Vx Hx Wx - EVX_PMULHUW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0fe5 RVM Vx Hx Wx - EVX_PMULHW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0fd5 RVM Vx Hx Wx - EVX_PMULLW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W0.0f3840 RVM Vx Hx Wx - EVX_PMULLD+kb F=AVX512DQ TUPLE_FULL_32
EVEX.66.W1.0f3840 RVM Vx Hx Wx - EVX_PMULLQ+kb F=AVX512DQ TUPLE_FULL_64
EVEX.66.W1.0ff4 RVM Vx Hx Wx - EVX_PMULUDQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0feb RVM Vx Hx Wx - EVX_PORD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0feb RVM Vx Hx Wx - EVX_PORQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.0ff6 RVM Vx Hx Wx - EVX_PSADBW F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0f3800 RVM Vx Hx Wx - EVX_PSHUFB+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W0.0f70 RMI Vx Wx Ib - EVX_PSHUFD+kb F=AVX512F TUPLE_FULL_32
EVEX.F3.0f70 RMI Vx Wx Ib - EVX_PSHUFHW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.F2.0f70 RMI Vx Wx Ib - EVX_PSHUFLW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0f71/2 VMI Hx Wx Ib - EVX_PSRLW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0f71/4 VMI Hx Wx Ib - EVX_PSRAW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0f71/6 VMI Hx Wx Ib - EVX_PSLLW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W0.0f72/2 VMI Hx Wx Ib - EVX_PSRLD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W0.0f72/4 VMI Hx Wx Ib - EVX_PSRAD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W0.0f72/6 VMI Hx Wx Ib - EVX_PSLLD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f73/2 VMI Hx Wx Ib - EVX_PSRLQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W1.0f72/4 VMI Hx Wx Ib - EVX_PSRAQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W1.0f73/6 VMI Hx Wx Ib - EVX_PSLLQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.0fd1 RVM Vx Hx Wdq - EVX_PSRLW+k F=AVX512BW TUPLE_MEM128
EVEX.66.W0.0fd2 RVM Vx Hx Wdq - EVX_PSRLD+k F=AVX512F TUPLE_MEM128
EVEX.66.W1.0fd3 RVM Vx Hx Wdq - EVX_PSRLQ+k F=AVX512F TUPLE_MEM128
EVEX.66.0fe1 RVM Vx Hx Wdq - EVX_PSRAW+k F=AVX512BW TUPLE_MEM128
EVEX.66.W0.0fe2 RVM Vx Hx Wdq - EVX_PSRAD+k F=AVX512F TUPLE_MEM128
EVEX.66.W1.0fe2 RVM Vx Hx Wdq - EVX_PSRAQ+k F=AVX512F TUPLE_MEM128
EVEX.66.0ff1 RVM Vx Hx Wdq - EVX_PSLLW+k F=AVX512BW TUPLE_MEM128
EVEX.66.W0.0ff2 RVM Vx Hx Wdq - EVX_PSLLD+k F=AVX512F TUPLE_MEM128
EVEX.66.W1.0ff3 RVM Vx Hx Wdq - EVX_PSLLQ+k F=AVX512F TUPLE_MEM128
EVEX.66.0f73/3 VMI Hx Ux Ib - EVX_PSRLDQ F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0f73/7 VMI Hx Ux Ib - EVX_PSLLDQ F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0ff8 RVM Vx Hx Wx - EVX_PSUBB+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0ff9 RVM Vx Hx Wx - EVX_PSUBW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W0.0ffa RVM Vx Hx Wx - EVX_PSUBD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0ffb RVM Vx Hx Wx - EVX_PSUBQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.0fe8 RVM Vx Hx Wx - EVX_PSUBSB+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0fe9 RVM Vx Hx Wx - EVX_PSUBSW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0fd8 RVM Vx Hx Wx - EVX_PSUBUSB+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0fd9 RVM Vx Hx Wx - EVX_PSUBUSW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0f60 RVM Vx Hx Wx - EVX_PUNPCKLBW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0f61 RVM Vx Hx Wx - EVX_PUNPCKLWD+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W0.0f62 RVM Vx Hx Wx - EVX_PUNPCKLDQ+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f6c RVM Vx Hx Wx - EVX_PUNPCKLQDQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.0f68 RVM Vx Hx Wx - EVX_PUNPCKHBW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.0f69 RVM Vx Hx Wx - EVX_PUNPCKHWD+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W0.0f6a RVM Vx Hx Wx - EVX_PUNPCKHDQ+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f6d RVM Vx Hx Wx - EVX_PUNPCKHQDQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0fef RVM Vx Hx Wx - EVX_PXORD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0fef RVM Vx Hx Wx - EVX_PXORQ+kb F=AVX512F TUPLE_FULL_64
EVEX.NP.W0.0fc6 RVMI Vx Hx Wx Ib EVX_SHUFPS+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0fc6 RVMI Vx Hx Wx Ib EVX_SHUFPD+kb F=AVX512F TUPLE_FULL_64
EVEX.NP.W0.0f51 RM Vps Wps - - EVX_SQRTPS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f51 RM Vpd Wpd - - EVX_SQRTPD+kbr F=AVX512F TUPLE_FULL_64
EVEX.F3.W0.LIG.0f51 RVM Vdq Hdq Wss - EVX_SQRTSS+kr F=AVX512F TUPLE1_SCALAR_32
EVEX.F2.W1.LIG.0f51 RVM Vdq Hdq Wsd - EVX_SQRTSD+kr F=AVX512F TUPLE1_SCALAR_64
EVEX.NP.W0.0f5c RVM Vps Hps Wps - EVX_SUBPS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f5c RVM Vpd Hpd Wpd - EVX_SUBPD+kbr F=AVX512F TUPLE_FULL_64
EVEX.F3.W0.LIG.0f5c RVM Vdq Hdq Wss - EVX_SUBSS+kr F=AVX512F TUPLE1_SCALAR_32
EVEX.F2.W1.LIG.0f5c RVM Vdq Hdq Wsd - EVX_SUBSD+kr F=AVX512F TUPLE1_SCALAR_64
EVEX.NP.W0.LIG.0f2e RM Vss Wss - - EVX_UCOMISS+e F=AVX512F TUPLE1_SCALAR_32 EFL=0--0m0mm
EVEX.66.W1.LIG.0f2e RM Vsd Wsd - - EVX_UCOMISD+e F=AVX512F TUPLE1_SCALAR_64 EFL=0--0m0mm
EVEX.NP.W0.0f14 RVM Vps Hps Wps - EVX_UNPCKLPS+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f14 RVM Vpd Hpd Wpd - EVX_UNPCKLPD+kb F=AVX512F TUPLE_FULL_64
EVEX.NP.W0.0f15 RVM Vps Hps Wps - EVX_UNPCKHPS+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f15 RVM Vpd Hpd Wpd - EVX_UNPCKHPD+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f3a03 RVMI Vx Hx Wx Ib EVX_ALIGND+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f3a03 RVMI Vx Hx Wx Ib EVX_ALIGNQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f3865 RVM Vx Hx Wx - EVX_BLENDMPS+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f3865 RVM Vx Hx Wx - EVX_BLENDMPD+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f3818 RM Vx Wd - - EVX_BROADCASTSS+k F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W0.L12.0f3819 RM Vx Wq - - EVX_BROADCASTF32X2+k F=AVX512DQ TUPLE2_32
EVEX.66.W1.L12.0f3819 RM Vx Wq - - EVX_BROADCASTSD+k F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W0.L12.0f381a/m RM Vx Wdq - - EVX_BROADCASTF32X4+k F=AVX512F TUPLE4_32
EVEX.66.W1.L12.0f381a/m RM Vx Wdq - - EVX_BROADCASTF64X2+k F=AVX512DQ TUPLE2_64
EVEX.66.W0.L2.0f381b/m RM Vx Wqq - - EVX_BROADCASTF32X8+k F=AVX512DQ TUPLE8_32
EVEX.66.W1.L2.0f381b/m RM Vx Wqq - - EVX_BROADCASTF64X4+k F=AVX512F TUPLE4_64
# Note tuple type, scale is not memory size but element size
EVEX.66.W0.0f388a/m MR Md Vx - - EVX_COMPRESSPS+k F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W0.0f388a/r MR Ux Vx - - EVX_COMPRESSPS+k F=AVX512F
EVEX.66.W1.0f388a/m MR Mq Vx - - EVX_COMPRESSPD+k F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W1.0f388a/r MR Ux Vx - - EVX_COMPRESSPD+k F=AVX512F
EVEX.F2.W0.0f3872 RVM Vx Hx Wx - EVX_CVTNE2PS2BF16+kb F=AVX512_BF16 TUPLE_FULL_32
EVEX.F3.W0.0f3872 RM Vh Wx - - EVX_CVTNEPS2BF16+kb F=AVX512_BF16 TUPLE_FULL_32
EVEX.66.W0.0f7b RM Vx Wh - - EVX_CVTPS2QQ+kbr F=AVX512DQ TUPLE_HALF_32
EVEX.66.W1.0f7b RM Vx Wx - - EVX_CVTPD2QQ+kbr F=AVX512DQ TUPLE_FULL_64
EVEX.NP.W0.0f79 RM Vx Wx - - EVX_CVTPS2UDQ+kbr F=AVX512F TUPLE_FULL_32
EVEX.NP.W1.0f79 RM Vh Wx - - EVX_CVTPD2UDQ+kbr F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f79 RM Vx Wh - - EVX_CVTPS2UQQ+kbr F=AVX512F TUPLE_HALF_32
EVEX.66.W1.0f79 RM Vx Wx - - EVX_CVTPD2UQQ+kbr F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f3813 RM Vx Wh - - EVX_CVTPH2PS+ke F=AVX512F TUPLE_HALF_MEM
EVEX.66.W0.0f3a1d MRI Wh Vx Ib - EVX_CVTPS2PH+ke F=AVX512F TUPLE_HALF_MEM
EVEX.F3.W1.0fe6 RM Vx Wx - - EVX_CVTQQ2PD+kbr F=AVX512DQ TUPLE_FULL_64
EVEX.NP.W1.0f5b RM Vh Wx - - EVX_CVTQQ2PS+kbr F=AVX512DQ TUPLE_FULL_64
EVEX.F2.LIG.0f79 RM Gy Wsd - - EVX_CVTSD2USI+r F=AVX512F TUPLE1_FIXED_64
EVEX.F3.LIG.0f79 RM Gy Wss - - EVX_CVTSS2USI+r F=AVX512F TUPLE1_FIXED_32
# Note: for W0, ER is ignored (i.e., will not UD, according to Intel SDM)
EVEX.F2.LIG.0f7b RVM Vdq Hdq Ey - EVX_CVTUSI2SD+r F=AVX512F TUPLE1_SCALAR_OPSZ
EVEX.F3.LIG.0f7b RVM Vdq Hdq Ey - EVX_CVTUSI2SS+r F=AVX512F TUPLE1_SCALAR_OPSZ
EVEX.66.W0.0f7a RM Vx Wh - - EVX_CVTTPS2QQ+kbe F=AVX512DQ TUPLE_HALF_32
EVEX.66.W1.0f7a RM Vx Wx - - EVX_CVTTPD2QQ+kbe F=AVX512DQ TUPLE_FULL_64
EVEX.NP.W0.0f78 RM Vx Wx - - EVX_CVTTPS2UDQ+kbe F=AVX512F TUPLE_FULL_32
EVEX.NP.W1.0f78 RM Vh Wx - - EVX_CVTTPD2UDQ+kbe F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f78 RM Vx Wh - - EVX_CVTTPS2UQQ+kbe F=AVX512F TUPLE_HALF_32
EVEX.66.W1.0f78 RM Vx Wx - - EVX_CVTTPD2UQQ+kbe F=AVX512F TUPLE_FULL_64
EVEX.F2.LIG.0f78 RM Gy Wsd - - EVX_CVTTSD2USI+e F=AVX512F TUPLE1_FIXED_64
EVEX.F3.LIG.0f78 RM Gy Wss - - EVX_CVTTSS2USI+e F=AVX512F TUPLE1_FIXED_32
# Note: SAE is ignored.
EVEX.F3.W0.0f7a RM Vx Wh - - EVX_CVTUDQ2PD+kbe F=AVX512F TUPLE_HALF_32
EVEX.F2.W0.0f7a RM Vx Wx - - EVX_CVTUDQ2PS+kbr F=AVX512F TUPLE_FULL_32
EVEX.F3.W1.0f7a RM Vx Wx - - EVX_CVTUQQ2PD+kbr F=AVX512F TUPLE_FULL_64
EVEX.F2.W1.0f7a RM Vh Wx - - EVX_CVTUQQ2PS+kbr F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f3a42 RVMI Vx Hx Wx Ib EVX_DBPSADBW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.F3.W0.0f3852 RVM Vx Hx Wx - EVX_DPBF16PS+kb F=AVX512_BF16 TUPLE_FULL_32
# Note tuple type, scale is not memory size but element size
EVEX.66.W0.0f3888/m RM Vx Md - - EVX_EXPANDPS+k F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W0.0f3888/r RM Vx Ux - - EVX_EXPANDPS+k F=AVX512F
EVEX.66.W1.0f3888/m RM Vx Mq - - EVX_EXPANDPD+k F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W1.0f3888/r RM Vx Ux - - EVX_EXPANDPD+k F=AVX512F
EVEX.66.W0.L12.0f3a19 MRI Wdq Vx Ib - EVX_EXTRACTF32X4+k F=AVX512F TUPLE4_32
EVEX.66.W1.L12.0f3a19 MRI Wdq Vx Ib - EVX_EXTRACTF64X2+k F=AVX512F TUPLE2_64
EVEX.66.W0.L2.0f3a1b MRI Wqq Vx Ib - EVX_EXTRACTF32X8+k F=AVX512F TUPLE8_32
EVEX.66.W1.L2.0f3a1b MRI Wqq Vx Ib - EVX_EXTRACTF64X4+k F=AVX512F TUPLE4_64
EVEX.66.W0.L12.0f3a39 MRI Wdq Vx Ib - EVX_EXTRACTI32X4+k F=AVX512F TUPLE4_32
EVEX.66.W1.L12.0f3a39 MRI Wdq Vx Ib - EVX_EXTRACTI64X2+k F=AVX512F TUPLE2_64
EVEX.66.W0.L2.0f3a3b MRI Wqq Vx Ib - EVX_EXTRACTI32X8+k F=AVX512F TUPLE8_32
EVEX.66.W1.L2.0f3a3b MRI Wqq Vx Ib - EVX_EXTRACTI64X4+k F=AVX512F TUPLE4_64
EVEX.66.W0.0f3a54 RVMI Vps Hps Wps Ib EVX_FIXUPIMMPS+kbe F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f3a54 RVMI Vpd Hpd Wpd Ib EVX_FIXUPIMMPD+kbe F=AVX512F TUPLE_FULL_64
EVEX.66.W0.LIG.0f3a55 RVMI Vdq Hdq Wss Ib EVX_FIXUPIMMSS+ke F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W1.LIG.0f3a55 RVMI Vdq Hdq Wsd Ib EVX_FIXUPIMMSD+ke F=AVX512F TUPLE1_SCALAR_64
# TODO: verify these, this is just copied from AVX/FMA.
EVEX.66.W0.0f3896 RVM Vx Hx Wx - EVX_FMADDSUB132PS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f3896 RVM Vx Hx Wx - EVX_FMADDSUB132PD+kbr F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f3897 RVM Vx Hx Wx - EVX_FMSUBADD132PS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f3897 RVM Vx Hx Wx - EVX_FMSUBADD132PD+kbr F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f3898 RVM Vx Hx Wx - EVX_FMADD132PS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f3898 RVM Vx Hx Wx - EVX_FMADD132PD+kbr F=AVX512F TUPLE_FULL_64
EVEX.66.W0.LIG.0f3899 RVM Vdq Hdq Wss - EVX_FMADD132SS+kr F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W1.LIG.0f3899 RVM Vdq Hdq Wsd - EVX_FMADD132SD+kr F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W0.0f389a RVM Vx Hx Wx - EVX_FMSUB132PS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f389a RVM Vx Hx Wx - EVX_FMSUB132PD+kbr F=AVX512F TUPLE_FULL_64
EVEX.66.W0.LIG.0f389b RVM Vdq Hdq Wss - EVX_FMSUB132SS+kr F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W1.LIG.0f389b RVM Vdq Hdq Wsd - EVX_FMSUB132SD+kr F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W0.0f389c RVM Vx Hx Wx - EVX_FNMADD132PS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f389c RVM Vx Hx Wx - EVX_FNMADD132PD+kbr F=AVX512F TUPLE_FULL_64
EVEX.66.W0.LIG.0f389d RVM Vdq Hdq Wss - EVX_FNMADD132SS+kr F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W1.LIG.0f389d RVM Vdq Hdq Wsd - EVX_FNMADD132SD+kr F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W0.0f389e RVM Vx Hx Wx - EVX_FNMSUB132PS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f389e RVM Vx Hx Wx - EVX_FNMSUB132PD+kbr F=AVX512F TUPLE_FULL_64
EVEX.66.W0.LIG.0f389f RVM Vdq Hdq Wss - EVX_FNMSUB132SS+kr F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W1.LIG.0f389f RVM Vdq Hdq Wsd - EVX_FNMSUB132SD+kr F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W0.0f38a6 RVM Vx Hx Wx - EVX_FMADDSUB213PS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f38a6 RVM Vx Hx Wx - EVX_FMADDSUB213PD+kbr F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f38a7 RVM Vx Hx Wx - EVX_FMSUBADD213PS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f38a7 RVM Vx Hx Wx - EVX_FMSUBADD213PD+kbr F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f38a8 RVM Vx Hx Wx - EVX_FMADD213PS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f38a8 RVM Vx Hx Wx - EVX_FMADD213PD+kbr F=AVX512F TUPLE_FULL_64
EVEX.66.W0.LIG.0f38a9 RVM Vdq Hdq Wss - EVX_FMADD213SS+kr F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W1.LIG.0f38a9 RVM Vdq Hdq Wsd - EVX_FMADD213SD+kr F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W0.0f38aa RVM Vx Hx Wx - EVX_FMSUB213PS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f38aa RVM Vx Hx Wx - EVX_FMSUB213PD+kbr F=AVX512F TUPLE_FULL_64
EVEX.66.W0.LIG.0f38ab RVM Vdq Hdq Wss - EVX_FMSUB213SS+kr F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W1.LIG.0f38ab RVM Vdq Hdq Wsd - EVX_FMSUB213SD+kr F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W0.0f38ac RVM Vx Hx Wx - EVX_FNMADD213PS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f38ac RVM Vx Hx Wx - EVX_FNMADD213PD+kbr F=AVX512F TUPLE_FULL_64
EVEX.66.W0.LIG.0f38ad RVM Vdq Hdq Wss - EVX_FNMADD213SS+kr F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W1.LIG.0f38ad RVM Vdq Hdq Wsd - EVX_FNMADD213SD+kr F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W0.0f38ae RVM Vx Hx Wx - EVX_FNMSUB213PS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f38ae RVM Vx Hx Wx - EVX_FNMSUB213PD+kbr F=AVX512F TUPLE_FULL_64
EVEX.66.W0.LIG.0f38af RVM Vdq Hdq Wss - EVX_FNMSUB213SS+kr F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W1.LIG.0f38af RVM Vdq Hdq Wsd - EVX_FNMSUB213SD+kr F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W0.0f38b6 RVM Vx Hx Wx - EVX_FMADDSUB231PS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f38b6 RVM Vx Hx Wx - EVX_FMADDSUB231PD+kbr F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f38b7 RVM Vx Hx Wx - EVX_FMSUBADD231PS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f38b7 RVM Vx Hx Wx - EVX_FMSUBADD231PD+kbr F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f38b8 RVM Vx Hx Wx - EVX_FMADD231PS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f38b8 RVM Vx Hx Wx - EVX_FMADD231PD+kbr F=AVX512F TUPLE_FULL_64
EVEX.66.W0.LIG.0f38b9 RVM Vdq Hdq Wss - EVX_FMADD231SS+kr F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W1.LIG.0f38b9 RVM Vdq Hdq Wsd - EVX_FMADD231SD+kr F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W0.0f38ba RVM Vx Hx Wx - EVX_FMSUB231PS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f38ba RVM Vx Hx Wx - EVX_FMSUB231PD+kbr F=AVX512F TUPLE_FULL_64
EVEX.66.W0.LIG.0f38bb RVM Vdq Hdq Wss - EVX_FMSUB231SS+kr F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W1.LIG.0f38bb RVM Vdq Hdq Wsd - EVX_FMSUB231SD+kr F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W0.0f38bc RVM Vx Hx Wx - EVX_FNMADD231PS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f38bc RVM Vx Hx Wx - EVX_FNMADD231PD+kbr F=AVX512F TUPLE_FULL_64
EVEX.66.W0.LIG.0f38bd RVM Vdq Hdq Wss - EVX_FNMADD231SS+kr F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W1.LIG.0f38bd RVM Vdq Hdq Wsd - EVX_FNMADD231SD+kr F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W0.0f38be RVM Vx Hx Wx - EVX_FNMSUB231PS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f38be RVM Vx Hx Wx - EVX_FNMSUB231PD+kbr F=AVX512F TUPLE_FULL_64
EVEX.66.W0.LIG.0f38bf RVM Vdq Hdq Wss - EVX_FNMSUB231SS+kr F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W1.LIG.0f38bf RVM Vdq Hdq Wsd - EVX_FNMSUB231SD+kr F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W0.0f3a66 RMI Kb Wps Ib - EVX_FPCLASSPS+kb F=AVX512DQ TUPLE_FULL_32
EVEX.66.W1.0f3a66 RMI Kb Wpd Ib - EVX_FPCLASSPD+kb F=AVX512DQ TUPLE_FULL_64
EVEX.66.W0.LIG.0f3a67 RMI Kb Wss Ib - EVX_FPCLASSSS+k F=AVX512DQ TUPLE1_SCALAR_32
EVEX.66.W1.LIG.0f3a67 RMI Kb Wsd Ib - EVX_FPCLASSSD+k F=AVX512DQ TUPLE1_SCALAR_64
EVEX.66.W0.0f3892/m RM Vx Md - - EVX_GATHERDPS+k F=AVX512F VSIB TUPLE1_SCALAR_32
EVEX.66.W1.0f3892/m RM Vx Mq - - EVX_GATHERDPD+k F=AVX512F VSIB TUPLE1_SCALAR_64
EVEX.66.W0.0f3893/m RM Vh Md - - EVX_GATHERQPS+k F=AVX512F VSIB TUPLE1_SCALAR_32
EVEX.66.W1.0f3893/m RM Vx Mq - - EVX_GATHERQPD+k F=AVX512F VSIB TUPLE1_SCALAR_64
EVEX.66.W0.0f3842 RM Vps Wps - - EVX_GETEXPPS+kbe F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f3842 RM Vpd Wpd - - EVX_GETEXPPD+kbe F=AVX512F TUPLE_FULL_64
EVEX.66.W0.LIG.0f3843 RVM Vdq Hdq Wss - EVX_GETEXPSS+ke F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W1.LIG.0f3843 RVM Vdq Hdq Wsd - EVX_GETEXPSD+ke F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W0.0f3a26 RMI Vps Wps Ib - EVX_GETMANTPS+kbe F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f3a26 RMI Vpd Wpd Ib - EVX_GETMANTPD+kbe F=AVX512F TUPLE_FULL_64
EVEX.66.W0.LIG.0f3a27 RVMI Vdq Hdq Wss Ib EVX_GETMANTSS+ke F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W1.LIG.0f3a27 RVMI Vdq Hdq Wsd Ib EVX_GETMANTSD+ke F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W0.L12.0f3a18 RVMI Vx Hx Wdq Ib EVX_INSERTF32X4+k F=AVX512F TUPLE4_32
EVEX.66.W1.L12.0f3a18 RVMI Vx Hx Wdq Ib EVX_INSERTF64X2+k F=AVX512DQ TUPLE2_64
EVEX.66.W0.L2.0f3a1a RVMI Vx Hx Wqq Ib EVX_INSERTF32X8+k F=AVX512DQ TUPLE8_32
EVEX.66.W1.L2.0f3a1a RVMI Vx Hx Wqq Ib EVX_INSERTF64X4+k F=AVX512F TUPLE4_64
EVEX.66.W0.L12.0f3a38 RVMI Vx Hx Wdq Ib EVX_INSERTI32X4+k F=AVX512F TUPLE4_32
EVEX.66.W1.L12.0f3a38 RVMI Vx Hx Wdq Ib EVX_INSERTI64X2+k F=AVX512DQ TUPLE2_64
EVEX.66.W0.L2.0f3a3a RVMI Vx Hx Wqq Ib EVX_INSERTI32X8+k F=AVX512DQ TUPLE8_32
EVEX.66.W1.L2.0f3a3a RVMI Vx Hx Wqq Ib EVX_INSERTI64X4+k F=AVX512F TUPLE4_64
EVEX.F2.W0.0f3868 RVM K Hx Wx - EVX_P2INTERSECTD+b F=AVX512_VP2INTERSECT TUPLE_FULL_32
EVEX.F2.W1.0f3868 RVM K Hx Wx - EVX_P2INTERSECTQ+b F=AVX512_VP2INTERSECT TUPLE_FULL_64
EVEX.66.W0.0f3866 RVM Vx Hx Wx - EVX_PBLENDMB+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W1.0f3866 RVM Vx Hx Wx - EVX_PBLENDMW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W0.0f3864 RVM Vx Hx Wx - EVX_PBLENDMD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f3864 RVM Vx Hx Wx - EVX_PBLENDMQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f387a/r RM Vx Rb - - EVX_PBROADCAST+k F=AVX512BW
EVEX.66.W0.0f387b/r RM Vx Rw - - EVX_PBROADCAST+k F=AVX512BW
EVEX.66.W0.0f387c/r RM Vx Rd - - EVX_PBROADCAST+k F=AVX512F
EVEX.66.W1.0f387c/r RM Vx Rd - - EVX_PBROADCAST+k I64 F=AVX512F
EVEX.66.W1.0f387c/r RM Vx Rq - - EVX_PBROADCAST+k O64 F=AVX512F
EVEX.66.W0.0f3878 RM Vx Wb - - EVX_PBROADCASTB+k F=AVX512BW TUPLE1_SCALAR_8
EVEX.66.W0.0f3879 RM Vx Ww - - EVX_PBROADCASTW+k F=AVX512BW TUPLE1_SCALAR_16
EVEX.66.W0.0f3858 RM Vx Wd - - EVX_PBROADCASTD+k F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W1.0f3859 RM Vx Wq - - EVX_PBROADCASTQ+k F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W0.0f3859 RM Vx Wq - - EVX_BROADCASTI32X2+k F=AVX512DQ TUPLE2_32
EVEX.66.W0.L12.0f385a/m RM Vx Wdq - - EVX_BROADCASTI32X4+k F=AVX512DQ TUPLE4_32
EVEX.66.W1.L12.0f385a/m RM Vx Wdq - - EVX_BROADCASTI64X2+k F=AVX512DQ TUPLE2_64
EVEX.66.W0.L2.0f385b/m RM Vx Wqq - - EVX_BROADCASTI32X8+k F=AVX512DQ TUPLE8_32
EVEX.66.W1.L2.0f385b/m RM Vx Wqq - - EVX_BROADCASTI64X4+k F=AVX512F TUPLE4_64
EVEX.F3.W1.0f382a/r RM Vx K - - EVX_PBROADCASTMB2Q F=AVX512CD
EVEX.F3.W0.0f383a/r RM Vx K - - EVX_PBROADCASTMW2D F=AVX512CD
EVEX.66.W0.0f3a1e RVMI K Hx Wx Ib EVX_PCMPUD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W0.0f3a1f RVMI K Hx Wx Ib EVX_PCMPD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f3a1e RVMI K Hx Wx Ib EVX_PCMPUQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W1.0f3a1f RVMI K Hx Wx Ib EVX_PCMPQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f3a3e RVMI K Hx Wx Ib EVX_PCMPUB+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W0.0f3a3f RVMI K Hx Wx Ib EVX_PCMPB+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W1.0f3a3e RVMI K Hx Wx Ib EVX_PCMPUW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W1.0f3a3f RVMI K Hx Wx Ib EVX_PCMPW+k F=AVX512BW TUPLE_FULL_MEM
# Note tuple type, scale is not memory size but element size
EVEX.66.W0.0f3863/m MR Mb Vx - - EVX_PCOMPRESSB+k F=AVX512_VBMI2 TUPLE1_SCALAR_8
EVEX.66.W0.0f3863/r MR Ux Vx - - EVX_PCOMPRESSB+k F=AVX512_VBMI2
EVEX.66.W1.0f3863/m MR Mw Vx - - EVX_PCOMPRESSW+k F=AVX512_VBMI2 TUPLE1_SCALAR_16
EVEX.66.W1.0f3863/r MR Ux Vx - - EVX_PCOMPRESSW+k F=AVX512_VBMI2
EVEX.66.W0.0f388b/m MR Md Vx - - EVX_PCOMPRESSD+k F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W0.0f388b/r MR Ux Vx - - EVX_PCOMPRESSD+k F=AVX512F
EVEX.66.W1.0f388b/m MR Mq Vx - - EVX_PCOMPRESSQ+k F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W1.0f388b/r MR Ux Vx - - EVX_PCOMPRESSQ+k F=AVX512F
EVEX.66.W0.0f38c4 RM Vx Wx - - EVX_PCONFLICTD+kb F=AVX512CD TUPLE_FULL_32
EVEX.66.W1.0f38c4 RM Vx Wx - - EVX_PCONFLICTQ+kb F=AVX512CD TUPLE_FULL_64
EVEX.66.W0.0f3850 RVM Vx Hx Wx - EVX_PDPBUSD+kb F=AVX512_VNNI TUPLE_FULL_32
EVEX.66.W0.0f3851 RVM Vx Hx Wx - EVX_PDPBUSDS+kb F=AVX512_VNNI TUPLE_FULL_32
EVEX.66.W0.0f3852 RVM Vx Hx Wx - EVX_PDPWSSD+kb F=AVX512_VNNI TUPLE_FULL_32
EVEX.66.W0.0f3853 RVM Vx Hx Wx - EVX_PDPWSSDS+kb F=AVX512_VNNI TUPLE_FULL_32
EVEX.66.W0.0f388d RVM Vx Hx Wx - EVX_PERMB+k F=AVX512_VBMI TUPLE_FULL_MEM
EVEX.66.W1.0f388d RVM Vx Hx Wx - EVX_PERMW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W0.L12.0f3836 RVM Vx Hx Wx - EVX_PERMD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W0.0f3875 RVM Vx Hx Wx - EVX_PERMI2B+k F=AVX512_VBMI TUPLE_FULL_MEM
EVEX.66.W1.0f3875 RVM Vx Hx Wx - EVX_PERMI2W+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W0.0f3876 RVM Vx Hx Wx - EVX_PERMI2D+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f3876 RVM Vx Hx Wx - EVX_PERMI2Q+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f3877 RVM Vx Hx Wx - EVX_PERMI2PS+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f3877 RVM Vx Hx Wx - EVX_PERMI2PD+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f380c RVM Vx Hx Wx - EVX_PERMILPS+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f380d RVM Vx Hx Wx - EVX_PERMILPD+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f3a04 RMI Vx Wx Ib - EVX_PERMILPS+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f3a05 RMI Vx Wx Ib - EVX_PERMILPD+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W0.L12.0f3816 RVM Vx Hx Wx - EVX_PERMPS+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.L12.0f3816 RVM Vx Hx Wx - EVX_PERMPD+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W1.L12.0f3836 RVM Vx Hx Wx - EVX_PERMQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W1.L12.0f3a00 RMI Vx Wx Ib - EVX_PERMQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W1.L12.0f3a01 RMI Vx Wx Ib - EVX_PERMPD+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f387d RVM Vx Hx Wx - EVX_PERMT2B+k F=AVX512_VBMI TUPLE_FULL_MEM
EVEX.66.W1.0f387d RVM Vx Hx Wx - EVX_PERMT2W+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W0.0f387e RVM Vx Hx Wx - EVX_PERMT2D+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f387e RVM Vx Hx Wx - EVX_PERMT2Q+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f387f RVM Vx Hx Wx - EVX_PERMT2PS+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f387f RVM Vx Hx Wx - EVX_PERMT2PD+kb F=AVX512F TUPLE_FULL_64
# Note tuple type, scale is not memory size but element size
EVEX.66.W0.0f3862/m RM Vx Mb - - EVX_PEXPANDB+k F=AVX512_VBMI2 TUPLE1_SCALAR_8
EVEX.66.W0.0f3862/r RM Vx Ux - - EVX_PEXPANDB+k F=AVX512_VBMI2
EVEX.66.W1.0f3862/m RM Vx Mw - - EVX_PEXPANDW+k F=AVX512_VBMI2 TUPLE1_SCALAR_16
EVEX.66.W1.0f3862/r RM Vx Ux - - EVX_PEXPANDW+k F=AVX512_VBMI2
EVEX.66.W0.0f3889/m RM Vx Md - - EVX_PEXPANDD+k F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W0.0f3889/r RM Vx Ux - - EVX_PEXPANDD+k F=AVX512F
EVEX.66.W1.0f3889/m RM Vx Mq - - EVX_PEXPANDQ+k F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W1.0f3889/r RM Vx Ux - - EVX_PEXPANDQ+k F=AVX512F
EVEX.66.W0.0f3890/m RM Vx Md - - EVX_PGATHERDD+k F=AVX512F VSIB TUPLE1_SCALAR_32
EVEX.66.W1.0f3890/m RM Vx Mq - - EVX_PGATHERDQ+k F=AVX512F VSIB TUPLE1_SCALAR_64
EVEX.66.W0.0f3891/m RM Vh Md - - EVX_PGATHERQD+k F=AVX512F VSIB TUPLE1_SCALAR_32
EVEX.66.W1.0f3891/m RM Vx Mq - - EVX_PGATHERQQ+k F=AVX512F VSIB TUPLE1_SCALAR_64
EVEX.66.W0.0f3844 RM Vx Wx - - EVX_PLZCNTD+kb F=AVX512CD TUPLE_FULL_32
EVEX.66.W1.0f3844 RM Vx Wx - - EVX_PLZCNTQ+kb F=AVX512CD TUPLE_FULL_64
EVEX.66.W1.0f38b4 RVM Vx Hx Wx - EVX_PMADD52LUQ+kb F=AVX512_IFMA TUPLE_FULL_64
EVEX.66.W1.0f38b5 RVM Vx Hx Wx - EVX_PMADD52HUQ+kb F=AVX512_IFMA TUPLE_FULL_64
EVEX.F3.W0.0f3829/r RM K Ux - - EVX_PMOVB2M F=AVX512BW
EVEX.F3.W1.0f3829/r RM K Ux - - EVX_PMOVW2M F=AVX512BW
EVEX.F3.W0.0f3839/r RM K Ux - - EVX_PMOVD2M F=AVX512DQ
EVEX.F3.W1.0f3839/r RM K Ux - - EVX_PMOVQ2M F=AVX512DQ
EVEX.F3.W0.0f3828/r RM Vx K - - EVX_PMOVM2B F=AVX512BW
EVEX.F3.W1.0f3828/r RM Vx K - - EVX_PMOVM2W F=AVX512BW
EVEX.F3.W0.0f3838/r RM Vx K - - EVX_PMOVM2D F=AVX512DQ
EVEX.F3.W1.0f3838/r RM Vx K - - EVX_PMOVM2Q F=AVX512DQ
EVEX.F3.W0.0f3830 MR Wh Vx - - EVX_PMOVWB+k F=AVX512BW TUPLE_HALF_MEM
EVEX.F3.W0.0f3820 MR Wh Vx - - EVX_PMOVSWB+k F=AVX512BW TUPLE_HALF_MEM
EVEX.F3.W0.0f3810 MR Wh Vx - - EVX_PMOVUSWB+k F=AVX512BW TUPLE_HALF_MEM
EVEX.F3.W0.0f3831 MR Wf Vx - - EVX_PMOVDB+k F=AVX512F TUPLE_QUARTER_MEM
EVEX.F3.W0.0f3821 MR Wf Vx - - EVX_PMOVSDB+k F=AVX512F TUPLE_QUARTER_MEM
EVEX.F3.W0.0f3811 MR Wf Vx - - EVX_PMOVUSDB+k F=AVX512F TUPLE_QUARTER_MEM
EVEX.F3.W0.0f3832 MR We Vx - - EVX_PMOVQB+k F=AVX512F TUPLE_EIGHTH_MEM
EVEX.F3.W0.0f3822 MR We Vx - - EVX_PMOVSQB+k F=AVX512F TUPLE_EIGHTH_MEM
EVEX.F3.W0.0f3812 MR We Vx - - EVX_PMOVUSQB+k F=AVX512F TUPLE_EIGHTH_MEM
EVEX.F3.W0.0f3833 MR Wh Vx - - EVX_PMOVDW+k F=AVX512F TUPLE_HALF_MEM
EVEX.F3.W0.0f3823 MR Wh Vx - - EVX_PMOVSDW+k F=AVX512F TUPLE_HALF_MEM
EVEX.F3.W0.0f3813 MR Wh Vx - - EVX_PMOVUSDW+k F=AVX512F TUPLE_HALF_MEM
EVEX.F3.W0.0f3834 MR Wf Vx - - EVX_PMOVQW+k F=AVX512F TUPLE_QUARTER_MEM
EVEX.F3.W0.0f3824 MR Wf Vx - - EVX_PMOVSQW+k F=AVX512F TUPLE_QUARTER_MEM
EVEX.F3.W0.0f3814 MR Wf Vx - - EVX_PMOVUSQW+k F=AVX512F TUPLE_QUARTER_MEM
EVEX.F3.W0.0f3835 MR Wh Vx - - EVX_PMOVQD+k F=AVX512F TUPLE_HALF_MEM
EVEX.F3.W0.0f3825 MR Wh Vx - - EVX_PMOVSQD+k F=AVX512F TUPLE_HALF_MEM
EVEX.F3.W0.0f3815 MR Wh Vx - - EVX_PMOVUSQD+k F=AVX512F TUPLE_HALF_MEM
EVEX.66.W1.0f3883 RVM Vx Hx Wx - EVX_PMULTISHIFTQB+kb F=AVX512_VBMI TUPLE_FULL_64
EVEX.66.W0.0f3854 RM Vx Wx - - EVX_POPCNTB+k F=AVX512_BITALG TUPLE_FULL_MEM
EVEX.66.W1.0f3854 RM Vx Wx - - EVX_POPCNTW+k F=AVX512_BITALG TUPLE_FULL_MEM
EVEX.66.W0.0f3855 RM Vx Wx - - EVX_POPCNTD+kb F=AVX512_VPOPCNTDQ TUPLE_FULL_32
EVEX.66.W1.0f3855 RM Vx Wx - - EVX_POPCNTQ+kb F=AVX512_VPOPCNTDQ TUPLE_FULL_64
EVEX.66.W0.0f3814 RVM Vx Hx Wx - EVX_PRORVD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f3814 RVM Vx Hx Wx - EVX_PRORVQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f72/0 VMI Hx Wx Ib - EVX_PRORD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f72/0 VMI Hx Wx Ib - EVX_PRORQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f3815 RVM Vx Hx Wx - EVX_PROLVD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f3815 RVM Vx Hx Wx - EVX_PROLVQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f72/1 VMI Hx Wx Ib - EVX_PROLD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f72/1 VMI Hx Wx Ib - EVX_PROLQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f38a0/m MR Md Vx - - EVX_PSCATTERDD+k F=AVX512F VSIB TUPLE1_SCALAR_32
EVEX.66.W1.0f38a0/m MR Mq Vx - - EVX_PSCATTERDQ+k F=AVX512F VSIB TUPLE1_SCALAR_64
EVEX.66.W0.0f38a1/m MR Md Vh - - EVX_PSCATTERQD+k F=AVX512F VSIB TUPLE1_SCALAR_32
EVEX.66.W1.0f38a1/m MR Mq Vx - - EVX_PSCATTERQQ+k F=AVX512F VSIB TUPLE1_SCALAR_64
EVEX.66.W1.0f3a70 RVMI Vx Hx Wx Ib EVX_PSHLDW+k F=AVX512_VBMI2 TUPLE_FULL_MEM
EVEX.66.W0.0f3a71 RVMI Vx Hx Wx Ib EVX_PSHLDD+kb F=AVX512_VBMI2 TUPLE_FULL_32
EVEX.66.W1.0f3a71 RVMI Vx Hx Wx Ib EVX_PSHLDQ+kb F=AVX512_VBMI2 TUPLE_FULL_64
EVEX.66.W1.0f3870 RVM Vx Hx Wx - EVX_PSHLDVW+k F=AVX512_VBMI2 TUPLE_FULL_MEM
EVEX.66.W0.0f3871 RVM Vx Hx Wx - EVX_PSHLDVD+kb F=AVX512_VBMI2 TUPLE_FULL_32
EVEX.66.W1.0f3871 RVM Vx Hx Wx - EVX_PSHLDVQ+kb F=AVX512_VBMI2 TUPLE_FULL_64
EVEX.66.W1.0f3a72 RVMI Vx Hx Wx Ib EVX_PSHRDW+k F=AVX512_VBMI2 TUPLE_FULL_MEM
EVEX.66.W0.0f3a73 RVMI Vx Hx Wx Ib EVX_PSHRDD+kb F=AVX512_VBMI2 TUPLE_FULL_32
EVEX.66.W1.0f3a73 RVMI Vx Hx Wx Ib EVX_PSHRDQ+kb F=AVX512_VBMI2 TUPLE_FULL_64
EVEX.66.W1.0f3872 RVM Vx Hx Wx - EVX_PSHRDVW+k F=AVX512_VBMI2 TUPLE_FULL_MEM
EVEX.66.W0.0f3873 RVM Vx Hx Wx - EVX_PSHRDVD+kb F=AVX512_VBMI2 TUPLE_FULL_32
EVEX.66.W1.0f3873 RVM Vx Hx Wx - EVX_PSHRDVQ+kb F=AVX512_VBMI2 TUPLE_FULL_64
EVEX.66.W0.0f388f RVM K Hx Wx - EVX_PSHUFBITQMB+k F=AVX512_BITALG TUPLE_FULL_MEM
EVEX.66.W1.0f3812 RVM Vx Hx Wx - EVX_PSLLVW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W0.0f3847 RVM Vx Hx Wx - EVX_PSLLVD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f3847 RVM Vx Hx Wx - EVX_PSLLVQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W1.0f3811 RVM Vx Hx Wx - EVX_PSRAVW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W0.0f3846 RVM Vx Hx Wx - EVX_PSRAVD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f3846 RVM Vx Hx Wx - EVX_PSRAVQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W1.0f3810 RVM Vx Hx Wx - EVX_PSRLVW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W0.0f3845 RVM Vx Hx Wx - EVX_PSRLVD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f3845 RVM Vx Hx Wx - EVX_PSRLVQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f3a25 RVMI Vx Hx Wx Ib EVX_PTERNLOGD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f3a25 RVMI Vx Hx Wx Ib EVX_PTERNLOGQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f3826 RVM K Hx Wx - EVX_PTESTMB+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W1.0f3826 RVM K Hx Wx - EVX_PTESTMW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.66.W0.0f3827 RVM K Hx Wx - EVX_PTESTMD+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f3827 RVM K Hx Wx - EVX_PTESTMQ+kb F=AVX512F TUPLE_FULL_64
EVEX.F3.W0.0f3826 RVM K Hx Wx - EVX_PTESTNMB+k F=AVX512BW TUPLE_FULL_MEM
EVEX.F3.W1.0f3826 RVM K Hx Wx - EVX_PTESTNMW+k F=AVX512BW TUPLE_FULL_MEM
EVEX.F3.W0.0f3827 RVM K Hx Wx - EVX_PTESTNMD+kb F=AVX512F TUPLE_FULL_32
EVEX.F3.W1.0f3827 RVM K Hx Wx - EVX_PTESTNMQ+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W0.0f3a50 RVMI Vps Hps Wps Ib EVX_RANGEPS+kbe F=AVX512DQ TUPLE_FULL_32
EVEX.66.W1.0f3a50 RVMI Vpd Hpd Wpd Ib EVX_RANGEPD+kbe F=AVX512DQ TUPLE_FULL_64
EVEX.66.W0.LIG.0f3a51 RVMI Vdq Hdq Wss Ib EVX_RANGESS+ke F=AVX512DQ TUPLE1_SCALAR_32
EVEX.66.W1.LIG.0f3a51 RVMI Vdq Hdq Wsd Ib EVX_RANGESD+ke F=AVX512DQ TUPLE1_SCALAR_64
EVEX.66.W0.0f384c RM Vps Wps - - EVX_RCP14PS+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f384c RM Vpd Wpd - - EVX_RCP14PD+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W0.LIG.0f384d RVM Vdq Hdq Wss - EVX_RCP14SS+k F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W1.LIG.0f384d RVM Vdq Hdq Wsd - EVX_RCP14SD+k F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W0.0f3a56 RMI Vps Wps Ib - EVX_REDUCEPS+kbe F=AVX512DQ TUPLE_FULL_32
EVEX.66.W1.0f3a56 RMI Vpd Wpd Ib - EVX_REDUCEPD+kbe F=AVX512DQ TUPLE_FULL_64
EVEX.66.W0.LIG.0f3a57 RVMI Vdq Hdq Wss Ib EVX_REDUCESS+ke F=AVX512DQ TUPLE1_SCALAR_32
EVEX.66.W1.LIG.0f3a57 RVMI Vdq Hdq Wsd Ib EVX_REDUCESD+ke F=AVX512DQ TUPLE1_SCALAR_64
EVEX.66.W0.0f3a08 RMI Vps Wps Ib - EVX_RNDSCALEPS+kbe F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f3a09 RMI Vpd Wpd Ib - EVX_RNDSCALEPD+kbe F=AVX512F TUPLE_FULL_64
EVEX.66.W0.LIG.0f3a0a RVMI Vdq Hdq Wss Ib EVX_RNDSCALESS+ke F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W1.LIG.0f3a0b RVMI Vdq Hdq Wsd Ib EVX_RNDSCALESD+ke F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W0.0f384e RM Vps Wps - - EVX_RSQRT14PS+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f384e RM Vpd Wpd - - EVX_RSQRT14PD+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W0.LIG.0f384f RVM Vdq Hdq Wss - EVX_RSQRT14SS+k F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W1.LIG.0f384f RVM Vdq Hdq Wsd - EVX_RSQRT14SD+k F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W0.0f382c RVM Vps Hps Wps - EVX_SCALEFPS+kbr F=AVX512F TUPLE_FULL_32
EVEX.66.W1.0f382c RVM Vpd Hpd Wpd - EVX_SCALEFPD+kbr F=AVX512F TUPLE_FULL_64
EVEX.66.W0.LIG.0f382d RVM Vdq Hdq Wss - EVX_SCALEFSS+kr F=AVX512F TUPLE1_SCALAR_32
EVEX.66.W1.LIG.0f382d RVM Vdq Hdq Wsd - EVX_SCALEFSD+kr F=AVX512F TUPLE1_SCALAR_64
EVEX.66.W0.0f38a2/m MR Md Vx - - EVX_SCATTERDPS+k F=AVX512F VSIB TUPLE1_SCALAR_32
EVEX.66.W1.0f38a2/m MR Mq Vx - - EVX_SCATTERDPD+k F=AVX512F VSIB TUPLE1_SCALAR_64
EVEX.66.W0.0f38a3/m MR Md Vh - - EVX_SCATTERQPS+k F=AVX512F VSIB TUPLE1_SCALAR_32
EVEX.66.W1.0f38a3/m MR Mq Vx - - EVX_SCATTERQPD+k F=AVX512F VSIB TUPLE1_SCALAR_64
EVEX.66.W0.L12.0f3a23 RVMI Vps Hps Wps Ib EVX_SHUFF32X4+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.L12.0f3a23 RVMI Vpd Hpd Wpd Ib EVX_SHUFF64X2+kb F=AVX512F TUPLE_FULL_64
EVEX.66.W0.L12.0f3a43 RVMI Vx Hx Wx Ib EVX_SHUFI32X4+kb F=AVX512F TUPLE_FULL_32
EVEX.66.W1.L12.0f3a43 RVMI Vx Hx Wx Ib EVX_SHUFI64X2+kb F=AVX512F TUPLE_FULL_64
EVEX.NP.W0.0f57 RVM Vps Hps Wps - EVX_XORPS+kb F=AVX512DQ TUPLE_FULL_32
EVEX.66.W1.0f57 RVM Vpd Hpd Wpd - EVX_XORPD+kb F=AVX512DQ TUPLE_FULL_64
# AVX512 Mask instructions
VEX.66.W0.L1.0f41/r RVM Kb Kb Kb - KANDB F=AVX512DQ
VEX.NP.W0.L1.0f41/r RVM Kw Kw Kw - KANDW F=AVX512F
VEX.66.W1.L1.0f41/r RVM Kd Kd Kd - KANDD F=AVX512BW
VEX.NP.W1.L1.0f41/r RVM Kq Kq Kq - KANDQ F=AVX512BW
VEX.66.W0.L1.0f42/r RVM Kb Kb Kb - KANDNB F=AVX512DQ
VEX.NP.W0.L1.0f42/r RVM Kw Kw Kw - KANDNW F=AVX512F
VEX.66.W1.L1.0f42/r RVM Kd Kd Kd - KANDND F=AVX512BW
VEX.NP.W1.L1.0f42/r RVM Kq Kq Kq - KANDNQ F=AVX512BW
VEX.66.W0.L0.0f44/r RM Kb Kb - - KNOTB F=AVX512DQ
VEX.NP.W0.L0.0f44/r RM Kw Kw - - KNOTW F=AVX512F
VEX.66.W1.L0.0f44/r RM Kd Kd - - KNOTD F=AVX512BW
VEX.NP.W1.L0.0f44/r RM Kq Kq - - KNOTQ F=AVX512BW
VEX.66.W0.L1.0f45/r RVM Kb Kb Kb - KORB F=AVX512DQ
VEX.NP.W0.L1.0f45/r RVM Kw Kw Kw - KORW F=AVX512F
VEX.66.W1.L1.0f45/r RVM Kd Kd Kd - KORD F=AVX512BW
VEX.NP.W1.L1.0f45/r RVM Kq Kq Kq - KORQ F=AVX512BW
VEX.66.W0.L1.0f46/r RVM Kb Kb Kb - KXNORB F=AVX512DQ
VEX.NP.W0.L1.0f46/r RVM Kw Kw Kw - KXNORW F=AVX512F
VEX.66.W1.L1.0f46/r RVM Kd Kd Kd - KXNORD F=AVX512BW
VEX.NP.W1.L1.0f46/r RVM Kq Kq Kq - KXNORQ F=AVX512BW
VEX.66.W0.L1.0f47/r RVM Kb Kb Kb - KXORB F=AVX512DQ
VEX.NP.W0.L1.0f47/r RVM Kw Kw Kw - KXORW F=AVX512F
VEX.66.W1.L1.0f47/r RVM Kd Kd Kd - KXORD F=AVX512BW
VEX.NP.W1.L1.0f47/r RVM Kq Kq Kq - KXORQ F=AVX512BW
VEX.66.W0.L1.0f4a/r RVM Kb Kb Kb - KADDB F=AVX512DQ
VEX.NP.W0.L1.0f4a/r RVM Kw Kw Kw - KADDW F=AVX512DQ
VEX.66.W1.L1.0f4a/r RVM Kd Kd Kd - KADDD F=AVX512BW
VEX.NP.W1.L1.0f4a/r RVM Kq Kq Kq - KADDQ F=AVX512BW
VEX.66.W0.L1.0f4b/r RVM Kw Kb Kb - KUNPCKBW F=AVX512F
VEX.NP.W0.L1.0f4b/r RVM Kd Kw Kw - KUNPCKWD F=AVX512BW
VEX.NP.W1.L1.0f4b/r RVM Kq Kd Kd - KUNPCKDQ F=AVX512BW
VEX.66.W0.L0.0f98/r RM Kb Kb - - KORTESTB F=AVX512DQ EFL=0--0m00m
VEX.NP.W0.L0.0f98/r RM Kw Kw - - KORTESTW F=AVX512F EFL=0--0m00m
VEX.66.W1.L0.0f98/r RM Kd Kd - - KORTESTD F=AVX512BW EFL=0--0m00m
VEX.NP.W1.L0.0f98/r RM Kq Kq - - KORTESTQ F=AVX512BW EFL=0--0m00m
VEX.66.W0.L0.0f90 RM Kb Kb - - KMOVB F=AVX512DQ
VEX.NP.W0.L0.0f90 RM Kw Kw - - KMOVW F=AVX512F
VEX.66.W1.L0.0f90 RM Kd Kd - - KMOVD F=AVX512BW
VEX.NP.W1.L0.0f90 RM Kq Kq - - KMOVQ F=AVX512BW
VEX.66.W0.L0.0f91/m MR Mb Kb - - KMOVB F=AVX512DQ
VEX.NP.W0.L0.0f91/m MR Mw Kw - - KMOVW F=AVX512F
VEX.66.W1.L0.0f91/m MR Md Kd - - KMOVD F=AVX512BW
VEX.NP.W1.L0.0f91/m MR Mq Kq - - KMOVQ F=AVX512BW
VEX.66.W0.L0.0f92/r RM Kb Rd - - KMOVB F=AVX512DQ
VEX.NP.W0.L0.0f92/r RM Kw Rd - - KMOVW F=AVX512F
VEX.F2.W0.L0.0f92/r RM Kd Rd - - KMOVD F=AVX512BW
VEX.F2.W1.L0.0f92/r RM Kq Rq - - KMOVQ O64 F=AVX512BW
VEX.66.W0.L0.0f93/r RM Gd Kb - - KMOVB F=AVX512DQ
VEX.NP.W0.L0.0f93/r RM Gd Kw - - KMOVW F=AVX512F
VEX.F2.W0.L0.0f93/r RM Gd Kd - - KMOVD F=AVX512BW
VEX.F2.W1.L0.0f93/r RM Gq Kq - - KMOVQ O64 F=AVX512BW
VEX.66.W0.L0.0f99/r RM Kb Kb - - KTESTB F=AVX512DQ EFL=0--0m00m
VEX.NP.W0.L0.0f99/r RM Kw Kw - - KTESTW F=AVX512DQ EFL=0--0m00m
VEX.66.W1.L0.0f99/r RM Kd Kd - - KTESTD F=AVX512BW EFL=0--0m00m
VEX.NP.W1.L0.0f99/r RM Kq Kq - - KTESTQ F=AVX512BW EFL=0--0m00m
VEX.66.W0.L0.0f3a30/r RMI Kb Kb Ib - KSHIFTRB F=AVX512DQ
VEX.66.W1.L0.0f3a30/r RMI Kw Kw Ib - KSHIFTRW F=AVX512F
VEX.66.W0.L0.0f3a31/r RMI Kd Kd Ib - KSHIFTRD F=AVX512BW
VEX.66.W1.L0.0f3a31/r RMI Kq Kq Ib - KSHIFTRQ F=AVX512BW
VEX.66.W0.L0.0f3a32/r RMI Kb Kb Ib - KSHIFTLB F=AVX512DQ
VEX.66.W1.L0.0f3a32/r RMI Kw Kw Ib - KSHIFTLW F=AVX512F
VEX.66.W0.L0.0f3a33/r RMI Kd Kd Ib - KSHIFTLD F=AVX512BW
VEX.66.W1.L0.0f3a33/r RMI Kq Kq Ib - KSHIFTLQ F=AVX512BW
# AVX512-FP16
EVEX.NP.W0.0f3a08 RMI Vx Wx Ib - EVX_RNDSCALEPH+kbe F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.NP.W0.LIG.0f3a0a RVMI Vdq Hdq Ww Ib EVX_RNDSCALESH+ke F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.NP.W0.0f3a26 RMI Vx Wx Ib - EVX_GETMANTPH+kbe F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.NP.W0.LIG.0f3a27 RVMI Vdq Hdq Ww Ib EVX_GETMANTSH+ke F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.NP.W0.0f3a56 RMI Vx Wx Ib - EVX_REDUCEPH+kbe F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.NP.W0.LIG.0f3a57 RVMI Vdq Hdq Ww Ib EVX_REDUCESH+ke F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.NP.W0.0f3a66 RMI K Wx Ib - EVX_FPCLASSPH+kb F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.NP.W0.LIG.0f3a67 RMI Kb Ww Ib - EVX_FPCLASSSH+k F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.NP.W0.0f3ac2 RVMI K Hx Wx Ib EVX_CMPPH+kbe F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.F3.W0.LIG.0f3ac2 RVMI Kb Hw Ww Ib EVX_CMPSH+ke F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.F3.W0.LIG.M5.10/m RM Vdq Mw - - EVX_MOVSH+k F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.F3.W0.LIG.M5.10/r RVM Vdq Hdq Uw - EVX_MOVSH+k F=AVX512-FP16
EVEX.F3.W0.LIG.M5.11/m MR Mw Vw - - EVX_MOVSH+k F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.F3.W0.LIG.M5.11/r MVR Udq Hdq Vw - EVX_MOVSH+k F=AVX512-FP16
EVEX.NP.W0.LIG.M5.1d RVM Vdq Hdq Wd - EVX_CVTSS2SH+kr F=AVX512-FP16 TUPLE1_SCALAR_32
EVEX.66.W0.M5.1d RM Vh Wx - - EVX_CVTPS2PHX+kbr F=AVX512-FP16 TUPLE_FULL_32
EVEX.F3.LIG.M5.2a RVM Vdq Hdq Ey - EVX_CVTSI2SH+r F=AVX512-FP16 TUPLE1_SCALAR_OPSZ
EVEX.F3.LIG.M5.2c RM Gy Ww - - EVX_CVTTSH2SI+e F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.F3.LIG.M5.2d RM Gy Ww - - EVX_CVTSH2SI+r F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.NP.W0.LIG.M5.2e RM Vw Ww - - EVX_UCOMISH+e F=AVX512-FP16 TUPLE1_SCALAR_16 EFL=0--0m0mm
EVEX.NP.W0.LIG.M5.2f RM Vw Ww - - EVX_COMISH+e F=AVX512-FP16 TUPLE1_SCALAR_16 EFL=0--0m0mm
EVEX.NP.W0.M5.51 RM Vx Wx - - EVX_SQRTPH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.F3.W0.LIG.M5.51 RVM Vdq Hdq Ww - EVX_SQRTSH+kr F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.NP.W0.M5.58 RVM Vx Hx Wx - EVX_ADDPH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.F3.W0.LIG.M5.58 RVM Vdq Hdq Ww - EVX_ADDSH+kr F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.NP.W0.M5.59 RVM Vx Hx Wx - EVX_MULPH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.F3.W0.LIG.M5.59 RVM Vdq Hdq Ww - EVX_MULSH+kr F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.NP.W0.M5.5a RM Vx Wf - - EVX_CVTPH2PD+kbe F=AVX512-FP16 TUPLE_QUARTER_16 BCST16
EVEX.66.W1.M5.5a RM Vf Wx - - EVX_CVTPD2PH+kbr F=AVX512-FP16 TUPLE_FULL_64
EVEX.F3.W0.LIG.M5.5a RVM Vdq Hdq Ww - EVX_CVTSH2SD+ke F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.F2.W1.LIG.M5.5a RVM Vdq Hdq Wq - EVX_CVTSD2SH+kr F=AVX512-FP16 TUPLE1_SCALAR_64
EVEX.NP.W0.M5.5b RM Vh Wx - - EVX_CVTDQ2PH+kbr F=AVX512-FP16 TUPLE_FULL_32
EVEX.NP.W1.M5.5b RM Vf Wx - - EVX_CVTQQ2PH+kbr F=AVX512-FP16 TUPLE_FULL_64
EVEX.66.W0.M5.5b RM Vx Wh - - EVX_CVTPH2DQ+kbr F=AVX512-FP16 TUPLE_HALF_16 BCST16
EVEX.F3.W0.M5.5b RM Vx Wh - - EVX_CVTTPH2DQ+kbe F=AVX512-FP16 TUPLE_HALF_16 BCST16
EVEX.NP.W0.M5.5c RVM Vx Hx Wx - EVX_SUBPH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.F3.W0.LIG.M5.5c RVM Vdq Hdq Ww - EVX_SUBSH+kr F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.NP.W0.M5.5d RVM Vx Hx Wx - EVX_MINPH+kbe F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.F3.W0.LIG.M5.5d RVM Vdq Hdq Ww - EVX_MINSH+ke F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.NP.W0.M5.5e RVM Vx Hx Wx - EVX_DIVPH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.F3.W0.LIG.M5.5e RVM Vdq Hdq Ww - EVX_DIVSH+kr F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.NP.W0.M5.5f RVM Vx Hx Wx - EVX_MAXPH+kbe F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.F3.W0.LIG.M5.5f RVM Vdq Hdq Ww - EVX_MAXSH+ke F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.66.L0.M5.6e RM Vdq Ew - - EVX_MOVW_G2X F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.NP.W0.M5.78 RM Vx Wh - - EVX_CVTTPH2UDQ+kbe F=AVX512-FP16 TUPLE_HALF_16 BCST16
EVEX.66.W0.M5.78 RM Vx Wf - - EVX_CVTTPH2UQQ+kbe F=AVX512-FP16 TUPLE_QUARTER_16 BCST16
EVEX.F3.LIG.M5.78 RM Gy Ww - - EVX_CVTTSH2USI+e F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.NP.W0.M5.79 RM Vx Wh - - EVX_CVTPH2UDQ+kbr F=AVX512-FP16 TUPLE_HALF_16 BCST16
EVEX.66.W0.M5.79 RM Vx Wf - - EVX_CVTPH2UQQ+kbr F=AVX512-FP16 TUPLE_QUARTER_16 BCST16
EVEX.F3.LIG.M5.79 RM Gy Ww - - EVX_CVTSH2USI+r F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.66.W0.M5.7a RM Vx Wf - - EVX_CVTTPH2QQ+kbe F=AVX512-FP16 TUPLE_QUARTER_16 BCST16
EVEX.F2.W0.M5.7a RM Vh Wx - - EVX_CVTUDQ2PH+kbr F=AVX512-FP16 TUPLE_FULL_32
EVEX.F2.W1.M5.7a RM Vf Wx - - EVX_CVTUQQ2PH+kbr F=AVX512-FP16 TUPLE_FULL_64
EVEX.66.W0.M5.7b RM Vx Wf - - EVX_CVTPH2QQ+kbr F=AVX512-FP16 TUPLE_QUARTER_16 BCST16
EVEX.F3.LIG.M5.7b RVM Vdq Hdq Ey - EVX_CVTUSI2SH+r F=AVX512-FP16 TUPLE1_SCALAR_OPSZ
EVEX.NP.W0.M5.7c RM Vx Wx - - EVX_CVTTPH2UW+kbe F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.W0.M5.7c RM Vx Wx - - EVX_CVTTPH2W+kbe F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.NP.W0.M5.7d RM Vx Wx - - EVX_CVTPH2UW+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.W0.M5.7d RM Vx Wx - - EVX_CVTPH2W+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.F3.W0.M5.7d RM Vx Wx - - EVX_CVTW2PH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.F2.W0.M5.7d RM Vx Wx - - EVX_CVTUW2PH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.L0.M5.7e MR Ew Vw - - EVX_MOVW_X2G F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.66.W0.M6.13 RM Vx Wh - - EVX_CVTPH2PSX+kbe F=AVX512-FP16 TUPLE_HALF_16 BCST16
EVEX.NP.W0.LIG.M6.13 RVM Vdq Hdq Ww - EVX_CVTSH2SS+ke F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.66.W0.M6.2c RVM Vx Hx Wx - EVX_SCALEFPH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.W0.LIG.M6.2d RVM Vdq Hdq Ww - EVX_SCALEFSH+kr F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.66.W0.M6.42 RM Vx Wx - - EVX_GETEXPPH+kbe F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.W0.LIG.M6.43 RVM Vdq Hdq Ww - EVX_GETEXPSH+ke F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.66.W0.M6.4c RM Vx Wx - - EVX_RCPPH+kb F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.W0.LIG.M6.4d RVM Vdq Hdq Ww - EVX_RCPSH+k F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.66.W0.M6.4e RM Vx Wx - - EVX_RSQRTPH+kb F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.W0.LIG.M6.4f RVM Vdq Hdq Ww - EVX_RSQRTSH+k F=AVX512-FP16 TUPLE1_SCALAR_16
# TODO: for F{,C}M{ADD,UL}C{P,S}H, destreg must be unequal to the source registers
EVEX.F3.W0.M6.56 RVM Vx Hx Wx - EVX_FMADDCPH+kbr F=AVX512-FP16 TUPLE_FULL_32
EVEX.F2.W0.M6.56 RVM Vx Hx Wx - EVX_FCMADDCPH+kbr F=AVX512-FP16 TUPLE_FULL_32
EVEX.F3.W0.LIG.M6.57 RVM Vdq Hdq Wd - EVX_FMADDCSH+kr F=AVX512-FP16 TUPLE1_SCALAR_32
EVEX.F2.W0.LIG.M6.57 RVM Vdq Hdq Wd - EVX_FCMADDCSH+kr F=AVX512-FP16 TUPLE1_SCALAR_32
EVEX.F3.W0.M6.d6 RVM Vx Hx Wx - EVX_FMULCPH+kbr F=AVX512-FP16 TUPLE_FULL_32
EVEX.F2.W0.M6.d6 RVM Vx Hx Wx - EVX_FCMULCPH+kbr F=AVX512-FP16 TUPLE_FULL_32
EVEX.F3.W0.LIG.M6.d7 RVM Vdq Hdq Wd - EVX_FMULCSH+kr F=AVX512-FP16 TUPLE1_SCALAR_32
EVEX.F2.W0.LIG.M6.d7 RVM Vdq Hdq Wd - EVX_FCMULCSH+kr F=AVX512-FP16 TUPLE1_SCALAR_32
EVEX.66.W0.M6.96 RVM Vx Hx Wx - EVX_FMADDSUB132PH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.W0.M6.a6 RVM Vx Hx Wx - EVX_FMADDSUB213PH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.W0.M6.b6 RVM Vx Hx Wx - EVX_FMADDSUB231PH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.W0.M6.97 RVM Vx Hx Wx - EVX_FMSUBADD132PH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.W0.M6.a7 RVM Vx Hx Wx - EVX_FMSUBADD213PH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.W0.M6.b7 RVM Vx Hx Wx - EVX_FMSUBADD231PH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.W0.M6.98 RVM Vx Hx Wx - EVX_FMADD132PH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.W0.M6.a8 RVM Vx Hx Wx - EVX_FMADD213PH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.W0.M6.b8 RVM Vx Hx Wx - EVX_FMADD231PH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.W0.LIG.M6.99 RVM Vdq Hdq Ww - EVX_FMADD132SH+kr F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.66.W0.LIG.M6.a9 RVM Vdq Hdq Ww - EVX_FMADD213SH+kr F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.66.W0.LIG.M6.b9 RVM Vdq Hdq Ww - EVX_FMADD231SH+kr F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.66.W0.M6.9a RVM Vx Hx Wx - EVX_FMSUB132PH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.W0.M6.aa RVM Vx Hx Wx - EVX_FMSUB213PH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.W0.M6.ba RVM Vx Hx Wx - EVX_FMSUB231PH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.W0.LIG.M6.9b RVM Vdq Hdq Ww - EVX_FMSUB132SH+kr F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.66.W0.LIG.M6.ab RVM Vdq Hdq Ww - EVX_FMSUB213SH+kr F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.66.W0.LIG.M6.bb RVM Vdq Hdq Ww - EVX_FMSUB231SH+kr F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.66.W0.M6.9c RVM Vx Hx Wx - EVX_FNMADD132PH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.W0.M6.ac RVM Vx Hx Wx - EVX_FNMADD213PH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.W0.M6.bc RVM Vx Hx Wx - EVX_FNMADD231PH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.W0.LIG.M6.9d RVM Vdq Hdq Ww - EVX_FNMADD132SH+kr F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.66.W0.LIG.M6.ad RVM Vdq Hdq Ww - EVX_FNMADD213SH+kr F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.66.W0.LIG.M6.bd RVM Vdq Hdq Ww - EVX_FNMADD231SH+kr F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.66.W0.M6.9e RVM Vx Hx Wx - EVX_FNMSUB132PH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.W0.M6.ae RVM Vx Hx Wx - EVX_FNMSUB213PH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.W0.M6.be RVM Vx Hx Wx - EVX_FNMSUB231PH+kbr F=AVX512-FP16 TUPLE_FULL_16 BCST16
EVEX.66.W0.LIG.M6.9f RVM Vdq Hdq Ww - EVX_FNMSUB132SH+kr F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.66.W0.LIG.M6.af RVM Vdq Hdq Ww - EVX_FNMSUB213SH+kr F=AVX512-FP16 TUPLE1_SCALAR_16
EVEX.66.W0.LIG.M6.bf RVM Vdq Hdq Ww - EVX_FNMSUB231SH+kr F=AVX512-FP16 TUPLE1_SCALAR_16