1# RUN: llvm-mc --disassemble %s -triple=x86_64 | FileCheck %s 2 3# Coverage 4 5# CHECK: vcmptrue_usps 60xc5 0x04 0xc2 0xc7 0x1f 7 8# CHECK: vcmptrue_uspd 90xc5 0x05 0xc2 0xc7 0x1f 10 11# CHECK: vcmptrue_usss 120xc5 0x06 0xc2 0xc7 0x1f 13 14# CHECK: vcmptrue_ussd 150xc5 0x07 0xc2 0xc7 0x1f 16 17# CHECK: vcmpeq_uqps 180xc5 0x04 0xc2 0xc7 0x08 19 20# CHECK: vcmpeq_uqpd 210xc5 0x05 0xc2 0xc7 0x08 22 23# CHECK: vcmpeq_uqss 240xc5 0x06 0xc2 0xc7 0x08 25 26# CHECK: vcmpeq_uqsd 270xc5 0x07 0xc2 0xc7 0x08 28 29# CHECK: vcmpeqps 300xc5 0x04 0xc2 0xc7 0x00 31 32# CHECK: vcmpeqpd 330xc5 0x05 0xc2 0xc7 0x00 34 35# CHECK: vcmpeqss 360xc5 0x06 0xc2 0xc7 0x00 37 38# CHECK: vcmpeqsd 390xc5 0x07 0xc2 0xc7 0x00 40 41# CHECK: cmpeqps 420x0f 0xc2 0xc7 0x00 43 44# CHECK: cmpeqpd 450x66 0x0f 0xc2 0xc7 0x00 46 47# CHECK: cmpeqss 480xf3 0x0f 0xc2 0xc7 0x00 49 50# CHECK: cmpeqsd 510xf2 0x0f 0xc2 0xc7 0x00 52 53# CHECK: cmpordps 540x0f 0xc2 0xc7 0x07 55 56# CHECK: cmpordpd 570x66 0x0f 0xc2 0xc7 0x07 58 59# CHECK: cmpordss 600xf3 0x0f 0xc2 0xc7 0x07 61 62# CHECK: cmpordsd 630xf2 0x0f 0xc2 0xc7 0x07 64 65# CHECK: extrq $2, $3, %xmm0 660x66 0x0f 0x78 0xc0 0x03 0x02 67 68# CHECK: extrq %xmm1, %xmm0 690x66 0x0f 0x79 0xc1 70 71# CHECK: insertq $6, $5, %xmm1, %xmm0 720xf2 0x0f 0x78 0xc1 0x05 0x06 73 74# CHECK: insertq %xmm1, %xmm0 750xf2 0x0f 0x79 0xc1 76 77# CHECK: movntsd %xmm0, (%rdi) 780xf2 0x0f 0x2b 0x07 79 80# CHECK: movntss %xmm0, (%rdi) 810xf3 0x0f 0x2b 0x07 82 83# CHECK: adcxl %eax, %eax 840x66 0x0f 0x38 0xf6 0xc0 85 86# CHECK: adcxl (%rax), %eax 870x66 0x0f 0x38 0xf6 0x00 88 89# CHECK: adcxq %rax, %rax 900x66 0x48 0x0f 0x38 0xf6 0xc0 91 92# CHECK: adcxq (%rax), %rax 930x66 0x48 0x0f 0x38 0xf6 0x00 94 95# CHECK: adoxl %eax, %eax 960xf3 0x0f 0x38 0xf6 0xc0 97 98# CHECK: adoxl (%rax), %eax 990xf3 0x0f 0x38 0xf6 0x00 100 101# CHECK: adoxq %rax, %rax 1020xf3 0x48 0x0f 0x38 0xf6 0xc0 103 104# CHECK: adoxq (%rax), %rax 1050xf3 0x48 0x0f 0x38 0xf6 0x00 106 107# CHECK: xbegin 53 1080xc7 0xf8 0x35 0x00 0x00 0x00 109 110# CHECK: xend 1110x0f 0x01 0xd5 112 113# CHECK: xabort $13 1140xc6 0xf8 0x0d 115