# 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

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

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

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

# CHECK: clac
0x0f 0x01 0xca

# CHECK: stac
0x0f 0x01 0xcb
