tools/perf/arch/x86/tests/insn-x86-dat-64.c

   1 /*
   2  * Generated by gen-insn-x86-dat.sh and gen-insn-x86-dat.awk
   3  * from insn-x86-dat-src.c for inclusion by insn-x86.c
   4  * Do not change this code.
   5 */
   6
   7 {{0x0f, 0x31, }, 2, 0, "", "",
   8 "0f 31                \trdtsc  ",},
   9 {{0xc4, 0xe2, 0x7d, 0x13, 0xeb, }, 5, 0, "", "",
  10 "c4 e2 7d 13 eb       \tvcvtph2ps %xmm3,%ymm5",},
  11 {{0x48, 0x0f, 0x41, 0xd8, }, 4, 0, "", "",
  12 "48 0f 41 d8          \tcmovno %rax,%rbx",},
  13 {{0x48, 0x0f, 0x41, 0x88, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  14 "48 0f 41 88 78 56 34 12 \tcmovno 0x12345678(%rax),%rcx",},
  15 {{0x66, 0x0f, 0x41, 0x88, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  16 "66 0f 41 88 78 56 34 12 \tcmovno 0x12345678(%rax),%cx",},
  17 {{0x48, 0x0f, 0x44, 0xd8, }, 4, 0, "", "",
  18 "48 0f 44 d8          \tcmove  %rax,%rbx",},
  19 {{0x48, 0x0f, 0x44, 0x88, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  20 "48 0f 44 88 78 56 34 12 \tcmove  0x12345678(%rax),%rcx",},
  21 {{0x66, 0x0f, 0x44, 0x88, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
  22 "66 0f 44 88 78 56 34 12 \tcmove  0x12345678(%rax),%cx",},
  23 {{0x0f, 0x90, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  24 "0f 90 80 78 56 34 12 \tseto   0x12345678(%rax)",},
  25 {{0x0f, 0x91, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  26 "0f 91 80 78 56 34 12 \tsetno  0x12345678(%rax)",},
  27 {{0x0f, 0x92, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  28 "0f 92 80 78 56 34 12 \tsetb   0x12345678(%rax)",},
  29 {{0x0f, 0x92, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  30 "0f 92 80 78 56 34 12 \tsetb   0x12345678(%rax)",},
  31 {{0x0f, 0x92, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  32 "0f 92 80 78 56 34 12 \tsetb   0x12345678(%rax)",},
  33 {{0x0f, 0x93, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  34 "0f 93 80 78 56 34 12 \tsetae  0x12345678(%rax)",},
  35 {{0x0f, 0x93, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  36 "0f 93 80 78 56 34 12 \tsetae  0x12345678(%rax)",},
  37 {{0x0f, 0x93, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  38 "0f 93 80 78 56 34 12 \tsetae  0x12345678(%rax)",},
  39 {{0x0f, 0x98, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  40 "0f 98 80 78 56 34 12 \tsets   0x12345678(%rax)",},
  41 {{0x0f, 0x99, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
  42 "0f 99 80 78 56 34 12 \tsetns  0x12345678(%rax)",},
  43 {{0xc5, 0xcc, 0x41, 0xef, }, 4, 0, "", "",
  44 "c5 cc 41 ef          \tkandw  %k7,%k6,%k5",},
  45 {{0xc4, 0xe1, 0xcc, 0x41, 0xef, }, 5, 0, "", "",
  46 "c4 e1 cc 41 ef       \tkandq  %k7,%k6,%k5",},
  47 {{0xc5, 0xcd, 0x41, 0xef, }, 4, 0, "", "",
  48 "c5 cd 41 ef          \tkandb  %k7,%k6,%k5",},
  49 {{0xc4, 0xe1, 0xcd, 0x41, 0xef, }, 5, 0, "", "",
  50 "c4 e1 cd 41 ef       \tkandd  %k7,%k6,%k5",},
  51 {{0xc5, 0xcc, 0x42, 0xef, }, 4, 0, "", "",
  52 "c5 cc 42 ef          \tkandnw %k7,%k6,%k5",},
  53 {{0xc4, 0xe1, 0xcc, 0x42, 0xef, }, 5, 0, "", "",
  54 "c4 e1 cc 42 ef       \tkandnq %k7,%k6,%k5",},
  55 {{0xc5, 0xcd, 0x42, 0xef, }, 4, 0, "", "",
  56 "c5 cd 42 ef          \tkandnb %k7,%k6,%k5",},
  57 {{0xc4, 0xe1, 0xcd, 0x42, 0xef, }, 5, 0, "", "",
  58 "c4 e1 cd 42 ef       \tkandnd %k7,%k6,%k5",},
  59 {{0xc5, 0xf8, 0x44, 0xf7, }, 4, 0, "", "",
  60 "c5 f8 44 f7          \tknotw  %k7,%k6",},
  61 {{0xc4, 0xe1, 0xf8, 0x44, 0xf7, }, 5, 0, "", "",
  62 "c4 e1 f8 44 f7       \tknotq  %k7,%k6",},
  63 {{0xc5, 0xf9, 0x44, 0xf7, }, 4, 0, "", "",
  64 "c5 f9 44 f7          \tknotb  %k7,%k6",},
  65 {{0xc4, 0xe1, 0xf9, 0x44, 0xf7, }, 5, 0, "", "",
  66 "c4 e1 f9 44 f7       \tknotd  %k7,%k6",},
  67 {{0xc5, 0xcc, 0x45, 0xef, }, 4, 0, "", "",
  68 "c5 cc 45 ef          \tkorw   %k7,%k6,%k5",},
  69 {{0xc4, 0xe1, 0xcc, 0x45, 0xef, }, 5, 0, "", "",
  70 "c4 e1 cc 45 ef       \tkorq   %k7,%k6,%k5",},
  71 {{0xc5, 0xcd, 0x45, 0xef, }, 4, 0, "", "",
  72 "c5 cd 45 ef          \tkorb   %k7,%k6,%k5",},
  73 {{0xc4, 0xe1, 0xcd, 0x45, 0xef, }, 5, 0, "", "",
  74 "c4 e1 cd 45 ef       \tkord   %k7,%k6,%k5",},
  75 {{0xc5, 0xcc, 0x46, 0xef, }, 4, 0, "", "",
  76 "c5 cc 46 ef          \tkxnorw %k7,%k6,%k5",},
  77 {{0xc4, 0xe1, 0xcc, 0x46, 0xef, }, 5, 0, "", "",
  78 "c4 e1 cc 46 ef       \tkxnorq %k7,%k6,%k5",},
  79 {{0xc5, 0xcd, 0x46, 0xef, }, 4, 0, "", "",
  80 "c5 cd 46 ef          \tkxnorb %k7,%k6,%k5",},
  81 {{0xc4, 0xe1, 0xcd, 0x46, 0xef, }, 5, 0, "", "",
  82 "c4 e1 cd 46 ef       \tkxnord %k7,%k6,%k5",},
  83 {{0xc5, 0xcc, 0x47, 0xef, }, 4, 0, "", "",
  84 "c5 cc 47 ef          \tkxorw  %k7,%k6,%k5",},
  85 {{0xc4, 0xe1, 0xcc, 0x47, 0xef, }, 5, 0, "", "",
  86 "c4 e1 cc 47 ef       \tkxorq  %k7,%k6,%k5",},
  87 {{0xc5, 0xcd, 0x47, 0xef, }, 4, 0, "", "",
  88 "c5 cd 47 ef          \tkxorb  %k7,%k6,%k5",},
  89 {{0xc4, 0xe1, 0xcd, 0x47, 0xef, }, 5, 0, "", "",
  90 "c4 e1 cd 47 ef       \tkxord  %k7,%k6,%k5",},
  91 {{0xc5, 0xcc, 0x4a, 0xef, }, 4, 0, "", "",
  92 "c5 cc 4a ef          \tkaddw  %k7,%k6,%k5",},
  93 {{0xc4, 0xe1, 0xcc, 0x4a, 0xef, }, 5, 0, "", "",
  94 "c4 e1 cc 4a ef       \tkaddq  %k7,%k6,%k5",},
  95 {{0xc5, 0xcd, 0x4a, 0xef, }, 4, 0, "", "",
  96 "c5 cd 4a ef          \tkaddb  %k7,%k6,%k5",},
  97 {{0xc4, 0xe1, 0xcd, 0x4a, 0xef, }, 5, 0, "", "",
  98 "c4 e1 cd 4a ef       \tkaddd  %k7,%k6,%k5",},
  99 {{0xc5, 0xcd, 0x4b, 0xef, }, 4, 0, "", "",
 100 "c5 cd 4b ef          \tkunpckbw %k7,%k6,%k5",},
 101 {{0xc5, 0xcc, 0x4b, 0xef, }, 4, 0, "", "",
 102 "c5 cc 4b ef          \tkunpckwd %k7,%k6,%k5",},
 103 {{0xc4, 0xe1, 0xcc, 0x4b, 0xef, }, 5, 0, "", "",
 104 "c4 e1 cc 4b ef       \tkunpckdq %k7,%k6,%k5",},
 105 {{0xc5, 0xf8, 0x90, 0xee, }, 4, 0, "", "",
 106 "c5 f8 90 ee          \tkmovw  %k6,%k5",},
 107 {{0xc5, 0xf8, 0x90, 0x29, }, 4, 0, "", "",
 108 "c5 f8 90 29          \tkmovw  (%rcx),%k5",},
 109 {{0xc4, 0xa1, 0x78, 0x90, 0xac, 0xf0, 0x23, 0x01, 0x00, 0x00, }, 10, 0, "", "",
 110 "c4 a1 78 90 ac f0 23 01 00 00 \tkmovw  0x123(%rax,%r14,8),%k5",},
 111 {{0xc5, 0xf8, 0x91, 0x29, }, 4, 0, "", "",
 112 "c5 f8 91 29          \tkmovw  %k5,(%rcx)",},
 113 {{0xc4, 0xa1, 0x78, 0x91, 0xac, 0xf0, 0x23, 0x01, 0x00, 0x00, }, 10, 0, "", "",
 114 "c4 a1 78 91 ac f0 23 01 00 00 \tkmovw  %k5,0x123(%rax,%r14,8)",},
 115 {{0xc5, 0xf8, 0x92, 0xe8, }, 4, 0, "", "",
 116 "c5 f8 92 e8          \tkmovw  %eax,%k5",},
 117 {{0xc5, 0xf8, 0x92, 0xed, }, 4, 0, "", "",
 118 "c5 f8 92 ed          \tkmovw  %ebp,%k5",},
 119 {{0xc4, 0xc1, 0x78, 0x92, 0xed, }, 5, 0, "", "",
 120 "c4 c1 78 92 ed       \tkmovw  %r13d,%k5",},
 121 {{0xc5, 0xf8, 0x93, 0xc5, }, 4, 0, "", "",
 122 "c5 f8 93 c5          \tkmovw  %k5,%eax",},
 123 {{0xc5, 0xf8, 0x93, 0xed, }, 4, 0, "", "",
 124 "c5 f8 93 ed          \tkmovw  %k5,%ebp",},
 125 {{0xc5, 0x78, 0x93, 0xed, }, 4, 0, "", "",
 126 "c5 78 93 ed          \tkmovw  %k5,%r13d",},
 127 {{0xc4, 0xe1, 0xf8, 0x90, 0xee, }, 5, 0, "", "",
 128 "c4 e1 f8 90 ee       \tkmovq  %k6,%k5",},
 129 {{0xc4, 0xe1, 0xf8, 0x90, 0x29, }, 5, 0, "", "",
 130 "c4 e1 f8 90 29       \tkmovq  (%rcx),%k5",},
 131 {{0xc4, 0xa1, 0xf8, 0x90, 0xac, 0xf0, 0x23, 0x01, 0x00, 0x00, }, 10, 0, "", "",
 132 "c4 a1 f8 90 ac f0 23 01 00 00 \tkmovq  0x123(%rax,%r14,8),%k5",},
 133 {{0xc4, 0xe1, 0xf8, 0x91, 0x29, }, 5, 0, "", "",
 134 "c4 e1 f8 91 29       \tkmovq  %k5,(%rcx)",},
 135 {{0xc4, 0xa1, 0xf8, 0x91, 0xac, 0xf0, 0x23, 0x01, 0x00, 0x00, }, 10, 0, "", "",
 136 "c4 a1 f8 91 ac f0 23 01 00 00 \tkmovq  %k5,0x123(%rax,%r14,8)",},
 137 {{0xc4, 0xe1, 0xfb, 0x92, 0xe8, }, 5, 0, "", "",
 138 "c4 e1 fb 92 e8       \tkmovq  %rax,%k5",},
 139 {{0xc4, 0xe1, 0xfb, 0x92, 0xed, }, 5, 0, "", "",
 140 "c4 e1 fb 92 ed       \tkmovq  %rbp,%k5",},
 141 {{0xc4, 0xc1, 0xfb, 0x92, 0xed, }, 5, 0, "", "",
 142 "c4 c1 fb 92 ed       \tkmovq  %r13,%k5",},
 143 {{0xc4, 0xe1, 0xfb, 0x93, 0xc5, }, 5, 0, "", "",
 144 "c4 e1 fb 93 c5       \tkmovq  %k5,%rax",},
 145 {{0xc4, 0xe1, 0xfb, 0x93, 0xed, }, 5, 0, "", "",
 146 "c4 e1 fb 93 ed       \tkmovq  %k5,%rbp",},
 147 {{0xc4, 0x61, 0xfb, 0x93, 0xed, }, 5, 0, "", "",
 148 "c4 61 fb 93 ed       \tkmovq  %k5,%r13",},
 149 {{0xc5, 0xf9, 0x90, 0xee, }, 4, 0, "", "",
 150 "c5 f9 90 ee          \tkmovb  %k6,%k5",},
 151 {{0xc5, 0xf9, 0x90, 0x29, }, 4, 0, "", "",
 152 "c5 f9 90 29          \tkmovb  (%rcx),%k5",},
 153 {{0xc4, 0xa1, 0x79, 0x90, 0xac, 0xf0, 0x23, 0x01, 0x00, 0x00, }, 10, 0, "", "",
 154 "c4 a1 79 90 ac f0 23 01 00 00 \tkmovb  0x123(%rax,%r14,8),%k5",},
 155 {{0xc5, 0xf9, 0x91, 0x29, }, 4, 0, "", "",
 156 "c5 f9 91 29          \tkmovb  %k5,(%rcx)",},
 157 {{0xc4, 0xa1, 0x79, 0x91, 0xac, 0xf0, 0x23, 0x01, 0x00, 0x00, }, 10, 0, "", "",
 158 "c4 a1 79 91 ac f0 23 01 00 00 \tkmovb  %k5,0x123(%rax,%r14,8)",},
 159 {{0xc5, 0xf9, 0x92, 0xe8, }, 4, 0, "", "",
 160 "c5 f9 92 e8          \tkmovb  %eax,%k5",},
 161 {{0xc5, 0xf9, 0x92, 0xed, }, 4, 0, "", "",
 162 "c5 f9 92 ed          \tkmovb  %ebp,%k5",},
 163 {{0xc4, 0xc1, 0x79, 0x92, 0xed, }, 5, 0, "", "",
 164 "c4 c1 79 92 ed       \tkmovb  %r13d,%k5",},
 165 {{0xc5, 0xf9, 0x93, 0xc5, }, 4, 0, "", "",
 166 "c5 f9 93 c5          \tkmovb  %k5,%eax",},
 167 {{0xc5, 0xf9, 0x93, 0xed, }, 4, 0, "", "",
 168 "c5 f9 93 ed          \tkmovb  %k5,%ebp",},
 169 {{0xc5, 0x79, 0x93, 0xed, }, 4, 0, "", "",
 170 "c5 79 93 ed          \tkmovb  %k5,%r13d",},
 171 {{0xc4, 0xe1, 0xf9, 0x90, 0xee, }, 5, 0, "", "",
 172 "c4 e1 f9 90 ee       \tkmovd  %k6,%k5",},
 173 {{0xc4, 0xe1, 0xf9, 0x90, 0x29, }, 5, 0, "", "",
 174 "c4 e1 f9 90 29       \tkmovd  (%rcx),%k5",},
 175 {{0xc4, 0xa1, 0xf9, 0x90, 0xac, 0xf0, 0x23, 0x01, 0x00, 0x00, }, 10, 0, "", "",
 176 "c4 a1 f9 90 ac f0 23 01 00 00 \tkmovd  0x123(%rax,%r14,8),%k5",},
 177 {{0xc4, 0xe1, 0xf9, 0x91, 0x29, }, 5, 0, "", "",
 178 "c4 e1 f9 91 29       \tkmovd  %k5,(%rcx)",},
 179 {{0xc4, 0xa1, 0xf9, 0x91, 0xac, 0xf0, 0x23, 0x01, 0x00, 0x00, }, 10, 0, "", "",
 180 "c4 a1 f9 91 ac f0 23 01 00 00 \tkmovd  %k5,0x123(%rax,%r14,8)",},
 181 {{0xc5, 0xfb, 0x92, 0xe8, }, 4, 0, "", "",
 182 "c5 fb 92 e8          \tkmovd  %eax,%k5",},
 183 {{0xc5, 0xfb, 0x92, 0xed, }, 4, 0, "", "",
 184 "c5 fb 92 ed          \tkmovd  %ebp,%k5",},
 185 {{0xc4, 0xc1, 0x7b, 0x92, 0xed, }, 5, 0, "", "",
 186 "c4 c1 7b 92 ed       \tkmovd  %r13d,%k5",},
 187 {{0xc5, 0xfb, 0x93, 0xc5, }, 4, 0, "", "",
 188 "c5 fb 93 c5          \tkmovd  %k5,%eax",},
 189 {{0xc5, 0xfb, 0x93, 0xed, }, 4, 0, "", "",
 190 "c5 fb 93 ed          \tkmovd  %k5,%ebp",},
 191 {{0xc5, 0x7b, 0x93, 0xed, }, 4, 0, "", "",
 192 "c5 7b 93 ed          \tkmovd  %k5,%r13d",},
 193 {{0xc5, 0xf8, 0x98, 0xee, }, 4, 0, "", "",
 194 "c5 f8 98 ee          \tkortestw %k6,%k5",},
 195 {{0xc4, 0xe1, 0xf8, 0x98, 0xee, }, 5, 0, "", "",
 196 "c4 e1 f8 98 ee       \tkortestq %k6,%k5",},
 197 {{0xc5, 0xf9, 0x98, 0xee, }, 4, 0, "", "",
 198 "c5 f9 98 ee          \tkortestb %k6,%k5",},
 199 {{0xc4, 0xe1, 0xf9, 0x98, 0xee, }, 5, 0, "", "",
 200 "c4 e1 f9 98 ee       \tkortestd %k6,%k5",},
 201 {{0xc5, 0xf8, 0x99, 0xee, }, 4, 0, "", "",
 202 "c5 f8 99 ee          \tktestw %k6,%k5",},
 203 {{0xc4, 0xe1, 0xf8, 0x99, 0xee, }, 5, 0, "", "",
 204 "c4 e1 f8 99 ee       \tktestq %k6,%k5",},
 205 {{0xc5, 0xf9, 0x99, 0xee, }, 4, 0, "", "",
 206 "c5 f9 99 ee          \tktestb %k6,%k5",},
 207 {{0xc4, 0xe1, 0xf9, 0x99, 0xee, }, 5, 0, "", "",
 208 "c4 e1 f9 99 ee       \tktestd %k6,%k5",},
 209 {{0xc4, 0xe3, 0xf9, 0x30, 0xee, 0x12, }, 6, 0, "", "",
 210 "c4 e3 f9 30 ee 12    \tkshiftrw $0x12,%k6,%k5",},
 211 {{0xc4, 0xe3, 0xf9, 0x31, 0xee, 0x5b, }, 6, 0, "", "",
 212 "c4 e3 f9 31 ee 5b    \tkshiftrq $0x5b,%k6,%k5",},
 213 {{0xc4, 0xe3, 0xf9, 0x32, 0xee, 0x12, }, 6, 0, "", "",
 214 "c4 e3 f9 32 ee 12    \tkshiftlw $0x12,%k6,%k5",},
 215 {{0xc4, 0xe3, 0xf9, 0x33, 0xee, 0x5b, }, 6, 0, "", "",
 216 "c4 e3 f9 33 ee 5b    \tkshiftlq $0x5b,%k6,%k5",},
 217 {{0xc5, 0xf8, 0x5b, 0xf5, }, 4, 0, "", "",
 218 "c5 f8 5b f5          \tvcvtdq2ps %xmm5,%xmm6",},
 219 {{0x62, 0x91, 0xfc, 0x4f, 0x5b, 0xf5, }, 6, 0, "", "",
 220 "62 91 fc 4f 5b f5    \tvcvtqq2ps %zmm29,%ymm6{%k7}",},
 221 {{0xc5, 0xf9, 0x5b, 0xf5, }, 4, 0, "", "",
 222 "c5 f9 5b f5          \tvcvtps2dq %xmm5,%xmm6",},
 223 {{0xc5, 0xfa, 0x5b, 0xf5, }, 4, 0, "", "",
 224 "c5 fa 5b f5          \tvcvttps2dq %xmm5,%xmm6",},
 225 {{0x0f, 0x6f, 0xe0, }, 3, 0, "", "",
 226 "0f 6f e0             \tmovq   %mm0,%mm4",},
 227 {{0xc5, 0xfd, 0x6f, 0xf4, }, 4, 0, "", "",
 228 "c5 fd 6f f4          \tvmovdqa %ymm4,%ymm6",},
 229 {{0x62, 0x01, 0x7d, 0x48, 0x6f, 0xd1, }, 6, 0, "", "",
 230 "62 01 7d 48 6f d1    \tvmovdqa32 %zmm25,%zmm26",},
 231 {{0x62, 0x01, 0xfd, 0x48, 0x6f, 0xd1, }, 6, 0, "", "",
 232 "62 01 fd 48 6f d1    \tvmovdqa64 %zmm25,%zmm26",},
 233 {{0xc5, 0xfe, 0x6f, 0xf4, }, 4, 0, "", "",
 234 "c5 fe 6f f4          \tvmovdqu %ymm4,%ymm6",},
 235 {{0x62, 0x01, 0x7e, 0x48, 0x6f, 0xf5, }, 6, 0, "", "",
 236 "62 01 7e 48 6f f5    \tvmovdqu32 %zmm29,%zmm30",},
 237 {{0x62, 0x01, 0xfe, 0x48, 0x6f, 0xd1, }, 6, 0, "", "",
 238 "62 01 fe 48 6f d1    \tvmovdqu64 %zmm25,%zmm26",},
 239 {{0x62, 0x01, 0x7f, 0x48, 0x6f, 0xf5, }, 6, 0, "", "",
 240 "62 01 7f 48 6f f5    \tvmovdqu8 %zmm29,%zmm30",},
 241 {{0x62, 0x01, 0xff, 0x48, 0x6f, 0xd1, }, 6, 0, "", "",
 242 "62 01 ff 48 6f d1    \tvmovdqu16 %zmm25,%zmm26",},
 243 {{0x0f, 0x78, 0xc3, }, 3, 0, "", "",
 244 "0f 78 c3             \tvmread %rax,%rbx",},
 245 {{0x62, 0x01, 0x7c, 0x48, 0x78, 0xd1, }, 6, 0, "", "",
 246 "62 01 7c 48 78 d1    \tvcvttps2udq %zmm25,%zmm26",},
 247 {{0x62, 0x91, 0xfc, 0x4f, 0x78, 0xf5, }, 6, 0, "", "",
 248 "62 91 fc 4f 78 f5    \tvcvttpd2udq %zmm29,%ymm6{%k7}",},
 249 {{0x62, 0xf1, 0xff, 0x08, 0x78, 0xc6, }, 6, 0, "", "",
 250 "62 f1 ff 08 78 c6    \tvcvttsd2usi %xmm6,%rax",},
 251 {{0x62, 0xf1, 0xfe, 0x08, 0x78, 0xc6, }, 6, 0, "", "",
 252 "62 f1 fe 08 78 c6    \tvcvttss2usi %xmm6,%rax",},
 253 {{0x62, 0x61, 0x7d, 0x4f, 0x78, 0xd5, }, 6, 0, "", "",
 254 "62 61 7d 4f 78 d5    \tvcvttps2uqq %ymm5,%zmm26{%k7}",},
 255 {{0x62, 0x01, 0xfd, 0x48, 0x78, 0xf5, }, 6, 0, "", "",
 256 "62 01 fd 48 78 f5    \tvcvttpd2uqq %zmm29,%zmm30",},
 257 {{0x0f, 0x79, 0xd8, }, 3, 0, "", "",
 258 "0f 79 d8             \tvmwrite %rax,%rbx",},
 259 {{0x62, 0x01, 0x7c, 0x48, 0x79, 0xd1, }, 6, 0, "", "",
 260 "62 01 7c 48 79 d1    \tvcvtps2udq %zmm25,%zmm26",},
 261 {{0x62, 0x91, 0xfc, 0x4f, 0x79, 0xf5, }, 6, 0, "", "",
 262 "62 91 fc 4f 79 f5    \tvcvtpd2udq %zmm29,%ymm6{%k7}",},
 263 {{0x62, 0xf1, 0xff, 0x08, 0x79, 0xc6, }, 6, 0, "", "",
 264 "62 f1 ff 08 79 c6    \tvcvtsd2usi %xmm6,%rax",},
 265 {{0x62, 0xf1, 0xfe, 0x08, 0x79, 0xc6, }, 6, 0, "", "",
 266 "62 f1 fe 08 79 c6    \tvcvtss2usi %xmm6,%rax",},
 267 {{0x62, 0x61, 0x7d, 0x4f, 0x79, 0xd5, }, 6, 0, "", "",
 268 "62 61 7d 4f 79 d5    \tvcvtps2uqq %ymm5,%zmm26{%k7}",},
 269 {{0x62, 0x01, 0xfd, 0x48, 0x79, 0xf5, }, 6, 0, "", "",
 270 "62 01 fd 48 79 f5    \tvcvtpd2uqq %zmm29,%zmm30",},
 271 {{0x62, 0x61, 0x7e, 0x4f, 0x7a, 0xed, }, 6, 0, "", "",
 272 "62 61 7e 4f 7a ed    \tvcvtudq2pd %ymm5,%zmm29{%k7}",},
 273 {{0x62, 0x01, 0xfe, 0x48, 0x7a, 0xd1, }, 6, 0, "", "",
 274 "62 01 fe 48 7a d1    \tvcvtuqq2pd %zmm25,%zmm26",},
 275 {{0x62, 0x01, 0x7f, 0x48, 0x7a, 0xf5, }, 6, 0, "", "",
 276 "62 01 7f 48 7a f5    \tvcvtudq2ps %zmm29,%zmm30",},
 277 {{0x62, 0x01, 0xff, 0x4f, 0x7a, 0xd1, }, 6, 0, "", "",
 278 "62 01 ff 4f 7a d1    \tvcvtuqq2ps %zmm25,%ymm26{%k7}",},
 279 {{0x62, 0x01, 0x7d, 0x4f, 0x7a, 0xd1, }, 6, 0, "", "",
 280 "62 01 7d 4f 7a d1    \tvcvttps2qq %ymm25,%zmm26{%k7}",},
 281 {{0x62, 0x01, 0xfd, 0x48, 0x7a, 0xf5, }, 6, 0, "", "",
 282 "62 01 fd 48 7a f5    \tvcvttpd2qq %zmm29,%zmm30",},
 283 {{0x62, 0xf1, 0x57, 0x08, 0x7b, 0xf0, }, 6, 0, "", "",
 284 "62 f1 57 08 7b f0    \tvcvtusi2sd %eax,%xmm5,%xmm6",},
 285 {{0x62, 0xf1, 0x56, 0x08, 0x7b, 0xf0, }, 6, 0, "", "",
 286 "62 f1 56 08 7b f0    \tvcvtusi2ss %eax,%xmm5,%xmm6",},
 287 {{0x62, 0x61, 0x7d, 0x4f, 0x7b, 0xd5, }, 6, 0, "", "",
 288 "62 61 7d 4f 7b d5    \tvcvtps2qq %ymm5,%zmm26{%k7}",},
 289 {{0x62, 0x01, 0xfd, 0x48, 0x7b, 0xf5, }, 6, 0, "", "",
 290 "62 01 fd 48 7b f5    \tvcvtpd2qq %zmm29,%zmm30",},
 291 {{0x0f, 0x7f, 0xc4, }, 3, 0, "", "",
 292 "0f 7f c4             \tmovq   %mm0,%mm4",},
 293 {{0xc5, 0x7d, 0x7f, 0xc6, }, 4, 0, "", "",
 294 "c5 7d 7f c6          \tvmovdqa %ymm8,%ymm6",},
 295 {{0x62, 0x01, 0x7d, 0x48, 0x7f, 0xca, }, 6, 0, "", "",
 296 "62 01 7d 48 7f ca    \tvmovdqa32 %zmm25,%zmm26",},
 297 {{0x62, 0x01, 0xfd, 0x48, 0x7f, 0xca, }, 6, 0, "", "",
 298 "62 01 fd 48 7f ca    \tvmovdqa64 %zmm25,%zmm26",},
 299 {{0xc5, 0x7e, 0x7f, 0xc6, }, 4, 0, "", "",
 300 "c5 7e 7f c6          \tvmovdqu %ymm8,%ymm6",},
 301 {{0x62, 0x01, 0x7e, 0x48, 0x7f, 0xca, }, 6, 0, "", "",
 302 "62 01 7e 48 7f ca    \tvmovdqu32 %zmm25,%zmm26",},
 303 {{0x62, 0x01, 0xfe, 0x48, 0x7f, 0xca, }, 6, 0, "", "",
 304 "62 01 fe 48 7f ca    \tvmovdqu64 %zmm25,%zmm26",},
 305 {{0x62, 0x61, 0x7f, 0x48, 0x7f, 0x31, }, 6, 0, "", "",
 306 "62 61 7f 48 7f 31    \tvmovdqu8 %zmm30,(%rcx)",},
 307 {{0x62, 0x01, 0xff, 0x48, 0x7f, 0xca, }, 6, 0, "", "",
 308 "62 01 ff 48 7f ca    \tvmovdqu16 %zmm25,%zmm26",},
 309 {{0x0f, 0xdb, 0xd1, }, 3, 0, "", "",
 310 "0f db d1             \tpand   %mm1,%mm2",},
 311 {{0x66, 0x0f, 0xdb, 0xd1, }, 4, 0, "", "",
 312 "66 0f db d1          \tpand   %xmm1,%xmm2",},
 313 {{0xc5, 0xcd, 0xdb, 0xd4, }, 4, 0, "", "",
 314 "c5 cd db d4          \tvpand  %ymm4,%ymm6,%ymm2",},
 315 {{0x62, 0x01, 0x35, 0x40, 0xdb, 0xd0, }, 6, 0, "", "",
 316 "62 01 35 40 db d0    \tvpandd %zmm24,%zmm25,%zmm26",},
 317 {{0x62, 0x01, 0xb5, 0x40, 0xdb, 0xd0, }, 6, 0, "", "",
 318 "62 01 b5 40 db d0    \tvpandq %zmm24,%zmm25,%zmm26",},
 319 {{0x0f, 0xdf, 0xd1, }, 3, 0, "", "",
 320 "0f df d1             \tpandn  %mm1,%mm2",},
 321 {{0x66, 0x0f, 0xdf, 0xd1, }, 4, 0, "", "",
 322 "66 0f df d1          \tpandn  %xmm1,%xmm2",},
 323 {{0xc5, 0xcd, 0xdf, 0xd4, }, 4, 0, "", "",
 324 "c5 cd df d4          \tvpandn %ymm4,%ymm6,%ymm2",},
 325 {{0x62, 0x01, 0x35, 0x40, 0xdf, 0xd0, }, 6, 0, "", "",
 326 "62 01 35 40 df d0    \tvpandnd %zmm24,%zmm25,%zmm26",},
 327 {{0x62, 0x01, 0xb5, 0x40, 0xdf, 0xd0, }, 6, 0, "", "",
 328 "62 01 b5 40 df d0    \tvpandnq %zmm24,%zmm25,%zmm26",},
 329 {{0xc5, 0xf9, 0xe6, 0xd1, }, 4, 0, "", "",
 330 "c5 f9 e6 d1          \tvcvttpd2dq %xmm1,%xmm2",},
 331 {{0xc5, 0xfa, 0xe6, 0xf5, }, 4, 0, "", "",
 332 "c5 fa e6 f5          \tvcvtdq2pd %xmm5,%xmm6",},
 333 {{0x62, 0x61, 0x7e, 0x4f, 0xe6, 0xd5, }, 6, 0, "", "",
 334 "62 61 7e 4f e6 d5    \tvcvtdq2pd %ymm5,%zmm26{%k7}",},
 335 {{0x62, 0x01, 0xfe, 0x48, 0xe6, 0xd1, }, 6, 0, "", "",
 336 "62 01 fe 48 e6 d1    \tvcvtqq2pd %zmm25,%zmm26",},
 337 {{0xc5, 0xfb, 0xe6, 0xd1, }, 4, 0, "", "",
 338 "c5 fb e6 d1          \tvcvtpd2dq %xmm1,%xmm2",},
 339 {{0x0f, 0xeb, 0xf4, }, 3, 0, "", "",
 340 "0f eb f4             \tpor    %mm4,%mm6",},
 341 {{0xc5, 0xcd, 0xeb, 0xd4, }, 4, 0, "", "",
 342 "c5 cd eb d4          \tvpor   %ymm4,%ymm6,%ymm2",},
 343 {{0x62, 0x01, 0x35, 0x40, 0xeb, 0xd0, }, 6, 0, "", "",
 344 "62 01 35 40 eb d0    \tvpord  %zmm24,%zmm25,%zmm26",},
 345 {{0x62, 0x01, 0xb5, 0x40, 0xeb, 0xd0, }, 6, 0, "", "",
 346 "62 01 b5 40 eb d0    \tvporq  %zmm24,%zmm25,%zmm26",},
 347 {{0x0f, 0xef, 0xf4, }, 3, 0, "", "",
 348 "0f ef f4             \tpxor   %mm4,%mm6",},
 349 {{0xc5, 0xcd, 0xef, 0xd4, }, 4, 0, "", "",
 350 "c5 cd ef d4          \tvpxor  %ymm4,%ymm6,%ymm2",},
 351 {{0x62, 0x01, 0x35, 0x40, 0xef, 0xd0, }, 6, 0, "", "",
 352 "62 01 35 40 ef d0    \tvpxord %zmm24,%zmm25,%zmm26",},
 353 {{0x62, 0x01, 0xb5, 0x40, 0xef, 0xd0, }, 6, 0, "", "",
 354 "62 01 b5 40 ef d0    \tvpxorq %zmm24,%zmm25,%zmm26",},
 355 {{0x66, 0x0f, 0x38, 0x10, 0xc1, }, 5, 0, "", "",
 356 "66 0f 38 10 c1       \tpblendvb %xmm0,%xmm1,%xmm0",},
 357 {{0x62, 0x02, 0x9d, 0x40, 0x10, 0xeb, }, 6, 0, "", "",
 358 "62 02 9d 40 10 eb    \tvpsrlvw %zmm27,%zmm28,%zmm29",},
 359 {{0x62, 0x62, 0x7e, 0x4f, 0x10, 0xe6, }, 6, 0, "", "",
 360 "62 62 7e 4f 10 e6    \tvpmovuswb %zmm28,%ymm6{%k7}",},
 361 {{0x62, 0x62, 0x7e, 0x4f, 0x11, 0xe6, }, 6, 0, "", "",
 362 "62 62 7e 4f 11 e6    \tvpmovusdb %zmm28,%xmm6{%k7}",},
 363 {{0x62, 0x02, 0x9d, 0x40, 0x11, 0xeb, }, 6, 0, "", "",
 364 "62 02 9d 40 11 eb    \tvpsravw %zmm27,%zmm28,%zmm29",},
 365 {{0x62, 0x62, 0x7e, 0x4f, 0x12, 0xde, }, 6, 0, "", "",
 366 "62 62 7e 4f 12 de    \tvpmovusqb %zmm27,%xmm6{%k7}",},
 367 {{0x62, 0x02, 0x9d, 0x40, 0x12, 0xeb, }, 6, 0, "", "",
 368 "62 02 9d 40 12 eb    \tvpsllvw %zmm27,%zmm28,%zmm29",},
 369 {{0xc4, 0xe2, 0x7d, 0x13, 0xeb, }, 5, 0, "", "",
 370 "c4 e2 7d 13 eb       \tvcvtph2ps %xmm3,%ymm5",},
 371 {{0x62, 0x62, 0x7d, 0x4f, 0x13, 0xdd, }, 6, 0, "", "",
 372 "62 62 7d 4f 13 dd    \tvcvtph2ps %ymm5,%zmm27{%k7}",},
 373 {{0x62, 0x62, 0x7e, 0x4f, 0x13, 0xde, }, 6, 0, "", "",
 374 "62 62 7e 4f 13 de    \tvpmovusdw %zmm27,%ymm6{%k7}",},
 375 {{0x66, 0x0f, 0x38, 0x14, 0xc1, }, 5, 0, "", "",
 376 "66 0f 38 14 c1       \tblendvps %xmm0,%xmm1,%xmm0",},
 377 {{0x62, 0x62, 0x7e, 0x4f, 0x14, 0xde, }, 6, 0, "", "",
 378 "62 62 7e 4f 14 de    \tvpmovusqw %zmm27,%xmm6{%k7}",},
 379 {{0x62, 0x02, 0x1d, 0x40, 0x14, 0xeb, }, 6, 0, "", "",
 380 "62 02 1d 40 14 eb    \tvprorvd %zmm27,%zmm28,%zmm29",},
 381 {{0x62, 0x02, 0x9d, 0x40, 0x14, 0xeb, }, 6, 0, "", "",
 382 "62 02 9d 40 14 eb    \tvprorvq %zmm27,%zmm28,%zmm29",},
 383 {{0x66, 0x0f, 0x38, 0x15, 0xc1, }, 5, 0, "", "",
 384 "66 0f 38 15 c1       \tblendvpd %xmm0,%xmm1,%xmm0",},
 385 {{0x62, 0x62, 0x7e, 0x4f, 0x15, 0xde, }, 6, 0, "", "",
 386 "62 62 7e 4f 15 de    \tvpmovusqd %zmm27,%ymm6{%k7}",},
 387 {{0x62, 0x02, 0x1d, 0x40, 0x15, 0xeb, }, 6, 0, "", "",
 388 "62 02 1d 40 15 eb    \tvprolvd %zmm27,%zmm28,%zmm29",},
 389 {{0x62, 0x02, 0x9d, 0x40, 0x15, 0xeb, }, 6, 0, "", "",
 390 "62 02 9d 40 15 eb    \tvprolvq %zmm27,%zmm28,%zmm29",},
 391 {{0xc4, 0xe2, 0x4d, 0x16, 0xd4, }, 5, 0, "", "",
 392 "c4 e2 4d 16 d4       \tvpermps %ymm4,%ymm6,%ymm2",},
 393 {{0x62, 0x82, 0x2d, 0x27, 0x16, 0xf0, }, 6, 0, "", "",
 394 "62 82 2d 27 16 f0    \tvpermps %ymm24,%ymm26,%ymm22{%k7}",},
 395 {{0x62, 0x82, 0xad, 0x27, 0x16, 0xf0, }, 6, 0, "", "",
 396 "62 82 ad 27 16 f0    \tvpermpd %ymm24,%ymm26,%ymm22{%k7}",},
 397 {{0xc4, 0xe2, 0x7d, 0x19, 0xf4, }, 5, 0, "", "",
 398 "c4 e2 7d 19 f4       \tvbroadcastsd %xmm4,%ymm6",},
 399 {{0x62, 0x02, 0x7d, 0x48, 0x19, 0xd3, }, 6, 0, "", "",
 400 "62 02 7d 48 19 d3    \tvbroadcastf32x2 %xmm27,%zmm26",},
 401 {{0xc4, 0xe2, 0x7d, 0x1a, 0x21, }, 5, 0, "", "",
 402 "c4 e2 7d 1a 21       \tvbroadcastf128 (%rcx),%ymm4",},
 403 {{0x62, 0x62, 0x7d, 0x48, 0x1a, 0x11, }, 6, 0, "", "",
 404 "62 62 7d 48 1a 11    \tvbroadcastf32x4 (%rcx),%zmm26",},
 405 {{0x62, 0x62, 0xfd, 0x48, 0x1a, 0x11, }, 6, 0, "", "",
 406 "62 62 fd 48 1a 11    \tvbroadcastf64x2 (%rcx),%zmm26",},
 407 {{0x62, 0x62, 0x7d, 0x48, 0x1b, 0x19, }, 6, 0, "", "",
 408 "62 62 7d 48 1b 19    \tvbroadcastf32x8 (%rcx),%zmm27",},
 409 {{0x62, 0x62, 0xfd, 0x48, 0x1b, 0x11, }, 6, 0, "", "",
 410 "62 62 fd 48 1b 11    \tvbroadcastf64x4 (%rcx),%zmm26",},
 411 {{0x62, 0x02, 0xfd, 0x48, 0x1f, 0xe3, }, 6, 0, "", "",
 412 "62 02 fd 48 1f e3    \tvpabsq %zmm27,%zmm28",},
 413 {{0xc4, 0xe2, 0x79, 0x20, 0xec, }, 5, 0, "", "",
 414 "c4 e2 79 20 ec       \tvpmovsxbw %xmm4,%xmm5",},
 415 {{0x62, 0x62, 0x7e, 0x4f, 0x20, 0xde, }, 6, 0, "", "",
 416 "62 62 7e 4f 20 de    \tvpmovswb %zmm27,%ymm6{%k7}",},
 417 {{0xc4, 0xe2, 0x7d, 0x21, 0xf4, }, 5, 0, "", "",
 418 "c4 e2 7d 21 f4       \tvpmovsxbd %xmm4,%ymm6",},
 419 {{0x62, 0x62, 0x7e, 0x4f, 0x21, 0xde, }, 6, 0, "", "",
 420 "62 62 7e 4f 21 de    \tvpmovsdb %zmm27,%xmm6{%k7}",},
 421 {{0xc4, 0xe2, 0x7d, 0x22, 0xe4, }, 5, 0, "", "",
 422 "c4 e2 7d 22 e4       \tvpmovsxbq %xmm4,%ymm4",},
 423 {{0x62, 0x62, 0x7e, 0x4f, 0x22, 0xde, }, 6, 0, "", "",
 424 "62 62 7e 4f 22 de    \tvpmovsqb %zmm27,%xmm6{%k7}",},
 425 {{0xc4, 0xe2, 0x7d, 0x23, 0xe4, }, 5, 0, "", "",
 426 "c4 e2 7d 23 e4       \tvpmovsxwd %xmm4,%ymm4",},
 427 {{0x62, 0x62, 0x7e, 0x4f, 0x23, 0xde, }, 6, 0, "", "",
 428 "62 62 7e 4f 23 de    \tvpmovsdw %zmm27,%ymm6{%k7}",},
 429 {{0xc4, 0xe2, 0x7d, 0x24, 0xf4, }, 5, 0, "", "",
 430 "c4 e2 7d 24 f4       \tvpmovsxwq %xmm4,%ymm6",},
 431 {{0x62, 0x62, 0x7e, 0x4f, 0x24, 0xde, }, 6, 0, "", "",
 432 "62 62 7e 4f 24 de    \tvpmovsqw %zmm27,%xmm6{%k7}",},
 433 {{0xc4, 0xe2, 0x7d, 0x25, 0xe4, }, 5, 0, "", "",
 434 "c4 e2 7d 25 e4       \tvpmovsxdq %xmm4,%ymm4",},
 435 {{0x62, 0x62, 0x7e, 0x4f, 0x25, 0xde, }, 6, 0, "", "",
 436 "62 62 7e 4f 25 de    \tvpmovsqd %zmm27,%ymm6{%k7}",},
 437 {{0x62, 0x92, 0x1d, 0x40, 0x26, 0xeb, }, 6, 0, "", "",
 438 "62 92 1d 40 26 eb    \tvptestmb %zmm27,%zmm28,%k5",},
 439 {{0x62, 0x92, 0x9d, 0x40, 0x26, 0xeb, }, 6, 0, "", "",
 440 "62 92 9d 40 26 eb    \tvptestmw %zmm27,%zmm28,%k5",},
 441 {{0x62, 0x92, 0x26, 0x40, 0x26, 0xea, }, 6, 0, "", "",
 442 "62 92 26 40 26 ea    \tvptestnmb %zmm26,%zmm27,%k5",},
 443 {{0x62, 0x92, 0xa6, 0x40, 0x26, 0xea, }, 6, 0, "", "",
 444 "62 92 a6 40 26 ea    \tvptestnmw %zmm26,%zmm27,%k5",},
 445 {{0x62, 0x92, 0x1d, 0x40, 0x27, 0xeb, }, 6, 0, "", "",
 446 "62 92 1d 40 27 eb    \tvptestmd %zmm27,%zmm28,%k5",},
 447 {{0x62, 0x92, 0x9d, 0x40, 0x27, 0xeb, }, 6, 0, "", "",
 448 "62 92 9d 40 27 eb    \tvptestmq %zmm27,%zmm28,%k5",},
 449 {{0x62, 0x92, 0x26, 0x40, 0x27, 0xea, }, 6, 0, "", "",
 450 "62 92 26 40 27 ea    \tvptestnmd %zmm26,%zmm27,%k5",},
 451 {{0x62, 0x92, 0xa6, 0x40, 0x27, 0xea, }, 6, 0, "", "",
 452 "62 92 a6 40 27 ea    \tvptestnmq %zmm26,%zmm27,%k5",},
 453 {{0xc4, 0xe2, 0x4d, 0x28, 0xd4, }, 5, 0, "", "",
 454 "c4 e2 4d 28 d4       \tvpmuldq %ymm4,%ymm6,%ymm2",},
 455 {{0x62, 0x62, 0x7e, 0x48, 0x28, 0xe5, }, 6, 0, "", "",
 456 "62 62 7e 48 28 e5    \tvpmovm2b %k5,%zmm28",},
 457 {{0x62, 0x62, 0xfe, 0x48, 0x28, 0xe5, }, 6, 0, "", "",
 458 "62 62 fe 48 28 e5    \tvpmovm2w %k5,%zmm28",},
 459 {{0xc4, 0xe2, 0x4d, 0x29, 0xd4, }, 5, 0, "", "",
 460 "c4 e2 4d 29 d4       \tvpcmpeqq %ymm4,%ymm6,%ymm2",},
 461 {{0x62, 0x92, 0x7e, 0x48, 0x29, 0xec, }, 6, 0, "", "",
 462 "62 92 7e 48 29 ec    \tvpmovb2m %zmm28,%k5",},
 463 {{0x62, 0x92, 0xfe, 0x48, 0x29, 0xec, }, 6, 0, "", "",
 464 "62 92 fe 48 29 ec    \tvpmovw2m %zmm28,%k5",},
 465 {{0xc4, 0xe2, 0x7d, 0x2a, 0x21, }, 5, 0, "", "",
 466 "c4 e2 7d 2a 21       \tvmovntdqa (%rcx),%ymm4",},
 467 {{0x62, 0x62, 0xfe, 0x48, 0x2a, 0xf6, }, 6, 0, "", "",
 468 "62 62 fe 48 2a f6    \tvpbroadcastmb2q %k6,%zmm30",},
 469 {{0xc4, 0xe2, 0x5d, 0x2c, 0x31, }, 5, 0, "", "",
 470 "c4 e2 5d 2c 31       \tvmaskmovps (%rcx),%ymm4,%ymm6",},
 471 {{0x62, 0x02, 0x35, 0x40, 0x2c, 0xd0, }, 6, 0, "", "",
 472 "62 02 35 40 2c d0    \tvscalefps %zmm24,%zmm25,%zmm26",},
 473 {{0x62, 0x02, 0xb5, 0x40, 0x2c, 0xd0, }, 6, 0, "", "",
 474 "62 02 b5 40 2c d0    \tvscalefpd %zmm24,%zmm25,%zmm26",},
 475 {{0xc4, 0xe2, 0x5d, 0x2d, 0x31, }, 5, 0, "", "",
 476 "c4 e2 5d 2d 31       \tvmaskmovpd (%rcx),%ymm4,%ymm6",},
 477 {{0x62, 0x02, 0x35, 0x07, 0x2d, 0xd0, }, 6, 0, "", "",
 478 "62 02 35 07 2d d0    \tvscalefss %xmm24,%xmm25,%xmm26{%k7}",},
 479 {{0x62, 0x02, 0xb5, 0x07, 0x2d, 0xd0, }, 6, 0, "", "",
 480 "62 02 b5 07 2d d0    \tvscalefsd %xmm24,%xmm25,%xmm26{%k7}",},
 481 {{0xc4, 0xe2, 0x7d, 0x30, 0xe4, }, 5, 0, "", "",
 482 "c4 e2 7d 30 e4       \tvpmovzxbw %xmm4,%ymm4",},
 483 {{0x62, 0x62, 0x7e, 0x4f, 0x30, 0xde, }, 6, 0, "", "",
 484 "62 62 7e 4f 30 de    \tvpmovwb %zmm27,%ymm6{%k7}",},
 485 {{0xc4, 0xe2, 0x7d, 0x31, 0xf4, }, 5, 0, "", "",
 486 "c4 e2 7d 31 f4       \tvpmovzxbd %xmm4,%ymm6",},
 487 {{0x62, 0x62, 0x7e, 0x4f, 0x31, 0xde, }, 6, 0, "", "",
 488 "62 62 7e 4f 31 de    \tvpmovdb %zmm27,%xmm6{%k7}",},
 489 {{0xc4, 0xe2, 0x7d, 0x32, 0xe4, }, 5, 0, "", "",
 490 "c4 e2 7d 32 e4       \tvpmovzxbq %xmm4,%ymm4",},
 491 {{0x62, 0x62, 0x7e, 0x4f, 0x32, 0xde, }, 6, 0, "", "",
 492 "62 62 7e 4f 32 de    \tvpmovqb %zmm27,%xmm6{%k7}",},
 493 {{0xc4, 0xe2, 0x7d, 0x33, 0xe4, }, 5, 0, "", "",
 494 "c4 e2 7d 33 e4       \tvpmovzxwd %xmm4,%ymm4",},
 495 {{0x62, 0x62, 0x7e, 0x4f, 0x33, 0xde, }, 6, 0, "", "",
 496 "62 62 7e 4f 33 de    \tvpmovdw %zmm27,%ymm6{%k7}",},
 497 {{0xc4, 0xe2, 0x7d, 0x34, 0xf4, }, 5, 0, "", "",
 498 "c4 e2 7d 34 f4       \tvpmovzxwq %xmm4,%ymm6",},
 499 {{0x62, 0x62, 0x7e, 0x4f, 0x34, 0xde, }, 6, 0, "", "",
 500 "62 62 7e 4f 34 de    \tvpmovqw %zmm27,%xmm6{%k7}",},
 501 {{0xc4, 0xe2, 0x7d, 0x35, 0xe4, }, 5, 0, "", "",
 502 "c4 e2 7d 35 e4       \tvpmovzxdq %xmm4,%ymm4",},
 503 {{0x62, 0x62, 0x7e, 0x4f, 0x35, 0xde, }, 6, 0, "", "",
 504 "62 62 7e 4f 35 de    \tvpmovqd %zmm27,%ymm6{%k7}",},
 505 {{0xc4, 0xe2, 0x4d, 0x36, 0xd4, }, 5, 0, "", "",
 506 "c4 e2 4d 36 d4       \tvpermd %ymm4,%ymm6,%ymm2",},
 507 {{0x62, 0x82, 0x2d, 0x27, 0x36, 0xf0, }, 6, 0, "", "",
 508 "62 82 2d 27 36 f0    \tvpermd %ymm24,%ymm26,%ymm22{%k7}",},
 509 {{0x62, 0x82, 0xad, 0x27, 0x36, 0xf0, }, 6, 0, "", "",
 510 "62 82 ad 27 36 f0    \tvpermq %ymm24,%ymm26,%ymm22{%k7}",},
 511 {{0xc4, 0xe2, 0x4d, 0x38, 0xd4, }, 5, 0, "", "",
 512 "c4 e2 4d 38 d4       \tvpminsb %ymm4,%ymm6,%ymm2",},
 513 {{0x62, 0x62, 0x7e, 0x48, 0x38, 0xe5, }, 6, 0, "", "",
 514 "62 62 7e 48 38 e5    \tvpmovm2d %k5,%zmm28",},
 515 {{0x62, 0x62, 0xfe, 0x48, 0x38, 0xe5, }, 6, 0, "", "",
 516 "62 62 fe 48 38 e5    \tvpmovm2q %k5,%zmm28",},
 517 {{0xc4, 0xe2, 0x69, 0x39, 0xd9, }, 5, 0, "", "",
 518 "c4 e2 69 39 d9       \tvpminsd %xmm1,%xmm2,%xmm3",},
 519 {{0x62, 0x02, 0x35, 0x40, 0x39, 0xd0, }, 6, 0, "", "",
 520 "62 02 35 40 39 d0    \tvpminsd %zmm24,%zmm25,%zmm26",},
 521 {{0x62, 0x02, 0xb5, 0x40, 0x39, 0xd0, }, 6, 0, "", "",
 522 "62 02 b5 40 39 d0    \tvpminsq %zmm24,%zmm25,%zmm26",},
 523 {{0x62, 0x92, 0x7e, 0x48, 0x39, 0xec, }, 6, 0, "", "",
 524 "62 92 7e 48 39 ec    \tvpmovd2m %zmm28,%k5",},
 525 {{0x62, 0x92, 0xfe, 0x48, 0x39, 0xec, }, 6, 0, "", "",
 526 "62 92 fe 48 39 ec    \tvpmovq2m %zmm28,%k5",},
 527 {{0xc4, 0xe2, 0x4d, 0x3a, 0xd4, }, 5, 0, "", "",
 528 "c4 e2 4d 3a d4       \tvpminuw %ymm4,%ymm6,%ymm2",},
 529 {{0x62, 0x62, 0x7e, 0x48, 0x3a, 0xe6, }, 6, 0, "", "",
 530 "62 62 7e 48 3a e6    \tvpbroadcastmw2d %k6,%zmm28",},
 531 {{0xc4, 0xe2, 0x4d, 0x3b, 0xd4, }, 5, 0, "", "",
 532 "c4 e2 4d 3b d4       \tvpminud %ymm4,%ymm6,%ymm2",},
 533 {{0x62, 0x02, 0x35, 0x40, 0x3b, 0xd0, }, 6, 0, "", "",
 534 "62 02 35 40 3b d0    \tvpminud %zmm24,%zmm25,%zmm26",},
 535 {{0x62, 0x02, 0xb5, 0x40, 0x3b, 0xd0, }, 6, 0, "", "",
 536 "62 02 b5 40 3b d0    \tvpminuq %zmm24,%zmm25,%zmm26",},
 537 {{0xc4, 0xe2, 0x4d, 0x3d, 0xd4, }, 5, 0, "", "",
 538 "c4 e2 4d 3d d4       \tvpmaxsd %ymm4,%ymm6,%ymm2",},
 539 {{0x62, 0x02, 0x35, 0x40, 0x3d, 0xd0, }, 6, 0, "", "",
 540 "62 02 35 40 3d d0    \tvpmaxsd %zmm24,%zmm25,%zmm26",},
 541 {{0x62, 0x02, 0xb5, 0x40, 0x3d, 0xd0, }, 6, 0, "", "",
 542 "62 02 b5 40 3d d0    \tvpmaxsq %zmm24,%zmm25,%zmm26",},
 543 {{0xc4, 0xe2, 0x4d, 0x3f, 0xd4, }, 5, 0, "", "",
 544 "c4 e2 4d 3f d4       \tvpmaxud %ymm4,%ymm6,%ymm2",},
 545 {{0x62, 0x02, 0x35, 0x40, 0x3f, 0xd0, }, 6, 0, "", "",
 546 "62 02 35 40 3f d0    \tvpmaxud %zmm24,%zmm25,%zmm26",},
 547 {{0x62, 0x02, 0xb5, 0x40, 0x3f, 0xd0, }, 6, 0, "", "",
 548 "62 02 b5 40 3f d0    \tvpmaxuq %zmm24,%zmm25,%zmm26",},
 549 {{0xc4, 0xe2, 0x4d, 0x40, 0xd4, }, 5, 0, "", "",
 550 "c4 e2 4d 40 d4       \tvpmulld %ymm4,%ymm6,%ymm2",},
 551 {{0x62, 0x02, 0x35, 0x40, 0x40, 0xd0, }, 6, 0, "", "",
 552 "62 02 35 40 40 d0    \tvpmulld %zmm24,%zmm25,%zmm26",},
 553 {{0x62, 0x02, 0xb5, 0x40, 0x40, 0xd0, }, 6, 0, "", "",
 554 "62 02 b5 40 40 d0    \tvpmullq %zmm24,%zmm25,%zmm26",},
 555 {{0x62, 0x02, 0x7d, 0x48, 0x42, 0xd1, }, 6, 0, "", "",
 556 "62 02 7d 48 42 d1    \tvgetexpps %zmm25,%zmm26",},
 557 {{0x62, 0x02, 0xfd, 0x48, 0x42, 0xe3, }, 6, 0, "", "",
 558 "62 02 fd 48 42 e3    \tvgetexppd %zmm27,%zmm28",},
 559 {{0x62, 0x02, 0x35, 0x07, 0x43, 0xd0, }, 6, 0, "", "",
 560 "62 02 35 07 43 d0    \tvgetexpss %xmm24,%xmm25,%xmm26{%k7}",},
 561 {{0x62, 0x02, 0x95, 0x07, 0x43, 0xf4, }, 6, 0, "", "",
 562 "62 02 95 07 43 f4    \tvgetexpsd %xmm28,%xmm29,%xmm30{%k7}",},
 563 {{0x62, 0x02, 0x7d, 0x48, 0x44, 0xe3, }, 6, 0, "", "",
 564 "62 02 7d 48 44 e3    \tvplzcntd %zmm27,%zmm28",},
 565 {{0x62, 0x02, 0xfd, 0x48, 0x44, 0xe3, }, 6, 0, "", "",
 566 "62 02 fd 48 44 e3    \tvplzcntq %zmm27,%zmm28",},
 567 {{0xc4, 0xe2, 0x4d, 0x46, 0xd4, }, 5, 0, "", "",
 568 "c4 e2 4d 46 d4       \tvpsravd %ymm4,%ymm6,%ymm2",},
 569 {{0x62, 0x02, 0x35, 0x40, 0x46, 0xd0, }, 6, 0, "", "",
 570 "62 02 35 40 46 d0    \tvpsravd %zmm24,%zmm25,%zmm26",},
 571 {{0x62, 0x02, 0xb5, 0x40, 0x46, 0xd0, }, 6, 0, "", "",
 572 "62 02 b5 40 46 d0    \tvpsravq %zmm24,%zmm25,%zmm26",},
 573 {{0x62, 0x02, 0x7d, 0x48, 0x4c, 0xd1, }, 6, 0, "", "",
 574 "62 02 7d 48 4c d1    \tvrcp14ps %zmm25,%zmm26",},
 575 {{0x62, 0x02, 0xfd, 0x48, 0x4c, 0xe3, }, 6, 0, "", "",
 576 "62 02 fd 48 4c e3    \tvrcp14pd %zmm27,%zmm28",},
 577 {{0x62, 0x02, 0x35, 0x07, 0x4d, 0xd0, }, 6, 0, "", "",
 578 "62 02 35 07 4d d0    \tvrcp14ss %xmm24,%xmm25,%xmm26{%k7}",},
 579 {{0x62, 0x02, 0xb5, 0x07, 0x4d, 0xd0, }, 6, 0, "", "",
 580 "62 02 b5 07 4d d0    \tvrcp14sd %xmm24,%xmm25,%xmm26{%k7}",},
 581 {{0x62, 0x02, 0x7d, 0x48, 0x4e, 0xd1, }, 6, 0, "", "",
 582 "62 02 7d 48 4e d1    \tvrsqrt14ps %zmm25,%zmm26",},
 583 {{0x62, 0x02, 0xfd, 0x48, 0x4e, 0xe3, }, 6, 0, "", "",
 584 "62 02 fd 48 4e e3    \tvrsqrt14pd %zmm27,%zmm28",},
 585 {{0x62, 0x02, 0x35, 0x07, 0x4f, 0xd0, }, 6, 0, "", "",
 586 "62 02 35 07 4f d0    \tvrsqrt14ss %xmm24,%xmm25,%xmm26{%k7}",},
 587 {{0x62, 0x02, 0xb5, 0x07, 0x4f, 0xd0, }, 6, 0, "", "",
 588 "62 02 b5 07 4f d0    \tvrsqrt14sd %xmm24,%xmm25,%xmm26{%k7}",},
 589 {{0xc4, 0xe2, 0x79, 0x59, 0xf4, }, 5, 0, "", "",
 590 "c4 e2 79 59 f4       \tvpbroadcastq %xmm4,%xmm6",},
 591 {{0x62, 0x02, 0x7d, 0x48, 0x59, 0xd3, }, 6, 0, "", "",
 592 "62 02 7d 48 59 d3    \tvbroadcasti32x2 %xmm27,%zmm26",},
 593 {{0xc4, 0xe2, 0x7d, 0x5a, 0x21, }, 5, 0, "", "",
 594 "c4 e2 7d 5a 21       \tvbroadcasti128 (%rcx),%ymm4",},
 595 {{0x62, 0x62, 0x7d, 0x48, 0x5a, 0x11, }, 6, 0, "", "",
 596 "62 62 7d 48 5a 11    \tvbroadcasti32x4 (%rcx),%zmm26",},
 597 {{0x62, 0x62, 0xfd, 0x48, 0x5a, 0x11, }, 6, 0, "", "",
 598 "62 62 fd 48 5a 11    \tvbroadcasti64x2 (%rcx),%zmm26",},
 599 {{0x62, 0x62, 0x7d, 0x48, 0x5b, 0x21, }, 6, 0, "", "",
 600 "62 62 7d 48 5b 21    \tvbroadcasti32x8 (%rcx),%zmm28",},
 601 {{0x62, 0x62, 0xfd, 0x48, 0x5b, 0x11, }, 6, 0, "", "",
 602 "62 62 fd 48 5b 11    \tvbroadcasti64x4 (%rcx),%zmm26",},
 603 {{0x62, 0x02, 0x25, 0x40, 0x64, 0xe2, }, 6, 0, "", "",
 604 "62 02 25 40 64 e2    \tvpblendmd %zmm26,%zmm27,%zmm28",},
 605 {{0x62, 0x02, 0xa5, 0x40, 0x64, 0xe2, }, 6, 0, "", "",
 606 "62 02 a5 40 64 e2    \tvpblendmq %zmm26,%zmm27,%zmm28",},
 607 {{0x62, 0x02, 0x35, 0x40, 0x65, 0xd0, }, 6, 0, "", "",
 608 "62 02 35 40 65 d0    \tvblendmps %zmm24,%zmm25,%zmm26",},
 609 {{0x62, 0x02, 0xa5, 0x40, 0x65, 0xe2, }, 6, 0, "", "",
 610 "62 02 a5 40 65 e2    \tvblendmpd %zmm26,%zmm27,%zmm28",},
 611 {{0x62, 0x02, 0x25, 0x40, 0x66, 0xe2, }, 6, 0, "", "",
 612 "62 02 25 40 66 e2    \tvpblendmb %zmm26,%zmm27,%zmm28",},
 613 {{0x62, 0x02, 0xa5, 0x40, 0x66, 0xe2, }, 6, 0, "", "",
 614 "62 02 a5 40 66 e2    \tvpblendmw %zmm26,%zmm27,%zmm28",},
 615 {{0x62, 0x02, 0x35, 0x40, 0x75, 0xd0, }, 6, 0, "", "",
 616 "62 02 35 40 75 d0    \tvpermi2b %zmm24,%zmm25,%zmm26",},
 617 {{0x62, 0x02, 0xa5, 0x40, 0x75, 0xe2, }, 6, 0, "", "",
 618 "62 02 a5 40 75 e2    \tvpermi2w %zmm26,%zmm27,%zmm28",},
 619 {{0x62, 0x02, 0x25, 0x40, 0x76, 0xe2, }, 6, 0, "", "",
 620 "62 02 25 40 76 e2    \tvpermi2d %zmm26,%zmm27,%zmm28",},
 621 {{0x62, 0x02, 0xa5, 0x40, 0x76, 0xe2, }, 6, 0, "", "",
 622 "62 02 a5 40 76 e2    \tvpermi2q %zmm26,%zmm27,%zmm28",},
 623 {{0x62, 0x02, 0x25, 0x40, 0x77, 0xe2, }, 6, 0, "", "",
 624 "62 02 25 40 77 e2    \tvpermi2ps %zmm26,%zmm27,%zmm28",},
 625 {{0x62, 0x02, 0xa5, 0x40, 0x77, 0xe2, }, 6, 0, "", "",
 626 "62 02 a5 40 77 e2    \tvpermi2pd %zmm26,%zmm27,%zmm28",},
 627 {{0x62, 0x62, 0x7d, 0x08, 0x7a, 0xf0, }, 6, 0, "", "",
 628 "62 62 7d 08 7a f0    \tvpbroadcastb %eax,%xmm30",},
 629 {{0x62, 0x62, 0x7d, 0x08, 0x7b, 0xf0, }, 6, 0, "", "",
 630 "62 62 7d 08 7b f0    \tvpbroadcastw %eax,%xmm30",},
 631 {{0x62, 0x62, 0x7d, 0x08, 0x7c, 0xf0, }, 6, 0, "", "",
 632 "62 62 7d 08 7c f0    \tvpbroadcastd %eax,%xmm30",},
 633 {{0x62, 0x62, 0xfd, 0x48, 0x7c, 0xf0, }, 6, 0, "", "",
 634 "62 62 fd 48 7c f0    \tvpbroadcastq %rax,%zmm30",},
 635 {{0x62, 0x02, 0x25, 0x40, 0x7d, 0xe2, }, 6, 0, "", "",
 636 "62 02 25 40 7d e2    \tvpermt2b %zmm26,%zmm27,%zmm28",},
 637 {{0x62, 0x02, 0xa5, 0x40, 0x7d, 0xe2, }, 6, 0, "", "",
 638 "62 02 a5 40 7d e2    \tvpermt2w %zmm26,%zmm27,%zmm28",},
 639 {{0x62, 0x02, 0x25, 0x40, 0x7e, 0xe2, }, 6, 0, "", "",
 640 "62 02 25 40 7e e2    \tvpermt2d %zmm26,%zmm27,%zmm28",},
 641 {{0x62, 0x02, 0xa5, 0x40, 0x7e, 0xe2, }, 6, 0, "", "",
 642 "62 02 a5 40 7e e2    \tvpermt2q %zmm26,%zmm27,%zmm28",},
 643 {{0x62, 0x02, 0x25, 0x40, 0x7f, 0xe2, }, 6, 0, "", "",
 644 "62 02 25 40 7f e2    \tvpermt2ps %zmm26,%zmm27,%zmm28",},
 645 {{0x62, 0x02, 0xa5, 0x40, 0x7f, 0xe2, }, 6, 0, "", "",
 646 "62 02 a5 40 7f e2    \tvpermt2pd %zmm26,%zmm27,%zmm28",},
 647 {{0x62, 0x02, 0xa5, 0x40, 0x83, 0xe2, }, 6, 0, "", "",
 648 "62 02 a5 40 83 e2    \tvpmultishiftqb %zmm26,%zmm27,%zmm28",},
 649 {{0x62, 0x62, 0x7d, 0x48, 0x88, 0x11, }, 6, 0, "", "",
 650 "62 62 7d 48 88 11    \tvexpandps (%rcx),%zmm26",},
 651 {{0x62, 0x62, 0xfd, 0x48, 0x88, 0x21, }, 6, 0, "", "",
 652 "62 62 fd 48 88 21    \tvexpandpd (%rcx),%zmm28",},
 653 {{0x62, 0x62, 0x7d, 0x48, 0x89, 0x21, }, 6, 0, "", "",
 654 "62 62 7d 48 89 21    \tvpexpandd (%rcx),%zmm28",},
 655 {{0x62, 0x62, 0xfd, 0x48, 0x89, 0x11, }, 6, 0, "", "",
 656 "62 62 fd 48 89 11    \tvpexpandq (%rcx),%zmm26",},
 657 {{0x62, 0x62, 0x7d, 0x48, 0x8a, 0x21, }, 6, 0, "", "",
 658 "62 62 7d 48 8a 21    \tvcompressps %zmm28,(%rcx)",},
 659 {{0x62, 0x62, 0xfd, 0x48, 0x8a, 0x21, }, 6, 0, "", "",
 660 "62 62 fd 48 8a 21    \tvcompresspd %zmm28,(%rcx)",},
 661 {{0x62, 0x62, 0x7d, 0x48, 0x8b, 0x21, }, 6, 0, "", "",
 662 "62 62 7d 48 8b 21    \tvpcompressd %zmm28,(%rcx)",},
 663 {{0x62, 0x62, 0xfd, 0x48, 0x8b, 0x11, }, 6, 0, "", "",
 664 "62 62 fd 48 8b 11    \tvpcompressq %zmm26,(%rcx)",},
 665 {{0x62, 0x02, 0x25, 0x40, 0x8d, 0xe2, }, 6, 0, "", "",
 666 "62 02 25 40 8d e2    \tvpermb %zmm26,%zmm27,%zmm28",},
 667 {{0x62, 0x02, 0xa5, 0x40, 0x8d, 0xe2, }, 6, 0, "", "",
 668 "62 02 a5 40 8d e2    \tvpermw %zmm26,%zmm27,%zmm28",},
 669 {{0xc4, 0xe2, 0x69, 0x90, 0x4c, 0x7d, 0x02, }, 7, 0, "", "",
 670 "c4 e2 69 90 4c 7d 02 \tvpgatherdd %xmm2,0x2(%rbp,%xmm7,2),%xmm1",},
 671 {{0xc4, 0xe2, 0xe9, 0x90, 0x4c, 0x7d, 0x04, }, 7, 0, "", "",
 672 "c4 e2 e9 90 4c 7d 04 \tvpgatherdq %xmm2,0x4(%rbp,%xmm7,2),%xmm1",},
 673 {{0x62, 0x22, 0x7d, 0x41, 0x90, 0x94, 0xdd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 674 "62 22 7d 41 90 94 dd 7b 00 00 00 \tvpgatherdd 0x7b(%rbp,%zmm27,8),%zmm26{%k1}",},
 675 {{0x62, 0x22, 0xfd, 0x41, 0x90, 0x94, 0xdd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 676 "62 22 fd 41 90 94 dd 7b 00 00 00 \tvpgatherdq 0x7b(%rbp,%ymm27,8),%zmm26{%k1}",},
 677 {{0xc4, 0xe2, 0x69, 0x91, 0x4c, 0x7d, 0x02, }, 7, 0, "", "",
 678 "c4 e2 69 91 4c 7d 02 \tvpgatherqd %xmm2,0x2(%rbp,%xmm7,2),%xmm1",},
 679 {{0xc4, 0xe2, 0xe9, 0x91, 0x4c, 0x7d, 0x02, }, 7, 0, "", "",
 680 "c4 e2 e9 91 4c 7d 02 \tvpgatherqq %xmm2,0x2(%rbp,%xmm7,2),%xmm1",},
 681 {{0x62, 0x22, 0x7d, 0x41, 0x91, 0x94, 0xdd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 682 "62 22 7d 41 91 94 dd 7b 00 00 00 \tvpgatherqd 0x7b(%rbp,%zmm27,8),%ymm26{%k1}",},
 683 {{0x62, 0x22, 0xfd, 0x41, 0x91, 0x94, 0xdd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 684 "62 22 fd 41 91 94 dd 7b 00 00 00 \tvpgatherqq 0x7b(%rbp,%zmm27,8),%zmm26{%k1}",},
 685 {{0x62, 0x22, 0x7d, 0x41, 0xa0, 0xa4, 0xed, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 686 "62 22 7d 41 a0 a4 ed 7b 00 00 00 \tvpscatterdd %zmm28,0x7b(%rbp,%zmm29,8){%k1}",},
 687 {{0x62, 0x22, 0xfd, 0x41, 0xa0, 0x94, 0xdd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 688 "62 22 fd 41 a0 94 dd 7b 00 00 00 \tvpscatterdq %zmm26,0x7b(%rbp,%ymm27,8){%k1}",},
 689 {{0x62, 0xb2, 0x7d, 0x41, 0xa1, 0xb4, 0xed, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 690 "62 b2 7d 41 a1 b4 ed 7b 00 00 00 \tvpscatterqd %ymm6,0x7b(%rbp,%zmm29,8){%k1}",},
 691 {{0x62, 0xb2, 0xfd, 0x21, 0xa1, 0xb4, 0xdd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 692 "62 b2 fd 21 a1 b4 dd 7b 00 00 00 \tvpscatterqq %ymm6,0x7b(%rbp,%ymm27,8){%k1}",},
 693 {{0x62, 0x22, 0x7d, 0x41, 0xa2, 0xa4, 0xed, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 694 "62 22 7d 41 a2 a4 ed 7b 00 00 00 \tvscatterdps %zmm28,0x7b(%rbp,%zmm29,8){%k1}",},
 695 {{0x62, 0x22, 0xfd, 0x41, 0xa2, 0xa4, 0xdd, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 696 "62 22 fd 41 a2 a4 dd 7b 00 00 00 \tvscatterdpd %zmm28,0x7b(%rbp,%ymm27,8){%k1}",},
 697 {{0x62, 0xb2, 0x7d, 0x41, 0xa3, 0xb4, 0xed, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 698 "62 b2 7d 41 a3 b4 ed 7b 00 00 00 \tvscatterqps %ymm6,0x7b(%rbp,%zmm29,8){%k1}",},
 699 {{0x62, 0x22, 0xfd, 0x41, 0xa3, 0xa4, 0xed, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 700 "62 22 fd 41 a3 a4 ed 7b 00 00 00 \tvscatterqpd %zmm28,0x7b(%rbp,%zmm29,8){%k1}",},
 701 {{0x62, 0x02, 0xa5, 0x40, 0xb4, 0xe2, }, 6, 0, "", "",
 702 "62 02 a5 40 b4 e2    \tvpmadd52luq %zmm26,%zmm27,%zmm28",},
 703 {{0x62, 0x02, 0xa5, 0x40, 0xb5, 0xe2, }, 6, 0, "", "",
 704 "62 02 a5 40 b5 e2    \tvpmadd52huq %zmm26,%zmm27,%zmm28",},
 705 {{0x62, 0x02, 0x7d, 0x48, 0xc4, 0xda, }, 6, 0, "", "",
 706 "62 02 7d 48 c4 da    \tvpconflictd %zmm26,%zmm27",},
 707 {{0x62, 0x02, 0xfd, 0x48, 0xc4, 0xda, }, 6, 0, "", "",
 708 "62 02 fd 48 c4 da    \tvpconflictq %zmm26,%zmm27",},
 709 {{0x62, 0x02, 0x7d, 0x48, 0xc8, 0xf5, }, 6, 0, "", "",
 710 "62 02 7d 48 c8 f5    \tvexp2ps %zmm29,%zmm30",},
 711 {{0x62, 0x02, 0xfd, 0x48, 0xc8, 0xda, }, 6, 0, "", "",
 712 "62 02 fd 48 c8 da    \tvexp2pd %zmm26,%zmm27",},
 713 {{0x62, 0x02, 0x7d, 0x48, 0xca, 0xf5, }, 6, 0, "", "",
 714 "62 02 7d 48 ca f5    \tvrcp28ps %zmm29,%zmm30",},
 715 {{0x62, 0x02, 0xfd, 0x48, 0xca, 0xda, }, 6, 0, "", "",
 716 "62 02 fd 48 ca da    \tvrcp28pd %zmm26,%zmm27",},
 717 {{0x62, 0x02, 0x15, 0x07, 0xcb, 0xf4, }, 6, 0, "", "",
 718 "62 02 15 07 cb f4    \tvrcp28ss %xmm28,%xmm29,%xmm30{%k7}",},
 719 {{0x62, 0x02, 0xad, 0x07, 0xcb, 0xd9, }, 6, 0, "", "",
 720 "62 02 ad 07 cb d9    \tvrcp28sd %xmm25,%xmm26,%xmm27{%k7}",},
 721 {{0x62, 0x02, 0x7d, 0x48, 0xcc, 0xf5, }, 6, 0, "", "",
 722 "62 02 7d 48 cc f5    \tvrsqrt28ps %zmm29,%zmm30",},
 723 {{0x62, 0x02, 0xfd, 0x48, 0xcc, 0xda, }, 6, 0, "", "",
 724 "62 02 fd 48 cc da    \tvrsqrt28pd %zmm26,%zmm27",},
 725 {{0x62, 0x02, 0x15, 0x07, 0xcd, 0xf4, }, 6, 0, "", "",
 726 "62 02 15 07 cd f4    \tvrsqrt28ss %xmm28,%xmm29,%xmm30{%k7}",},
 727 {{0x62, 0x02, 0xad, 0x07, 0xcd, 0xd9, }, 6, 0, "", "",
 728 "62 02 ad 07 cd d9    \tvrsqrt28sd %xmm25,%xmm26,%xmm27{%k7}",},
 729 {{0x62, 0x03, 0x15, 0x40, 0x03, 0xf4, 0x12, }, 7, 0, "", "",
 730 "62 03 15 40 03 f4 12 \tvalignd $0x12,%zmm28,%zmm29,%zmm30",},
 731 {{0x62, 0x03, 0xad, 0x40, 0x03, 0xd9, 0x12, }, 7, 0, "", "",
 732 "62 03 ad 40 03 d9 12 \tvalignq $0x12,%zmm25,%zmm26,%zmm27",},
 733 {{0xc4, 0xe3, 0x7d, 0x08, 0xd6, 0x05, }, 6, 0, "", "",
 734 "c4 e3 7d 08 d6 05    \tvroundps $0x5,%ymm6,%ymm2",},
 735 {{0x62, 0x03, 0x7d, 0x48, 0x08, 0xd1, 0x12, }, 7, 0, "", "",
 736 "62 03 7d 48 08 d1 12 \tvrndscaleps $0x12,%zmm25,%zmm26",},
 737 {{0xc4, 0xe3, 0x7d, 0x09, 0xd6, 0x05, }, 6, 0, "", "",
 738 "c4 e3 7d 09 d6 05    \tvroundpd $0x5,%ymm6,%ymm2",},
 739 {{0x62, 0x03, 0xfd, 0x48, 0x09, 0xd1, 0x12, }, 7, 0, "", "",
 740 "62 03 fd 48 09 d1 12 \tvrndscalepd $0x12,%zmm25,%zmm26",},
 741 {{0xc4, 0xe3, 0x49, 0x0a, 0xd4, 0x05, }, 6, 0, "", "",
 742 "c4 e3 49 0a d4 05    \tvroundss $0x5,%xmm4,%xmm6,%xmm2",},
 743 {{0x62, 0x03, 0x35, 0x07, 0x0a, 0xd0, 0x12, }, 7, 0, "", "",
 744 "62 03 35 07 0a d0 12 \tvrndscaless $0x12,%xmm24,%xmm25,%xmm26{%k7}",},
 745 {{0xc4, 0xe3, 0x49, 0x0b, 0xd4, 0x05, }, 6, 0, "", "",
 746 "c4 e3 49 0b d4 05    \tvroundsd $0x5,%xmm4,%xmm6,%xmm2",},
 747 {{0x62, 0x03, 0xb5, 0x07, 0x0b, 0xd0, 0x12, }, 7, 0, "", "",
 748 "62 03 b5 07 0b d0 12 \tvrndscalesd $0x12,%xmm24,%xmm25,%xmm26{%k7}",},
 749 {{0xc4, 0xe3, 0x5d, 0x18, 0xf4, 0x05, }, 6, 0, "", "",
 750 "c4 e3 5d 18 f4 05    \tvinsertf128 $0x5,%xmm4,%ymm4,%ymm6",},
 751 {{0x62, 0x03, 0x35, 0x47, 0x18, 0xd0, 0x12, }, 7, 0, "", "",
 752 "62 03 35 47 18 d0 12 \tvinsertf32x4 $0x12,%xmm24,%zmm25,%zmm26{%k7}",},
 753 {{0x62, 0x03, 0xb5, 0x47, 0x18, 0xd0, 0x12, }, 7, 0, "", "",
 754 "62 03 b5 47 18 d0 12 \tvinsertf64x2 $0x12,%xmm24,%zmm25,%zmm26{%k7}",},
 755 {{0xc4, 0xe3, 0x7d, 0x19, 0xe4, 0x05, }, 6, 0, "", "",
 756 "c4 e3 7d 19 e4 05    \tvextractf128 $0x5,%ymm4,%xmm4",},
 757 {{0x62, 0x03, 0x7d, 0x4f, 0x19, 0xca, 0x12, }, 7, 0, "", "",
 758 "62 03 7d 4f 19 ca 12 \tvextractf32x4 $0x12,%zmm25,%xmm26{%k7}",},
 759 {{0x62, 0x03, 0xfd, 0x4f, 0x19, 0xca, 0x12, }, 7, 0, "", "",
 760 "62 03 fd 4f 19 ca 12 \tvextractf64x2 $0x12,%zmm25,%xmm26{%k7}",},
 761 {{0x62, 0x03, 0x2d, 0x47, 0x1a, 0xd9, 0x12, }, 7, 0, "", "",
 762 "62 03 2d 47 1a d9 12 \tvinsertf32x8 $0x12,%ymm25,%zmm26,%zmm27{%k7}",},
 763 {{0x62, 0x03, 0x95, 0x47, 0x1a, 0xf4, 0x12, }, 7, 0, "", "",
 764 "62 03 95 47 1a f4 12 \tvinsertf64x4 $0x12,%ymm28,%zmm29,%zmm30{%k7}",},
 765 {{0x62, 0x03, 0x7d, 0x4f, 0x1b, 0xee, 0x12, }, 7, 0, "", "",
 766 "62 03 7d 4f 1b ee 12 \tvextractf32x8 $0x12,%zmm29,%ymm30{%k7}",},
 767 {{0x62, 0x03, 0xfd, 0x4f, 0x1b, 0xd3, 0x12, }, 7, 0, "", "",
 768 "62 03 fd 4f 1b d3 12 \tvextractf64x4 $0x12,%zmm26,%ymm27{%k7}",},
 769 {{0x62, 0x93, 0x0d, 0x40, 0x1e, 0xed, 0x12, }, 7, 0, "", "",
 770 "62 93 0d 40 1e ed 12 \tvpcmpud $0x12,%zmm29,%zmm30,%k5",},
 771 {{0x62, 0x93, 0xa5, 0x40, 0x1e, 0xea, 0x12, }, 7, 0, "", "",
 772 "62 93 a5 40 1e ea 12 \tvpcmpuq $0x12,%zmm26,%zmm27,%k5",},
 773 {{0x62, 0x93, 0x0d, 0x40, 0x1f, 0xed, 0x12, }, 7, 0, "", "",
 774 "62 93 0d 40 1f ed 12 \tvpcmpd $0x12,%zmm29,%zmm30,%k5",},
 775 {{0x62, 0x93, 0xa5, 0x40, 0x1f, 0xea, 0x12, }, 7, 0, "", "",
 776 "62 93 a5 40 1f ea 12 \tvpcmpq $0x12,%zmm26,%zmm27,%k5",},
 777 {{0x62, 0x03, 0x15, 0x40, 0x23, 0xf4, 0x12, }, 7, 0, "", "",
 778 "62 03 15 40 23 f4 12 \tvshuff32x4 $0x12,%zmm28,%zmm29,%zmm30",},
 779 {{0x62, 0x03, 0xad, 0x40, 0x23, 0xd9, 0x12, }, 7, 0, "", "",
 780 "62 03 ad 40 23 d9 12 \tvshuff64x2 $0x12,%zmm25,%zmm26,%zmm27",},
 781 {{0x62, 0x03, 0x15, 0x40, 0x25, 0xf4, 0x12, }, 7, 0, "", "",
 782 "62 03 15 40 25 f4 12 \tvpternlogd $0x12,%zmm28,%zmm29,%zmm30",},
 783 {{0x62, 0x03, 0x95, 0x40, 0x25, 0xf4, 0x12, }, 7, 0, "", "",
 784 "62 03 95 40 25 f4 12 \tvpternlogq $0x12,%zmm28,%zmm29,%zmm30",},
 785 {{0x62, 0x03, 0x7d, 0x48, 0x26, 0xda, 0x12, }, 7, 0, "", "",
 786 "62 03 7d 48 26 da 12 \tvgetmantps $0x12,%zmm26,%zmm27",},
 787 {{0x62, 0x03, 0xfd, 0x48, 0x26, 0xf5, 0x12, }, 7, 0, "", "",
 788 "62 03 fd 48 26 f5 12 \tvgetmantpd $0x12,%zmm29,%zmm30",},
 789 {{0x62, 0x03, 0x2d, 0x07, 0x27, 0xd9, 0x12, }, 7, 0, "", "",
 790 "62 03 2d 07 27 d9 12 \tvgetmantss $0x12,%xmm25,%xmm26,%xmm27{%k7}",},
 791 {{0x62, 0x03, 0x95, 0x07, 0x27, 0xf4, 0x12, }, 7, 0, "", "",
 792 "62 03 95 07 27 f4 12 \tvgetmantsd $0x12,%xmm28,%xmm29,%xmm30{%k7}",},
 793 {{0xc4, 0xe3, 0x5d, 0x38, 0xf4, 0x05, }, 6, 0, "", "",
 794 "c4 e3 5d 38 f4 05    \tvinserti128 $0x5,%xmm4,%ymm4,%ymm6",},
 795 {{0x62, 0x03, 0x35, 0x47, 0x38, 0xd0, 0x12, }, 7, 0, "", "",
 796 "62 03 35 47 38 d0 12 \tvinserti32x4 $0x12,%xmm24,%zmm25,%zmm26{%k7}",},
 797 {{0x62, 0x03, 0xb5, 0x47, 0x38, 0xd0, 0x12, }, 7, 0, "", "",
 798 "62 03 b5 47 38 d0 12 \tvinserti64x2 $0x12,%xmm24,%zmm25,%zmm26{%k7}",},
 799 {{0xc4, 0xe3, 0x7d, 0x39, 0xe6, 0x05, }, 6, 0, "", "",
 800 "c4 e3 7d 39 e6 05    \tvextracti128 $0x5,%ymm4,%xmm6",},
 801 {{0x62, 0x03, 0x7d, 0x4f, 0x39, 0xca, 0x12, }, 7, 0, "", "",
 802 "62 03 7d 4f 39 ca 12 \tvextracti32x4 $0x12,%zmm25,%xmm26{%k7}",},
 803 {{0x62, 0x03, 0xfd, 0x4f, 0x39, 0xca, 0x12, }, 7, 0, "", "",
 804 "62 03 fd 4f 39 ca 12 \tvextracti64x2 $0x12,%zmm25,%xmm26{%k7}",},
 805 {{0x62, 0x03, 0x15, 0x47, 0x3a, 0xf4, 0x12, }, 7, 0, "", "",
 806 "62 03 15 47 3a f4 12 \tvinserti32x8 $0x12,%ymm28,%zmm29,%zmm30{%k7}",},
 807 {{0x62, 0x03, 0xad, 0x47, 0x3a, 0xd9, 0x12, }, 7, 0, "", "",
 808 "62 03 ad 47 3a d9 12 \tvinserti64x4 $0x12,%ymm25,%zmm26,%zmm27{%k7}",},
 809 {{0x62, 0x03, 0x7d, 0x4f, 0x3b, 0xee, 0x12, }, 7, 0, "", "",
 810 "62 03 7d 4f 3b ee 12 \tvextracti32x8 $0x12,%zmm29,%ymm30{%k7}",},
 811 {{0x62, 0x03, 0xfd, 0x4f, 0x3b, 0xd3, 0x12, }, 7, 0, "", "",
 812 "62 03 fd 4f 3b d3 12 \tvextracti64x4 $0x12,%zmm26,%ymm27{%k7}",},
 813 {{0x62, 0x93, 0x0d, 0x40, 0x3e, 0xed, 0x12, }, 7, 0, "", "",
 814 "62 93 0d 40 3e ed 12 \tvpcmpub $0x12,%zmm29,%zmm30,%k5",},
 815 {{0x62, 0x93, 0xa5, 0x40, 0x3e, 0xea, 0x12, }, 7, 0, "", "",
 816 "62 93 a5 40 3e ea 12 \tvpcmpuw $0x12,%zmm26,%zmm27,%k5",},
 817 {{0x62, 0x93, 0x0d, 0x40, 0x3f, 0xed, 0x12, }, 7, 0, "", "",
 818 "62 93 0d 40 3f ed 12 \tvpcmpb $0x12,%zmm29,%zmm30,%k5",},
 819 {{0x62, 0x93, 0xa5, 0x40, 0x3f, 0xea, 0x12, }, 7, 0, "", "",
 820 "62 93 a5 40 3f ea 12 \tvpcmpw $0x12,%zmm26,%zmm27,%k5",},
 821 {{0xc4, 0xe3, 0x4d, 0x42, 0xd4, 0x05, }, 6, 0, "", "",
 822 "c4 e3 4d 42 d4 05    \tvmpsadbw $0x5,%ymm4,%ymm6,%ymm2",},
 823 {{0x62, 0xf3, 0x55, 0x48, 0x42, 0xf4, 0x12, }, 7, 0, "", "",
 824 "62 f3 55 48 42 f4 12 \tvdbpsadbw $0x12,%zmm4,%zmm5,%zmm6",},
 825 {{0x62, 0x03, 0x2d, 0x40, 0x43, 0xd9, 0x12, }, 7, 0, "", "",
 826 "62 03 2d 40 43 d9 12 \tvshufi32x4 $0x12,%zmm25,%zmm26,%zmm27",},
 827 {{0x62, 0x03, 0x95, 0x40, 0x43, 0xf4, 0x12, }, 7, 0, "", "",
 828 "62 03 95 40 43 f4 12 \tvshufi64x2 $0x12,%zmm28,%zmm29,%zmm30",},
 829 {{0x62, 0x03, 0x2d, 0x40, 0x50, 0xd9, 0x12, }, 7, 0, "", "",
 830 "62 03 2d 40 50 d9 12 \tvrangeps $0x12,%zmm25,%zmm26,%zmm27",},
 831 {{0x62, 0x03, 0x95, 0x40, 0x50, 0xf4, 0x12, }, 7, 0, "", "",
 832 "62 03 95 40 50 f4 12 \tvrangepd $0x12,%zmm28,%zmm29,%zmm30",},
 833 {{0x62, 0x03, 0x2d, 0x00, 0x51, 0xd9, 0x12, }, 7, 0, "", "",
 834 "62 03 2d 00 51 d9 12 \tvrangess $0x12,%xmm25,%xmm26,%xmm27",},
 835 {{0x62, 0x03, 0x95, 0x00, 0x51, 0xf4, 0x12, }, 7, 0, "", "",
 836 "62 03 95 00 51 f4 12 \tvrangesd $0x12,%xmm28,%xmm29,%xmm30",},
 837 {{0x62, 0x03, 0x15, 0x40, 0x54, 0xf4, 0x12, }, 7, 0, "", "",
 838 "62 03 15 40 54 f4 12 \tvfixupimmps $0x12,%zmm28,%zmm29,%zmm30",},
 839 {{0x62, 0x03, 0xad, 0x40, 0x54, 0xd9, 0x12, }, 7, 0, "", "",
 840 "62 03 ad 40 54 d9 12 \tvfixupimmpd $0x12,%zmm25,%zmm26,%zmm27",},
 841 {{0x62, 0x03, 0x15, 0x07, 0x55, 0xf4, 0x12, }, 7, 0, "", "",
 842 "62 03 15 07 55 f4 12 \tvfixupimmss $0x12,%xmm28,%xmm29,%xmm30{%k7}",},
 843 {{0x62, 0x03, 0xad, 0x07, 0x55, 0xd9, 0x12, }, 7, 0, "", "",
 844 "62 03 ad 07 55 d9 12 \tvfixupimmsd $0x12,%xmm25,%xmm26,%xmm27{%k7}",},
 845 {{0x62, 0x03, 0x7d, 0x48, 0x56, 0xda, 0x12, }, 7, 0, "", "",
 846 "62 03 7d 48 56 da 12 \tvreduceps $0x12,%zmm26,%zmm27",},
 847 {{0x62, 0x03, 0xfd, 0x48, 0x56, 0xf5, 0x12, }, 7, 0, "", "",
 848 "62 03 fd 48 56 f5 12 \tvreducepd $0x12,%zmm29,%zmm30",},
 849 {{0x62, 0x03, 0x2d, 0x00, 0x57, 0xd9, 0x12, }, 7, 0, "", "",
 850 "62 03 2d 00 57 d9 12 \tvreducess $0x12,%xmm25,%xmm26,%xmm27",},
 851 {{0x62, 0x03, 0x95, 0x00, 0x57, 0xf4, 0x12, }, 7, 0, "", "",
 852 "62 03 95 00 57 f4 12 \tvreducesd $0x12,%xmm28,%xmm29,%xmm30",},
 853 {{0x62, 0x93, 0x7d, 0x48, 0x66, 0xeb, 0x12, }, 7, 0, "", "",
 854 "62 93 7d 48 66 eb 12 \tvfpclassps $0x12,%zmm27,%k5",},
 855 {{0x62, 0x93, 0xfd, 0x48, 0x66, 0xee, 0x12, }, 7, 0, "", "",
 856 "62 93 fd 48 66 ee 12 \tvfpclasspd $0x12,%zmm30,%k5",},
 857 {{0x62, 0x93, 0x7d, 0x08, 0x67, 0xeb, 0x12, }, 7, 0, "", "",
 858 "62 93 7d 08 67 eb 12 \tvfpclassss $0x12,%xmm27,%k5",},
 859 {{0x62, 0x93, 0xfd, 0x08, 0x67, 0xee, 0x12, }, 7, 0, "", "",
 860 "62 93 fd 08 67 ee 12 \tvfpclasssd $0x12,%xmm30,%k5",},
 861 {{0x62, 0x91, 0x2d, 0x40, 0x72, 0xc1, 0x12, }, 7, 0, "", "",
 862 "62 91 2d 40 72 c1 12 \tvprord $0x12,%zmm25,%zmm26",},
 863 {{0x62, 0x91, 0xad, 0x40, 0x72, 0xc1, 0x12, }, 7, 0, "", "",
 864 "62 91 ad 40 72 c1 12 \tvprorq $0x12,%zmm25,%zmm26",},
 865 {{0x62, 0x91, 0x0d, 0x40, 0x72, 0xcd, 0x12, }, 7, 0, "", "",
 866 "62 91 0d 40 72 cd 12 \tvprold $0x12,%zmm29,%zmm30",},
 867 {{0x62, 0x91, 0x8d, 0x40, 0x72, 0xcd, 0x12, }, 7, 0, "", "",
 868 "62 91 8d 40 72 cd 12 \tvprolq $0x12,%zmm29,%zmm30",},
 869 {{0x0f, 0x72, 0xe6, 0x02, }, 4, 0, "", "",
 870 "0f 72 e6 02          \tpsrad  $0x2,%mm6",},
 871 {{0xc5, 0xed, 0x72, 0xe6, 0x05, }, 5, 0, "", "",
 872 "c5 ed 72 e6 05       \tvpsrad $0x5,%ymm6,%ymm2",},
 873 {{0x62, 0x91, 0x4d, 0x40, 0x72, 0xe2, 0x05, }, 7, 0, "", "",
 874 "62 91 4d 40 72 e2 05 \tvpsrad $0x5,%zmm26,%zmm22",},
 875 {{0x62, 0x91, 0xcd, 0x40, 0x72, 0xe2, 0x05, }, 7, 0, "", "",
 876 "62 91 cd 40 72 e2 05 \tvpsraq $0x5,%zmm26,%zmm22",},
 877 {{0x62, 0x92, 0x7d, 0x41, 0xc6, 0x8c, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 878 "62 92 7d 41 c6 8c fe 7b 00 00 00 \tvgatherpf0dps 0x7b(%r14,%zmm31,8){%k1}",},
 879 {{0x62, 0x92, 0xfd, 0x41, 0xc6, 0x8c, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 880 "62 92 fd 41 c6 8c fe 7b 00 00 00 \tvgatherpf0dpd 0x7b(%r14,%ymm31,8){%k1}",},
 881 {{0x62, 0x92, 0x7d, 0x41, 0xc6, 0x94, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 882 "62 92 7d 41 c6 94 fe 7b 00 00 00 \tvgatherpf1dps 0x7b(%r14,%zmm31,8){%k1}",},
 883 {{0x62, 0x92, 0xfd, 0x41, 0xc6, 0x94, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 884 "62 92 fd 41 c6 94 fe 7b 00 00 00 \tvgatherpf1dpd 0x7b(%r14,%ymm31,8){%k1}",},
 885 {{0x62, 0x92, 0x7d, 0x41, 0xc6, 0xac, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 886 "62 92 7d 41 c6 ac fe 7b 00 00 00 \tvscatterpf0dps 0x7b(%r14,%zmm31,8){%k1}",},
 887 {{0x62, 0x92, 0xfd, 0x41, 0xc6, 0xac, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 888 "62 92 fd 41 c6 ac fe 7b 00 00 00 \tvscatterpf0dpd 0x7b(%r14,%ymm31,8){%k1}",},
 889 {{0x62, 0x92, 0x7d, 0x41, 0xc6, 0xb4, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 890 "62 92 7d 41 c6 b4 fe 7b 00 00 00 \tvscatterpf1dps 0x7b(%r14,%zmm31,8){%k1}",},
 891 {{0x62, 0x92, 0xfd, 0x41, 0xc6, 0xb4, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 892 "62 92 fd 41 c6 b4 fe 7b 00 00 00 \tvscatterpf1dpd 0x7b(%r14,%ymm31,8){%k1}",},
 893 {{0x62, 0x92, 0x7d, 0x41, 0xc7, 0x8c, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 894 "62 92 7d 41 c7 8c fe 7b 00 00 00 \tvgatherpf0qps 0x7b(%r14,%zmm31,8){%k1}",},
 895 {{0x62, 0x92, 0xfd, 0x41, 0xc7, 0x8c, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 896 "62 92 fd 41 c7 8c fe 7b 00 00 00 \tvgatherpf0qpd 0x7b(%r14,%zmm31,8){%k1}",},
 897 {{0x62, 0x92, 0x7d, 0x41, 0xc7, 0x94, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 898 "62 92 7d 41 c7 94 fe 7b 00 00 00 \tvgatherpf1qps 0x7b(%r14,%zmm31,8){%k1}",},
 899 {{0x62, 0x92, 0xfd, 0x41, 0xc7, 0x94, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 900 "62 92 fd 41 c7 94 fe 7b 00 00 00 \tvgatherpf1qpd 0x7b(%r14,%zmm31,8){%k1}",},
 901 {{0x62, 0x92, 0x7d, 0x41, 0xc7, 0xac, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 902 "62 92 7d 41 c7 ac fe 7b 00 00 00 \tvscatterpf0qps 0x7b(%r14,%zmm31,8){%k1}",},
 903 {{0x62, 0x92, 0xfd, 0x41, 0xc7, 0xac, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 904 "62 92 fd 41 c7 ac fe 7b 00 00 00 \tvscatterpf0qpd 0x7b(%r14,%zmm31,8){%k1}",},
 905 {{0x62, 0x92, 0x7d, 0x41, 0xc7, 0xb4, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 906 "62 92 7d 41 c7 b4 fe 7b 00 00 00 \tvscatterpf1qps 0x7b(%r14,%zmm31,8){%k1}",},
 907 {{0x62, 0x92, 0xfd, 0x41, 0xc7, 0xb4, 0xfe, 0x7b, 0x00, 0x00, 0x00, }, 11, 0, "", "",
 908 "62 92 fd 41 c7 b4 fe 7b 00 00 00 \tvscatterpf1qpd 0x7b(%r14,%zmm31,8){%k1}",},
 909 {{0x62, 0x01, 0x95, 0x40, 0x58, 0xf4, }, 6, 0, "", "",
 910 "62 01 95 40 58 f4    \tvaddpd %zmm28,%zmm29,%zmm30",},
 911 {{0x62, 0x01, 0x95, 0x47, 0x58, 0xf4, }, 6, 0, "", "",
 912 "62 01 95 47 58 f4    \tvaddpd %zmm28,%zmm29,%zmm30{%k7}",},
 913 {{0x62, 0x01, 0x95, 0xc7, 0x58, 0xf4, }, 6, 0, "", "",
 914 "62 01 95 c7 58 f4    \tvaddpd %zmm28,%zmm29,%zmm30{%k7}{z}",},
 915 {{0x62, 0x01, 0x95, 0x10, 0x58, 0xf4, }, 6, 0, "", "",
 916 "62 01 95 10 58 f4    \tvaddpd {rn-sae},%zmm28,%zmm29,%zmm30",},
 917 {{0x62, 0x01, 0x95, 0x50, 0x58, 0xf4, }, 6, 0, "", "",
 918 "62 01 95 50 58 f4    \tvaddpd {ru-sae},%zmm28,%zmm29,%zmm30",},
 919 {{0x62, 0x01, 0x95, 0x30, 0x58, 0xf4, }, 6, 0, "", "",
 920 "62 01 95 30 58 f4    \tvaddpd {rd-sae},%zmm28,%zmm29,%zmm30",},
 921 {{0x62, 0x01, 0x95, 0x70, 0x58, 0xf4, }, 6, 0, "", "",
 922 "62 01 95 70 58 f4    \tvaddpd {rz-sae},%zmm28,%zmm29,%zmm30",},
 923 {{0x62, 0x61, 0x95, 0x40, 0x58, 0x31, }, 6, 0, "", "",
 924 "62 61 95 40 58 31    \tvaddpd (%rcx),%zmm29,%zmm30",},
 925 {{0x62, 0x21, 0x95, 0x40, 0x58, 0xb4, 0xf0, 0x23, 0x01, 0x00, 0x00, }, 11, 0, "", "",
 926 "62 21 95 40 58 b4 f0 23 01 00 00 \tvaddpd 0x123(%rax,%r14,8),%zmm29,%zmm30",},
 927 {{0x62, 0x61, 0x95, 0x50, 0x58, 0x31, }, 6, 0, "", "",
 928 "62 61 95 50 58 31    \tvaddpd (%rcx){1to8},%zmm29,%zmm30",},
 929 {{0x62, 0x61, 0x95, 0x40, 0x58, 0x72, 0x7f, }, 7, 0, "", "",
 930 "62 61 95 40 58 72 7f \tvaddpd 0x1fc0(%rdx),%zmm29,%zmm30",},
 931 {{0x62, 0x61, 0x95, 0x50, 0x58, 0x72, 0x7f, }, 7, 0, "", "",
 932 "62 61 95 50 58 72 7f \tvaddpd 0x3f8(%rdx){1to8},%zmm29,%zmm30",},
 933 {{0x62, 0xf1, 0x0c, 0x50, 0xc2, 0x6a, 0x7f, 0x08, }, 8, 0, "", "",
 934 "62 f1 0c 50 c2 6a 7f 08 \tvcmpeq_uqps 0x1fc(%rdx){1to16},%zmm30,%k5",},
 935 {{0x62, 0xb1, 0x97, 0x07, 0xc2, 0xac, 0xf0, 0x23, 0x01, 0x00, 0x00, 0x01, }, 12, 0, "", "",
 936 "62 b1 97 07 c2 ac f0 23 01 00 00 01 \tvcmpltsd 0x123(%rax,%r14,8),%xmm29,%k5{%k7}",},
 937 {{0x62, 0x91, 0x97, 0x17, 0xc2, 0xec, 0x02, }, 7, 0, "", "",
 938 "62 91 97 17 c2 ec 02 \tvcmplesd {sae},%xmm28,%xmm29,%k5{%k7}",},
 939 {{0x62, 0x23, 0x15, 0x07, 0x27, 0xb4, 0xf0, 0x23, 0x01, 0x00, 0x00, 0x5b, }, 12, 0, "", "",
 940 "62 23 15 07 27 b4 f0 23 01 00 00 5b \tvgetmantss $0x5b,0x123(%rax,%r14,8),%xmm29,%xmm30{%k7}",},
 941 {{0xf3, 0x0f, 0x1b, 0x00, }, 4, 0, "", "",
 942 "f3 0f 1b 00          \tbndmk  (%rax),%bnd0",},
 943 {{0xf3, 0x41, 0x0f, 0x1b, 0x00, }, 5, 0, "", "",
 944 "f3 41 0f 1b 00       \tbndmk  (%r8),%bnd0",},
 945 {{0xf3, 0x0f, 0x1b, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
 946 "f3 0f 1b 04 25 78 56 34 12 \tbndmk  0x12345678,%bnd0",},
 947 {{0xf3, 0x0f, 0x1b, 0x18, }, 4, 0, "", "",
 948 "f3 0f 1b 18          \tbndmk  (%rax),%bnd3",},
 949 {{0xf3, 0x0f, 0x1b, 0x04, 0x01, }, 5, 0, "", "",
 950 "f3 0f 1b 04 01       \tbndmk  (%rcx,%rax,1),%bnd0",},
 951 {{0xf3, 0x0f, 0x1b, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
 952 "f3 0f 1b 04 05 78 56 34 12 \tbndmk  0x12345678(,%rax,1),%bnd0",},
 953 {{0xf3, 0x0f, 0x1b, 0x04, 0x08, }, 5, 0, "", "",
 954 "f3 0f 1b 04 08       \tbndmk  (%rax,%rcx,1),%bnd0",},
 955 {{0xf3, 0x0f, 0x1b, 0x04, 0xc8, }, 5, 0, "", "",
 956 "f3 0f 1b 04 c8       \tbndmk  (%rax,%rcx,8),%bnd0",},
 957 {{0xf3, 0x0f, 0x1b, 0x40, 0x12, }, 5, 0, "", "",
 958 "f3 0f 1b 40 12       \tbndmk  0x12(%rax),%bnd0",},
 959 {{0xf3, 0x0f, 0x1b, 0x45, 0x12, }, 5, 0, "", "",
 960 "f3 0f 1b 45 12       \tbndmk  0x12(%rbp),%bnd0",},
 961 {{0xf3, 0x0f, 0x1b, 0x44, 0x01, 0x12, }, 6, 0, "", "",
 962 "f3 0f 1b 44 01 12    \tbndmk  0x12(%rcx,%rax,1),%bnd0",},
 963 {{0xf3, 0x0f, 0x1b, 0x44, 0x05, 0x12, }, 6, 0, "", "",
 964 "f3 0f 1b 44 05 12    \tbndmk  0x12(%rbp,%rax,1),%bnd0",},
 965 {{0xf3, 0x0f, 0x1b, 0x44, 0x08, 0x12, }, 6, 0, "", "",
 966 "f3 0f 1b 44 08 12    \tbndmk  0x12(%rax,%rcx,1),%bnd0",},
 967 {{0xf3, 0x0f, 0x1b, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
 968 "f3 0f 1b 44 c8 12    \tbndmk  0x12(%rax,%rcx,8),%bnd0",},
 969 {{0xf3, 0x0f, 0x1b, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
 970 "f3 0f 1b 80 78 56 34 12 \tbndmk  0x12345678(%rax),%bnd0",},
 971 {{0xf3, 0x0f, 0x1b, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
 972 "f3 0f 1b 85 78 56 34 12 \tbndmk  0x12345678(%rbp),%bnd0",},
 973 {{0xf3, 0x0f, 0x1b, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
 974 "f3 0f 1b 84 01 78 56 34 12 \tbndmk  0x12345678(%rcx,%rax,1),%bnd0",},
 975 {{0xf3, 0x0f, 0x1b, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
 976 "f3 0f 1b 84 05 78 56 34 12 \tbndmk  0x12345678(%rbp,%rax,1),%bnd0",},
 977 {{0xf3, 0x0f, 0x1b, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
 978 "f3 0f 1b 84 08 78 56 34 12 \tbndmk  0x12345678(%rax,%rcx,1),%bnd0",},
 979 {{0xf3, 0x0f, 0x1b, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
 980 "f3 0f 1b 84 c8 78 56 34 12 \tbndmk  0x12345678(%rax,%rcx,8),%bnd0",},
 981 {{0xf3, 0x0f, 0x1a, 0x00, }, 4, 0, "", "",
 982 "f3 0f 1a 00          \tbndcl  (%rax),%bnd0",},
 983 {{0xf3, 0x41, 0x0f, 0x1a, 0x00, }, 5, 0, "", "",
 984 "f3 41 0f 1a 00       \tbndcl  (%r8),%bnd0",},
 985 {{0xf3, 0x0f, 0x1a, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
 986 "f3 0f 1a 04 25 78 56 34 12 \tbndcl  0x12345678,%bnd0",},
 987 {{0xf3, 0x0f, 0x1a, 0x18, }, 4, 0, "", "",
 988 "f3 0f 1a 18          \tbndcl  (%rax),%bnd3",},
 989 {{0xf3, 0x0f, 0x1a, 0x04, 0x01, }, 5, 0, "", "",
 990 "f3 0f 1a 04 01       \tbndcl  (%rcx,%rax,1),%bnd0",},
 991 {{0xf3, 0x0f, 0x1a, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
 992 "f3 0f 1a 04 05 78 56 34 12 \tbndcl  0x12345678(,%rax,1),%bnd0",},
 993 {{0xf3, 0x0f, 0x1a, 0x04, 0x08, }, 5, 0, "", "",
 994 "f3 0f 1a 04 08       \tbndcl  (%rax,%rcx,1),%bnd0",},
 995 {{0xf3, 0x0f, 0x1a, 0x04, 0xc8, }, 5, 0, "", "",
 996 "f3 0f 1a 04 c8       \tbndcl  (%rax,%rcx,8),%bnd0",},
 997 {{0xf3, 0x0f, 0x1a, 0x40, 0x12, }, 5, 0, "", "",
 998 "f3 0f 1a 40 12       \tbndcl  0x12(%rax),%bnd0",},
 999 {{0xf3, 0x0f, 0x1a, 0x45, 0x12, }, 5, 0, "", "",
1000 "f3 0f 1a 45 12       \tbndcl  0x12(%rbp),%bnd0",},
1001 {{0xf3, 0x0f, 0x1a, 0x44, 0x01, 0x12, }, 6, 0, "", "",
1002 "f3 0f 1a 44 01 12    \tbndcl  0x12(%rcx,%rax,1),%bnd0",},
1003 {{0xf3, 0x0f, 0x1a, 0x44, 0x05, 0x12, }, 6, 0, "", "",
1004 "f3 0f 1a 44 05 12    \tbndcl  0x12(%rbp,%rax,1),%bnd0",},
1005 {{0xf3, 0x0f, 0x1a, 0x44, 0x08, 0x12, }, 6, 0, "", "",
1006 "f3 0f 1a 44 08 12    \tbndcl  0x12(%rax,%rcx,1),%bnd0",},
1007 {{0xf3, 0x0f, 0x1a, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
1008 "f3 0f 1a 44 c8 12    \tbndcl  0x12(%rax,%rcx,8),%bnd0",},
1009 {{0xf3, 0x0f, 0x1a, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1010 "f3 0f 1a 80 78 56 34 12 \tbndcl  0x12345678(%rax),%bnd0",},
1011 {{0xf3, 0x0f, 0x1a, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1012 "f3 0f 1a 85 78 56 34 12 \tbndcl  0x12345678(%rbp),%bnd0",},
1013 {{0xf3, 0x0f, 0x1a, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1014 "f3 0f 1a 84 01 78 56 34 12 \tbndcl  0x12345678(%rcx,%rax,1),%bnd0",},
1015 {{0xf3, 0x0f, 0x1a, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1016 "f3 0f 1a 84 05 78 56 34 12 \tbndcl  0x12345678(%rbp,%rax,1),%bnd0",},
1017 {{0xf3, 0x0f, 0x1a, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1018 "f3 0f 1a 84 08 78 56 34 12 \tbndcl  0x12345678(%rax,%rcx,1),%bnd0",},
1019 {{0xf3, 0x0f, 0x1a, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1020 "f3 0f 1a 84 c8 78 56 34 12 \tbndcl  0x12345678(%rax,%rcx,8),%bnd0",},
1021 {{0xf3, 0x0f, 0x1a, 0xc0, }, 4, 0, "", "",
1022 "f3 0f 1a c0          \tbndcl  %rax,%bnd0",},
1023 {{0xf2, 0x0f, 0x1a, 0x00, }, 4, 0, "", "",
1024 "f2 0f 1a 00          \tbndcu  (%rax),%bnd0",},
1025 {{0xf2, 0x41, 0x0f, 0x1a, 0x00, }, 5, 0, "", "",
1026 "f2 41 0f 1a 00       \tbndcu  (%r8),%bnd0",},
1027 {{0xf2, 0x0f, 0x1a, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1028 "f2 0f 1a 04 25 78 56 34 12 \tbndcu  0x12345678,%bnd0",},
1029 {{0xf2, 0x0f, 0x1a, 0x18, }, 4, 0, "", "",
1030 "f2 0f 1a 18          \tbndcu  (%rax),%bnd3",},
1031 {{0xf2, 0x0f, 0x1a, 0x04, 0x01, }, 5, 0, "", "",
1032 "f2 0f 1a 04 01       \tbndcu  (%rcx,%rax,1),%bnd0",},
1033 {{0xf2, 0x0f, 0x1a, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1034 "f2 0f 1a 04 05 78 56 34 12 \tbndcu  0x12345678(,%rax,1),%bnd0",},
1035 {{0xf2, 0x0f, 0x1a, 0x04, 0x08, }, 5, 0, "", "",
1036 "f2 0f 1a 04 08       \tbndcu  (%rax,%rcx,1),%bnd0",},
1037 {{0xf2, 0x0f, 0x1a, 0x04, 0xc8, }, 5, 0, "", "",
1038 "f2 0f 1a 04 c8       \tbndcu  (%rax,%rcx,8),%bnd0",},
1039 {{0xf2, 0x0f, 0x1a, 0x40, 0x12, }, 5, 0, "", "",
1040 "f2 0f 1a 40 12       \tbndcu  0x12(%rax),%bnd0",},
1041 {{0xf2, 0x0f, 0x1a, 0x45, 0x12, }, 5, 0, "", "",
1042 "f2 0f 1a 45 12       \tbndcu  0x12(%rbp),%bnd0",},
1043 {{0xf2, 0x0f, 0x1a, 0x44, 0x01, 0x12, }, 6, 0, "", "",
1044 "f2 0f 1a 44 01 12    \tbndcu  0x12(%rcx,%rax,1),%bnd0",},
1045 {{0xf2, 0x0f, 0x1a, 0x44, 0x05, 0x12, }, 6, 0, "", "",
1046 "f2 0f 1a 44 05 12    \tbndcu  0x12(%rbp,%rax,1),%bnd0",},
1047 {{0xf2, 0x0f, 0x1a, 0x44, 0x08, 0x12, }, 6, 0, "", "",
1048 "f2 0f 1a 44 08 12    \tbndcu  0x12(%rax,%rcx,1),%bnd0",},
1049 {{0xf2, 0x0f, 0x1a, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
1050 "f2 0f 1a 44 c8 12    \tbndcu  0x12(%rax,%rcx,8),%bnd0",},
1051 {{0xf2, 0x0f, 0x1a, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1052 "f2 0f 1a 80 78 56 34 12 \tbndcu  0x12345678(%rax),%bnd0",},
1053 {{0xf2, 0x0f, 0x1a, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1054 "f2 0f 1a 85 78 56 34 12 \tbndcu  0x12345678(%rbp),%bnd0",},
1055 {{0xf2, 0x0f, 0x1a, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1056 "f2 0f 1a 84 01 78 56 34 12 \tbndcu  0x12345678(%rcx,%rax,1),%bnd0",},
1057 {{0xf2, 0x0f, 0x1a, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1058 "f2 0f 1a 84 05 78 56 34 12 \tbndcu  0x12345678(%rbp,%rax,1),%bnd0",},
1059 {{0xf2, 0x0f, 0x1a, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1060 "f2 0f 1a 84 08 78 56 34 12 \tbndcu  0x12345678(%rax,%rcx,1),%bnd0",},
1061 {{0xf2, 0x0f, 0x1a, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1062 "f2 0f 1a 84 c8 78 56 34 12 \tbndcu  0x12345678(%rax,%rcx,8),%bnd0",},
1063 {{0xf2, 0x0f, 0x1a, 0xc0, }, 4, 0, "", "",
1064 "f2 0f 1a c0          \tbndcu  %rax,%bnd0",},
1065 {{0xf2, 0x0f, 0x1b, 0x00, }, 4, 0, "", "",
1066 "f2 0f 1b 00          \tbndcn  (%rax),%bnd0",},
1067 {{0xf2, 0x41, 0x0f, 0x1b, 0x00, }, 5, 0, "", "",
1068 "f2 41 0f 1b 00       \tbndcn  (%r8),%bnd0",},
1069 {{0xf2, 0x0f, 0x1b, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1070 "f2 0f 1b 04 25 78 56 34 12 \tbndcn  0x12345678,%bnd0",},
1071 {{0xf2, 0x0f, 0x1b, 0x18, }, 4, 0, "", "",
1072 "f2 0f 1b 18          \tbndcn  (%rax),%bnd3",},
1073 {{0xf2, 0x0f, 0x1b, 0x04, 0x01, }, 5, 0, "", "",
1074 "f2 0f 1b 04 01       \tbndcn  (%rcx,%rax,1),%bnd0",},
1075 {{0xf2, 0x0f, 0x1b, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1076 "f2 0f 1b 04 05 78 56 34 12 \tbndcn  0x12345678(,%rax,1),%bnd0",},
1077 {{0xf2, 0x0f, 0x1b, 0x04, 0x08, }, 5, 0, "", "",
1078 "f2 0f 1b 04 08       \tbndcn  (%rax,%rcx,1),%bnd0",},
1079 {{0xf2, 0x0f, 0x1b, 0x04, 0xc8, }, 5, 0, "", "",
1080 "f2 0f 1b 04 c8       \tbndcn  (%rax,%rcx,8),%bnd0",},
1081 {{0xf2, 0x0f, 0x1b, 0x40, 0x12, }, 5, 0, "", "",
1082 "f2 0f 1b 40 12       \tbndcn  0x12(%rax),%bnd0",},
1083 {{0xf2, 0x0f, 0x1b, 0x45, 0x12, }, 5, 0, "", "",
1084 "f2 0f 1b 45 12       \tbndcn  0x12(%rbp),%bnd0",},
1085 {{0xf2, 0x0f, 0x1b, 0x44, 0x01, 0x12, }, 6, 0, "", "",
1086 "f2 0f 1b 44 01 12    \tbndcn  0x12(%rcx,%rax,1),%bnd0",},
1087 {{0xf2, 0x0f, 0x1b, 0x44, 0x05, 0x12, }, 6, 0, "", "",
1088 "f2 0f 1b 44 05 12    \tbndcn  0x12(%rbp,%rax,1),%bnd0",},
1089 {{0xf2, 0x0f, 0x1b, 0x44, 0x08, 0x12, }, 6, 0, "", "",
1090 "f2 0f 1b 44 08 12    \tbndcn  0x12(%rax,%rcx,1),%bnd0",},
1091 {{0xf2, 0x0f, 0x1b, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
1092 "f2 0f 1b 44 c8 12    \tbndcn  0x12(%rax,%rcx,8),%bnd0",},
1093 {{0xf2, 0x0f, 0x1b, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1094 "f2 0f 1b 80 78 56 34 12 \tbndcn  0x12345678(%rax),%bnd0",},
1095 {{0xf2, 0x0f, 0x1b, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1096 "f2 0f 1b 85 78 56 34 12 \tbndcn  0x12345678(%rbp),%bnd0",},
1097 {{0xf2, 0x0f, 0x1b, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1098 "f2 0f 1b 84 01 78 56 34 12 \tbndcn  0x12345678(%rcx,%rax,1),%bnd0",},
1099 {{0xf2, 0x0f, 0x1b, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1100 "f2 0f 1b 84 05 78 56 34 12 \tbndcn  0x12345678(%rbp,%rax,1),%bnd0",},
1101 {{0xf2, 0x0f, 0x1b, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1102 "f2 0f 1b 84 08 78 56 34 12 \tbndcn  0x12345678(%rax,%rcx,1),%bnd0",},
1103 {{0xf2, 0x0f, 0x1b, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1104 "f2 0f 1b 84 c8 78 56 34 12 \tbndcn  0x12345678(%rax,%rcx,8),%bnd0",},
1105 {{0xf2, 0x0f, 0x1b, 0xc0, }, 4, 0, "", "",
1106 "f2 0f 1b c0          \tbndcn  %rax,%bnd0",},
1107 {{0x66, 0x0f, 0x1a, 0x00, }, 4, 0, "", "",
1108 "66 0f 1a 00          \tbndmov (%rax),%bnd0",},
1109 {{0x66, 0x41, 0x0f, 0x1a, 0x00, }, 5, 0, "", "",
1110 "66 41 0f 1a 00       \tbndmov (%r8),%bnd0",},
1111 {{0x66, 0x0f, 0x1a, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1112 "66 0f 1a 04 25 78 56 34 12 \tbndmov 0x12345678,%bnd0",},
1113 {{0x66, 0x0f, 0x1a, 0x18, }, 4, 0, "", "",
1114 "66 0f 1a 18          \tbndmov (%rax),%bnd3",},
1115 {{0x66, 0x0f, 0x1a, 0x04, 0x01, }, 5, 0, "", "",
1116 "66 0f 1a 04 01       \tbndmov (%rcx,%rax,1),%bnd0",},
1117 {{0x66, 0x0f, 0x1a, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1118 "66 0f 1a 04 05 78 56 34 12 \tbndmov 0x12345678(,%rax,1),%bnd0",},
1119 {{0x66, 0x0f, 0x1a, 0x04, 0x08, }, 5, 0, "", "",
1120 "66 0f 1a 04 08       \tbndmov (%rax,%rcx,1),%bnd0",},
1121 {{0x66, 0x0f, 0x1a, 0x04, 0xc8, }, 5, 0, "", "",
1122 "66 0f 1a 04 c8       \tbndmov (%rax,%rcx,8),%bnd0",},
1123 {{0x66, 0x0f, 0x1a, 0x40, 0x12, }, 5, 0, "", "",
1124 "66 0f 1a 40 12       \tbndmov 0x12(%rax),%bnd0",},
1125 {{0x66, 0x0f, 0x1a, 0x45, 0x12, }, 5, 0, "", "",
1126 "66 0f 1a 45 12       \tbndmov 0x12(%rbp),%bnd0",},
1127 {{0x66, 0x0f, 0x1a, 0x44, 0x01, 0x12, }, 6, 0, "", "",
1128 "66 0f 1a 44 01 12    \tbndmov 0x12(%rcx,%rax,1),%bnd0",},
1129 {{0x66, 0x0f, 0x1a, 0x44, 0x05, 0x12, }, 6, 0, "", "",
1130 "66 0f 1a 44 05 12    \tbndmov 0x12(%rbp,%rax,1),%bnd0",},
1131 {{0x66, 0x0f, 0x1a, 0x44, 0x08, 0x12, }, 6, 0, "", "",
1132 "66 0f 1a 44 08 12    \tbndmov 0x12(%rax,%rcx,1),%bnd0",},
1133 {{0x66, 0x0f, 0x1a, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
1134 "66 0f 1a 44 c8 12    \tbndmov 0x12(%rax,%rcx,8),%bnd0",},
1135 {{0x66, 0x0f, 0x1a, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1136 "66 0f 1a 80 78 56 34 12 \tbndmov 0x12345678(%rax),%bnd0",},
1137 {{0x66, 0x0f, 0x1a, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1138 "66 0f 1a 85 78 56 34 12 \tbndmov 0x12345678(%rbp),%bnd0",},
1139 {{0x66, 0x0f, 0x1a, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1140 "66 0f 1a 84 01 78 56 34 12 \tbndmov 0x12345678(%rcx,%rax,1),%bnd0",},
1141 {{0x66, 0x0f, 0x1a, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1142 "66 0f 1a 84 05 78 56 34 12 \tbndmov 0x12345678(%rbp,%rax,1),%bnd0",},
1143 {{0x66, 0x0f, 0x1a, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1144 "66 0f 1a 84 08 78 56 34 12 \tbndmov 0x12345678(%rax,%rcx,1),%bnd0",},
1145 {{0x66, 0x0f, 0x1a, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1146 "66 0f 1a 84 c8 78 56 34 12 \tbndmov 0x12345678(%rax,%rcx,8),%bnd0",},
1147 {{0x66, 0x0f, 0x1b, 0x00, }, 4, 0, "", "",
1148 "66 0f 1b 00          \tbndmov %bnd0,(%rax)",},
1149 {{0x66, 0x41, 0x0f, 0x1b, 0x00, }, 5, 0, "", "",
1150 "66 41 0f 1b 00       \tbndmov %bnd0,(%r8)",},
1151 {{0x66, 0x0f, 0x1b, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1152 "66 0f 1b 04 25 78 56 34 12 \tbndmov %bnd0,0x12345678",},
1153 {{0x66, 0x0f, 0x1b, 0x18, }, 4, 0, "", "",
1154 "66 0f 1b 18          \tbndmov %bnd3,(%rax)",},
1155 {{0x66, 0x0f, 0x1b, 0x04, 0x01, }, 5, 0, "", "",
1156 "66 0f 1b 04 01       \tbndmov %bnd0,(%rcx,%rax,1)",},
1157 {{0x66, 0x0f, 0x1b, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1158 "66 0f 1b 04 05 78 56 34 12 \tbndmov %bnd0,0x12345678(,%rax,1)",},
1159 {{0x66, 0x0f, 0x1b, 0x04, 0x08, }, 5, 0, "", "",
1160 "66 0f 1b 04 08       \tbndmov %bnd0,(%rax,%rcx,1)",},
1161 {{0x66, 0x0f, 0x1b, 0x04, 0xc8, }, 5, 0, "", "",
1162 "66 0f 1b 04 c8       \tbndmov %bnd0,(%rax,%rcx,8)",},
1163 {{0x66, 0x0f, 0x1b, 0x40, 0x12, }, 5, 0, "", "",
1164 "66 0f 1b 40 12       \tbndmov %bnd0,0x12(%rax)",},
1165 {{0x66, 0x0f, 0x1b, 0x45, 0x12, }, 5, 0, "", "",
1166 "66 0f 1b 45 12       \tbndmov %bnd0,0x12(%rbp)",},
1167 {{0x66, 0x0f, 0x1b, 0x44, 0x01, 0x12, }, 6, 0, "", "",
1168 "66 0f 1b 44 01 12    \tbndmov %bnd0,0x12(%rcx,%rax,1)",},
1169 {{0x66, 0x0f, 0x1b, 0x44, 0x05, 0x12, }, 6, 0, "", "",
1170 "66 0f 1b 44 05 12    \tbndmov %bnd0,0x12(%rbp,%rax,1)",},
1171 {{0x66, 0x0f, 0x1b, 0x44, 0x08, 0x12, }, 6, 0, "", "",
1172 "66 0f 1b 44 08 12    \tbndmov %bnd0,0x12(%rax,%rcx,1)",},
1173 {{0x66, 0x0f, 0x1b, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
1174 "66 0f 1b 44 c8 12    \tbndmov %bnd0,0x12(%rax,%rcx,8)",},
1175 {{0x66, 0x0f, 0x1b, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1176 "66 0f 1b 80 78 56 34 12 \tbndmov %bnd0,0x12345678(%rax)",},
1177 {{0x66, 0x0f, 0x1b, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1178 "66 0f 1b 85 78 56 34 12 \tbndmov %bnd0,0x12345678(%rbp)",},
1179 {{0x66, 0x0f, 0x1b, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1180 "66 0f 1b 84 01 78 56 34 12 \tbndmov %bnd0,0x12345678(%rcx,%rax,1)",},
1181 {{0x66, 0x0f, 0x1b, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1182 "66 0f 1b 84 05 78 56 34 12 \tbndmov %bnd0,0x12345678(%rbp,%rax,1)",},
1183 {{0x66, 0x0f, 0x1b, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1184 "66 0f 1b 84 08 78 56 34 12 \tbndmov %bnd0,0x12345678(%rax,%rcx,1)",},
1185 {{0x66, 0x0f, 0x1b, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1186 "66 0f 1b 84 c8 78 56 34 12 \tbndmov %bnd0,0x12345678(%rax,%rcx,8)",},
1187 {{0x66, 0x0f, 0x1a, 0xc8, }, 4, 0, "", "",
1188 "66 0f 1a c8          \tbndmov %bnd0,%bnd1",},
1189 {{0x66, 0x0f, 0x1a, 0xc1, }, 4, 0, "", "",
1190 "66 0f 1a c1          \tbndmov %bnd1,%bnd0",},
1191 {{0x0f, 0x1a, 0x00, }, 3, 0, "", "",
1192 "0f 1a 00             \tbndldx (%rax),%bnd0",},
1193 {{0x41, 0x0f, 0x1a, 0x00, }, 4, 0, "", "",
1194 "41 0f 1a 00          \tbndldx (%r8),%bnd0",},
1195 {{0x0f, 0x1a, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1196 "0f 1a 04 25 78 56 34 12 \tbndldx 0x12345678,%bnd0",},
1197 {{0x0f, 0x1a, 0x18, }, 3, 0, "", "",
1198 "0f 1a 18             \tbndldx (%rax),%bnd3",},
1199 {{0x0f, 0x1a, 0x04, 0x01, }, 4, 0, "", "",
1200 "0f 1a 04 01          \tbndldx (%rcx,%rax,1),%bnd0",},
1201 {{0x0f, 0x1a, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1202 "0f 1a 04 05 78 56 34 12 \tbndldx 0x12345678(,%rax,1),%bnd0",},
1203 {{0x0f, 0x1a, 0x04, 0x08, }, 4, 0, "", "",
1204 "0f 1a 04 08          \tbndldx (%rax,%rcx,1),%bnd0",},
1205 {{0x0f, 0x1a, 0x40, 0x12, }, 4, 0, "", "",
1206 "0f 1a 40 12          \tbndldx 0x12(%rax),%bnd0",},
1207 {{0x0f, 0x1a, 0x45, 0x12, }, 4, 0, "", "",
1208 "0f 1a 45 12          \tbndldx 0x12(%rbp),%bnd0",},
1209 {{0x0f, 0x1a, 0x44, 0x01, 0x12, }, 5, 0, "", "",
1210 "0f 1a 44 01 12       \tbndldx 0x12(%rcx,%rax,1),%bnd0",},
1211 {{0x0f, 0x1a, 0x44, 0x05, 0x12, }, 5, 0, "", "",
1212 "0f 1a 44 05 12       \tbndldx 0x12(%rbp,%rax,1),%bnd0",},
1213 {{0x0f, 0x1a, 0x44, 0x08, 0x12, }, 5, 0, "", "",
1214 "0f 1a 44 08 12       \tbndldx 0x12(%rax,%rcx,1),%bnd0",},
1215 {{0x0f, 0x1a, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
1216 "0f 1a 80 78 56 34 12 \tbndldx 0x12345678(%rax),%bnd0",},
1217 {{0x0f, 0x1a, 0x85, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
1218 "0f 1a 85 78 56 34 12 \tbndldx 0x12345678(%rbp),%bnd0",},
1219 {{0x0f, 0x1a, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1220 "0f 1a 84 01 78 56 34 12 \tbndldx 0x12345678(%rcx,%rax,1),%bnd0",},
1221 {{0x0f, 0x1a, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1222 "0f 1a 84 05 78 56 34 12 \tbndldx 0x12345678(%rbp,%rax,1),%bnd0",},
1223 {{0x0f, 0x1a, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1224 "0f 1a 84 08 78 56 34 12 \tbndldx 0x12345678(%rax,%rcx,1),%bnd0",},
1225 {{0x0f, 0x1b, 0x00, }, 3, 0, "", "",
1226 "0f 1b 00             \tbndstx %bnd0,(%rax)",},
1227 {{0x41, 0x0f, 0x1b, 0x00, }, 4, 0, "", "",
1228 "41 0f 1b 00          \tbndstx %bnd0,(%r8)",},
1229 {{0x0f, 0x1b, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1230 "0f 1b 04 25 78 56 34 12 \tbndstx %bnd0,0x12345678",},
1231 {{0x0f, 0x1b, 0x18, }, 3, 0, "", "",
1232 "0f 1b 18             \tbndstx %bnd3,(%rax)",},
1233 {{0x0f, 0x1b, 0x04, 0x01, }, 4, 0, "", "",
1234 "0f 1b 04 01          \tbndstx %bnd0,(%rcx,%rax,1)",},
1235 {{0x0f, 0x1b, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1236 "0f 1b 04 05 78 56 34 12 \tbndstx %bnd0,0x12345678(,%rax,1)",},
1237 {{0x0f, 0x1b, 0x04, 0x08, }, 4, 0, "", "",
1238 "0f 1b 04 08          \tbndstx %bnd0,(%rax,%rcx,1)",},
1239 {{0x0f, 0x1b, 0x40, 0x12, }, 4, 0, "", "",
1240 "0f 1b 40 12          \tbndstx %bnd0,0x12(%rax)",},
1241 {{0x0f, 0x1b, 0x45, 0x12, }, 4, 0, "", "",
1242 "0f 1b 45 12          \tbndstx %bnd0,0x12(%rbp)",},
1243 {{0x0f, 0x1b, 0x44, 0x01, 0x12, }, 5, 0, "", "",
1244 "0f 1b 44 01 12       \tbndstx %bnd0,0x12(%rcx,%rax,1)",},
1245 {{0x0f, 0x1b, 0x44, 0x05, 0x12, }, 5, 0, "", "",
1246 "0f 1b 44 05 12       \tbndstx %bnd0,0x12(%rbp,%rax,1)",},
1247 {{0x0f, 0x1b, 0x44, 0x08, 0x12, }, 5, 0, "", "",
1248 "0f 1b 44 08 12       \tbndstx %bnd0,0x12(%rax,%rcx,1)",},
1249 {{0x0f, 0x1b, 0x80, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
1250 "0f 1b 80 78 56 34 12 \tbndstx %bnd0,0x12345678(%rax)",},
1251 {{0x0f, 0x1b, 0x85, 0x78, 0x56, 0x34, 0x12, }, 7, 0, "", "",
1252 "0f 1b 85 78 56 34 12 \tbndstx %bnd0,0x12345678(%rbp)",},
1253 {{0x0f, 0x1b, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1254 "0f 1b 84 01 78 56 34 12 \tbndstx %bnd0,0x12345678(%rcx,%rax,1)",},
1255 {{0x0f, 0x1b, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1256 "0f 1b 84 05 78 56 34 12 \tbndstx %bnd0,0x12345678(%rbp,%rax,1)",},
1257 {{0x0f, 0x1b, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1258 "0f 1b 84 08 78 56 34 12 \tbndstx %bnd0,0x12345678(%rax,%rcx,1)",},
1259 {{0xf2, 0xe8, 0x00, 0x00, 0x00, 0x00, }, 6, 0, "call", "unconditional",
1260 "f2 e8 00 00 00 00    \tbnd callq f22 <main+0xf22>",},
1261 {{0x67, 0xf2, 0xff, 0x10, }, 4, 0, "call", "indirect",
1262 "67 f2 ff 10          \tbnd callq *(%eax)",},
1263 {{0xf2, 0xc3, }, 2, 0, "ret", "indirect",
1264 "f2 c3                \tbnd retq ",},
1265 {{0xf2, 0xe9, 0x00, 0x00, 0x00, 0x00, }, 6, 0, "jmp", "unconditional",
1266 "f2 e9 00 00 00 00    \tbnd jmpq f2e <main+0xf2e>",},
1267 {{0xf2, 0xe9, 0x00, 0x00, 0x00, 0x00, }, 6, 0, "jmp", "unconditional",
1268 "f2 e9 00 00 00 00    \tbnd jmpq f34 <main+0xf34>",},
1269 {{0x67, 0xf2, 0xff, 0x21, }, 4, 0, "jmp", "indirect",
1270 "67 f2 ff 21          \tbnd jmpq *(%ecx)",},
1271 {{0xf2, 0x0f, 0x85, 0x00, 0x00, 0x00, 0x00, }, 7, 0, "jcc", "conditional",
1272 "f2 0f 85 00 00 00 00 \tbnd jne f3f <main+0xf3f>",},
1273 {{0x0f, 0x3a, 0xcc, 0xc1, 0x00, }, 5, 0, "", "",
1274 "0f 3a cc c1 00       \tsha1rnds4 $0x0,%xmm1,%xmm0",},
1275 {{0x0f, 0x3a, 0xcc, 0xd7, 0x91, }, 5, 0, "", "",
1276 "0f 3a cc d7 91       \tsha1rnds4 $0x91,%xmm7,%xmm2",},
1277 {{0x41, 0x0f, 0x3a, 0xcc, 0xc0, 0x91, }, 6, 0, "", "",
1278 "41 0f 3a cc c0 91    \tsha1rnds4 $0x91,%xmm8,%xmm0",},
1279 {{0x44, 0x0f, 0x3a, 0xcc, 0xc7, 0x91, }, 6, 0, "", "",
1280 "44 0f 3a cc c7 91    \tsha1rnds4 $0x91,%xmm7,%xmm8",},
1281 {{0x45, 0x0f, 0x3a, 0xcc, 0xc7, 0x91, }, 6, 0, "", "",
1282 "45 0f 3a cc c7 91    \tsha1rnds4 $0x91,%xmm15,%xmm8",},
1283 {{0x0f, 0x3a, 0xcc, 0x00, 0x91, }, 5, 0, "", "",
1284 "0f 3a cc 00 91       \tsha1rnds4 $0x91,(%rax),%xmm0",},
1285 {{0x41, 0x0f, 0x3a, 0xcc, 0x00, 0x91, }, 6, 0, "", "",
1286 "41 0f 3a cc 00 91    \tsha1rnds4 $0x91,(%r8),%xmm0",},
1287 {{0x0f, 0x3a, 0xcc, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
1288 "0f 3a cc 04 25 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678,%xmm0",},
1289 {{0x0f, 0x3a, 0xcc, 0x18, 0x91, }, 5, 0, "", "",
1290 "0f 3a cc 18 91       \tsha1rnds4 $0x91,(%rax),%xmm3",},
1291 {{0x0f, 0x3a, 0xcc, 0x04, 0x01, 0x91, }, 6, 0, "", "",
1292 "0f 3a cc 04 01 91    \tsha1rnds4 $0x91,(%rcx,%rax,1),%xmm0",},
1293 {{0x0f, 0x3a, 0xcc, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
1294 "0f 3a cc 04 05 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(,%rax,1),%xmm0",},
1295 {{0x0f, 0x3a, 0xcc, 0x04, 0x08, 0x91, }, 6, 0, "", "",
1296 "0f 3a cc 04 08 91    \tsha1rnds4 $0x91,(%rax,%rcx,1),%xmm0",},
1297 {{0x0f, 0x3a, 0xcc, 0x04, 0xc8, 0x91, }, 6, 0, "", "",
1298 "0f 3a cc 04 c8 91    \tsha1rnds4 $0x91,(%rax,%rcx,8),%xmm0",},
1299 {{0x0f, 0x3a, 0xcc, 0x40, 0x12, 0x91, }, 6, 0, "", "",
1300 "0f 3a cc 40 12 91    \tsha1rnds4 $0x91,0x12(%rax),%xmm0",},
1301 {{0x0f, 0x3a, 0xcc, 0x45, 0x12, 0x91, }, 6, 0, "", "",
1302 "0f 3a cc 45 12 91    \tsha1rnds4 $0x91,0x12(%rbp),%xmm0",},
1303 {{0x0f, 0x3a, 0xcc, 0x44, 0x01, 0x12, 0x91, }, 7, 0, "", "",
1304 "0f 3a cc 44 01 12 91 \tsha1rnds4 $0x91,0x12(%rcx,%rax,1),%xmm0",},
1305 {{0x0f, 0x3a, 0xcc, 0x44, 0x05, 0x12, 0x91, }, 7, 0, "", "",
1306 "0f 3a cc 44 05 12 91 \tsha1rnds4 $0x91,0x12(%rbp,%rax,1),%xmm0",},
1307 {{0x0f, 0x3a, 0xcc, 0x44, 0x08, 0x12, 0x91, }, 7, 0, "", "",
1308 "0f 3a cc 44 08 12 91 \tsha1rnds4 $0x91,0x12(%rax,%rcx,1),%xmm0",},
1309 {{0x0f, 0x3a, 0xcc, 0x44, 0xc8, 0x12, 0x91, }, 7, 0, "", "",
1310 "0f 3a cc 44 c8 12 91 \tsha1rnds4 $0x91,0x12(%rax,%rcx,8),%xmm0",},
1311 {{0x0f, 0x3a, 0xcc, 0x80, 0x78, 0x56, 0x34, 0x12, 0x91, }, 9, 0, "", "",
1312 "0f 3a cc 80 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rax),%xmm0",},
1313 {{0x0f, 0x3a, 0xcc, 0x85, 0x78, 0x56, 0x34, 0x12, 0x91, }, 9, 0, "", "",
1314 "0f 3a cc 85 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rbp),%xmm0",},
1315 {{0x0f, 0x3a, 0xcc, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
1316 "0f 3a cc 84 01 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rcx,%rax,1),%xmm0",},
1317 {{0x0f, 0x3a, 0xcc, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
1318 "0f 3a cc 84 05 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rbp,%rax,1),%xmm0",},
1319 {{0x0f, 0x3a, 0xcc, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
1320 "0f 3a cc 84 08 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rax,%rcx,1),%xmm0",},
1321 {{0x0f, 0x3a, 0xcc, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, 0x91, }, 10, 0, "", "",
1322 "0f 3a cc 84 c8 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rax,%rcx,8),%xmm0",},
1323 {{0x44, 0x0f, 0x3a, 0xcc, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, 0x91, }, 11, 0, "", "",
1324 "44 0f 3a cc bc c8 78 56 34 12 91 \tsha1rnds4 $0x91,0x12345678(%rax,%rcx,8),%xmm15",},
1325 {{0x0f, 0x38, 0xc8, 0xc1, }, 4, 0, "", "",
1326 "0f 38 c8 c1          \tsha1nexte %xmm1,%xmm0",},
1327 {{0x0f, 0x38, 0xc8, 0xd7, }, 4, 0, "", "",
1328 "0f 38 c8 d7          \tsha1nexte %xmm7,%xmm2",},
1329 {{0x41, 0x0f, 0x38, 0xc8, 0xc0, }, 5, 0, "", "",
1330 "41 0f 38 c8 c0       \tsha1nexte %xmm8,%xmm0",},
1331 {{0x44, 0x0f, 0x38, 0xc8, 0xc7, }, 5, 0, "", "",
1332 "44 0f 38 c8 c7       \tsha1nexte %xmm7,%xmm8",},
1333 {{0x45, 0x0f, 0x38, 0xc8, 0xc7, }, 5, 0, "", "",
1334 "45 0f 38 c8 c7       \tsha1nexte %xmm15,%xmm8",},
1335 {{0x0f, 0x38, 0xc8, 0x00, }, 4, 0, "", "",
1336 "0f 38 c8 00          \tsha1nexte (%rax),%xmm0",},
1337 {{0x41, 0x0f, 0x38, 0xc8, 0x00, }, 5, 0, "", "",
1338 "41 0f 38 c8 00       \tsha1nexte (%r8),%xmm0",},
1339 {{0x0f, 0x38, 0xc8, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1340 "0f 38 c8 04 25 78 56 34 12 \tsha1nexte 0x12345678,%xmm0",},
1341 {{0x0f, 0x38, 0xc8, 0x18, }, 4, 0, "", "",
1342 "0f 38 c8 18          \tsha1nexte (%rax),%xmm3",},
1343 {{0x0f, 0x38, 0xc8, 0x04, 0x01, }, 5, 0, "", "",
1344 "0f 38 c8 04 01       \tsha1nexte (%rcx,%rax,1),%xmm0",},
1345 {{0x0f, 0x38, 0xc8, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1346 "0f 38 c8 04 05 78 56 34 12 \tsha1nexte 0x12345678(,%rax,1),%xmm0",},
1347 {{0x0f, 0x38, 0xc8, 0x04, 0x08, }, 5, 0, "", "",
1348 "0f 38 c8 04 08       \tsha1nexte (%rax,%rcx,1),%xmm0",},
1349 {{0x0f, 0x38, 0xc8, 0x04, 0xc8, }, 5, 0, "", "",
1350 "0f 38 c8 04 c8       \tsha1nexte (%rax,%rcx,8),%xmm0",},
1351 {{0x0f, 0x38, 0xc8, 0x40, 0x12, }, 5, 0, "", "",
1352 "0f 38 c8 40 12       \tsha1nexte 0x12(%rax),%xmm0",},
1353 {{0x0f, 0x38, 0xc8, 0x45, 0x12, }, 5, 0, "", "",
1354 "0f 38 c8 45 12       \tsha1nexte 0x12(%rbp),%xmm0",},
1355 {{0x0f, 0x38, 0xc8, 0x44, 0x01, 0x12, }, 6, 0, "", "",
1356 "0f 38 c8 44 01 12    \tsha1nexte 0x12(%rcx,%rax,1),%xmm0",},
1357 {{0x0f, 0x38, 0xc8, 0x44, 0x05, 0x12, }, 6, 0, "", "",
1358 "0f 38 c8 44 05 12    \tsha1nexte 0x12(%rbp,%rax,1),%xmm0",},
1359 {{0x0f, 0x38, 0xc8, 0x44, 0x08, 0x12, }, 6, 0, "", "",
1360 "0f 38 c8 44 08 12    \tsha1nexte 0x12(%rax,%rcx,1),%xmm0",},
1361 {{0x0f, 0x38, 0xc8, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
1362 "0f 38 c8 44 c8 12    \tsha1nexte 0x12(%rax,%rcx,8),%xmm0",},
1363 {{0x0f, 0x38, 0xc8, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1364 "0f 38 c8 80 78 56 34 12 \tsha1nexte 0x12345678(%rax),%xmm0",},
1365 {{0x0f, 0x38, 0xc8, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1366 "0f 38 c8 85 78 56 34 12 \tsha1nexte 0x12345678(%rbp),%xmm0",},
1367 {{0x0f, 0x38, 0xc8, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1368 "0f 38 c8 84 01 78 56 34 12 \tsha1nexte 0x12345678(%rcx,%rax,1),%xmm0",},
1369 {{0x0f, 0x38, 0xc8, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1370 "0f 38 c8 84 05 78 56 34 12 \tsha1nexte 0x12345678(%rbp,%rax,1),%xmm0",},
1371 {{0x0f, 0x38, 0xc8, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1372 "0f 38 c8 84 08 78 56 34 12 \tsha1nexte 0x12345678(%rax,%rcx,1),%xmm0",},
1373 {{0x0f, 0x38, 0xc8, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1374 "0f 38 c8 84 c8 78 56 34 12 \tsha1nexte 0x12345678(%rax,%rcx,8),%xmm0",},
1375 {{0x44, 0x0f, 0x38, 0xc8, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
1376 "44 0f 38 c8 bc c8 78 56 34 12 \tsha1nexte 0x12345678(%rax,%rcx,8),%xmm15",},
1377 {{0x0f, 0x38, 0xc9, 0xc1, }, 4, 0, "", "",
1378 "0f 38 c9 c1          \tsha1msg1 %xmm1,%xmm0",},
1379 {{0x0f, 0x38, 0xc9, 0xd7, }, 4, 0, "", "",
1380 "0f 38 c9 d7          \tsha1msg1 %xmm7,%xmm2",},
1381 {{0x41, 0x0f, 0x38, 0xc9, 0xc0, }, 5, 0, "", "",
1382 "41 0f 38 c9 c0       \tsha1msg1 %xmm8,%xmm0",},
1383 {{0x44, 0x0f, 0x38, 0xc9, 0xc7, }, 5, 0, "", "",
1384 "44 0f 38 c9 c7       \tsha1msg1 %xmm7,%xmm8",},
1385 {{0x45, 0x0f, 0x38, 0xc9, 0xc7, }, 5, 0, "", "",
1386 "45 0f 38 c9 c7       \tsha1msg1 %xmm15,%xmm8",},
1387 {{0x0f, 0x38, 0xc9, 0x00, }, 4, 0, "", "",
1388 "0f 38 c9 00          \tsha1msg1 (%rax),%xmm0",},
1389 {{0x41, 0x0f, 0x38, 0xc9, 0x00, }, 5, 0, "", "",
1390 "41 0f 38 c9 00       \tsha1msg1 (%r8),%xmm0",},
1391 {{0x0f, 0x38, 0xc9, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1392 "0f 38 c9 04 25 78 56 34 12 \tsha1msg1 0x12345678,%xmm0",},
1393 {{0x0f, 0x38, 0xc9, 0x18, }, 4, 0, "", "",
1394 "0f 38 c9 18          \tsha1msg1 (%rax),%xmm3",},
1395 {{0x0f, 0x38, 0xc9, 0x04, 0x01, }, 5, 0, "", "",
1396 "0f 38 c9 04 01       \tsha1msg1 (%rcx,%rax,1),%xmm0",},
1397 {{0x0f, 0x38, 0xc9, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1398 "0f 38 c9 04 05 78 56 34 12 \tsha1msg1 0x12345678(,%rax,1),%xmm0",},
1399 {{0x0f, 0x38, 0xc9, 0x04, 0x08, }, 5, 0, "", "",
1400 "0f 38 c9 04 08       \tsha1msg1 (%rax,%rcx,1),%xmm0",},
1401 {{0x0f, 0x38, 0xc9, 0x04, 0xc8, }, 5, 0, "", "",
1402 "0f 38 c9 04 c8       \tsha1msg1 (%rax,%rcx,8),%xmm0",},
1403 {{0x0f, 0x38, 0xc9, 0x40, 0x12, }, 5, 0, "", "",
1404 "0f 38 c9 40 12       \tsha1msg1 0x12(%rax),%xmm0",},
1405 {{0x0f, 0x38, 0xc9, 0x45, 0x12, }, 5, 0, "", "",
1406 "0f 38 c9 45 12       \tsha1msg1 0x12(%rbp),%xmm0",},
1407 {{0x0f, 0x38, 0xc9, 0x44, 0x01, 0x12, }, 6, 0, "", "",
1408 "0f 38 c9 44 01 12    \tsha1msg1 0x12(%rcx,%rax,1),%xmm0",},
1409 {{0x0f, 0x38, 0xc9, 0x44, 0x05, 0x12, }, 6, 0, "", "",
1410 "0f 38 c9 44 05 12    \tsha1msg1 0x12(%rbp,%rax,1),%xmm0",},
1411 {{0x0f, 0x38, 0xc9, 0x44, 0x08, 0x12, }, 6, 0, "", "",
1412 "0f 38 c9 44 08 12    \tsha1msg1 0x12(%rax,%rcx,1),%xmm0",},
1413 {{0x0f, 0x38, 0xc9, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
1414 "0f 38 c9 44 c8 12    \tsha1msg1 0x12(%rax,%rcx,8),%xmm0",},
1415 {{0x0f, 0x38, 0xc9, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1416 "0f 38 c9 80 78 56 34 12 \tsha1msg1 0x12345678(%rax),%xmm0",},
1417 {{0x0f, 0x38, 0xc9, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1418 "0f 38 c9 85 78 56 34 12 \tsha1msg1 0x12345678(%rbp),%xmm0",},
1419 {{0x0f, 0x38, 0xc9, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1420 "0f 38 c9 84 01 78 56 34 12 \tsha1msg1 0x12345678(%rcx,%rax,1),%xmm0",},
1421 {{0x0f, 0x38, 0xc9, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1422 "0f 38 c9 84 05 78 56 34 12 \tsha1msg1 0x12345678(%rbp,%rax,1),%xmm0",},
1423 {{0x0f, 0x38, 0xc9, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1424 "0f 38 c9 84 08 78 56 34 12 \tsha1msg1 0x12345678(%rax,%rcx,1),%xmm0",},
1425 {{0x0f, 0x38, 0xc9, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1426 "0f 38 c9 84 c8 78 56 34 12 \tsha1msg1 0x12345678(%rax,%rcx,8),%xmm0",},
1427 {{0x44, 0x0f, 0x38, 0xc9, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
1428 "44 0f 38 c9 bc c8 78 56 34 12 \tsha1msg1 0x12345678(%rax,%rcx,8),%xmm15",},
1429 {{0x0f, 0x38, 0xca, 0xc1, }, 4, 0, "", "",
1430 "0f 38 ca c1          \tsha1msg2 %xmm1,%xmm0",},
1431 {{0x0f, 0x38, 0xca, 0xd7, }, 4, 0, "", "",
1432 "0f 38 ca d7          \tsha1msg2 %xmm7,%xmm2",},
1433 {{0x41, 0x0f, 0x38, 0xca, 0xc0, }, 5, 0, "", "",
1434 "41 0f 38 ca c0       \tsha1msg2 %xmm8,%xmm0",},
1435 {{0x44, 0x0f, 0x38, 0xca, 0xc7, }, 5, 0, "", "",
1436 "44 0f 38 ca c7       \tsha1msg2 %xmm7,%xmm8",},
1437 {{0x45, 0x0f, 0x38, 0xca, 0xc7, }, 5, 0, "", "",
1438 "45 0f 38 ca c7       \tsha1msg2 %xmm15,%xmm8",},
1439 {{0x0f, 0x38, 0xca, 0x00, }, 4, 0, "", "",
1440 "0f 38 ca 00          \tsha1msg2 (%rax),%xmm0",},
1441 {{0x41, 0x0f, 0x38, 0xca, 0x00, }, 5, 0, "", "",
1442 "41 0f 38 ca 00       \tsha1msg2 (%r8),%xmm0",},
1443 {{0x0f, 0x38, 0xca, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1444 "0f 38 ca 04 25 78 56 34 12 \tsha1msg2 0x12345678,%xmm0",},
1445 {{0x0f, 0x38, 0xca, 0x18, }, 4, 0, "", "",
1446 "0f 38 ca 18          \tsha1msg2 (%rax),%xmm3",},
1447 {{0x0f, 0x38, 0xca, 0x04, 0x01, }, 5, 0, "", "",
1448 "0f 38 ca 04 01       \tsha1msg2 (%rcx,%rax,1),%xmm0",},
1449 {{0x0f, 0x38, 0xca, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1450 "0f 38 ca 04 05 78 56 34 12 \tsha1msg2 0x12345678(,%rax,1),%xmm0",},
1451 {{0x0f, 0x38, 0xca, 0x04, 0x08, }, 5, 0, "", "",
1452 "0f 38 ca 04 08       \tsha1msg2 (%rax,%rcx,1),%xmm0",},
1453 {{0x0f, 0x38, 0xca, 0x04, 0xc8, }, 5, 0, "", "",
1454 "0f 38 ca 04 c8       \tsha1msg2 (%rax,%rcx,8),%xmm0",},
1455 {{0x0f, 0x38, 0xca, 0x40, 0x12, }, 5, 0, "", "",
1456 "0f 38 ca 40 12       \tsha1msg2 0x12(%rax),%xmm0",},
1457 {{0x0f, 0x38, 0xca, 0x45, 0x12, }, 5, 0, "", "",
1458 "0f 38 ca 45 12       \tsha1msg2 0x12(%rbp),%xmm0",},
1459 {{0x0f, 0x38, 0xca, 0x44, 0x01, 0x12, }, 6, 0, "", "",
1460 "0f 38 ca 44 01 12    \tsha1msg2 0x12(%rcx,%rax,1),%xmm0",},
1461 {{0x0f, 0x38, 0xca, 0x44, 0x05, 0x12, }, 6, 0, "", "",
1462 "0f 38 ca 44 05 12    \tsha1msg2 0x12(%rbp,%rax,1),%xmm0",},
1463 {{0x0f, 0x38, 0xca, 0x44, 0x08, 0x12, }, 6, 0, "", "",
1464 "0f 38 ca 44 08 12    \tsha1msg2 0x12(%rax,%rcx,1),%xmm0",},
1465 {{0x0f, 0x38, 0xca, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
1466 "0f 38 ca 44 c8 12    \tsha1msg2 0x12(%rax,%rcx,8),%xmm0",},
1467 {{0x0f, 0x38, 0xca, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1468 "0f 38 ca 80 78 56 34 12 \tsha1msg2 0x12345678(%rax),%xmm0",},
1469 {{0x0f, 0x38, 0xca, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1470 "0f 38 ca 85 78 56 34 12 \tsha1msg2 0x12345678(%rbp),%xmm0",},
1471 {{0x0f, 0x38, 0xca, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1472 "0f 38 ca 84 01 78 56 34 12 \tsha1msg2 0x12345678(%rcx,%rax,1),%xmm0",},
1473 {{0x0f, 0x38, 0xca, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1474 "0f 38 ca 84 05 78 56 34 12 \tsha1msg2 0x12345678(%rbp,%rax,1),%xmm0",},
1475 {{0x0f, 0x38, 0xca, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1476 "0f 38 ca 84 08 78 56 34 12 \tsha1msg2 0x12345678(%rax,%rcx,1),%xmm0",},
1477 {{0x0f, 0x38, 0xca, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1478 "0f 38 ca 84 c8 78 56 34 12 \tsha1msg2 0x12345678(%rax,%rcx,8),%xmm0",},
1479 {{0x44, 0x0f, 0x38, 0xca, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
1480 "44 0f 38 ca bc c8 78 56 34 12 \tsha1msg2 0x12345678(%rax,%rcx,8),%xmm15",},
1481 {{0x0f, 0x38, 0xcb, 0xcc, }, 4, 0, "", "",
1482 "0f 38 cb cc          \tsha256rnds2 %xmm0,%xmm4,%xmm1",},
1483 {{0x0f, 0x38, 0xcb, 0xd7, }, 4, 0, "", "",
1484 "0f 38 cb d7          \tsha256rnds2 %xmm0,%xmm7,%xmm2",},
1485 {{0x41, 0x0f, 0x38, 0xcb, 0xc8, }, 5, 0, "", "",
1486 "41 0f 38 cb c8       \tsha256rnds2 %xmm0,%xmm8,%xmm1",},
1487 {{0x44, 0x0f, 0x38, 0xcb, 0xc7, }, 5, 0, "", "",
1488 "44 0f 38 cb c7       \tsha256rnds2 %xmm0,%xmm7,%xmm8",},
1489 {{0x45, 0x0f, 0x38, 0xcb, 0xc7, }, 5, 0, "", "",
1490 "45 0f 38 cb c7       \tsha256rnds2 %xmm0,%xmm15,%xmm8",},
1491 {{0x0f, 0x38, 0xcb, 0x08, }, 4, 0, "", "",
1492 "0f 38 cb 08          \tsha256rnds2 %xmm0,(%rax),%xmm1",},
1493 {{0x41, 0x0f, 0x38, 0xcb, 0x08, }, 5, 0, "", "",
1494 "41 0f 38 cb 08       \tsha256rnds2 %xmm0,(%r8),%xmm1",},
1495 {{0x0f, 0x38, 0xcb, 0x0c, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1496 "0f 38 cb 0c 25 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678,%xmm1",},
1497 {{0x0f, 0x38, 0xcb, 0x18, }, 4, 0, "", "",
1498 "0f 38 cb 18          \tsha256rnds2 %xmm0,(%rax),%xmm3",},
1499 {{0x0f, 0x38, 0xcb, 0x0c, 0x01, }, 5, 0, "", "",
1500 "0f 38 cb 0c 01       \tsha256rnds2 %xmm0,(%rcx,%rax,1),%xmm1",},
1501 {{0x0f, 0x38, 0xcb, 0x0c, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1502 "0f 38 cb 0c 05 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(,%rax,1),%xmm1",},
1503 {{0x0f, 0x38, 0xcb, 0x0c, 0x08, }, 5, 0, "", "",
1504 "0f 38 cb 0c 08       \tsha256rnds2 %xmm0,(%rax,%rcx,1),%xmm1",},
1505 {{0x0f, 0x38, 0xcb, 0x0c, 0xc8, }, 5, 0, "", "",
1506 "0f 38 cb 0c c8       \tsha256rnds2 %xmm0,(%rax,%rcx,8),%xmm1",},
1507 {{0x0f, 0x38, 0xcb, 0x48, 0x12, }, 5, 0, "", "",
1508 "0f 38 cb 48 12       \tsha256rnds2 %xmm0,0x12(%rax),%xmm1",},
1509 {{0x0f, 0x38, 0xcb, 0x4d, 0x12, }, 5, 0, "", "",
1510 "0f 38 cb 4d 12       \tsha256rnds2 %xmm0,0x12(%rbp),%xmm1",},
1511 {{0x0f, 0x38, 0xcb, 0x4c, 0x01, 0x12, }, 6, 0, "", "",
1512 "0f 38 cb 4c 01 12    \tsha256rnds2 %xmm0,0x12(%rcx,%rax,1),%xmm1",},
1513 {{0x0f, 0x38, 0xcb, 0x4c, 0x05, 0x12, }, 6, 0, "", "",
1514 "0f 38 cb 4c 05 12    \tsha256rnds2 %xmm0,0x12(%rbp,%rax,1),%xmm1",},
1515 {{0x0f, 0x38, 0xcb, 0x4c, 0x08, 0x12, }, 6, 0, "", "",
1516 "0f 38 cb 4c 08 12    \tsha256rnds2 %xmm0,0x12(%rax,%rcx,1),%xmm1",},
1517 {{0x0f, 0x38, 0xcb, 0x4c, 0xc8, 0x12, }, 6, 0, "", "",
1518 "0f 38 cb 4c c8 12    \tsha256rnds2 %xmm0,0x12(%rax,%rcx,8),%xmm1",},
1519 {{0x0f, 0x38, 0xcb, 0x88, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1520 "0f 38 cb 88 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rax),%xmm1",},
1521 {{0x0f, 0x38, 0xcb, 0x8d, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1522 "0f 38 cb 8d 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rbp),%xmm1",},
1523 {{0x0f, 0x38, 0xcb, 0x8c, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1524 "0f 38 cb 8c 01 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rcx,%rax,1),%xmm1",},
1525 {{0x0f, 0x38, 0xcb, 0x8c, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1526 "0f 38 cb 8c 05 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rbp,%rax,1),%xmm1",},
1527 {{0x0f, 0x38, 0xcb, 0x8c, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1528 "0f 38 cb 8c 08 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rax,%rcx,1),%xmm1",},
1529 {{0x0f, 0x38, 0xcb, 0x8c, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1530 "0f 38 cb 8c c8 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rax,%rcx,8),%xmm1",},
1531 {{0x44, 0x0f, 0x38, 0xcb, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
1532 "44 0f 38 cb bc c8 78 56 34 12 \tsha256rnds2 %xmm0,0x12345678(%rax,%rcx,8),%xmm15",},
1533 {{0x0f, 0x38, 0xcc, 0xc1, }, 4, 0, "", "",
1534 "0f 38 cc c1          \tsha256msg1 %xmm1,%xmm0",},
1535 {{0x0f, 0x38, 0xcc, 0xd7, }, 4, 0, "", "",
1536 "0f 38 cc d7          \tsha256msg1 %xmm7,%xmm2",},
1537 {{0x41, 0x0f, 0x38, 0xcc, 0xc0, }, 5, 0, "", "",
1538 "41 0f 38 cc c0       \tsha256msg1 %xmm8,%xmm0",},
1539 {{0x44, 0x0f, 0x38, 0xcc, 0xc7, }, 5, 0, "", "",
1540 "44 0f 38 cc c7       \tsha256msg1 %xmm7,%xmm8",},
1541 {{0x45, 0x0f, 0x38, 0xcc, 0xc7, }, 5, 0, "", "",
1542 "45 0f 38 cc c7       \tsha256msg1 %xmm15,%xmm8",},
1543 {{0x0f, 0x38, 0xcc, 0x00, }, 4, 0, "", "",
1544 "0f 38 cc 00          \tsha256msg1 (%rax),%xmm0",},
1545 {{0x41, 0x0f, 0x38, 0xcc, 0x00, }, 5, 0, "", "",
1546 "41 0f 38 cc 00       \tsha256msg1 (%r8),%xmm0",},
1547 {{0x0f, 0x38, 0xcc, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1548 "0f 38 cc 04 25 78 56 34 12 \tsha256msg1 0x12345678,%xmm0",},
1549 {{0x0f, 0x38, 0xcc, 0x18, }, 4, 0, "", "",
1550 "0f 38 cc 18          \tsha256msg1 (%rax),%xmm3",},
1551 {{0x0f, 0x38, 0xcc, 0x04, 0x01, }, 5, 0, "", "",
1552 "0f 38 cc 04 01       \tsha256msg1 (%rcx,%rax,1),%xmm0",},
1553 {{0x0f, 0x38, 0xcc, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1554 "0f 38 cc 04 05 78 56 34 12 \tsha256msg1 0x12345678(,%rax,1),%xmm0",},
1555 {{0x0f, 0x38, 0xcc, 0x04, 0x08, }, 5, 0, "", "",
1556 "0f 38 cc 04 08       \tsha256msg1 (%rax,%rcx,1),%xmm0",},
1557 {{0x0f, 0x38, 0xcc, 0x04, 0xc8, }, 5, 0, "", "",
1558 "0f 38 cc 04 c8       \tsha256msg1 (%rax,%rcx,8),%xmm0",},
1559 {{0x0f, 0x38, 0xcc, 0x40, 0x12, }, 5, 0, "", "",
1560 "0f 38 cc 40 12       \tsha256msg1 0x12(%rax),%xmm0",},
1561 {{0x0f, 0x38, 0xcc, 0x45, 0x12, }, 5, 0, "", "",
1562 "0f 38 cc 45 12       \tsha256msg1 0x12(%rbp),%xmm0",},
1563 {{0x0f, 0x38, 0xcc, 0x44, 0x01, 0x12, }, 6, 0, "", "",
1564 "0f 38 cc 44 01 12    \tsha256msg1 0x12(%rcx,%rax,1),%xmm0",},
1565 {{0x0f, 0x38, 0xcc, 0x44, 0x05, 0x12, }, 6, 0, "", "",
1566 "0f 38 cc 44 05 12    \tsha256msg1 0x12(%rbp,%rax,1),%xmm0",},
1567 {{0x0f, 0x38, 0xcc, 0x44, 0x08, 0x12, }, 6, 0, "", "",
1568 "0f 38 cc 44 08 12    \tsha256msg1 0x12(%rax,%rcx,1),%xmm0",},
1569 {{0x0f, 0x38, 0xcc, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
1570 "0f 38 cc 44 c8 12    \tsha256msg1 0x12(%rax,%rcx,8),%xmm0",},
1571 {{0x0f, 0x38, 0xcc, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1572 "0f 38 cc 80 78 56 34 12 \tsha256msg1 0x12345678(%rax),%xmm0",},
1573 {{0x0f, 0x38, 0xcc, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1574 "0f 38 cc 85 78 56 34 12 \tsha256msg1 0x12345678(%rbp),%xmm0",},
1575 {{0x0f, 0x38, 0xcc, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1576 "0f 38 cc 84 01 78 56 34 12 \tsha256msg1 0x12345678(%rcx,%rax,1),%xmm0",},
1577 {{0x0f, 0x38, 0xcc, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1578 "0f 38 cc 84 05 78 56 34 12 \tsha256msg1 0x12345678(%rbp,%rax,1),%xmm0",},
1579 {{0x0f, 0x38, 0xcc, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1580 "0f 38 cc 84 08 78 56 34 12 \tsha256msg1 0x12345678(%rax,%rcx,1),%xmm0",},
1581 {{0x0f, 0x38, 0xcc, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1582 "0f 38 cc 84 c8 78 56 34 12 \tsha256msg1 0x12345678(%rax,%rcx,8),%xmm0",},
1583 {{0x44, 0x0f, 0x38, 0xcc, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
1584 "44 0f 38 cc bc c8 78 56 34 12 \tsha256msg1 0x12345678(%rax,%rcx,8),%xmm15",},
1585 {{0x0f, 0x38, 0xcd, 0xc1, }, 4, 0, "", "",
1586 "0f 38 cd c1          \tsha256msg2 %xmm1,%xmm0",},
1587 {{0x0f, 0x38, 0xcd, 0xd7, }, 4, 0, "", "",
1588 "0f 38 cd d7          \tsha256msg2 %xmm7,%xmm2",},
1589 {{0x41, 0x0f, 0x38, 0xcd, 0xc0, }, 5, 0, "", "",
1590 "41 0f 38 cd c0       \tsha256msg2 %xmm8,%xmm0",},
1591 {{0x44, 0x0f, 0x38, 0xcd, 0xc7, }, 5, 0, "", "",
1592 "44 0f 38 cd c7       \tsha256msg2 %xmm7,%xmm8",},
1593 {{0x45, 0x0f, 0x38, 0xcd, 0xc7, }, 5, 0, "", "",
1594 "45 0f 38 cd c7       \tsha256msg2 %xmm15,%xmm8",},
1595 {{0x0f, 0x38, 0xcd, 0x00, }, 4, 0, "", "",
1596 "0f 38 cd 00          \tsha256msg2 (%rax),%xmm0",},
1597 {{0x41, 0x0f, 0x38, 0xcd, 0x00, }, 5, 0, "", "",
1598 "41 0f 38 cd 00       \tsha256msg2 (%r8),%xmm0",},
1599 {{0x0f, 0x38, 0xcd, 0x04, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1600 "0f 38 cd 04 25 78 56 34 12 \tsha256msg2 0x12345678,%xmm0",},
1601 {{0x0f, 0x38, 0xcd, 0x18, }, 4, 0, "", "",
1602 "0f 38 cd 18          \tsha256msg2 (%rax),%xmm3",},
1603 {{0x0f, 0x38, 0xcd, 0x04, 0x01, }, 5, 0, "", "",
1604 "0f 38 cd 04 01       \tsha256msg2 (%rcx,%rax,1),%xmm0",},
1605 {{0x0f, 0x38, 0xcd, 0x04, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1606 "0f 38 cd 04 05 78 56 34 12 \tsha256msg2 0x12345678(,%rax,1),%xmm0",},
1607 {{0x0f, 0x38, 0xcd, 0x04, 0x08, }, 5, 0, "", "",
1608 "0f 38 cd 04 08       \tsha256msg2 (%rax,%rcx,1),%xmm0",},
1609 {{0x0f, 0x38, 0xcd, 0x04, 0xc8, }, 5, 0, "", "",
1610 "0f 38 cd 04 c8       \tsha256msg2 (%rax,%rcx,8),%xmm0",},
1611 {{0x0f, 0x38, 0xcd, 0x40, 0x12, }, 5, 0, "", "",
1612 "0f 38 cd 40 12       \tsha256msg2 0x12(%rax),%xmm0",},
1613 {{0x0f, 0x38, 0xcd, 0x45, 0x12, }, 5, 0, "", "",
1614 "0f 38 cd 45 12       \tsha256msg2 0x12(%rbp),%xmm0",},
1615 {{0x0f, 0x38, 0xcd, 0x44, 0x01, 0x12, }, 6, 0, "", "",
1616 "0f 38 cd 44 01 12    \tsha256msg2 0x12(%rcx,%rax,1),%xmm0",},
1617 {{0x0f, 0x38, 0xcd, 0x44, 0x05, 0x12, }, 6, 0, "", "",
1618 "0f 38 cd 44 05 12    \tsha256msg2 0x12(%rbp,%rax,1),%xmm0",},
1619 {{0x0f, 0x38, 0xcd, 0x44, 0x08, 0x12, }, 6, 0, "", "",
1620 "0f 38 cd 44 08 12    \tsha256msg2 0x12(%rax,%rcx,1),%xmm0",},
1621 {{0x0f, 0x38, 0xcd, 0x44, 0xc8, 0x12, }, 6, 0, "", "",
1622 "0f 38 cd 44 c8 12    \tsha256msg2 0x12(%rax,%rcx,8),%xmm0",},
1623 {{0x0f, 0x38, 0xcd, 0x80, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1624 "0f 38 cd 80 78 56 34 12 \tsha256msg2 0x12345678(%rax),%xmm0",},
1625 {{0x0f, 0x38, 0xcd, 0x85, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1626 "0f 38 cd 85 78 56 34 12 \tsha256msg2 0x12345678(%rbp),%xmm0",},
1627 {{0x0f, 0x38, 0xcd, 0x84, 0x01, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1628 "0f 38 cd 84 01 78 56 34 12 \tsha256msg2 0x12345678(%rcx,%rax,1),%xmm0",},
1629 {{0x0f, 0x38, 0xcd, 0x84, 0x05, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1630 "0f 38 cd 84 05 78 56 34 12 \tsha256msg2 0x12345678(%rbp,%rax,1),%xmm0",},
1631 {{0x0f, 0x38, 0xcd, 0x84, 0x08, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1632 "0f 38 cd 84 08 78 56 34 12 \tsha256msg2 0x12345678(%rax,%rcx,1),%xmm0",},
1633 {{0x0f, 0x38, 0xcd, 0x84, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1634 "0f 38 cd 84 c8 78 56 34 12 \tsha256msg2 0x12345678(%rax,%rcx,8),%xmm0",},
1635 {{0x44, 0x0f, 0x38, 0xcd, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
1636 "44 0f 38 cd bc c8 78 56 34 12 \tsha256msg2 0x12345678(%rax,%rcx,8),%xmm15",},
1637 {{0x66, 0x0f, 0xae, 0x38, }, 4, 0, "", "",
1638 "66 0f ae 38          \tclflushopt (%rax)",},
1639 {{0x66, 0x41, 0x0f, 0xae, 0x38, }, 5, 0, "", "",
1640 "66 41 0f ae 38       \tclflushopt (%r8)",},
1641 {{0x66, 0x0f, 0xae, 0x3c, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1642 "66 0f ae 3c 25 78 56 34 12 \tclflushopt 0x12345678",},
1643 {{0x66, 0x0f, 0xae, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1644 "66 0f ae bc c8 78 56 34 12 \tclflushopt 0x12345678(%rax,%rcx,8)",},
1645 {{0x66, 0x41, 0x0f, 0xae, 0xbc, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
1646 "66 41 0f ae bc c8 78 56 34 12 \tclflushopt 0x12345678(%r8,%rcx,8)",},
1647 {{0x0f, 0xae, 0x38, }, 3, 0, "", "",
1648 "0f ae 38             \tclflush (%rax)",},
1649 {{0x41, 0x0f, 0xae, 0x38, }, 4, 0, "", "",
1650 "41 0f ae 38          \tclflush (%r8)",},
1651 {{0x0f, 0xae, 0xf8, }, 3, 0, "", "",
1652 "0f ae f8             \tsfence ",},
1653 {{0x66, 0x0f, 0xae, 0x30, }, 4, 0, "", "",
1654 "66 0f ae 30          \tclwb   (%rax)",},
1655 {{0x66, 0x41, 0x0f, 0xae, 0x30, }, 5, 0, "", "",
1656 "66 41 0f ae 30       \tclwb   (%r8)",},
1657 {{0x66, 0x0f, 0xae, 0x34, 0x25, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1658 "66 0f ae 34 25 78 56 34 12 \tclwb   0x12345678",},
1659 {{0x66, 0x0f, 0xae, 0xb4, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1660 "66 0f ae b4 c8 78 56 34 12 \tclwb   0x12345678(%rax,%rcx,8)",},
1661 {{0x66, 0x41, 0x0f, 0xae, 0xb4, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 10, 0, "", "",
1662 "66 41 0f ae b4 c8 78 56 34 12 \tclwb   0x12345678(%r8,%rcx,8)",},
1663 {{0x0f, 0xae, 0x30, }, 3, 0, "", "",
1664 "0f ae 30             \txsaveopt (%rax)",},
1665 {{0x41, 0x0f, 0xae, 0x30, }, 4, 0, "", "",
1666 "41 0f ae 30          \txsaveopt (%r8)",},
1667 {{0x0f, 0xae, 0xf0, }, 3, 0, "", "",
1668 "0f ae f0             \tmfence ",},
1669 {{0x0f, 0xc7, 0x20, }, 3, 0, "", "",
1670 "0f c7 20             \txsavec (%rax)",},
1671 {{0x41, 0x0f, 0xc7, 0x20, }, 4, 0, "", "",
1672 "41 0f c7 20          \txsavec (%r8)",},
1673 {{0x0f, 0xc7, 0x24, 0x25, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1674 "0f c7 24 25 78 56 34 12 \txsavec 0x12345678",},
1675 {{0x0f, 0xc7, 0xa4, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1676 "0f c7 a4 c8 78 56 34 12 \txsavec 0x12345678(%rax,%rcx,8)",},
1677 {{0x41, 0x0f, 0xc7, 0xa4, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1678 "41 0f c7 a4 c8 78 56 34 12 \txsavec 0x12345678(%r8,%rcx,8)",},
1679 {{0x0f, 0xc7, 0x28, }, 3, 0, "", "",
1680 "0f c7 28             \txsaves (%rax)",},
1681 {{0x41, 0x0f, 0xc7, 0x28, }, 4, 0, "", "",
1682 "41 0f c7 28          \txsaves (%r8)",},
1683 {{0x0f, 0xc7, 0x2c, 0x25, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1684 "0f c7 2c 25 78 56 34 12 \txsaves 0x12345678",},
1685 {{0x0f, 0xc7, 0xac, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1686 "0f c7 ac c8 78 56 34 12 \txsaves 0x12345678(%rax,%rcx,8)",},
1687 {{0x41, 0x0f, 0xc7, 0xac, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1688 "41 0f c7 ac c8 78 56 34 12 \txsaves 0x12345678(%r8,%rcx,8)",},
1689 {{0x0f, 0xc7, 0x18, }, 3, 0, "", "",
1690 "0f c7 18             \txrstors (%rax)",},
1691 {{0x41, 0x0f, 0xc7, 0x18, }, 4, 0, "", "",
1692 "41 0f c7 18          \txrstors (%r8)",},
1693 {{0x0f, 0xc7, 0x1c, 0x25, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1694 "0f c7 1c 25 78 56 34 12 \txrstors 0x12345678",},
1695 {{0x0f, 0xc7, 0x9c, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 8, 0, "", "",
1696 "0f c7 9c c8 78 56 34 12 \txrstors 0x12345678(%rax,%rcx,8)",},
1697 {{0x41, 0x0f, 0xc7, 0x9c, 0xc8, 0x78, 0x56, 0x34, 0x12, }, 9, 0, "", "",
1698 "41 0f c7 9c c8 78 56 34 12 \txrstors 0x12345678(%r8,%rcx,8)",},
1699 {{0x66, 0x0f, 0xae, 0xf8, }, 4, 0, "", "",
1700 "66 0f ae f8          \tpcommit ",},