llvm.org GIT mirror llvm / 983b09a test / MC / Disassembler / X86 / x86-64.txt
983b09a

Tree @983b09a (Download .tar.gz)

x86-64.txt @983b09araw · history · blame

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
# RUN: llvm-mc --disassemble %s -triple=x86_64 | FileCheck %s

# Coverage

# CHECK: vcmptrue_usps
0xc5 0x04 0xc2 0xc7 0x1f

# CHECK: vcmptrue_uspd
0xc5 0x05 0xc2 0xc7 0x1f

# CHECK: vcmptrue_usss
0xc5 0x06 0xc2 0xc7 0x1f

# CHECK: vcmptrue_ussd
0xc5 0x07 0xc2 0xc7 0x1f

# CHECK: vcmpeq_uqps
0xc5 0x04 0xc2 0xc7 0x08

# CHECK: vcmpeq_uqpd
0xc5 0x05 0xc2 0xc7 0x08

# CHECK: vcmpeq_uqss
0xc5 0x06 0xc2 0xc7 0x08

# CHECK: vcmpeq_uqsd
0xc5 0x07 0xc2 0xc7 0x08

# CHECK: vcmpeqps
0xc5 0x04 0xc2 0xc7 0x00

# CHECK: vcmpeqpd
0xc5 0x05 0xc2 0xc7 0x00

# CHECK: vcmpeqss
0xc5 0x06 0xc2 0xc7 0x00

# CHECK: vcmpeqsd
0xc5 0x07 0xc2 0xc7 0x00

# CHECK: vcmptrue_usps %ymm7, %ymm15, %ymm0
0xc4 0xe1 0x84 0xc2 0xc7 0x1f

# CHECK: vcmptrue_uspd %ymm7, %ymm15, %ymm0
0xc4 0xe1 0x85 0xc2 0xc7 0x1f

# CHECK: cmpeqps
0x0f 0xc2 0xc7 0x00

# CHECK: cmpeqpd
0x66 0x0f 0xc2 0xc7 0x00

# CHECK: cmpeqss
0xf3 0x0f 0xc2 0xc7 0x00

# CHECK: cmpeqsd
0xf2 0x0f 0xc2 0xc7 0x00

# CHECK: cmpordps
0x0f 0xc2 0xc7 0x07

# CHECK: cmpordpd
0x66 0x0f 0xc2 0xc7 0x07

# CHECK: cmpordss
0xf3 0x0f 0xc2 0xc7 0x07

# CHECK: cmpordsd
0xf2 0x0f 0xc2 0xc7 0x07

# CHECK: extrq  $2, $3, %xmm0
0x66 0x0f 0x78 0xc0 0x03 0x02

# CHECK: extrq  %xmm1, %xmm0
0x66 0x0f 0x79 0xc1

# CHECK: insertq $6, $5, %xmm1, %xmm0
0xf2 0x0f 0x78 0xc1 0x05 0x06

# CHECK: insertq %xmm1, %xmm0
0xf2 0x0f 0x79 0xc1

# CHECK: movntsd %xmm0, (%rdi)
0xf2 0x0f 0x2b 0x07

# CHECK: movntss %xmm0, (%rdi)
0xf3 0x0f 0x2b 0x07

# CHECK: adcxl %eax, %eax
0x66 0x0f 0x38 0xf6 0xc0

# CHECK: adcxl (%rax), %eax
0x66 0x0f 0x38 0xf6 0x00

# CHECK: adcxq %rax, %rax
0x66 0x48 0x0f 0x38 0xf6 0xc0

# CHECK: adcxq (%rax), %rax
0x66 0x48 0x0f 0x38 0xf6 0x00

# CHECK: adoxl %eax, %eax
0xf3 0x0f 0x38 0xf6 0xc0

# CHECK: adoxl (%rax), %eax
0xf3 0x0f 0x38 0xf6 0x00

# CHECK: adoxq %rax, %rax
0xf3 0x48 0x0f 0x38 0xf6 0xc0

# CHECK: adoxq (%rax), %rax
0xf3 0x48 0x0f 0x38 0xf6 0x00

# CHECK: xbegin	53
0xc7 0xf8 0x35 0x00 0x00 0x00

# CHECK: xbegin	53
0x66 0xc7 0xf8 0x35 0x00

# CHECK: xend
0x0f 0x01 0xd5

# CHECK: xabort $13
0xc6 0xf8 0x0d

# CHECK: xsave64 (%rax)
0x48 0x0f 0xae 0x20

# CHECK: xrstor64 (%rax)
0x48 0x0f 0xae 0x28

# CHECK: xsaveopt64 (%rax)
0x48 0x0f 0xae 0x30

# CHECK: clac
0x0f 0x01 0xca

# CHECK: stac
0x0f 0x01 0xcb

# CHECK: movabsb -6066930261531658096, %al
0xa0 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab

# CHECK: movabsb -6066930261531658096, %al
0x48 0xa0 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab

# CHECK: movabsw -6066930261531658096, %ax
0x66 0xa1 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab

# CHECK: movabsl -6066930261531658096, %eax
0xa1 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab

# CHECK: movabsq -6066930261531658096, %rax
0x48 0xa1 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab

# CHECK: movabsb %al, -6066930261531658096
0xa2 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab

# CHECK: movabsb %al, -6066930261531658096
0x48 0xa2 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab

# CHECK: movabsw %ax, -6066930261531658096
0x66 0xa3 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab

# CHECK: movabsl %eax, -6066930261531658096
0xa3 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab

# CHECK: movabsq %rax, -6066930261531658096
0x48 0xa3 0x90 0x78 0x56 0x34 0x12 0xef 0xcd 0xab

# CHECK: sha1rnds4 $1, %xmm1, %xmm2
0x0f 0x3a 0xcc 0xd1 0x01

# CHECK: sha1rnds4 $1, (%rax), %xmm2
0x0f 0x3a 0xcc 0x10 0x01

# CHECK: sha1nexte %xmm1, %xmm2
0x0f 0x38 0xc8 0xd1

# CHECK: sha1nexte (%rax), %xmm2
0x0f 0x38 0xc8 0x10

# CHECK: sha1msg1 %xmm1, %xmm2
0x0f 0x38 0xc9 0xd1

# CHECK: sha1msg1 (%rax), %xmm2
0x0f 0x38 0xc9 0x10

# CHECK: sha1msg2 %xmm1, %xmm2
0x0f 0x38 0xca 0xd1

# CHECK: sha1msg2 (%rax), %xmm2
0x0f 0x38 0xca 0x10

# CHECK: sha256rnds2 %xmm0, (%rax), %xmm2
0x0f 0x38 0xcb 0x10

# CHECK: sha256rnds2 %xmm0, %xmm1, %xmm2
0x0f 0x38 0xcb 0xd1

# CHECK: sha256msg1 %xmm1, %xmm2
0x0f 0x38 0xcc 0xd1

# CHECK: sha256msg1 (%rax), %xmm2
0x0f 0x38 0xcc 0x10

# CHECK: sha256msg2 %xmm1, %xmm2
0x0f 0x38 0xcd 0xd1

# CHECK: sha256msg2 (%rax), %xmm2
0x0f 0x38 0xcd 0x10

# CHECK: incl %ecx
0xff 0xc1

# CHECK: decl %ecx
0xff 0xc9

# CHECK: incw %cx
0x66 0xff 0xc1

# CHECK: decw %cx
0x66 0xff 0xc9

# CHECK: incb %cl
0xfe 0xc1

# CHECK: decb %cl
0xfe 0xc9

# CHECK: incq %rcx
0x48 0xff 0xc1

# CHECK: decq %rcx
0x48 0xff 0xc9

# CHECK: movq %xmm0, %xmm0
0xf3 0x0f 0x7e 0xc0

# CHECK: vmovq %xmm0, %xmm0
0xc5 0xfa 0x7e 0xc0

# CHECK: vmovq %xmm0, %rax
0xc4 0xe1 0xf9 0x7e 0xc0

# CHECK: movq (%rax), %mm0
0x48 0x0f 0x6e 0x00

# CHECK: movq %rax, %mm0
0x48 0x0f 0x6e 0xc0

# CHECK: movq %mm0, (%rax)
0x48 0x0f 0x7e 0x00

# CHECK: movq %mm0, %rax
0x48 0x0f 0x7e 0xc0

# CHECK: movq (%rax), %xmm0
0x66 0x48 0x0f 0x6e 0x00

# CHECK: movq %rax, %xmm0
0x66 0x48 0x0f 0x6e 0xc0

# CHECK: movq %xmm0, (%rax)
0x66 0x48 0x0f 0x7e 0x00

# CHECK: movq %xmm0, %rax
0x66 0x48 0x0f 0x7e 0xc0

# CHECK: pextrw $3, %xmm3, %ecx
0x66 0x0f 0x3a 0x15 0xd9 0x03

# CHECK: pextrw $3, %xmm3, (%rax)
0x66 0x0f 0x3a 0x15 0x18 0x03

# CHECK: $0, 305419896(,%r8)
0x43 0x80 0x04 0x05 0x78 0x56 0x34 0x12 0x00

# CHECK: $0, 305419896(%r13,%r8)
0x43 0x80 0x84 0x05 0x78 0x56 0x34 0x12 0x00

# CHECK: $0, 305419896(,%r8)
0x42 0x80 0x04 0x05 0x78 0x56 0x34 0x12 0x00

# CHECK: $0, 305419896(%rbp,%r8)
0x42 0x80 0x84 0x05 0x78 0x56 0x34 0x12 0x00

# CHECK: $0, 305419896(,%r12)
0x42 0x80 0x04 0x25 0x78 0x56 0x34 0x12 0x00

# CHECK: $0, 305419896(%rbp,%r12)
0x42 0x80 0x84 0x25 0x78 0x56 0x34 0x12 0x00

# CHECK: $0, 305419896
0x80 0x04 0x25 0x78 0x56 0x34 0x12 0x00

# CHECK: $0, 305419896(%rbp)
0x80 0x84 0x25 0x78 0x56 0x34 0x12 0x00

# CHECK: movabsq 6510615555426900570, %rax
0x48 0xa1 0x5a 0x5a 0x5a 0x5a 0x5a 0x5a 0x5a 0x5a

# CHECK: movq 1515870810, %rax
0x67, 0x48 0xa1 0x5a 0x5a 0x5a 0x5a

# CHECK: movabsq %rax, 6510615555426900570
0x48 0xa3 0x5a 0x5a 0x5a 0x5a 0x5a 0x5a 0x5a 0x5a

# CHECK: movq %rax, 1515870810
0x67, 0x48 0xa3 0x5a 0x5a 0x5a 0x5a

# CHECK: callq -32769
0x66 0xe8 0xff 0x7f 0xff 0xff

# CHECK: callq -32769
0x66 0x66 0x48 0xe8 0xff 0x7f 0xff 0xff

# CHECK: jmp -32769
0xe9 0xff 0x7f 0xff 0xff

# CHECK: jmp -32769
0x66 0xe9 0xff 0x7f 0xff 0xff

# CHECK: jmp -32769
0x66 0x66 0x48 0xe9 0xff 0x7f 0xff 0xff

# CHECK: jb -32769
0x0f 0x82 0xff 0x7f 0xff 0xff

# CHECK: jb -32769
0x66 0x0f 0x82 0xff 0x7f 0xff 0xff

# CHECK: jae -32769
0x0f 0x83 0xff 0x7f 0xff 0xff

# CHECK: jae -32769
0x66 0x0f 0x83 0xff 0x7f 0xff 0xff

# CHECK: je -32769
0x0f 0x84 0xff 0x7f 0xff 0xff

# CHECK: je -32769
0x66 0x0f 0x84 0xff 0x7f 0xff 0xff

# CHECK: jne -32769
0x0f 0x85 0xff 0x7f 0xff 0xff

# CHECK: jne -32769
0x66 0x0f 0x85 0xff 0x7f 0xff 0xff

# CHECK: jbe -32769
0x0f 0x86 0xff 0x7f 0xff 0xff

# CHECK: jbe -32769
0x66 0x0f 0x86 0xff 0x7f 0xff 0xff

# CHECK: ja -32769
0x0f 0x87 0xff 0x7f 0xff 0xff

# CHECK: ja -32769
0x66 0x0f 0x87 0xff 0x7f 0xff 0xff

# CHECK: js -32769
0x0f 0x88 0xff 0x7f 0xff 0xff

# CHECK: js -32769
0x66 0x0f 0x88 0xff 0x7f 0xff 0xff

# CHECK: jns -32769
0x0f 0x89 0xff 0x7f 0xff 0xff

# CHECK: jns -32769
0x66 0x0f 0x89 0xff 0x7f 0xff 0xff

# CHECK: jp -32769
0x0f 0x8a 0xff 0x7f 0xff 0xff

# CHECK: jp -32769
0x66 0x0f 0x8a 0xff 0x7f 0xff 0xff

# CHECK: jnp -32769
0x0f 0x8b 0xff 0x7f 0xff 0xff

# CHECK: jnp -32769
0x66 0x0f 0x8b 0xff 0x7f 0xff 0xff

# CHECK: jl -32769
0x0f 0x8c 0xff 0x7f 0xff 0xff

# CHECK: jl -32769
0x66 0x0f 0x8c 0xff 0x7f 0xff 0xff

# CHECK: jge -32769
0x0f 0x8d 0xff 0x7f 0xff 0xff

# CHECK: jge -32769
0x66 0x0f 0x8d 0xff 0x7f 0xff 0xff

# CHECK: jle -32769
0x0f 0x8e 0xff 0x7f 0xff 0xff

# CHECK: jle -32769
0x66 0x0f 0x8e 0xff 0x7f 0xff 0xff

# CHECK: jg -32769
0x0f 0x8f 0xff 0x7f 0xff 0xff

# CHECK: jg -32769
0x66 0x0f 0x8f 0xff 0x7f 0xff 0xff

# CHECK: lcallw	*-32769(%rip)
0x66 0xff 0x1d 0xff 0x7f 0xff 0xff

# CHECK: ljmpw	*-32769(%rip)
0x66 0xff 0x2d 0xff 0x7f 0xff 0xff

# CHECK: psubsb	(%rdx), %mm3
0x0f 0xe8 0x1a

# CHECK: psubsb	(%rdx), %xmm3
0x66 0x0f 0xe8 0x1a

# CHECK: addq 255(%rip), %rbx
0x49, 0x03, 0x1d, 0xff, 0x00, 0x00, 0x00

# The following 4 encodings are equivalent, as confirmed by the 'xed64'
# decoder tool provided by Intel, which we assume to be canonical even
# if the real silicon does something different. If that should happen,
# then we'll all have disassembler bugs to repair.

# Try all combinations of EVEX.x and REX.b:
# CHECK: vaddps	287453952(%rip), %zmm20, %zmm15
0x62 0x11 0x5c 0x40 0x58 0x3d 0x00 0x33 0x22 0x11
# CHECK: vaddps	287453952(%rip), %zmm20, %zmm15
0x62 0x31 0x5c 0x40 0x58 0x3d 0x00 0x33 0x22 0x11
# CHECK: vaddps	287453952(%rip), %zmm20, %zmm15
0x62 0x51 0x5c 0x40 0x58 0x3d 0x00 0x33 0x22 0x11
# CHECK: vaddps	287453952(%rip), %zmm20, %zmm15
0x62 0x71 0x5c 0x40 0x58 0x3d 0x00 0x33 0x22 0x11

# CHECK: vaddps (%r10,%r9), %zmm20, %zmm15
0x62 0x11 0x5c 0x40 0x58 0x3c 0x0a

# CHECK: vaddps (%rdx,%r9), %zmm20, %zmm15
0x62 0x31 0x5c 0x40 0x58 0x3c 0x0a

# CHECK: vaddps (%r10,%rcx), %zmm20, %zmm15
0x62 0x51 0x5c 0x40 0x58 0x3c 0x0a

# CHECK: vaddps (%rdx,%rcx), %zmm20, %zmm15
0x62 0x71 0x5c 0x40 0x58 0x3c 0x0a

# CHECK: vpandd 32(%rsi,%r14,4){1to16}, %zmm26, %zmm21 {%k4} {z}
0x62 0xa1 0x2d 0xd4 0xdb 0x6c 0xb6 0x08

# CHECK: callq 32767
0xe8 0xff 0x7f 0x00 0x00

# CHECK: callq -32769
0xe8 0xff 0x7f 0xff 0xff

# CHECK: llwpcb %rax
0x8f 0xe9 0xf8 0x12 0xc0

# CHECK: slwpcb %rax
0x8f 0xe9 0xf8 0x12 0xc8

# CHECK: lwpins $305419896, %ebx, %rax
0x8f 0xea 0xf8 0x12 0xc3 0x78 0x56 0x34 0x12

# CHECK: lwpins $591751049, (%rsp), %rdx
0x8f 0xea 0xe8 0x12 0x04 0x24 0x89 0x67 0x45 0x23

# CHECK: lwpins $591751049, (%esp), %edx
0x67 0x8f 0xea 0x68 0x12 0x04 0x24 0x89 0x67 0x45 0x23

# CHECK: lwpval $1737075661, %ebx, %rax
0x8f 0xea 0xf8 0x12 0xcb 0xcd 0xab 0x89 0x67

# CHECK: lwpval $2309737967, (%rsp), %rdx
0x8f 0xea 0xe8 0x12 0x0c 0x24 0xef 0xcd 0xab 0x89

# CHECK: lwpval $2309737967, (%esp), %edx
0x67 0x8f 0xea 0x68 0x12 0x0c 0x24 0xef 0xcd 0xab 0x89

# CHECK: nopq -559038737(%rbx,%rcx,8)
0x48 0x0f 0x1f 0x84 0xcb 0xef 0xbe 0xad 0xde

# CHECK: nopq %rax
0x48 0x0f 0x1f 0xC0

# CHECK: popq    %r14
0x67 0x49 0x5e

# CHECK: pushq    %r14
0x67 0x49 0x56

# CHECK:  xchgw   %di, %ax
0x66 0x3e 0x97

# CHECK: movq    %rdx, %cs
0x4c 0x8e 0xca

# CHECK: movw    %bx, %cs:(%rsi,%rbp)
0x2e 0x66 0x89 0x1c 0x2e
# CHECK: movl    %ebx, %cs:(%esi,%ebp)
0x2e 0x67 0x89 0x1c 0x2e
# CHECK: movl    %ebx, %cs:(%rsi,%rbp)
0x2e 0x89 0x1c 0x2e
# CHECK: movw    %bx, %cs:(%esi,%ebp)
0x2e 0x67 0x66 0x89 0x1c 0x2e
# CHECK: movw    %bx, %cs:(%esi,%ebp)
0x2e 0x66 0x67 0x89 0x1c 0x2e

# CHECK: ptwritel -559038737(%rbx,%rcx,8)
0xf3 0x0f 0xae 0xa4 0xcb 0xef 0xbe 0xad 0xde

# CHECK: ptwritel %eax
0xf3 0x0f 0xae 0xe0

# CHECK: ptwriteq -559038737(%rbx,%rcx,8)
0xf3 0x48 0x0f 0xae 0xa4 0xcb 0xef 0xbe 0xad 0xde

# CHECK: ptwriteq %rax
0xf3 0x48 0x0f 0xae 0xe0

# CHECK: wbnoinvd
0xf3 0x0f 0x09

# CHECK: cldemote 4(%rax)
0x0f 0x1c 0x40 0x04

# CHECK: cldemote -559038737(%rbx,%rcx,8)
0x0f,0x1c,0x84,0xcb,0xef,0xbe,0xad,0xde

# CHECK: umonitor %rax
0xf3 0x0f 0xae 0xf0

# CHECK: umonitor %eax
0x67 0xf3 0x0f 0xae 0xf0

# CHECK: umonitor %r13
0xf3 0x41 0x0f 0xae 0xf5

# CHECK: umwait %r15
0xf2 0x41 0x0f 0xae 0xf7

# CHECK: tpause %r15
0x66 0x41 0x0f 0xae 0xf7

# CHECK: bswapw %bx
0x66 0x0f 0xcb

# CHECK: bswapl %ebx
0x0f 0xcb

# CHECK: bswapq %rbx
0x48 0x0f 0xcb

#CHECK: movdiri %r13d, 64(%rdx,%rax,4)
0x44 0x0f 0x38 0xf9 0x6c 0x82 0x40

#CHECK: movdir64b 485498096, %rax
0x66 0x0f 0x38 0xf8 0x04 0x25 0xf0 0x1c 0xf0 0x1c

#CHECK: movdir64b 485498096, %eax
0x67 0x66 0x0f 0x38 0xf8 0x04 0x25 0xf0 0x1c 0xf0 0x1c

#CHECK: pconfig
0x0f 0x01 0xc5

#CHECK: encls
0x0f 0x01 0xcf

#CHECK: enclu
0x0f 0x01 0xd7

#CHECK: enclv
0x0f 0x01 0xc0

# Make sure we ignore EVEX.X when the index register isn't being used.
#CHECK: vaddps (%rax), %xmm16, %xmm1
0x62 0xb1 0x7c 0x00 0x58 0x08

# Make sure we ignore EVEX.X when modrm.rm encodes a GPR.
#CHECK: vcvtusi2sdq %rax, %xmm1, %xmm1
0x62 0xb1 0xf7 0x08 0x7b 0xc8

# Make sure we ignore EVEX.X when modrm.rm encodes a k-register.
#CHECK: vpmovm2b %k0, %xmm0
0x62,0xb2,0x7e,0x08,0x28,0xc0