llvm/llvm/test/MC/X86/KEYLOCKER/keylocker-att.s

// RUN: llvm-mc -triple i386-unknown-unknown --show-encoding %s | FileCheck %s

// CHECK:      aesdec128kl 268435456(%esp,%esi,8), %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xdd,0x94,0xf4,0x00,0x00,0x00,0x10]
               aesdec128kl 268435456(%esp,%esi,8), %xmm2

// CHECK:      aesdec128kl 291(%edi,%eax,4), %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xdd,0x94,0x87,0x23,0x01,0x00,0x00]
               aesdec128kl 291(%edi,%eax,4), %xmm2

// CHECK:      aesdec128kl (%eax), %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xdd,0x10]
               aesdec128kl (%eax), %xmm2

// CHECK:      aesdec128kl -1536(,%ebp,2), %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xdd,0x14,0x6d,0x00,0xfa,0xff,0xff]
               aesdec128kl -1536(,%ebp,2), %xmm2

// CHECK:      aesdec128kl 6096(%ecx), %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xdd,0x91,0xd0,0x17,0x00,0x00]
               aesdec128kl 6096(%ecx), %xmm2

// CHECK:      aesdec128kl -6144(%edx), %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xdd,0x92,0x00,0xe8,0xff,0xff]
               aesdec128kl -6144(%edx), %xmm2

// CHECK:      aesdec256kl  268435456(%esp,%esi,8), %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xdf,0x94,0xf4,0x00,0x00,0x00,0x10]
               aesdec256kl  268435456(%esp,%esi,8), %xmm2

// CHECK:      aesdec256kl  291(%edi,%eax,4), %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xdf,0x94,0x87,0x23,0x01,0x00,0x00]
               aesdec256kl  291(%edi,%eax,4), %xmm2

// CHECK:      aesdec256kl  (%eax), %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xdf,0x10]
               aesdec256kl  (%eax), %xmm2

// CHECK:      aesdec256kl  -2048(,%ebp,2), %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xdf,0x14,0x6d,0x00,0xf8,0xff,0xff]
               aesdec256kl  -2048(,%ebp,2), %xmm2

// CHECK:      aesdec256kl  8128(%ecx), %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xdf,0x91,0xc0,0x1f,0x00,0x00]
               aesdec256kl  8128(%ecx), %xmm2

// CHECK:      aesdec256kl  -8192(%edx), %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xdf,0x92,0x00,0xe0,0xff,0xff]
               aesdec256kl  -8192(%edx), %xmm2

// CHECK:      aesenc128kl 268435456(%esp,%esi,8), %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xdc,0x94,0xf4,0x00,0x00,0x00,0x10]
               aesenc128kl 268435456(%esp,%esi,8), %xmm2

// CHECK:      aesenc128kl 291(%edi,%eax,4), %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xdc,0x94,0x87,0x23,0x01,0x00,0x00]
               aesenc128kl 291(%edi,%eax,4), %xmm2

// CHECK:      aesenc128kl (%eax), %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xdc,0x10]
               aesenc128kl (%eax), %xmm2

// CHECK:      aesenc128kl -1536(,%ebp,2), %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xdc,0x14,0x6d,0x00,0xfa,0xff,0xff]
               aesenc128kl -1536(,%ebp,2), %xmm2

// CHECK:      aesenc128kl 6096(%ecx), %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xdc,0x91,0xd0,0x17,0x00,0x00]
               aesenc128kl 6096(%ecx), %xmm2

// CHECK:      aesenc128kl -6144(%edx), %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xdc,0x92,0x00,0xe8,0xff,0xff]
               aesenc128kl -6144(%edx), %xmm2

// CHECK:      aesenc256kl  268435456(%esp,%esi,8), %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xde,0x94,0xf4,0x00,0x00,0x00,0x10]
               aesenc256kl  268435456(%esp,%esi,8), %xmm2

// CHECK:      aesenc256kl  291(%edi,%eax,4), %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xde,0x94,0x87,0x23,0x01,0x00,0x00]
               aesenc256kl  291(%edi,%eax,4), %xmm2

// CHECK:      aesenc256kl  (%eax), %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xde,0x10]
               aesenc256kl  (%eax), %xmm2

// CHECK:      aesenc256kl  -2048(,%ebp,2), %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xde,0x14,0x6d,0x00,0xf8,0xff,0xff]
               aesenc256kl  -2048(,%ebp,2), %xmm2

// CHECK:      aesenc256kl  8128(%ecx), %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xde,0x91,0xc0,0x1f,0x00,0x00]
               aesenc256kl  8128(%ecx), %xmm2

// CHECK:      aesenc256kl  -8192(%edx), %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xde,0x92,0x00,0xe0,0xff,0xff]
               aesenc256kl  -8192(%edx), %xmm2

// CHECK:      encodekey128 %ecx, %ecx
// CHECK: encoding: [0xf3,0x0f,0x38,0xfa,0xc9]
               encodekey128 %ecx, %ecx

// CHECK:      encodekey256 %ecx, %ecx
// CHECK: encoding: [0xf3,0x0f,0x38,0xfb,0xc9]
               encodekey256 %ecx, %ecx

// CHECK:      loadiwkey %xmm3, %xmm2
// CHECK: encoding: [0xf3,0x0f,0x38,0xdc,0xd3]
               loadiwkey %xmm3, %xmm2

// CHECK:      aesdecwide128kl 268435456(%esp,%esi,8)
// CHECK: encoding: [0xf3,0x0f,0x38,0xd8,0x8c,0xf4,0x00,0x00,0x00,0x10]
               aesdecwide128kl 268435456(%esp,%esi,8)

// CHECK:      aesdecwide128kl 291(%edi,%eax,4)
// CHECK: encoding: [0xf3,0x0f,0x38,0xd8,0x8c,0x87,0x23,0x01,0x00,0x00]
               aesdecwide128kl 291(%edi,%eax,4)

// CHECK:      aesdecwide128kl (%eax)
// CHECK: encoding: [0xf3,0x0f,0x38,0xd8,0x08]
               aesdecwide128kl (%eax)

// CHECK:      aesdecwide128kl -1536(,%ebp,2)
// CHECK: encoding: [0xf3,0x0f,0x38,0xd8,0x0c,0x6d,0x00,0xfa,0xff,0xff]
               aesdecwide128kl -1536(,%ebp,2)

// CHECK:      aesdecwide128kl 6096(%ecx)
// CHECK: encoding: [0xf3,0x0f,0x38,0xd8,0x89,0xd0,0x17,0x00,0x00]
               aesdecwide128kl 6096(%ecx)

// CHECK:      aesdecwide128kl -6144(%edx)
// CHECK: encoding: [0xf3,0x0f,0x38,0xd8,0x8a,0x00,0xe8,0xff,0xff]
               aesdecwide128kl -6144(%edx)

// CHECK:      aesdecwide256kl  268435456(%esp,%esi,8)
// CHECK: encoding: [0xf3,0x0f,0x38,0xd8,0x9c,0xf4,0x00,0x00,0x00,0x10]
               aesdecwide256kl  268435456(%esp,%esi,8)

// CHECK:      aesdecwide256kl  291(%edi,%eax,4)
// CHECK: encoding: [0xf3,0x0f,0x38,0xd8,0x9c,0x87,0x23,0x01,0x00,0x00]
               aesdecwide256kl  291(%edi,%eax,4)

// CHECK:      aesdecwide256kl  (%eax)
// CHECK: encoding: [0xf3,0x0f,0x38,0xd8,0x18]
               aesdecwide256kl  (%eax)

// CHECK:      aesdecwide256kl  -2048(,%ebp,2)
// CHECK: encoding: [0xf3,0x0f,0x38,0xd8,0x1c,0x6d,0x00,0xf8,0xff,0xff]
               aesdecwide256kl  -2048(,%ebp,2)

// CHECK:      aesdecwide256kl  8128(%ecx)
// CHECK: encoding: [0xf3,0x0f,0x38,0xd8,0x99,0xc0,0x1f,0x00,0x00]
               aesdecwide256kl  8128(%ecx)

// CHECK:      aesdecwide256kl  -8192(%edx)
// CHECK: encoding: [0xf3,0x0f,0x38,0xd8,0x9a,0x00,0xe0,0xff,0xff]
               aesdecwide256kl  -8192(%edx)

// CHECK:      aesencwide128kl 268435456(%esp,%esi,8)
// CHECK: encoding: [0xf3,0x0f,0x38,0xd8,0x84,0xf4,0x00,0x00,0x00,0x10]
               aesencwide128kl 268435456(%esp,%esi,8)

// CHECK:      aesencwide128kl 291(%edi,%eax,4)
// CHECK: encoding: [0xf3,0x0f,0x38,0xd8,0x84,0x87,0x23,0x01,0x00,0x00]
               aesencwide128kl 291(%edi,%eax,4)

// CHECK:      aesencwide128kl (%eax)
// CHECK: encoding: [0xf3,0x0f,0x38,0xd8,0x00]
               aesencwide128kl (%eax)

// CHECK:      aesencwide128kl -1536(,%ebp,2)
// CHECK: encoding: [0xf3,0x0f,0x38,0xd8,0x04,0x6d,0x00,0xfa,0xff,0xff]
               aesencwide128kl -1536(,%ebp,2)

// CHECK:      aesencwide128kl 6096(%ecx)
// CHECK: encoding: [0xf3,0x0f,0x38,0xd8,0x81,0xd0,0x17,0x00,0x00]
               aesencwide128kl 6096(%ecx)

// CHECK:      aesencwide128kl -6144(%edx)
// CHECK: encoding: [0xf3,0x0f,0x38,0xd8,0x82,0x00,0xe8,0xff,0xff]
               aesencwide128kl -6144(%edx)

// CHECK:      aesencwide256kl  268435456(%esp,%esi,8)
// CHECK: encoding: [0xf3,0x0f,0x38,0xd8,0x94,0xf4,0x00,0x00,0x00,0x10]
               aesencwide256kl  268435456(%esp,%esi,8)

// CHECK:      aesencwide256kl  291(%edi,%eax,4)
// CHECK: encoding: [0xf3,0x0f,0x38,0xd8,0x94,0x87,0x23,0x01,0x00,0x00]
               aesencwide256kl  291(%edi,%eax,4)

// CHECK:      aesencwide256kl  (%eax)
// CHECK: encoding: [0xf3,0x0f,0x38,0xd8,0x10]
               aesencwide256kl  (%eax)

// CHECK:      aesencwide256kl  -2048(,%ebp,2)
// CHECK: encoding: [0xf3,0x0f,0x38,0xd8,0x14,0x6d,0x00,0xf8,0xff,0xff]
               aesencwide256kl  -2048(,%ebp,2)

// CHECK:      aesencwide256kl  8128(%ecx)
// CHECK: encoding: [0xf3,0x0f,0x38,0xd8,0x91,0xc0,0x1f,0x00,0x00]
               aesencwide256kl  8128(%ecx)

// CHECK:      aesencwide256kl  -8192(%edx)
// CHECK: encoding: [0xf3,0x0f,0x38,0xd8,0x92,0x00,0xe0,0xff,0xff]
               aesencwide256kl  -8192(%edx)