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
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
|
# RUN: llvm-mc --disassemble %s -triple=i686-apple-darwin9 | FileCheck %s
# Coverage
# CHECK: pushl
0xff 0x34 0x24
# CHECK: popl
0x58
# CHECK: calll
0xff 0xd0
# CHECK: jecxz -127
0xe3 0x81
# CHECK: jcxz -127
0x67 0xe3 0x81
# CHECK: incl
0x40
# CHECK: leave
0xc9
# PR8873: some instructions not recognized in 32-bit mode
# CHECK: fld
0xdd 0x04 0x24
# CHECK: pshufb
0x0f 0x38 0x00 0xc0
# CHECK: crc32b %al, %eax
0xf2 0x0f 0x38 0xf0 0xc0
# CHECK: crc32w %ax, %eax
0x66 0xf2 0x0f 0x38 0xf1 0xc0
# CHECK: crc32l %eax, %eax
0xf2 0x0f 0x38 0xf1 0xc0
# CHECK: int $33
0xCD 0x21
# CHECK: int $33
0xCD 0x21
# CHECK: addb %al, (%eax)
0 0
# CHECK: calll -1234
0xe8 0x2e 0xfb 0xff 0xff
# CHECK: lfence
0x0f 0xae 0xe8
# CHECK: mfence
0x0f 0xae 0xf0
# CHECK: monitor
0x0f 0x01 0xc8
# CHECK: mwait
0x0f 0x01 0xc9
# CHECK: vmcall
0x0f 0x01 0xc1
# CHECK: vmfunc
0x0f 0x01 0xd4
# CHECK: vmlaunch
0x0f 0x01 0xc2
# CHECK: vmresume
0x0f 0x01 0xc3
# CHECK: vmxoff
0x0f 0x01 0xc4
# CHECK: swapgs
0x0f 0x01 0xf8
# CHECK: rdtscp
0x0f 0x01 0xf9
# CHECK: vmxon
0xf3 0x0f 0xc7 0x30
# CHECK: vmptrld
0x0f 0xc7 0x30
# CHECK: vmptrst
0x0f 0xc7 0x38
# CHECK: vmrun
0x0f 0x01 0xd8
# CHECK: vmmcall
0x0f 0x01 0xd9
# CHECK: vmload
0x0f 0x01 0xda
# CHECK: vmsave
0x0f 0x01 0xdb
# CHECK: stgi
0x0f 0x01 0xdc
# CHECK: clgi
0x0f 0x01 0xdd
# CHECK: skinit
0x0f 0x01 0xde
# CHECK: invlpga
0x0f 0x01 0xdf
# CHECK: movl $0, -4(%ebp)
0xc7 0x45 0xfc 0x00 0x00 0x00 0x00
# CHECK: movl %cr0, %ecx
0x0f 0x20 0xc1
# CHECK: leal 4(%esp), %ecx
0x8d 0x4c 0x24 0x04
# CHECK: enter $1, $2
0xc8 0x01 0x00 0x02
# CHECK: movw $47416, -66(%ebp)
0x66 0xc7 0x45 0xbe 0x38 0xb9
# CHECK: vaddpd %ymm5, %ymm1, %ymm0
0xc4 0xc1 0x75 0x58 0xc5
# CHECK: vaddps %ymm3, %ymm1, %ymm0
0xc5 0xf4 0x58 0xc3
# CHECK: vandpd %ymm5, %ymm1, %ymm0
0xc4 0xc1 0x75 0x54 0xc5
# CHECK: vandps %ymm3, %ymm1, %ymm0
0xc5 0xf4 0x54 0xc3
# CHECK: vzeroall
0xc5 0xfc 0x77
# CHECK: vcvtps2pd %xmm0, %ymm0
0xc5 0xfc 0x5a 0xc0
# CHECK: vandps (%edx), %xmm1, %xmm7
0xc5 0xf0 0x54 0x3a
# CHECK: vcvtss2sil %xmm0, %eax
0xc5 0xfa 0x2d 0xc0
# CHECK: vcvtsd2si %xmm0, %eax
0xc5 0xfb 0x2d 0xc0
# CHECK: vcvtsd2si %xmm0, %eax
0xc4 0xe1 0x7b 0x2d 0xc0
# CHECK: vmaskmovpd %xmm0, %xmm1, (%eax)
0xc4 0xe2 0x71 0x2f 0x00
# CHECK: vmovapd %xmm0, %xmm2
0xc5 0xf9 0x28 0xd0
# Check these special case instructions that the immediate is not sign-extend.
# CHECK: blendps $129, %xmm2, %xmm1
0x66 0x0f 0x3a 0x0c 0xca 0x81
# CHECK: blendpd $129, %xmm2, %xmm1
0x66 0x0f 0x3a 0x0d 0xca 0x81
# CHECK: pblendw $129, %xmm2, %xmm1
0x66 0x0f 0x3a 0x0e 0xca 0x81
# CHECK: mpsadbw $129, %xmm2, %xmm1
0x66 0x0f 0x3a 0x42 0xca 0x81
# CHECK: dpps $129, %xmm2, %xmm1
0x66 0x0f 0x3a 0x40 0xca 0x81
# CHECK: dppd $129, %xmm2, %xmm1
0x66 0x0f 0x3a 0x41 0xca 0x81
# CHECK: insertps $129, %xmm2, %xmm1
0x66 0x0f 0x3a 0x21 0xca 0x81
# CHECK: vblendps $129, %ymm2, %ymm5, %ymm1
0xc4 0xe3 0x55 0x0c 0xca 0x81
# CHECK: vblendps $129, (%eax), %ymm5, %ymm1
0xc4 0xe3 0x55 0x0c 0x08 0x81
# CHECK: vblendpd $129, %ymm2, %ymm5, %ymm1
0xc4 0xe3 0x55 0x0d 0xca 0x81
# CHECK: vblendpd $129, (%eax), %ymm5, %ymm1
0xc4 0xe3 0x55 0x0d 0x08 0x81
# CHECK: vpblendw $129, %xmm2, %xmm5, %xmm1
0xc4 0xe3 0x51 0x0e 0xca 0x81
# CHECK: vmpsadbw $129, %xmm2, %xmm5, %xmm1
0xc4 0xe3 0x51 0x42 0xca 0x81
# CHECK: vdpps $129, %ymm2, %ymm5, %ymm1
0xc4 0xe3 0x55 0x40 0xca 0x81
# CHECK: vdpps $129, (%eax), %ymm5, %ymm1
0xc4 0xe3 0x55 0x40 0x08 0x81
# CHECK: vdppd $129, %xmm2, %xmm5, %xmm1
0xc4 0xe3 0x51 0x41 0xca 0x81
# CHECK: vinsertps $129, %xmm3, %xmm2, %xmm1
0xc4 0xe3 0x69 0x21 0xcb 0x81
# CHECK: pause
0xf3 0x90
# CHECK: addl %eax, %edi
0x01 0xc7
# CHECK: addl %edi, %eax
0x03 0xc7
# CHECK: movl %eax, %edi
0x89 0xc7
# CHECK: movl %edi, %eax
0x8b 0xc7
# CHECK: movups %xmm1, %xmm0
0x0f 0x10 0xc1
# CHECK: movups %xmm0, %xmm1
0x0f 0x11 0xc1
# CHECK: movaps %xmm1, %xmm0
0x0f 0x28 0xc1
# CHECK: movaps %xmm0, %xmm1
0x0f 0x29 0xc1
# CHECK: movupd %xmm1, %xmm0
0x66 0x0f 0x10 0xc1
# CHECK: movupd %xmm0, %xmm1
0x66 0x0f 0x11 0xc1
# CHECK: movapd %xmm1, %xmm0
0x66 0x0f 0x28 0xc1
# CHECK: movapd %xmm0, %xmm1
0x66 0x0f 0x29 0xc1
# CHECK: vmovups %xmm1, %xmm0
0xc5 0xf8 0x10 0xc1
# CHECK: vmovups %xmm0, %xmm1
0xc5 0xf8 0x11 0xc1
# CHECK: vmovaps %xmm1, %xmm0
0xc5 0xf8 0x28 0xc1
# CHECK: vmovaps %xmm0, %xmm1
0xc5 0xf8 0x29 0xc1
# CHECK: vmovupd %xmm1, %xmm0
0xc5 0xf9 0x10 0xc1
# CHECK: vmovupd %xmm0, %xmm1
0xc5 0xf9 0x11 0xc1
# CHECK: vmovapd %xmm1, %xmm0
0xc5 0xf9 0x28 0xc1
# CHECK: vmovapd %xmm0, %xmm1
0xc5 0xf9 0x29 0xc1
# CHECK: vmovups %ymm1, %ymm0
0xc5 0xfc 0x10 0xc1
# CHECK: vmovups %ymm0, %ymm1
0xc5 0xfc 0x11 0xc1
# CHECK: vmovaps %ymm1, %ymm0
0xc5 0xfc 0x28 0xc1
# CHECK: vmovaps %ymm0, %ymm1
0xc5 0xfc 0x29 0xc1
# CHECK: movdqa %xmm1, %xmm0
0x66 0x0f 0x6f 0xc1
# CHECK: movdqa %xmm0, %xmm1
0x66 0x0f 0x7f 0xc1
# CHECK: movdqu %xmm1, %xmm0
0xf3 0x0f 0x6f 0xc1
# CHECK: movdqu %xmm0, %xmm1
0xf3 0x0f 0x7f 0xc1
# CHECK: vmovdqa %xmm1, %xmm0
0xc5 0xf9 0x6f 0xc1
# CHECK: vmovdqa %xmm0, %xmm1
0xc5 0xf9 0x7f 0xc1
# CHECK: vmovdqa %ymm1, %ymm0
0xc5 0xfd 0x6f 0xc1
# CHECK: vmovdqa %ymm0, %ymm1
0xc5 0xfd 0x7f 0xc1
# CHECK: vmovdqu %xmm1, %xmm0
0xc5 0xfa 0x6f 0xc1
# CHECK: vmovdqu %xmm0, %xmm1
0xc5 0xfa 0x7f 0xc1
# CHECK: vmovdqu %ymm1, %ymm0
0xc5 0xfe 0x6f 0xc1
# CHECK: vmovdqu %ymm0, %ymm1
0xc5 0xfe 0x7f 0xc1
# CHECK: vblendvps %xmm4, %xmm1, %xmm2, %xmm3
0xc4 0xe3 0x69 0x4a 0xd9 0x41
# CHECK: vroundpd $0, %xmm0, %xmm0
0xc4 0xe3 0x79 0x09 0xc0 0x00
# CHECK: vroundps $0, %xmm0, %xmm0
0xc4 0xe3 0x79 0x08 0xc0 0x00
# CHECK: vroundpd $0, %ymm0, %ymm0
0xc4 0xe3 0x7d 0x09 0xc0 0x00
# CHECK: vroundps $0, %ymm0, %ymm0
0xc4 0xe3 0x7d 0x08 0xc0 0x00
# CHECK: vroundss $0, %xmm0, %xmm0, %xmm0
0xc4 0xe3 0x79 0x0a 0xc0 0x00
# CHECK: vroundsd $0, %xmm0, %xmm0, %xmm0
0xc4 0xe3 0x79 0x0b 0xc0 0x00
# CHECK: invept (%eax), %eax
0x66 0x0f 0x38 0x80 0x00
# CHECK: invvpid (%eax), %eax
0x66 0x0f 0x38 0x81 0x00
# CHECK: invpcid (%eax), %eax
0x66 0x0f 0x38 0x82 0x00
# CHECK: nop
0x90
# CHECK: addb $0, %al
0x04 0x00
# CHECK: addw $0, %ax
0x66 0x05 0x00 0x00
# CHECK: addl $0, %eax
0x05 0x00 0x00 0x00 0x00
# CHECK: adcb $0, %al
0x14 0x00
# CHECK: adcw $0, %ax
0x66 0x15 0x00 0x00
# CHECK: adcl $0, %eax
0x15 0x00 0x00 0x00 0x00
# CHECK: cmpb $0, %al
0x3c 0x00
# CHECK: cmpw $0, %ax
0x66 0x3d 0x00 0x00
# CHECK: cmpl $0, %eax
0x3d 0x00 0x00 0x00 0x00
# CHECK: testb $0, %al
0xa8 0x00
# CHECK: testw $0, %ax
0x66 0xa9 0x00 0x00
# CHECK: testl $0, %eax
0xa9 0x00 0x00 0x00 0x00
# CHECK: movb 0, %al
0xa0 0x00 0x00 0x00 0x00
# CHECK: movw 0, %ax
0x66 0xa1 0x00 0x00 0x00 0x00
# CHECK: movl 0, %eax
0xa1 0x00 0x00 0x00 0x00
# CHECK: movb %al, 0
0xa2 0x00 0x00 0x00 0x00
# CHECK: movw %ax, 0
0x66 0xa3 0x00 0x00 0x00 0x00
# CHECK: movl %eax, 0
0xa3 0x00 0x00 0x00 0x00
# CHECK: cmpordpd %xmm7, %xmm0
0x66 0x0f 0xc2 0xc7 0x07
# CHECK: cmpordps %xmm7, %xmm0
0x0f 0xc2 0xc7 0x07
# CHECK: cmpordsd %xmm7, %xmm0
0xf2 0x0f 0xc2 0xc7 0x07
# CHECK: cmpordss %xmm7, %xmm0
0xf3 0x0f 0xc2 0xc7 0x07
# CHECK: vaddps %xmm3, %xmm7, %xmm0
0xc4 0xe1 0x00 0x58 0xc3
# CHECK: movbel (%eax), %eax
0x0f 0x38 0xf0 0x00
# CHECK: movbel %eax, (%eax)
0x0f 0x38 0xf1 0x00
# CHECK: movbew (%eax), %ax
0x66 0x0f 0x38 0xf0 0x00
# CHECK: movbew %ax, (%eax)
0x66 0x0f 0x38 0xf1 0x00
# CHECK: rdrandw %ax
0x66 0x0f 0xc7 0xf0
# CHECK: rdrandl %eax
0x0f 0xc7 0xf0
# CHECK: vroundss $0, %xmm0, %xmm0, %xmm0
0xc4 0xe3 0x7d 0x0a 0xc0 0x00
# CHECK: vroundsd $0, %xmm0, %xmm0, %xmm0
0xc4 0xe3 0x7d 0x0b 0xc0 0x00
# CHECK: vcvtsd2si %xmm0, %eax
0xc4 0xe1 0x7f 0x2d 0xc0
# CHECK: vcvtsd2si %xmm0, %eax
0xc4 0xe1 0xff 0x2d 0xc0
# CHECK: vucomisd %xmm1, %xmm0
0xc5 0xfd 0x2e 0xc1
# CHECK: vucomiss %xmm1, %xmm0
0xc5 0xfc 0x2e 0xc1
# CHECK: vcomisd %xmm1, %xmm0
0xc5 0xfd 0x2f 0xc1
# CHECK: vcomiss %xmm1, %xmm0
0xc5 0xfc 0x2f 0xc1
# CHECK: vaddss %xmm1, %xmm0, %xmm0
0xc5 0xfe 0x58 0xc1
# CHECK: xsave (%eax)
0x0f 0xae 0x20
# CHECK: xrstor (%eax)
0x0f 0xae 0x28
# CHECK: xsaveopt (%eax)
0x0f 0xae 0x30
# CHECK: vcvtph2ps %xmm0, %xmm0
0xc4 0xe2 0x79 0x13 0xc0
# CHECK: vcvtph2ps (%eax), %xmm0
0xc4 0xe2 0x79 0x13 0x00
# CHECK: vcvtph2ps %xmm0, %ymm0
0xc4 0xe2 0x7d 0x13 0xc0
# CHECK: vcvtph2ps (%eax), %ymm0
0xc4 0xe2 0x7d 0x13 0x00
# CHECK: vcvtps2ph $0, %xmm0, %xmm0
0xc4 0xe3 0x79 0x1d 0xc0 0x00
# CHECK: vcvtps2ph $0, %xmm0, (%eax)
0xc4 0xe3 0x79 0x1d 0x00 0x00
# CHECK: vcvtps2ph $0, %ymm0, %xmm0
0xc4 0xe3 0x7d 0x1d 0xc0 0x00
# CHECK: vcvtps2ph $0, %ymm0, (%eax)
0xc4 0xe3 0x7d 0x1d 0x00 0x00
# CHECK: popcntl %eax, %eax
0xf3 0x0f 0xb8 0xc0
# CHECK: popcntw %ax, %ax
0x66 0xf3 0x0f 0xb8 0xc0
# CHECK: lzcntl %eax, %eax
0xf3 0x0f 0xbd 0xc0
# CHECK: lzcntw %ax, %ax
0x66 0xf3 0x0f 0xbd 0xc0
# CHECK: tzcntl %eax, %eax
0xf3 0x0f 0xbc 0xc0
# CHECK: tzcntw %ax, %ax
0x66 0xf3 0x0f 0xbc 0xc0
# CHECK: andnl %ecx, %edi, %eax
0xc4 0xe2 0x00 0xf2 0xc1
# CHECK: andnl (%eax), %edi, %eax
0xc4 0xe2 0x00 0xf2 0x00
# CHECK: andnl %ecx, %edi, %eax
0xc4 0xe2 0x80 0xf2 0xc1
# CHECK: andnl (%eax), %edi, %eax
0xc4 0xe2 0x80 0xf2 0x00
# CHECK: blsrl (%eax), %edi
0xc4 0xe2 0x40 0xf3 0x08
# CHECK: blsmskl (%eax), %edi
0xc4 0xe2 0x40 0xf3 0x10
# CHECK: blsil (%eax), %edi
0xc4 0xe2 0x40 0xf3 0x18
# CHECK: bextrl %esi, (%eax), %edx
0xc4 0xe2 0x08 0xf7 0x10
# CHECK: bextrl %esi, %ebx, %edx
0xc4 0xe2 0x08 0xf7 0xd3
# CHECK: bzhil %esi, (%eax), %edx
0xc4 0xe2 0x08 0xf5 0x10
# CHECK: bzhil %esi, %ebx, %edx
0xc4 0xe2 0x08 0xf5 0xd3
# CHECK: pextl %esp, %ecx, %edx
0xc4 0xe2 0x72 0xf5 0xd4
# CHECK: pextl (%eax), %ecx, %edx
0xc4 0xe2 0x72 0xf5 0x10
# CHECK: pdepl %esp, %ecx, %edx
0xc4 0xe2 0x73 0xf5 0xd4
# CHECK: pdepl (%eax), %ecx, %edx
0xc4 0xe2 0x73 0xf5 0x10
# CHECK: mulxl %esp, %ecx, %edx
0xc4 0xe2 0x73 0xf6 0xd4
# CHECK: mulxl (%eax), %ecx, %edx
0xc4 0xe2 0x73 0xf6 0x10
# CHECK: mulxl %esp, %ecx, %edx
0xc4 0xe2 0xf3 0xf6 0xd4
# CHECK: mulxl (%eax), %ecx, %edx
0xc4 0xe2 0xf3 0xf6 0x10
# CHECK: rorxl $1, %esp, %edx
0xc4 0xe3 0x7b 0xf0 0xd4 0x01
# CHECK: rorxl $31, (%eax), %edx
0xc4 0xe3 0x7b 0xf0 0x10 0x1f
# CHECK: shlxl %esi, (%eax), %edx
0xc4 0xe2 0x09 0xf7 0x10
# CHECK: shlxl %esi, %ebx, %edx
0xc4 0xe2 0x09 0xf7 0xd3
# CHECK: sarxl %esi, (%eax), %edx
0xc4 0xe2 0x0a 0xf7 0x10
# CHECK: sarxl %esi, %ebx, %edx
0xc4 0xe2 0x0a 0xf7 0xd3
# CHECK: shrxl %esi, (%eax), %edx
0xc4 0xe2 0x0b 0xf7 0x10
# CHECK: shrxl %esi, %ebx, %edx
0xc4 0xe2 0x0b 0xf7 0xd3
|