# RUN: llvm-mc --disassemble %s -triple=x86_64 | FileCheck %s
# CHECK: loadiwkey       %xmm2, %xmm3
0xf3 0x0f 0x38 0xdc 0xda

# CHECK: loadiwkey       %xmm2, %xmm6
0xf3 0x0f 0x38 0xdc 0xf2

# CHECK: encodekey128       %eax, %ebx
0xf3 0x0f 0x38 0xfa 0xd8

# CHECK: encodekey128       %eax, %edx
0xf3 0x0f 0x38 0xfa 0xd0

# CHECK: encodekey256       %eax, %ebx
0xf3 0x0f 0x38 0xfb 0xd8

# CHECK: encodekey256       %eax, %edx
0xf3 0x0f 0x38 0xfb 0xd0

# CHECK: aesenc128kl     126(%rdx), %xmm2
0xf3 0x0f 0x38 0xdc 0x52 0x7e

# CHECK: aesdec128kl     126(%rdx), %xmm2
0xf3 0x0f 0x38 0xdd 0x52 0x7e

# CHECK: aesenc256kl     126(%rdx), %xmm2
0xf3 0x0f 0x38 0xde 0x52 0x7e

# CHECK: aesdec256kl     126(%rdx), %xmm2
0xf3 0x0f 0x38 0xdf 0x52 0x7e

# CHECK: aesencwide128kl       (%rbx)
0xf3 0x0f 0x38 0xd8 0x03

# CHECK: aesencwide128kl       126(%rdx)
0xf3 0x0f 0x38 0xd8 0x42 0x7e

# CHECK: aesdecwide128kl       (%rbx)
0xf3 0x0f 0x38 0xd8 0x0b

# CHECK: aesdecwide128kl       126(%rdx)
0xf3 0x0f 0x38 0xd8 0x4a 0x7e

# CHECK: aesencwide256kl (%rbx)
0xf3 0x0f 0x38 0xd8 0x13

# CHECK: aesencwide256kl 126(%rdx)
0xf3 0x0f 0x38 0xd8 0x52 0x7e

# CHECK: aesdecwide256kl (%rbx)
0xf3 0x0f 0x38 0xd8 0x1b

# CHECK: aesdecwide256kl 126(%rdx)
0xf3 0x0f 0x38 0xd8 0x5a 0x7e

# CHECK:      aesdec128kl 268435456(%rbp,%r14,8), %xmm6
0xf3,0x42,0x0f,0x38,0xdd,0xb4,0xf5,0x00,0x00,0x00,0x10

# CHECK:      aesdec128kl 291(%r8,%rax,4), %xmm6
0xf3,0x41,0x0f,0x38,0xdd,0xb4,0x80,0x23,0x01,0x00,0x00

# CHECK:      aesdec128kl (%rip), %xmm6
0xf3,0x0f,0x38,0xdd,0x35,0x00,0x00,0x00,0x00

# CHECK:      aesdec128kl -1536(,%rbp,2), %xmm6
0xf3,0x0f,0x38,0xdd,0x34,0x6d,0x00,0xfa,0xff,0xff

# CHECK:      aesdec128kl 6096(%rcx), %xmm6
0xf3,0x0f,0x38,0xdd,0xb1,0xd0,0x17,0x00,0x00

# CHECK:      aesdec128kl -6144(%rdx), %xmm6
0xf3,0x0f,0x38,0xdd,0xb2,0x00,0xe8,0xff,0xff

# CHECK:      aesdec256kl  268435456(%rbp,%r14,8), %xmm6
0xf3,0x42,0x0f,0x38,0xdf,0xb4,0xf5,0x00,0x00,0x00,0x10

# CHECK:      aesdec256kl  291(%r8,%rax,4), %xmm6
0xf3,0x41,0x0f,0x38,0xdf,0xb4,0x80,0x23,0x01,0x00,0x00

# CHECK:      aesdec256kl  (%rip), %xmm6
0xf3,0x0f,0x38,0xdf,0x35,0x00,0x00,0x00,0x00

# CHECK:      aesdec256kl  -2048(,%rbp,2), %xmm6
0xf3,0x0f,0x38,0xdf,0x34,0x6d,0x00,0xf8,0xff,0xff

# CHECK:      aesdec256kl  8128(%rcx), %xmm6
0xf3,0x0f,0x38,0xdf,0xb1,0xc0,0x1f,0x00,0x00

# CHECK:      aesdec256kl  -8192(%rdx), %xmm6
0xf3,0x0f,0x38,0xdf,0xb2,0x00,0xe0,0xff,0xff

# CHECK:      aesenc128kl 268435456(%rbp,%r14,8), %xmm6
0xf3,0x42,0x0f,0x38,0xdc,0xb4,0xf5,0x00,0x00,0x00,0x10

# CHECK:      aesenc128kl 291(%r8,%rax,4), %xmm6
0xf3,0x41,0x0f,0x38,0xdc,0xb4,0x80,0x23,0x01,0x00,0x00

# CHECK:      aesenc128kl (%rip), %xmm6
0xf3,0x0f,0x38,0xdc,0x35,0x00,0x00,0x00,0x00

# CHECK:      aesenc128kl -1536(,%rbp,2), %xmm6
0xf3,0x0f,0x38,0xdc,0x34,0x6d,0x00,0xfa,0xff,0xff

# CHECK:      aesenc128kl 6096(%rcx), %xmm6
0xf3,0x0f,0x38,0xdc,0xb1,0xd0,0x17,0x00,0x00

# CHECK:      aesenc128kl -6144(%rdx), %xmm6
0xf3,0x0f,0x38,0xdc,0xb2,0x00,0xe8,0xff,0xff

# CHECK:      aesenc256kl  268435456(%rbp,%r14,8), %xmm6
0xf3,0x42,0x0f,0x38,0xde,0xb4,0xf5,0x00,0x00,0x00,0x10

# CHECK:      aesenc256kl  291(%r8,%rax,4), %xmm6
0xf3,0x41,0x0f,0x38,0xde,0xb4,0x80,0x23,0x01,0x00,0x00

# CHECK:      aesenc256kl  (%rip), %xmm6
0xf3,0x0f,0x38,0xde,0x35,0x00,0x00,0x00,0x00

# CHECK:      aesenc256kl  -2048(,%rbp,2), %xmm6
0xf3,0x0f,0x38,0xde,0x34,0x6d,0x00,0xf8,0xff,0xff

# CHECK:      aesenc256kl  8128(%rcx), %xmm6
0xf3,0x0f,0x38,0xde,0xb1,0xc0,0x1f,0x00,0x00

# CHECK:      aesenc256kl  -8192(%rdx), %xmm6
0xf3,0x0f,0x38,0xde,0xb2,0x00,0xe0,0xff,0xff

# CHECK:      loadiwkey %xmm7, %xmm6
0xf3,0x0f,0x38,0xdc,0xf7

# CHECK:      aesdec128kl 268435456(%rbp,%r14,8), %xmm6
0xf3,0x42,0x0f,0x38,0xdd,0xb4,0xf5,0x00,0x00,0x00,0x10

# CHECK:      aesdec128kl 291(%r8,%rax,4), %xmm6
0xf3,0x41,0x0f,0x38,0xdd,0xb4,0x80,0x23,0x01,0x00,0x00

# CHECK:      aesdec128kl (%rip), %xmm6
0xf3,0x0f,0x38,0xdd,0x35,0x00,0x00,0x00,0x00

# CHECK:      aesdec128kl -1536(,%rbp,2), %xmm6
0xf3,0x0f,0x38,0xdd,0x34,0x6d,0x00,0xfa,0xff,0xff

# CHECK:      aesdec128kl 6096(%rcx), %xmm6
0xf3,0x0f,0x38,0xdd,0xb1,0xd0,0x17,0x00,0x00

# CHECK:      aesdec128kl -6144(%rdx), %xmm6
0xf3,0x0f,0x38,0xdd,0xb2,0x00,0xe8,0xff,0xff

# CHECK:      aesdec256kl  268435456(%rbp,%r14,8), %xmm6
0xf3,0x42,0x0f,0x38,0xdf,0xb4,0xf5,0x00,0x00,0x00,0x10

# CHECK:      aesdec256kl  291(%r8,%rax,4), %xmm6
0xf3,0x41,0x0f,0x38,0xdf,0xb4,0x80,0x23,0x01,0x00,0x00

# CHECK:      aesdec256kl  (%rip), %xmm6
0xf3,0x0f,0x38,0xdf,0x35,0x00,0x00,0x00,0x00

# CHECK:      aesdec256kl  -2048(,%rbp,2), %xmm6
0xf3,0x0f,0x38,0xdf,0x34,0x6d,0x00,0xf8,0xff,0xff

# CHECK:      aesdec256kl  8128(%rcx), %xmm6
0xf3,0x0f,0x38,0xdf,0xb1,0xc0,0x1f,0x00,0x00

# CHECK:      aesdec256kl  -8192(%rdx), %xmm6
0xf3,0x0f,0x38,0xdf,0xb2,0x00,0xe0,0xff,0xff

# CHECK:      aesenc128kl 268435456(%rbp,%r14,8), %xmm6
0xf3,0x42,0x0f,0x38,0xdc,0xb4,0xf5,0x00,0x00,0x00,0x10

# CHECK:      aesenc128kl 291(%r8,%rax,4), %xmm6
0xf3,0x41,0x0f,0x38,0xdc,0xb4,0x80,0x23,0x01,0x00,0x00

# CHECK:      aesenc128kl (%rip), %xmm6
0xf3,0x0f,0x38,0xdc,0x35,0x00,0x00,0x00,0x00

# CHECK:      aesenc128kl -1536(,%rbp,2), %xmm6
0xf3,0x0f,0x38,0xdc,0x34,0x6d,0x00,0xfa,0xff,0xff

# CHECK:      aesenc128kl 6096(%rcx), %xmm6
0xf3,0x0f,0x38,0xdc,0xb1,0xd0,0x17,0x00,0x00

# CHECK:      aesenc128kl -6144(%rdx), %xmm6
0xf3,0x0f,0x38,0xdc,0xb2,0x00,0xe8,0xff,0xff

# CHECK:      aesenc256kl  268435456(%rbp,%r14,8), %xmm6
0xf3,0x42,0x0f,0x38,0xde,0xb4,0xf5,0x00,0x00,0x00,0x10

# CHECK:      aesenc256kl  291(%r8,%rax,4), %xmm6
0xf3,0x41,0x0f,0x38,0xde,0xb4,0x80,0x23,0x01,0x00,0x00

# CHECK:      aesenc256kl  (%rip), %xmm6
0xf3,0x0f,0x38,0xde,0x35,0x00,0x00,0x00,0x00

# CHECK:      aesenc256kl  -2048(,%rbp,2), %xmm6
0xf3,0x0f,0x38,0xde,0x34,0x6d,0x00,0xf8,0xff,0xff

# CHECK:      aesenc256kl  8128(%rcx), %xmm6
0xf3,0x0f,0x38,0xde,0xb1,0xc0,0x1f,0x00,0x00

# CHECK:      aesenc256kl  -8192(%rdx), %xmm6
0xf3,0x0f,0x38,0xde,0xb2,0x00,0xe0,0xff,0xff

# CHECK:      loadiwkey %xmm7, %xmm6
0xf3,0x0f,0x38,0xdc,0xf7

# CHECK:      aesdecwide128kl 268435456(%rbp,%r14,8)
0xf3,0x42,0x0f,0x38,0xd8,0x8c,0xf5,0x00,0x00,0x00,0x10

# CHECK:      aesdecwide128kl 291(%r8,%rax,4)
0xf3,0x41,0x0f,0x38,0xd8,0x8c,0x80,0x23,0x01,0x00,0x00

# CHECK:      aesdecwide128kl (%rip)
0xf3,0x0f,0x38,0xd8,0x0d,0x00,0x00,0x00,0x00

# CHECK:      aesdecwide128kl -1536(,%rbp,2)
0xf3,0x0f,0x38,0xd8,0x0c,0x6d,0x00,0xfa,0xff,0xff

# CHECK:      aesdecwide128kl 6096(%rcx)
0xf3,0x0f,0x38,0xd8,0x89,0xd0,0x17,0x00,0x00

# CHECK:      aesdecwide128kl -6144(%rdx)
0xf3,0x0f,0x38,0xd8,0x8a,0x00,0xe8,0xff,0xff

# CHECK:      aesdecwide256kl  268435456(%rbp,%r14,8)
0xf3,0x42,0x0f,0x38,0xd8,0x9c,0xf5,0x00,0x00,0x00,0x10

# CHECK:      aesdecwide256kl  291(%r8,%rax,4)
0xf3,0x41,0x0f,0x38,0xd8,0x9c,0x80,0x23,0x01,0x00,0x00

# CHECK:      aesdecwide256kl  (%rip)
0xf3,0x0f,0x38,0xd8,0x1d,0x00,0x00,0x00,0x00

# CHECK:      aesdecwide256kl  -2048(,%rbp,2)
0xf3,0x0f,0x38,0xd8,0x1c,0x6d,0x00,0xf8,0xff,0xff

# CHECK:      aesdecwide256kl  8128(%rcx)
0xf3,0x0f,0x38,0xd8,0x99,0xc0,0x1f,0x00,0x00

# CHECK:      aesdecwide256kl  -8192(%rdx)
0xf3,0x0f,0x38,0xd8,0x9a,0x00,0xe0,0xff,0xff

# CHECK:      aesencwide128kl 268435456(%rbp,%r14,8)
0xf3,0x42,0x0f,0x38,0xd8,0x84,0xf5,0x00,0x00,0x00,0x10

# CHECK:      aesencwide128kl 291(%r8,%rax,4)
0xf3,0x41,0x0f,0x38,0xd8,0x84,0x80,0x23,0x01,0x00,0x00

# CHECK:      aesencwide128kl (%rip)
0xf3,0x0f,0x38,0xd8,0x05,0x00,0x00,0x00,0x00

# CHECK:      aesencwide128kl -1536(,%rbp,2)
0xf3,0x0f,0x38,0xd8,0x04,0x6d,0x00,0xfa,0xff,0xff

# CHECK:      aesencwide128kl 6096(%rcx)
0xf3,0x0f,0x38,0xd8,0x81,0xd0,0x17,0x00,0x00

# CHECK:      aesencwide128kl -6144(%rdx)
0xf3,0x0f,0x38,0xd8,0x82,0x00,0xe8,0xff,0xff

# CHECK:      aesencwide256kl  268435456(%rbp,%r14,8)
0xf3,0x42,0x0f,0x38,0xd8,0x94,0xf5,0x00,0x00,0x00,0x10

# CHECK:      aesencwide256kl  291(%r8,%rax,4)
0xf3,0x41,0x0f,0x38,0xd8,0x94,0x80,0x23,0x01,0x00,0x00

# CHECK:      aesencwide256kl  (%rip)
0xf3,0x0f,0x38,0xd8,0x15,0x00,0x00,0x00,0x00

# CHECK:      aesencwide256kl  -2048(,%rbp,2)
0xf3,0x0f,0x38,0xd8,0x14,0x6d,0x00,0xf8,0xff,0xff

# CHECK:      aesencwide256kl  8128(%rcx)
0xf3,0x0f,0x38,0xd8,0x91,0xc0,0x1f,0x00,0x00

# CHECK:      aesencwide256kl  -8192(%rdx)
0xf3,0x0f,0x38,0xd8,0x92,0x00,0xe0,0xff,0xff