# 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