// RUN: llvm-mc -triple i686-unknown-unknown --show-encoding %s | FileCheck %s
// CHECK: aaddl %ebx, 268435456(%esp,%esi,8)
// CHECK: encoding: [0x0f,0x38,0xfc,0x9c,0xf4,0x00,0x00,0x00,0x10]
aaddl %ebx, 268435456(%esp,%esi,8)
// CHECK: aaddl %ebx, 291(%edi,%eax,4)
// CHECK: encoding: [0x0f,0x38,0xfc,0x9c,0x87,0x23,0x01,0x00,0x00]
aaddl %ebx, 291(%edi,%eax,4)
// CHECK: aaddl %ebx, (%eax)
// CHECK: encoding: [0x0f,0x38,0xfc,0x18]
aaddl %ebx, (%eax)
// CHECK: aaddl %ebx, -512(,%ebp,2)
// CHECK: encoding: [0x0f,0x38,0xfc,0x1c,0x6d,0x00,0xfe,0xff,0xff]
aaddl %ebx, -512(,%ebp,2)
// CHECK: aaddl %ebx, 2032(%ecx)
// CHECK: encoding: [0x0f,0x38,0xfc,0x99,0xf0,0x07,0x00,0x00]
aaddl %ebx, 2032(%ecx)
// CHECK: aaddl %ebx, -2048(%edx)
// CHECK: encoding: [0x0f,0x38,0xfc,0x9a,0x00,0xf8,0xff,0xff]
aaddl %ebx, -2048(%edx)
// CHECK: aandl %ebx, 268435456(%esp,%esi,8)
// CHECK: encoding: [0x66,0x0f,0x38,0xfc,0x9c,0xf4,0x00,0x00,0x00,0x10]
aandl %ebx, 268435456(%esp,%esi,8)
// CHECK: aandl %ebx, 291(%edi,%eax,4)
// CHECK: encoding: [0x66,0x0f,0x38,0xfc,0x9c,0x87,0x23,0x01,0x00,0x00]
aandl %ebx, 291(%edi,%eax,4)
// CHECK: aandl %ebx, (%eax)
// CHECK: encoding: [0x66,0x0f,0x38,0xfc,0x18]
aandl %ebx, (%eax)
// CHECK: aandl %ebx, -512(,%ebp,2)
// CHECK: encoding: [0x66,0x0f,0x38,0xfc,0x1c,0x6d,0x00,0xfe,0xff,0xff]
aandl %ebx, -512(,%ebp,2)
// CHECK: aandl %ebx, 2032(%ecx)
// CHECK: encoding: [0x66,0x0f,0x38,0xfc,0x99,0xf0,0x07,0x00,0x00]
aandl %ebx, 2032(%ecx)
// CHECK: aandl %ebx, -2048(%edx)
// CHECK: encoding: [0x66,0x0f,0x38,0xfc,0x9a,0x00,0xf8,0xff,0xff]
aandl %ebx, -2048(%edx)
// CHECK: aorl %ebx, 268435456(%esp,%esi,8)
// CHECK: encoding: [0xf2,0x0f,0x38,0xfc,0x9c,0xf4,0x00,0x00,0x00,0x10]
aorl %ebx, 268435456(%esp,%esi,8)
// CHECK: aorl %ebx, 291(%edi,%eax,4)
// CHECK: encoding: [0xf2,0x0f,0x38,0xfc,0x9c,0x87,0x23,0x01,0x00,0x00]
aorl %ebx, 291(%edi,%eax,4)
// CHECK: aorl %ebx, (%eax)
// CHECK: encoding: [0xf2,0x0f,0x38,0xfc,0x18]
aorl %ebx, (%eax)
// CHECK: aorl %ebx, -512(,%ebp,2)
// CHECK: encoding: [0xf2,0x0f,0x38,0xfc,0x1c,0x6d,0x00,0xfe,0xff,0xff]
aorl %ebx, -512(,%ebp,2)
// CHECK: aorl %ebx, 2032(%ecx)
// CHECK: encoding: [0xf2,0x0f,0x38,0xfc,0x99,0xf0,0x07,0x00,0x00]
aorl %ebx, 2032(%ecx)
// CHECK: aorl %ebx, -2048(%edx)
// CHECK: encoding: [0xf2,0x0f,0x38,0xfc,0x9a,0x00,0xf8,0xff,0xff]
aorl %ebx, -2048(%edx)
// CHECK: axorl %ebx, 268435456(%esp,%esi,8)
// CHECK: encoding: [0xf3,0x0f,0x38,0xfc,0x9c,0xf4,0x00,0x00,0x00,0x10]
axorl %ebx, 268435456(%esp,%esi,8)
// CHECK: axorl %ebx, 291(%edi,%eax,4)
// CHECK: encoding: [0xf3,0x0f,0x38,0xfc,0x9c,0x87,0x23,0x01,0x00,0x00]
axorl %ebx, 291(%edi,%eax,4)
// CHECK: axorl %ebx, (%eax)
// CHECK: encoding: [0xf3,0x0f,0x38,0xfc,0x18]
axorl %ebx, (%eax)
// CHECK: axorl %ebx, -512(,%ebp,2)
// CHECK: encoding: [0xf3,0x0f,0x38,0xfc,0x1c,0x6d,0x00,0xfe,0xff,0xff]
axorl %ebx, -512(,%ebp,2)
// CHECK: axorl %ebx, 2032(%ecx)
// CHECK: encoding: [0xf3,0x0f,0x38,0xfc,0x99,0xf0,0x07,0x00,0x00]
axorl %ebx, 2032(%ecx)
// CHECK: axorl %ebx, -2048(%edx)
// CHECK: encoding: [0xf3,0x0f,0x38,0xfc,0x9a,0x00,0xf8,0xff,0xff]
axorl %ebx, -2048(%edx)