| # 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: 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: xend |
| 0x0f 0x01 0xd5 |
| |
| # CHECK: xabort $13 |
| 0xc6 0xf8 0x0d |
