// RUN: llvm-mc -triple x86_64 --show-encoding %s | FileCheck %s
// RUN: not llvm-mc -triple i386 -show-encoding %s 2>&1 | FileCheck %s --check-prefix=ERROR
// ERROR-COUNT-193: error:
// ERROR-NOT: error:
// CHECK: cmpbexadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0xa2,0x79,0xe6,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpbexadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: cmpbexadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0xc2,0x79,0xe6,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpbexadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: cmpbexadd %eax, %ecx, (%rip)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe6,0x0d,0x00,0x00,0x00,0x00]
cmpbexadd %eax, %ecx, (%rip)
// CHECK: cmpbexadd %eax, %ecx, -128(,%rbp,2)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe6,0x0c,0x6d,0x80,0xff,0xff,0xff]
cmpbexadd %eax, %ecx, -128(,%rbp,2)
// CHECK: cmpbexadd %eax, %ecx, 508(%rcx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe6,0x89,0xfc,0x01,0x00,0x00]
cmpbexadd %eax, %ecx, 508(%rcx)
// CHECK: cmpbexadd %eax, %ecx, -512(%edx)
// CHECK: encoding: [0x67,0xc4,0xe2,0x79,0xe6,0x8a,0x00,0xfe,0xff,0xff]
cmpbexadd %eax, %ecx, -512(%edx)
// CHECK: cmpbexadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0x22,0xa9,0xe6,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpbexadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: cmpbexadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0x42,0xa9,0xe6,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpbexadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: cmpbexadd %r10, %r9, (%rip)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe6,0x0d,0x00,0x00,0x00,0x00]
cmpbexadd %r10, %r9, (%rip)
// CHECK: cmpbexadd %r10, %r9, -256(,%rbp,2)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe6,0x0c,0x6d,0x00,0xff,0xff,0xff]
cmpbexadd %r10, %r9, -256(,%rbp,2)
// CHECK: cmpbexadd %r10, %r9, 1016(%rcx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe6,0x89,0xf8,0x03,0x00,0x00]
cmpbexadd %r10, %r9, 1016(%rcx)
// CHECK: cmpbexadd %r10, %r9, -1024(%rdx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe6,0x8a,0x00,0xfc,0xff,0xff]
cmpbexadd %r10, %r9, -1024(%rdx)
// CHECK: cmpbxadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0xa2,0x79,0xe2,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpbxadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: cmpbxadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0xc2,0x79,0xe2,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpbxadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: cmpbxadd %eax, %ecx, (%rip)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe2,0x0d,0x00,0x00,0x00,0x00]
cmpbxadd %eax, %ecx, (%rip)
// CHECK: cmpbxadd %eax, %ecx, -128(,%rbp,2)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe2,0x0c,0x6d,0x80,0xff,0xff,0xff]
cmpbxadd %eax, %ecx, -128(,%rbp,2)
// CHECK: cmpbxadd %eax, %ecx, 508(%rcx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe2,0x89,0xfc,0x01,0x00,0x00]
cmpbxadd %eax, %ecx, 508(%rcx)
// CHECK: cmpbxadd %eax, %ecx, -512(%rdx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe2,0x8a,0x00,0xfe,0xff,0xff]
cmpbxadd %eax, %ecx, -512(%rdx)
// CHECK: cmpbxadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0x22,0xa9,0xe2,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpbxadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: cmpbxadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0x42,0xa9,0xe2,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpbxadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: cmpbxadd %r10, %r9, (%rip)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe2,0x0d,0x00,0x00,0x00,0x00]
cmpbxadd %r10, %r9, (%rip)
// CHECK: cmpbxadd %r10, %r9, -256(,%rbp,2)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe2,0x0c,0x6d,0x00,0xff,0xff,0xff]
cmpbxadd %r10, %r9, -256(,%rbp,2)
// CHECK: cmpbxadd %r10, %r9, 1016(%rcx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe2,0x89,0xf8,0x03,0x00,0x00]
cmpbxadd %r10, %r9, 1016(%rcx)
// CHECK: cmpbxadd %r10, %r9, -1024(%rdx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe2,0x8a,0x00,0xfc,0xff,0xff]
cmpbxadd %r10, %r9, -1024(%rdx)
// CHECK: cmplexadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0xa2,0x79,0xee,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmplexadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: cmplexadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0xc2,0x79,0xee,0x8c,0x80,0x23,0x01,0x00,0x00]
cmplexadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: cmplexadd %eax, %ecx, (%rip)
// CHECK: encoding: [0xc4,0xe2,0x79,0xee,0x0d,0x00,0x00,0x00,0x00]
cmplexadd %eax, %ecx, (%rip)
// CHECK: cmplexadd %eax, %ecx, -128(,%rbp,2)
// CHECK: encoding: [0xc4,0xe2,0x79,0xee,0x0c,0x6d,0x80,0xff,0xff,0xff]
cmplexadd %eax, %ecx, -128(,%rbp,2)
// CHECK: cmplexadd %eax, %ecx, 508(%rcx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xee,0x89,0xfc,0x01,0x00,0x00]
cmplexadd %eax, %ecx, 508(%rcx)
// CHECK: cmplexadd %eax, %ecx, -512(%rdx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xee,0x8a,0x00,0xfe,0xff,0xff]
cmplexadd %eax, %ecx, -512(%rdx)
// CHECK: cmplexadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0x22,0xa9,0xee,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmplexadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: cmplexadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0x42,0xa9,0xee,0x8c,0x80,0x23,0x01,0x00,0x00]
cmplexadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: cmplexadd %r10, %r9, (%rip)
// CHECK: encoding: [0xc4,0x62,0xa9,0xee,0x0d,0x00,0x00,0x00,0x00]
cmplexadd %r10, %r9, (%rip)
// CHECK: cmplexadd %r10, %r9, -256(,%rbp,2)
// CHECK: encoding: [0xc4,0x62,0xa9,0xee,0x0c,0x6d,0x00,0xff,0xff,0xff]
cmplexadd %r10, %r9, -256(,%rbp,2)
// CHECK: cmplexadd %r10, %r9, 1016(%rcx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xee,0x89,0xf8,0x03,0x00,0x00]
cmplexadd %r10, %r9, 1016(%rcx)
// CHECK: cmplexadd %r10, %r9, -1024(%rdx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xee,0x8a,0x00,0xfc,0xff,0xff]
cmplexadd %r10, %r9, -1024(%rdx)
// CHECK: cmplxadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0xa2,0x79,0xec,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmplxadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: cmplxadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0xc2,0x79,0xec,0x8c,0x80,0x23,0x01,0x00,0x00]
cmplxadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: cmplxadd %eax, %ecx, (%rip)
// CHECK: encoding: [0xc4,0xe2,0x79,0xec,0x0d,0x00,0x00,0x00,0x00]
cmplxadd %eax, %ecx, (%rip)
// CHECK: cmplxadd %eax, %ecx, -128(,%rbp,2)
// CHECK: encoding: [0xc4,0xe2,0x79,0xec,0x0c,0x6d,0x80,0xff,0xff,0xff]
cmplxadd %eax, %ecx, -128(,%rbp,2)
// CHECK: cmplxadd %eax, %ecx, 508(%rcx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xec,0x89,0xfc,0x01,0x00,0x00]
cmplxadd %eax, %ecx, 508(%rcx)
// CHECK: cmplxadd %eax, %ecx, -512(%rdx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xec,0x8a,0x00,0xfe,0xff,0xff]
cmplxadd %eax, %ecx, -512(%rdx)
// CHECK: cmplxadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0x22,0xa9,0xec,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmplxadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: cmplxadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0x42,0xa9,0xec,0x8c,0x80,0x23,0x01,0x00,0x00]
cmplxadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: cmplxadd %r10, %r9, (%rip)
// CHECK: encoding: [0xc4,0x62,0xa9,0xec,0x0d,0x00,0x00,0x00,0x00]
cmplxadd %r10, %r9, (%rip)
// CHECK: cmplxadd %r10, %r9, -256(,%rbp,2)
// CHECK: encoding: [0xc4,0x62,0xa9,0xec,0x0c,0x6d,0x00,0xff,0xff,0xff]
cmplxadd %r10, %r9, -256(,%rbp,2)
// CHECK: cmplxadd %r10, %r9, 1016(%rcx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xec,0x89,0xf8,0x03,0x00,0x00]
cmplxadd %r10, %r9, 1016(%rcx)
// CHECK: cmplxadd %r10, %r9, -1024(%rdx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xec,0x8a,0x00,0xfc,0xff,0xff]
cmplxadd %r10, %r9, -1024(%rdx)
// CHECK: cmpaxadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0xa2,0x79,0xe7,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpaxadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: cmpaxadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0xc2,0x79,0xe7,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpaxadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: cmpaxadd %eax, %ecx, (%rip)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe7,0x0d,0x00,0x00,0x00,0x00]
cmpaxadd %eax, %ecx, (%rip)
// CHECK: cmpaxadd %eax, %ecx, -128(,%rbp,2)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe7,0x0c,0x6d,0x80,0xff,0xff,0xff]
cmpaxadd %eax, %ecx, -128(,%rbp,2)
// CHECK: cmpaxadd %eax, %ecx, 508(%rcx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe7,0x89,0xfc,0x01,0x00,0x00]
cmpaxadd %eax, %ecx, 508(%rcx)
// CHECK: cmpaxadd %eax, %ecx, -512(%rdx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe7,0x8a,0x00,0xfe,0xff,0xff]
cmpaxadd %eax, %ecx, -512(%rdx)
// CHECK: cmpaxadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0x22,0xa9,0xe7,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpaxadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: cmpaxadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0x42,0xa9,0xe7,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpaxadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: cmpaxadd %r10, %r9, (%rip)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe7,0x0d,0x00,0x00,0x00,0x00]
cmpaxadd %r10, %r9, (%rip)
// CHECK: cmpaxadd %r10, %r9, -256(,%rbp,2)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe7,0x0c,0x6d,0x00,0xff,0xff,0xff]
cmpaxadd %r10, %r9, -256(,%rbp,2)
// CHECK: cmpaxadd %r10, %r9, 1016(%rcx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe7,0x89,0xf8,0x03,0x00,0x00]
cmpaxadd %r10, %r9, 1016(%rcx)
// CHECK: cmpaxadd %r10, %r9, -1024(%rdx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe7,0x8a,0x00,0xfc,0xff,0xff]
cmpaxadd %r10, %r9, -1024(%rdx)
// CHECK: cmpaexadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0xa2,0x79,0xe3,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpaexadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: cmpaexadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0xc2,0x79,0xe3,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpaexadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: cmpaexadd %eax, %ecx, (%rip)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe3,0x0d,0x00,0x00,0x00,0x00]
cmpaexadd %eax, %ecx, (%rip)
// CHECK: cmpaexadd %eax, %ecx, -128(,%rbp,2)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe3,0x0c,0x6d,0x80,0xff,0xff,0xff]
cmpaexadd %eax, %ecx, -128(,%rbp,2)
// CHECK: cmpaexadd %eax, %ecx, 508(%rcx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe3,0x89,0xfc,0x01,0x00,0x00]
cmpaexadd %eax, %ecx, 508(%rcx)
// CHECK: cmpaexadd %eax, %ecx, -512(%rdx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe3,0x8a,0x00,0xfe,0xff,0xff]
cmpaexadd %eax, %ecx, -512(%rdx)
// CHECK: cmpaexadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0x22,0xa9,0xe3,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpaexadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: cmpaexadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0x42,0xa9,0xe3,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpaexadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: cmpaexadd %r10, %r9, (%rip)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe3,0x0d,0x00,0x00,0x00,0x00]
cmpaexadd %r10, %r9, (%rip)
// CHECK: cmpaexadd %r10, %r9, -256(,%rbp,2)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe3,0x0c,0x6d,0x00,0xff,0xff,0xff]
cmpaexadd %r10, %r9, -256(,%rbp,2)
// CHECK: cmpaexadd %r10, %r9, 1016(%rcx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe3,0x89,0xf8,0x03,0x00,0x00]
cmpaexadd %r10, %r9, 1016(%rcx)
// CHECK: cmpaexadd %r10, %r9, -1024(%rdx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe3,0x8a,0x00,0xfc,0xff,0xff]
cmpaexadd %r10, %r9, -1024(%rdx)
// CHECK: cmpgxadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0xa2,0x79,0xef,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpgxadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: cmpgxadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0xc2,0x79,0xef,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpgxadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: cmpgxadd %eax, %ecx, (%rip)
// CHECK: encoding: [0xc4,0xe2,0x79,0xef,0x0d,0x00,0x00,0x00,0x00]
cmpgxadd %eax, %ecx, (%rip)
// CHECK: cmpgxadd %eax, %ecx, -128(,%rbp,2)
// CHECK: encoding: [0xc4,0xe2,0x79,0xef,0x0c,0x6d,0x80,0xff,0xff,0xff]
cmpgxadd %eax, %ecx, -128(,%rbp,2)
// CHECK: cmpgxadd %eax, %ecx, 508(%rcx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xef,0x89,0xfc,0x01,0x00,0x00]
cmpgxadd %eax, %ecx, 508(%rcx)
// CHECK: cmpgxadd %eax, %ecx, -512(%rdx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xef,0x8a,0x00,0xfe,0xff,0xff]
cmpgxadd %eax, %ecx, -512(%rdx)
// CHECK: cmpgxadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0x22,0xa9,0xef,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpgxadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: cmpgxadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0x42,0xa9,0xef,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpgxadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: cmpgxadd %r10, %r9, (%rip)
// CHECK: encoding: [0xc4,0x62,0xa9,0xef,0x0d,0x00,0x00,0x00,0x00]
cmpgxadd %r10, %r9, (%rip)
// CHECK: cmpgxadd %r10, %r9, -256(,%rbp,2)
// CHECK: encoding: [0xc4,0x62,0xa9,0xef,0x0c,0x6d,0x00,0xff,0xff,0xff]
cmpgxadd %r10, %r9, -256(,%rbp,2)
// CHECK: cmpgxadd %r10, %r9, 1016(%rcx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xef,0x89,0xf8,0x03,0x00,0x00]
cmpgxadd %r10, %r9, 1016(%rcx)
// CHECK: cmpgxadd %r10, %r9, -1024(%rdx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xef,0x8a,0x00,0xfc,0xff,0xff]
cmpgxadd %r10, %r9, -1024(%rdx)
// CHECK: cmpgexadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0xa2,0x79,0xed,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpgexadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: cmpgexadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0xc2,0x79,0xed,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpgexadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: cmpgexadd %eax, %ecx, (%rip)
// CHECK: encoding: [0xc4,0xe2,0x79,0xed,0x0d,0x00,0x00,0x00,0x00]
cmpgexadd %eax, %ecx, (%rip)
// CHECK: cmpgexadd %eax, %ecx, -128(,%rbp,2)
// CHECK: encoding: [0xc4,0xe2,0x79,0xed,0x0c,0x6d,0x80,0xff,0xff,0xff]
cmpgexadd %eax, %ecx, -128(,%rbp,2)
// CHECK: cmpgexadd %eax, %ecx, 508(%rcx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xed,0x89,0xfc,0x01,0x00,0x00]
cmpgexadd %eax, %ecx, 508(%rcx)
// CHECK: cmpgexadd %eax, %ecx, -512(%rdx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xed,0x8a,0x00,0xfe,0xff,0xff]
cmpgexadd %eax, %ecx, -512(%rdx)
// CHECK: cmpgexadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0x22,0xa9,0xed,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpgexadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: cmpgexadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0x42,0xa9,0xed,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpgexadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: cmpgexadd %r10, %r9, (%rip)
// CHECK: encoding: [0xc4,0x62,0xa9,0xed,0x0d,0x00,0x00,0x00,0x00]
cmpgexadd %r10, %r9, (%rip)
// CHECK: cmpgexadd %r10, %r9, -256(,%rbp,2)
// CHECK: encoding: [0xc4,0x62,0xa9,0xed,0x0c,0x6d,0x00,0xff,0xff,0xff]
cmpgexadd %r10, %r9, -256(,%rbp,2)
// CHECK: cmpgexadd %r10, %r9, 1016(%rcx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xed,0x89,0xf8,0x03,0x00,0x00]
cmpgexadd %r10, %r9, 1016(%rcx)
// CHECK: cmpgexadd %r10, %r9, -1024(%rdx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xed,0x8a,0x00,0xfc,0xff,0xff]
cmpgexadd %r10, %r9, -1024(%rdx)
// CHECK: cmpnoxadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0xa2,0x79,0xe1,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpnoxadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: cmpnoxadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0xc2,0x79,0xe1,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpnoxadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: cmpnoxadd %eax, %ecx, (%rip)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe1,0x0d,0x00,0x00,0x00,0x00]
cmpnoxadd %eax, %ecx, (%rip)
// CHECK: cmpnoxadd %eax, %ecx, -128(,%rbp,2)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe1,0x0c,0x6d,0x80,0xff,0xff,0xff]
cmpnoxadd %eax, %ecx, -128(,%rbp,2)
// CHECK: cmpnoxadd %eax, %ecx, 508(%rcx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe1,0x89,0xfc,0x01,0x00,0x00]
cmpnoxadd %eax, %ecx, 508(%rcx)
// CHECK: cmpnoxadd %eax, %ecx, -512(%rdx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe1,0x8a,0x00,0xfe,0xff,0xff]
cmpnoxadd %eax, %ecx, -512(%rdx)
// CHECK: cmpnoxadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0x22,0xa9,0xe1,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpnoxadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: cmpnoxadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0x42,0xa9,0xe1,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpnoxadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: cmpnoxadd %r10, %r9, (%rip)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe1,0x0d,0x00,0x00,0x00,0x00]
cmpnoxadd %r10, %r9, (%rip)
// CHECK: cmpnoxadd %r10, %r9, -256(,%rbp,2)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe1,0x0c,0x6d,0x00,0xff,0xff,0xff]
cmpnoxadd %r10, %r9, -256(,%rbp,2)
// CHECK: cmpnoxadd %r10, %r9, 1016(%rcx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe1,0x89,0xf8,0x03,0x00,0x00]
cmpnoxadd %r10, %r9, 1016(%rcx)
// CHECK: cmpnoxadd %r10, %r9, -1024(%rdx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe1,0x8a,0x00,0xfc,0xff,0xff]
cmpnoxadd %r10, %r9, -1024(%rdx)
// CHECK: cmpnpxadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0xa2,0x79,0xeb,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpnpxadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: cmpnpxadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0xc2,0x79,0xeb,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpnpxadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: cmpnpxadd %eax, %ecx, (%rip)
// CHECK: encoding: [0xc4,0xe2,0x79,0xeb,0x0d,0x00,0x00,0x00,0x00]
cmpnpxadd %eax, %ecx, (%rip)
// CHECK: cmpnpxadd %eax, %ecx, -128(,%rbp,2)
// CHECK: encoding: [0xc4,0xe2,0x79,0xeb,0x0c,0x6d,0x80,0xff,0xff,0xff]
cmpnpxadd %eax, %ecx, -128(,%rbp,2)
// CHECK: cmpnpxadd %eax, %ecx, 508(%rcx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xeb,0x89,0xfc,0x01,0x00,0x00]
cmpnpxadd %eax, %ecx, 508(%rcx)
// CHECK: cmpnpxadd %eax, %ecx, -512(%rdx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xeb,0x8a,0x00,0xfe,0xff,0xff]
cmpnpxadd %eax, %ecx, -512(%rdx)
// CHECK: cmpnpxadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0x22,0xa9,0xeb,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpnpxadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: cmpnpxadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0x42,0xa9,0xeb,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpnpxadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: cmpnpxadd %r10, %r9, (%rip)
// CHECK: encoding: [0xc4,0x62,0xa9,0xeb,0x0d,0x00,0x00,0x00,0x00]
cmpnpxadd %r10, %r9, (%rip)
// CHECK: cmpnpxadd %r10, %r9, -256(,%rbp,2)
// CHECK: encoding: [0xc4,0x62,0xa9,0xeb,0x0c,0x6d,0x00,0xff,0xff,0xff]
cmpnpxadd %r10, %r9, -256(,%rbp,2)
// CHECK: cmpnpxadd %r10, %r9, 1016(%rcx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xeb,0x89,0xf8,0x03,0x00,0x00]
cmpnpxadd %r10, %r9, 1016(%rcx)
// CHECK: cmpnpxadd %r10, %r9, -1024(%rdx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xeb,0x8a,0x00,0xfc,0xff,0xff]
cmpnpxadd %r10, %r9, -1024(%rdx)
// CHECK: cmpnsxadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0xa2,0x79,0xe9,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpnsxadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: cmpnsxadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0xc2,0x79,0xe9,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpnsxadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: cmpnsxadd %eax, %ecx, (%rip)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe9,0x0d,0x00,0x00,0x00,0x00]
cmpnsxadd %eax, %ecx, (%rip)
// CHECK: cmpnsxadd %eax, %ecx, -128(,%rbp,2)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe9,0x0c,0x6d,0x80,0xff,0xff,0xff]
cmpnsxadd %eax, %ecx, -128(,%rbp,2)
// CHECK: cmpnsxadd %eax, %ecx, 508(%rcx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe9,0x89,0xfc,0x01,0x00,0x00]
cmpnsxadd %eax, %ecx, 508(%rcx)
// CHECK: cmpnsxadd %eax, %ecx, -512(%rdx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe9,0x8a,0x00,0xfe,0xff,0xff]
cmpnsxadd %eax, %ecx, -512(%rdx)
// CHECK: cmpnsxadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0x22,0xa9,0xe9,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpnsxadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: cmpnsxadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0x42,0xa9,0xe9,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpnsxadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: cmpnsxadd %r10, %r9, (%rip)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe9,0x0d,0x00,0x00,0x00,0x00]
cmpnsxadd %r10, %r9, (%rip)
// CHECK: cmpnsxadd %r10, %r9, -256(,%rbp,2)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe9,0x0c,0x6d,0x00,0xff,0xff,0xff]
cmpnsxadd %r10, %r9, -256(,%rbp,2)
// CHECK: cmpnsxadd %r10, %r9, 1016(%rcx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe9,0x89,0xf8,0x03,0x00,0x00]
cmpnsxadd %r10, %r9, 1016(%rcx)
// CHECK: cmpnsxadd %r10, %r9, -1024(%rdx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe9,0x8a,0x00,0xfc,0xff,0xff]
cmpnsxadd %r10, %r9, -1024(%rdx)
// CHECK: cmpnexadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0xa2,0x79,0xe5,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpnexadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: cmpnexadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0xc2,0x79,0xe5,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpnexadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: cmpnexadd %eax, %ecx, (%rip)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe5,0x0d,0x00,0x00,0x00,0x00]
cmpnexadd %eax, %ecx, (%rip)
// CHECK: cmpnexadd %eax, %ecx, -128(,%rbp,2)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe5,0x0c,0x6d,0x80,0xff,0xff,0xff]
cmpnexadd %eax, %ecx, -128(,%rbp,2)
// CHECK: cmpnexadd %eax, %ecx, 508(%rcx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe5,0x89,0xfc,0x01,0x00,0x00]
cmpnexadd %eax, %ecx, 508(%rcx)
// CHECK: cmpnexadd %eax, %ecx, -512(%rdx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe5,0x8a,0x00,0xfe,0xff,0xff]
cmpnexadd %eax, %ecx, -512(%rdx)
// CHECK: cmpnexadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0x22,0xa9,0xe5,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpnexadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: cmpnexadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0x42,0xa9,0xe5,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpnexadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: cmpnexadd %r10, %r9, (%rip)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe5,0x0d,0x00,0x00,0x00,0x00]
cmpnexadd %r10, %r9, (%rip)
// CHECK: cmpnexadd %r10, %r9, -256(,%rbp,2)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe5,0x0c,0x6d,0x00,0xff,0xff,0xff]
cmpnexadd %r10, %r9, -256(,%rbp,2)
// CHECK: cmpnexadd %r10, %r9, 1016(%rcx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe5,0x89,0xf8,0x03,0x00,0x00]
cmpnexadd %r10, %r9, 1016(%rcx)
// CHECK: cmpnexadd %r10, %r9, -1024(%rdx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe5,0x8a,0x00,0xfc,0xff,0xff]
cmpnexadd %r10, %r9, -1024(%rdx)
// CHECK: cmpoxadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0xa2,0x79,0xe0,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpoxadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: cmpoxadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0xc2,0x79,0xe0,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpoxadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: cmpoxadd %eax, %ecx, (%rip)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe0,0x0d,0x00,0x00,0x00,0x00]
cmpoxadd %eax, %ecx, (%rip)
// CHECK: cmpoxadd %eax, %ecx, -128(,%rbp,2)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe0,0x0c,0x6d,0x80,0xff,0xff,0xff]
cmpoxadd %eax, %ecx, -128(,%rbp,2)
// CHECK: cmpoxadd %eax, %ecx, 508(%rcx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe0,0x89,0xfc,0x01,0x00,0x00]
cmpoxadd %eax, %ecx, 508(%rcx)
// CHECK: cmpoxadd %eax, %ecx, -512(%rdx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe0,0x8a,0x00,0xfe,0xff,0xff]
cmpoxadd %eax, %ecx, -512(%rdx)
// CHECK: cmpoxadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0x22,0xa9,0xe0,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpoxadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: cmpoxadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0x42,0xa9,0xe0,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpoxadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: cmpoxadd %r10, %r9, (%rip)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe0,0x0d,0x00,0x00,0x00,0x00]
cmpoxadd %r10, %r9, (%rip)
// CHECK: cmpoxadd %r10, %r9, -256(,%rbp,2)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe0,0x0c,0x6d,0x00,0xff,0xff,0xff]
cmpoxadd %r10, %r9, -256(,%rbp,2)
// CHECK: cmpoxadd %r10, %r9, 1016(%rcx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe0,0x89,0xf8,0x03,0x00,0x00]
cmpoxadd %r10, %r9, 1016(%rcx)
// CHECK: cmpoxadd %r10, %r9, -1024(%rdx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe0,0x8a,0x00,0xfc,0xff,0xff]
cmpoxadd %r10, %r9, -1024(%rdx)
// CHECK: cmppxadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0xa2,0x79,0xea,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmppxadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: cmppxadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0xc2,0x79,0xea,0x8c,0x80,0x23,0x01,0x00,0x00]
cmppxadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: cmppxadd %eax, %ecx, (%rip)
// CHECK: encoding: [0xc4,0xe2,0x79,0xea,0x0d,0x00,0x00,0x00,0x00]
cmppxadd %eax, %ecx, (%rip)
// CHECK: cmppxadd %eax, %ecx, -128(,%rbp,2)
// CHECK: encoding: [0xc4,0xe2,0x79,0xea,0x0c,0x6d,0x80,0xff,0xff,0xff]
cmppxadd %eax, %ecx, -128(,%rbp,2)
// CHECK: cmppxadd %eax, %ecx, 508(%rcx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xea,0x89,0xfc,0x01,0x00,0x00]
cmppxadd %eax, %ecx, 508(%rcx)
// CHECK: cmppxadd %eax, %ecx, -512(%rdx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xea,0x8a,0x00,0xfe,0xff,0xff]
cmppxadd %eax, %ecx, -512(%rdx)
// CHECK: cmppxadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0x22,0xa9,0xea,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmppxadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: cmppxadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0x42,0xa9,0xea,0x8c,0x80,0x23,0x01,0x00,0x00]
cmppxadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: cmppxadd %r10, %r9, (%rip)
// CHECK: encoding: [0xc4,0x62,0xa9,0xea,0x0d,0x00,0x00,0x00,0x00]
cmppxadd %r10, %r9, (%rip)
// CHECK: cmppxadd %r10, %r9, -256(,%rbp,2)
// CHECK: encoding: [0xc4,0x62,0xa9,0xea,0x0c,0x6d,0x00,0xff,0xff,0xff]
cmppxadd %r10, %r9, -256(,%rbp,2)
// CHECK: cmppxadd %r10, %r9, 1016(%rcx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xea,0x89,0xf8,0x03,0x00,0x00]
cmppxadd %r10, %r9, 1016(%rcx)
// CHECK: cmppxadd %r10, %r9, -1024(%rdx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xea,0x8a,0x00,0xfc,0xff,0xff]
cmppxadd %r10, %r9, -1024(%rdx)
// CHECK: cmpsxadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0xa2,0x79,0xe8,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpsxadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: cmpsxadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0xc2,0x79,0xe8,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpsxadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: cmpsxadd %eax, %ecx, (%rip)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe8,0x0d,0x00,0x00,0x00,0x00]
cmpsxadd %eax, %ecx, (%rip)
// CHECK: cmpsxadd %eax, %ecx, -128(,%rbp,2)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe8,0x0c,0x6d,0x80,0xff,0xff,0xff]
cmpsxadd %eax, %ecx, -128(,%rbp,2)
// CHECK: cmpsxadd %eax, %ecx, 508(%rcx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe8,0x89,0xfc,0x01,0x00,0x00]
cmpsxadd %eax, %ecx, 508(%rcx)
// CHECK: cmpsxadd %eax, %ecx, -512(%rdx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe8,0x8a,0x00,0xfe,0xff,0xff]
cmpsxadd %eax, %ecx, -512(%rdx)
// CHECK: cmpsxadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0x22,0xa9,0xe8,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpsxadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: cmpsxadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0x42,0xa9,0xe8,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpsxadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: cmpsxadd %r10, %r9, (%rip)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe8,0x0d,0x00,0x00,0x00,0x00]
cmpsxadd %r10, %r9, (%rip)
// CHECK: cmpsxadd %r10, %r9, -256(,%rbp,2)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe8,0x0c,0x6d,0x00,0xff,0xff,0xff]
cmpsxadd %r10, %r9, -256(,%rbp,2)
// CHECK: cmpsxadd %r10, %r9, 1016(%rcx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe8,0x89,0xf8,0x03,0x00,0x00]
cmpsxadd %r10, %r9, 1016(%rcx)
// CHECK: cmpsxadd %r10, %r9, -1024(%rdx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe8,0x8a,0x00,0xfc,0xff,0xff]
cmpsxadd %r10, %r9, -1024(%rdx)
// CHECK: cmpexadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0xa2,0x79,0xe4,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpexadd %eax, %ecx, 268435456(%rbp,%r14,8)
// CHECK: cmpexadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0xc2,0x79,0xe4,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpexadd %eax, %ecx, 291(%r8,%rax,4)
// CHECK: cmpexadd %eax, %ecx, (%rip)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe4,0x0d,0x00,0x00,0x00,0x00]
cmpexadd %eax, %ecx, (%rip)
// CHECK: cmpexadd %eax, %ecx, -128(,%rbp,2)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe4,0x0c,0x6d,0x80,0xff,0xff,0xff]
cmpexadd %eax, %ecx, -128(,%rbp,2)
// CHECK: cmpexadd %eax, %ecx, 508(%rcx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe4,0x89,0xfc,0x01,0x00,0x00]
cmpexadd %eax, %ecx, 508(%rcx)
// CHECK: cmpexadd %eax, %ecx, -512(%rdx)
// CHECK: encoding: [0xc4,0xe2,0x79,0xe4,0x8a,0x00,0xfe,0xff,0xff]
cmpexadd %eax, %ecx, -512(%rdx)
// CHECK: cmpexadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: encoding: [0xc4,0x22,0xa9,0xe4,0x8c,0xf5,0x00,0x00,0x00,0x10]
cmpexadd %r10, %r9, 268435456(%rbp,%r14,8)
// CHECK: cmpexadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: encoding: [0xc4,0x42,0xa9,0xe4,0x8c,0x80,0x23,0x01,0x00,0x00]
cmpexadd %r10, %r9, 291(%r8,%rax,4)
// CHECK: cmpexadd %r10, %r9, (%rip)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe4,0x0d,0x00,0x00,0x00,0x00]
cmpexadd %r10, %r9, (%rip)
// CHECK: cmpexadd %r10, %r9, -256(,%rbp,2)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe4,0x0c,0x6d,0x00,0xff,0xff,0xff]
cmpexadd %r10, %r9, -256(,%rbp,2)
// CHECK: cmpexadd %r10, %r9, 1016(%rcx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe4,0x89,0xf8,0x03,0x00,0x00]
cmpexadd %r10, %r9, 1016(%rcx)
// CHECK: cmpexadd %r10, %r9, -1024(%rdx)
// CHECK: encoding: [0xc4,0x62,0xa9,0xe4,0x8a,0x00,0xfc,0xff,0xff]
cmpexadd %r10, %r9, -1024(%rdx)
// CHECK: cmpbexadd %ecx, %r8d, (%rip)
// CHECK: encoding: [0xc4,0x62,0x71,0xe6,0x05,0x00,0x00,0x00,0x00]
cmpbexadd %ecx, %r8d, (%rip)