llvm/test/MC/X86/cmpccxadd-intel-64.s

   1 // RUN: llvm-mc -triple x86_64 -x86-asm-syntax=intel -output-asm-variant=1 --show-encoding %s | FileCheck %s
   2
   3 // CHECK: cmpbexadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
   4 // CHECK: encoding: [0xc4,0xa2,0x79,0xe6,0x8c,0xf5,0x00,0x00,0x00,0x10]
   5           cmpbexadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
   6
   7 // CHECK: cmpbexadd dword ptr [r8 + 4*rax + 291], ecx, eax
   8 // CHECK: encoding: [0xc4,0xc2,0x79,0xe6,0x8c,0x80,0x23,0x01,0x00,0x00]
   9           cmpbexadd dword ptr [r8 + 4*rax + 291], ecx, eax
  10
  11 // CHECK: cmpbexadd dword ptr [rip], ecx, eax
  12 // CHECK: encoding: [0xc4,0xe2,0x79,0xe6,0x0d,0x00,0x00,0x00,0x00]
  13           cmpbexadd dword ptr [rip], ecx, eax
  14
  15 // CHECK: cmpbexadd dword ptr [2*rbp - 128], ecx, eax
  16 // CHECK: encoding: [0xc4,0xe2,0x79,0xe6,0x0c,0x6d,0x80,0xff,0xff,0xff]
  17           cmpbexadd dword ptr [2*rbp - 128], ecx, eax
  18
  19 // CHECK: cmpbexadd dword ptr [rcx + 508], ecx, eax
  20 // CHECK: encoding: [0xc4,0xe2,0x79,0xe6,0x89,0xfc,0x01,0x00,0x00]
  21           cmpbexadd dword ptr [rcx + 508], ecx, eax
  22
  23 // CHECK: cmpbexadd dword ptr [rdx - 512], ecx, eax
  24 // CHECK: encoding: [0xc4,0xe2,0x79,0xe6,0x8a,0x00,0xfe,0xff,0xff]
  25           cmpbexadd dword ptr [rdx - 512], ecx, eax
  26
  27 // CHECK: cmpbexadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
  28 // CHECK: encoding: [0xc4,0x22,0xa9,0xe6,0x8c,0xf5,0x00,0x00,0x00,0x10]
  29           cmpbexadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
  30
  31 // CHECK: cmpbexadd qword ptr [r8 + 4*rax + 291], r9, r10
  32 // CHECK: encoding: [0xc4,0x42,0xa9,0xe6,0x8c,0x80,0x23,0x01,0x00,0x00]
  33           cmpbexadd qword ptr [r8 + 4*rax + 291], r9, r10
  34
  35 // CHECK: cmpbexadd qword ptr [rip], r9, r10
  36 // CHECK: encoding: [0xc4,0x62,0xa9,0xe6,0x0d,0x00,0x00,0x00,0x00]
  37           cmpbexadd qword ptr [rip], r9, r10
  38
  39 // CHECK: cmpbexadd qword ptr [2*rbp - 256], r9, r10
  40 // CHECK: encoding: [0xc4,0x62,0xa9,0xe6,0x0c,0x6d,0x00,0xff,0xff,0xff]
  41           cmpbexadd qword ptr [2*rbp - 256], r9, r10
  42
  43 // CHECK: cmpbexadd qword ptr [rcx + 1016], r9, r10
  44 // CHECK: encoding: [0xc4,0x62,0xa9,0xe6,0x89,0xf8,0x03,0x00,0x00]
  45           cmpbexadd qword ptr [rcx + 1016], r9, r10
  46
  47 // CHECK: cmpbexadd qword ptr [rdx - 1024], r9, r10
  48 // CHECK: encoding: [0xc4,0x62,0xa9,0xe6,0x8a,0x00,0xfc,0xff,0xff]
  49           cmpbexadd qword ptr [rdx - 1024], r9, r10
  50
  51 // CHECK: cmpbxadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
  52 // CHECK: encoding: [0xc4,0xa2,0x79,0xe2,0x8c,0xf5,0x00,0x00,0x00,0x10]
  53           cmpbxadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
  54
  55 // CHECK: cmpbxadd dword ptr [r8 + 4*rax + 291], ecx, eax
  56 // CHECK: encoding: [0xc4,0xc2,0x79,0xe2,0x8c,0x80,0x23,0x01,0x00,0x00]
  57           cmpbxadd dword ptr [r8 + 4*rax + 291], ecx, eax
  58
  59 // CHECK: cmpbxadd dword ptr [rip], ecx, eax
  60 // CHECK: encoding: [0xc4,0xe2,0x79,0xe2,0x0d,0x00,0x00,0x00,0x00]
  61           cmpbxadd dword ptr [rip], ecx, eax
  62
  63 // CHECK: cmpbxadd dword ptr [2*rbp - 128], ecx, eax
  64 // CHECK: encoding: [0xc4,0xe2,0x79,0xe2,0x0c,0x6d,0x80,0xff,0xff,0xff]
  65           cmpbxadd dword ptr [2*rbp - 128], ecx, eax
  66
  67 // CHECK: cmpbxadd dword ptr [rcx + 508], ecx, eax
  68 // CHECK: encoding: [0xc4,0xe2,0x79,0xe2,0x89,0xfc,0x01,0x00,0x00]
  69           cmpbxadd dword ptr [rcx + 508], ecx, eax
  70
  71 // CHECK: cmpbxadd dword ptr [rdx - 512], ecx, eax
  72 // CHECK: encoding: [0xc4,0xe2,0x79,0xe2,0x8a,0x00,0xfe,0xff,0xff]
  73           cmpbxadd dword ptr [rdx - 512], ecx, eax
  74
  75 // CHECK: cmpbxadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
  76 // CHECK: encoding: [0xc4,0x22,0xa9,0xe2,0x8c,0xf5,0x00,0x00,0x00,0x10]
  77           cmpbxadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
  78
  79 // CHECK: cmpbxadd qword ptr [r8 + 4*rax + 291], r9, r10
  80 // CHECK: encoding: [0xc4,0x42,0xa9,0xe2,0x8c,0x80,0x23,0x01,0x00,0x00]
  81           cmpbxadd qword ptr [r8 + 4*rax + 291], r9, r10
  82
  83 // CHECK: cmpbxadd qword ptr [rip], r9, r10
  84 // CHECK: encoding: [0xc4,0x62,0xa9,0xe2,0x0d,0x00,0x00,0x00,0x00]
  85           cmpbxadd qword ptr [rip], r9, r10
  86
  87 // CHECK: cmpbxadd qword ptr [2*rbp - 256], r9, r10
  88 // CHECK: encoding: [0xc4,0x62,0xa9,0xe2,0x0c,0x6d,0x00,0xff,0xff,0xff]
  89           cmpbxadd qword ptr [2*rbp - 256], r9, r10
  90
  91 // CHECK: cmpbxadd qword ptr [rcx + 1016], r9, r10
  92 // CHECK: encoding: [0xc4,0x62,0xa9,0xe2,0x89,0xf8,0x03,0x00,0x00]
  93           cmpbxadd qword ptr [rcx + 1016], r9, r10
  94
  95 // CHECK: cmpbxadd qword ptr [rdx - 1024], r9, r10
  96 // CHECK: encoding: [0xc4,0x62,0xa9,0xe2,0x8a,0x00,0xfc,0xff,0xff]
  97           cmpbxadd qword ptr [rdx - 1024], r9, r10
  98
  99 // CHECK: cmplexadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 100 // CHECK: encoding: [0xc4,0xa2,0x79,0xee,0x8c,0xf5,0x00,0x00,0x00,0x10]
 101           cmplexadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 102
 103 // CHECK: cmplexadd dword ptr [r8 + 4*rax + 291], ecx, eax
 104 // CHECK: encoding: [0xc4,0xc2,0x79,0xee,0x8c,0x80,0x23,0x01,0x00,0x00]
 105           cmplexadd dword ptr [r8 + 4*rax + 291], ecx, eax
 106
 107 // CHECK: cmplexadd dword ptr [rip], ecx, eax
 108 // CHECK: encoding: [0xc4,0xe2,0x79,0xee,0x0d,0x00,0x00,0x00,0x00]
 109           cmplexadd dword ptr [rip], ecx, eax
 110
 111 // CHECK: cmplexadd dword ptr [2*rbp - 128], ecx, eax
 112 // CHECK: encoding: [0xc4,0xe2,0x79,0xee,0x0c,0x6d,0x80,0xff,0xff,0xff]
 113           cmplexadd dword ptr [2*rbp - 128], ecx, eax
 114
 115 // CHECK: cmplexadd dword ptr [rcx + 508], ecx, eax
 116 // CHECK: encoding: [0xc4,0xe2,0x79,0xee,0x89,0xfc,0x01,0x00,0x00]
 117           cmplexadd dword ptr [rcx + 508], ecx, eax
 118
 119 // CHECK: cmplexadd dword ptr [rdx - 512], ecx, eax
 120 // CHECK: encoding: [0xc4,0xe2,0x79,0xee,0x8a,0x00,0xfe,0xff,0xff]
 121           cmplexadd dword ptr [rdx - 512], ecx, eax
 122
 123 // CHECK: cmplexadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 124 // CHECK: encoding: [0xc4,0x22,0xa9,0xee,0x8c,0xf5,0x00,0x00,0x00,0x10]
 125           cmplexadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 126
 127 // CHECK: cmplexadd qword ptr [r8 + 4*rax + 291], r9, r10
 128 // CHECK: encoding: [0xc4,0x42,0xa9,0xee,0x8c,0x80,0x23,0x01,0x00,0x00]
 129           cmplexadd qword ptr [r8 + 4*rax + 291], r9, r10
 130
 131 // CHECK: cmplexadd qword ptr [rip], r9, r10
 132 // CHECK: encoding: [0xc4,0x62,0xa9,0xee,0x0d,0x00,0x00,0x00,0x00]
 133           cmplexadd qword ptr [rip], r9, r10
 134
 135 // CHECK: cmplexadd qword ptr [2*rbp - 256], r9, r10
 136 // CHECK: encoding: [0xc4,0x62,0xa9,0xee,0x0c,0x6d,0x00,0xff,0xff,0xff]
 137           cmplexadd qword ptr [2*rbp - 256], r9, r10
 138
 139 // CHECK: cmplexadd qword ptr [rcx + 1016], r9, r10
 140 // CHECK: encoding: [0xc4,0x62,0xa9,0xee,0x89,0xf8,0x03,0x00,0x00]
 141           cmplexadd qword ptr [rcx + 1016], r9, r10
 142
 143 // CHECK: cmplexadd qword ptr [rdx - 1024], r9, r10
 144 // CHECK: encoding: [0xc4,0x62,0xa9,0xee,0x8a,0x00,0xfc,0xff,0xff]
 145           cmplexadd qword ptr [rdx - 1024], r9, r10
 146
 147 // CHECK: cmplxadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 148 // CHECK: encoding: [0xc4,0xa2,0x79,0xec,0x8c,0xf5,0x00,0x00,0x00,0x10]
 149           cmplxadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 150
 151 // CHECK: cmplxadd dword ptr [r8 + 4*rax + 291], ecx, eax
 152 // CHECK: encoding: [0xc4,0xc2,0x79,0xec,0x8c,0x80,0x23,0x01,0x00,0x00]
 153           cmplxadd dword ptr [r8 + 4*rax + 291], ecx, eax
 154
 155 // CHECK: cmplxadd dword ptr [rip], ecx, eax
 156 // CHECK: encoding: [0xc4,0xe2,0x79,0xec,0x0d,0x00,0x00,0x00,0x00]
 157           cmplxadd dword ptr [rip], ecx, eax
 158
 159 // CHECK: cmplxadd dword ptr [2*rbp - 128], ecx, eax
 160 // CHECK: encoding: [0xc4,0xe2,0x79,0xec,0x0c,0x6d,0x80,0xff,0xff,0xff]
 161           cmplxadd dword ptr [2*rbp - 128], ecx, eax
 162
 163 // CHECK: cmplxadd dword ptr [rcx + 508], ecx, eax
 164 // CHECK: encoding: [0xc4,0xe2,0x79,0xec,0x89,0xfc,0x01,0x00,0x00]
 165           cmplxadd dword ptr [rcx + 508], ecx, eax
 166
 167 // CHECK: cmplxadd dword ptr [rdx - 512], ecx, eax
 168 // CHECK: encoding: [0xc4,0xe2,0x79,0xec,0x8a,0x00,0xfe,0xff,0xff]
 169           cmplxadd dword ptr [rdx - 512], ecx, eax
 170
 171 // CHECK: cmplxadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 172 // CHECK: encoding: [0xc4,0x22,0xa9,0xec,0x8c,0xf5,0x00,0x00,0x00,0x10]
 173           cmplxadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 174
 175 // CHECK: cmplxadd qword ptr [r8 + 4*rax + 291], r9, r10
 176 // CHECK: encoding: [0xc4,0x42,0xa9,0xec,0x8c,0x80,0x23,0x01,0x00,0x00]
 177           cmplxadd qword ptr [r8 + 4*rax + 291], r9, r10
 178
 179 // CHECK: cmplxadd qword ptr [rip], r9, r10
 180 // CHECK: encoding: [0xc4,0x62,0xa9,0xec,0x0d,0x00,0x00,0x00,0x00]
 181           cmplxadd qword ptr [rip], r9, r10
 182
 183 // CHECK: cmplxadd qword ptr [2*rbp - 256], r9, r10
 184 // CHECK: encoding: [0xc4,0x62,0xa9,0xec,0x0c,0x6d,0x00,0xff,0xff,0xff]
 185           cmplxadd qword ptr [2*rbp - 256], r9, r10
 186
 187 // CHECK: cmplxadd qword ptr [rcx + 1016], r9, r10
 188 // CHECK: encoding: [0xc4,0x62,0xa9,0xec,0x89,0xf8,0x03,0x00,0x00]
 189           cmplxadd qword ptr [rcx + 1016], r9, r10
 190
 191 // CHECK: cmplxadd qword ptr [rdx - 1024], r9, r10
 192 // CHECK: encoding: [0xc4,0x62,0xa9,0xec,0x8a,0x00,0xfc,0xff,0xff]
 193           cmplxadd qword ptr [rdx - 1024], r9, r10
 194
 195 // CHECK: cmpnbexadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 196 // CHECK: encoding: [0xc4,0xa2,0x79,0xe7,0x8c,0xf5,0x00,0x00,0x00,0x10]
 197           cmpnbexadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 198
 199 // CHECK: cmpnbexadd dword ptr [r8 + 4*rax + 291], ecx, eax
 200 // CHECK: encoding: [0xc4,0xc2,0x79,0xe7,0x8c,0x80,0x23,0x01,0x00,0x00]
 201           cmpnbexadd dword ptr [r8 + 4*rax + 291], ecx, eax
 202
 203 // CHECK: cmpnbexadd dword ptr [rip], ecx, eax
 204 // CHECK: encoding: [0xc4,0xe2,0x79,0xe7,0x0d,0x00,0x00,0x00,0x00]
 205           cmpnbexadd dword ptr [rip], ecx, eax
 206
 207 // CHECK: cmpnbexadd dword ptr [2*rbp - 128], ecx, eax
 208 // CHECK: encoding: [0xc4,0xe2,0x79,0xe7,0x0c,0x6d,0x80,0xff,0xff,0xff]
 209           cmpnbexadd dword ptr [2*rbp - 128], ecx, eax
 210
 211 // CHECK: cmpnbexadd dword ptr [rcx + 508], ecx, eax
 212 // CHECK: encoding: [0xc4,0xe2,0x79,0xe7,0x89,0xfc,0x01,0x00,0x00]
 213           cmpnbexadd dword ptr [rcx + 508], ecx, eax
 214
 215 // CHECK: cmpnbexadd dword ptr [rdx - 512], ecx, eax
 216 // CHECK: encoding: [0xc4,0xe2,0x79,0xe7,0x8a,0x00,0xfe,0xff,0xff]
 217           cmpnbexadd dword ptr [rdx - 512], ecx, eax
 218
 219 // CHECK: cmpnbexadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 220 // CHECK: encoding: [0xc4,0x22,0xa9,0xe7,0x8c,0xf5,0x00,0x00,0x00,0x10]
 221           cmpnbexadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 222
 223 // CHECK: cmpnbexadd qword ptr [r8 + 4*rax + 291], r9, r10
 224 // CHECK: encoding: [0xc4,0x42,0xa9,0xe7,0x8c,0x80,0x23,0x01,0x00,0x00]
 225           cmpnbexadd qword ptr [r8 + 4*rax + 291], r9, r10
 226
 227 // CHECK: cmpnbexadd qword ptr [rip], r9, r10
 228 // CHECK: encoding: [0xc4,0x62,0xa9,0xe7,0x0d,0x00,0x00,0x00,0x00]
 229           cmpnbexadd qword ptr [rip], r9, r10
 230
 231 // CHECK: cmpnbexadd qword ptr [2*rbp - 256], r9, r10
 232 // CHECK: encoding: [0xc4,0x62,0xa9,0xe7,0x0c,0x6d,0x00,0xff,0xff,0xff]
 233           cmpnbexadd qword ptr [2*rbp - 256], r9, r10
 234
 235 // CHECK: cmpnbexadd qword ptr [rcx + 1016], r9, r10
 236 // CHECK: encoding: [0xc4,0x62,0xa9,0xe7,0x89,0xf8,0x03,0x00,0x00]
 237           cmpnbexadd qword ptr [rcx + 1016], r9, r10
 238
 239 // CHECK: cmpnbexadd qword ptr [rdx - 1024], r9, r10
 240 // CHECK: encoding: [0xc4,0x62,0xa9,0xe7,0x8a,0x00,0xfc,0xff,0xff]
 241           cmpnbexadd qword ptr [rdx - 1024], r9, r10
 242
 243 // CHECK: cmpnbxadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 244 // CHECK: encoding: [0xc4,0xa2,0x79,0xe3,0x8c,0xf5,0x00,0x00,0x00,0x10]
 245           cmpnbxadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 246
 247 // CHECK: cmpnbxadd dword ptr [r8 + 4*rax + 291], ecx, eax
 248 // CHECK: encoding: [0xc4,0xc2,0x79,0xe3,0x8c,0x80,0x23,0x01,0x00,0x00]
 249           cmpnbxadd dword ptr [r8 + 4*rax + 291], ecx, eax
 250
 251 // CHECK: cmpnbxadd dword ptr [rip], ecx, eax
 252 // CHECK: encoding: [0xc4,0xe2,0x79,0xe3,0x0d,0x00,0x00,0x00,0x00]
 253           cmpnbxadd dword ptr [rip], ecx, eax
 254
 255 // CHECK: cmpnbxadd dword ptr [2*rbp - 128], ecx, eax
 256 // CHECK: encoding: [0xc4,0xe2,0x79,0xe3,0x0c,0x6d,0x80,0xff,0xff,0xff]
 257           cmpnbxadd dword ptr [2*rbp - 128], ecx, eax
 258
 259 // CHECK: cmpnbxadd dword ptr [rcx + 508], ecx, eax
 260 // CHECK: encoding: [0xc4,0xe2,0x79,0xe3,0x89,0xfc,0x01,0x00,0x00]
 261           cmpnbxadd dword ptr [rcx + 508], ecx, eax
 262
 263 // CHECK: cmpnbxadd dword ptr [rdx - 512], ecx, eax
 264 // CHECK: encoding: [0xc4,0xe2,0x79,0xe3,0x8a,0x00,0xfe,0xff,0xff]
 265           cmpnbxadd dword ptr [rdx - 512], ecx, eax
 266
 267 // CHECK: cmpnbxadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 268 // CHECK: encoding: [0xc4,0x22,0xa9,0xe3,0x8c,0xf5,0x00,0x00,0x00,0x10]
 269           cmpnbxadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 270
 271 // CHECK: cmpnbxadd qword ptr [r8 + 4*rax + 291], r9, r10
 272 // CHECK: encoding: [0xc4,0x42,0xa9,0xe3,0x8c,0x80,0x23,0x01,0x00,0x00]
 273           cmpnbxadd qword ptr [r8 + 4*rax + 291], r9, r10
 274
 275 // CHECK: cmpnbxadd qword ptr [rip], r9, r10
 276 // CHECK: encoding: [0xc4,0x62,0xa9,0xe3,0x0d,0x00,0x00,0x00,0x00]
 277           cmpnbxadd qword ptr [rip], r9, r10
 278
 279 // CHECK: cmpnbxadd qword ptr [2*rbp - 256], r9, r10
 280 // CHECK: encoding: [0xc4,0x62,0xa9,0xe3,0x0c,0x6d,0x00,0xff,0xff,0xff]
 281           cmpnbxadd qword ptr [2*rbp - 256], r9, r10
 282
 283 // CHECK: cmpnbxadd qword ptr [rcx + 1016], r9, r10
 284 // CHECK: encoding: [0xc4,0x62,0xa9,0xe3,0x89,0xf8,0x03,0x00,0x00]
 285           cmpnbxadd qword ptr [rcx + 1016], r9, r10
 286
 287 // CHECK: cmpnbxadd qword ptr [rdx - 1024], r9, r10
 288 // CHECK: encoding: [0xc4,0x62,0xa9,0xe3,0x8a,0x00,0xfc,0xff,0xff]
 289           cmpnbxadd qword ptr [rdx - 1024], r9, r10
 290
 291 // CHECK: cmpnlexadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 292 // CHECK: encoding: [0xc4,0xa2,0x79,0xef,0x8c,0xf5,0x00,0x00,0x00,0x10]
 293           cmpnlexadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 294
 295 // CHECK: cmpnlexadd dword ptr [r8 + 4*rax + 291], ecx, eax
 296 // CHECK: encoding: [0xc4,0xc2,0x79,0xef,0x8c,0x80,0x23,0x01,0x00,0x00]
 297           cmpnlexadd dword ptr [r8 + 4*rax + 291], ecx, eax
 298
 299 // CHECK: cmpnlexadd dword ptr [rip], ecx, eax
 300 // CHECK: encoding: [0xc4,0xe2,0x79,0xef,0x0d,0x00,0x00,0x00,0x00]
 301           cmpnlexadd dword ptr [rip], ecx, eax
 302
 303 // CHECK: cmpnlexadd dword ptr [2*rbp - 128], ecx, eax
 304 // CHECK: encoding: [0xc4,0xe2,0x79,0xef,0x0c,0x6d,0x80,0xff,0xff,0xff]
 305           cmpnlexadd dword ptr [2*rbp - 128], ecx, eax
 306
 307 // CHECK: cmpnlexadd dword ptr [rcx + 508], ecx, eax
 308 // CHECK: encoding: [0xc4,0xe2,0x79,0xef,0x89,0xfc,0x01,0x00,0x00]
 309           cmpnlexadd dword ptr [rcx + 508], ecx, eax
 310
 311 // CHECK: cmpnlexadd dword ptr [rdx - 512], ecx, eax
 312 // CHECK: encoding: [0xc4,0xe2,0x79,0xef,0x8a,0x00,0xfe,0xff,0xff]
 313           cmpnlexadd dword ptr [rdx - 512], ecx, eax
 314
 315 // CHECK: cmpnlexadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 316 // CHECK: encoding: [0xc4,0x22,0xa9,0xef,0x8c,0xf5,0x00,0x00,0x00,0x10]
 317           cmpnlexadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 318
 319 // CHECK: cmpnlexadd qword ptr [r8 + 4*rax + 291], r9, r10
 320 // CHECK: encoding: [0xc4,0x42,0xa9,0xef,0x8c,0x80,0x23,0x01,0x00,0x00]
 321           cmpnlexadd qword ptr [r8 + 4*rax + 291], r9, r10
 322
 323 // CHECK: cmpnlexadd qword ptr [rip], r9, r10
 324 // CHECK: encoding: [0xc4,0x62,0xa9,0xef,0x0d,0x00,0x00,0x00,0x00]
 325           cmpnlexadd qword ptr [rip], r9, r10
 326
 327 // CHECK: cmpnlexadd qword ptr [2*rbp - 256], r9, r10
 328 // CHECK: encoding: [0xc4,0x62,0xa9,0xef,0x0c,0x6d,0x00,0xff,0xff,0xff]
 329           cmpnlexadd qword ptr [2*rbp - 256], r9, r10
 330
 331 // CHECK: cmpnlexadd qword ptr [rcx + 1016], r9, r10
 332 // CHECK: encoding: [0xc4,0x62,0xa9,0xef,0x89,0xf8,0x03,0x00,0x00]
 333           cmpnlexadd qword ptr [rcx + 1016], r9, r10
 334
 335 // CHECK: cmpnlexadd qword ptr [rdx - 1024], r9, r10
 336 // CHECK: encoding: [0xc4,0x62,0xa9,0xef,0x8a,0x00,0xfc,0xff,0xff]
 337           cmpnlexadd qword ptr [rdx - 1024], r9, r10
 338
 339 // CHECK: cmpnlxadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 340 // CHECK: encoding: [0xc4,0xa2,0x79,0xed,0x8c,0xf5,0x00,0x00,0x00,0x10]
 341           cmpnlxadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 342
 343 // CHECK: cmpnlxadd dword ptr [r8 + 4*rax + 291], ecx, eax
 344 // CHECK: encoding: [0xc4,0xc2,0x79,0xed,0x8c,0x80,0x23,0x01,0x00,0x00]
 345           cmpnlxadd dword ptr [r8 + 4*rax + 291], ecx, eax
 346
 347 // CHECK: cmpnlxadd dword ptr [rip], ecx, eax
 348 // CHECK: encoding: [0xc4,0xe2,0x79,0xed,0x0d,0x00,0x00,0x00,0x00]
 349           cmpnlxadd dword ptr [rip], ecx, eax
 350
 351 // CHECK: cmpnlxadd dword ptr [2*rbp - 128], ecx, eax
 352 // CHECK: encoding: [0xc4,0xe2,0x79,0xed,0x0c,0x6d,0x80,0xff,0xff,0xff]
 353           cmpnlxadd dword ptr [2*rbp - 128], ecx, eax
 354
 355 // CHECK: cmpnlxadd dword ptr [rcx + 508], ecx, eax
 356 // CHECK: encoding: [0xc4,0xe2,0x79,0xed,0x89,0xfc,0x01,0x00,0x00]
 357           cmpnlxadd dword ptr [rcx + 508], ecx, eax
 358
 359 // CHECK: cmpnlxadd dword ptr [rdx - 512], ecx, eax
 360 // CHECK: encoding: [0xc4,0xe2,0x79,0xed,0x8a,0x00,0xfe,0xff,0xff]
 361           cmpnlxadd dword ptr [rdx - 512], ecx, eax
 362
 363 // CHECK: cmpnlxadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 364 // CHECK: encoding: [0xc4,0x22,0xa9,0xed,0x8c,0xf5,0x00,0x00,0x00,0x10]
 365           cmpnlxadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 366
 367 // CHECK: cmpnlxadd qword ptr [r8 + 4*rax + 291], r9, r10
 368 // CHECK: encoding: [0xc4,0x42,0xa9,0xed,0x8c,0x80,0x23,0x01,0x00,0x00]
 369           cmpnlxadd qword ptr [r8 + 4*rax + 291], r9, r10
 370
 371 // CHECK: cmpnlxadd qword ptr [rip], r9, r10
 372 // CHECK: encoding: [0xc4,0x62,0xa9,0xed,0x0d,0x00,0x00,0x00,0x00]
 373           cmpnlxadd qword ptr [rip], r9, r10
 374
 375 // CHECK: cmpnlxadd qword ptr [2*rbp - 256], r9, r10
 376 // CHECK: encoding: [0xc4,0x62,0xa9,0xed,0x0c,0x6d,0x00,0xff,0xff,0xff]
 377           cmpnlxadd qword ptr [2*rbp - 256], r9, r10
 378
 379 // CHECK: cmpnlxadd qword ptr [rcx + 1016], r9, r10
 380 // CHECK: encoding: [0xc4,0x62,0xa9,0xed,0x89,0xf8,0x03,0x00,0x00]
 381           cmpnlxadd qword ptr [rcx + 1016], r9, r10
 382
 383 // CHECK: cmpnlxadd qword ptr [rdx - 1024], r9, r10
 384 // CHECK: encoding: [0xc4,0x62,0xa9,0xed,0x8a,0x00,0xfc,0xff,0xff]
 385           cmpnlxadd qword ptr [rdx - 1024], r9, r10
 386
 387 // CHECK: cmpnoxadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 388 // CHECK: encoding: [0xc4,0xa2,0x79,0xe1,0x8c,0xf5,0x00,0x00,0x00,0x10]
 389           cmpnoxadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 390
 391 // CHECK: cmpnoxadd dword ptr [r8 + 4*rax + 291], ecx, eax
 392 // CHECK: encoding: [0xc4,0xc2,0x79,0xe1,0x8c,0x80,0x23,0x01,0x00,0x00]
 393           cmpnoxadd dword ptr [r8 + 4*rax + 291], ecx, eax
 394
 395 // CHECK: cmpnoxadd dword ptr [rip], ecx, eax
 396 // CHECK: encoding: [0xc4,0xe2,0x79,0xe1,0x0d,0x00,0x00,0x00,0x00]
 397           cmpnoxadd dword ptr [rip], ecx, eax
 398
 399 // CHECK: cmpnoxadd dword ptr [2*rbp - 128], ecx, eax
 400 // CHECK: encoding: [0xc4,0xe2,0x79,0xe1,0x0c,0x6d,0x80,0xff,0xff,0xff]
 401           cmpnoxadd dword ptr [2*rbp - 128], ecx, eax
 402
 403 // CHECK: cmpnoxadd dword ptr [rcx + 508], ecx, eax
 404 // CHECK: encoding: [0xc4,0xe2,0x79,0xe1,0x89,0xfc,0x01,0x00,0x00]
 405           cmpnoxadd dword ptr [rcx + 508], ecx, eax
 406
 407 // CHECK: cmpnoxadd dword ptr [rdx - 512], ecx, eax
 408 // CHECK: encoding: [0xc4,0xe2,0x79,0xe1,0x8a,0x00,0xfe,0xff,0xff]
 409           cmpnoxadd dword ptr [rdx - 512], ecx, eax
 410
 411 // CHECK: cmpnoxadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 412 // CHECK: encoding: [0xc4,0x22,0xa9,0xe1,0x8c,0xf5,0x00,0x00,0x00,0x10]
 413           cmpnoxadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 414
 415 // CHECK: cmpnoxadd qword ptr [r8 + 4*rax + 291], r9, r10
 416 // CHECK: encoding: [0xc4,0x42,0xa9,0xe1,0x8c,0x80,0x23,0x01,0x00,0x00]
 417           cmpnoxadd qword ptr [r8 + 4*rax + 291], r9, r10
 418
 419 // CHECK: cmpnoxadd qword ptr [rip], r9, r10
 420 // CHECK: encoding: [0xc4,0x62,0xa9,0xe1,0x0d,0x00,0x00,0x00,0x00]
 421           cmpnoxadd qword ptr [rip], r9, r10
 422
 423 // CHECK: cmpnoxadd qword ptr [2*rbp - 256], r9, r10
 424 // CHECK: encoding: [0xc4,0x62,0xa9,0xe1,0x0c,0x6d,0x00,0xff,0xff,0xff]
 425           cmpnoxadd qword ptr [2*rbp - 256], r9, r10
 426
 427 // CHECK: cmpnoxadd qword ptr [rcx + 1016], r9, r10
 428 // CHECK: encoding: [0xc4,0x62,0xa9,0xe1,0x89,0xf8,0x03,0x00,0x00]
 429           cmpnoxadd qword ptr [rcx + 1016], r9, r10
 430
 431 // CHECK: cmpnoxadd qword ptr [rdx - 1024], r9, r10
 432 // CHECK: encoding: [0xc4,0x62,0xa9,0xe1,0x8a,0x00,0xfc,0xff,0xff]
 433           cmpnoxadd qword ptr [rdx - 1024], r9, r10
 434
 435 // CHECK: cmpnpxadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 436 // CHECK: encoding: [0xc4,0xa2,0x79,0xeb,0x8c,0xf5,0x00,0x00,0x00,0x10]
 437           cmpnpxadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 438
 439 // CHECK: cmpnpxadd dword ptr [r8 + 4*rax + 291], ecx, eax
 440 // CHECK: encoding: [0xc4,0xc2,0x79,0xeb,0x8c,0x80,0x23,0x01,0x00,0x00]
 441           cmpnpxadd dword ptr [r8 + 4*rax + 291], ecx, eax
 442
 443 // CHECK: cmpnpxadd dword ptr [rip], ecx, eax
 444 // CHECK: encoding: [0xc4,0xe2,0x79,0xeb,0x0d,0x00,0x00,0x00,0x00]
 445           cmpnpxadd dword ptr [rip], ecx, eax
 446
 447 // CHECK: cmpnpxadd dword ptr [2*rbp - 128], ecx, eax
 448 // CHECK: encoding: [0xc4,0xe2,0x79,0xeb,0x0c,0x6d,0x80,0xff,0xff,0xff]
 449           cmpnpxadd dword ptr [2*rbp - 128], ecx, eax
 450
 451 // CHECK: cmpnpxadd dword ptr [rcx + 508], ecx, eax
 452 // CHECK: encoding: [0xc4,0xe2,0x79,0xeb,0x89,0xfc,0x01,0x00,0x00]
 453           cmpnpxadd dword ptr [rcx + 508], ecx, eax
 454
 455 // CHECK: cmpnpxadd dword ptr [rdx - 512], ecx, eax
 456 // CHECK: encoding: [0xc4,0xe2,0x79,0xeb,0x8a,0x00,0xfe,0xff,0xff]
 457           cmpnpxadd dword ptr [rdx - 512], ecx, eax
 458
 459 // CHECK: cmpnpxadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 460 // CHECK: encoding: [0xc4,0x22,0xa9,0xeb,0x8c,0xf5,0x00,0x00,0x00,0x10]
 461           cmpnpxadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 462
 463 // CHECK: cmpnpxadd qword ptr [r8 + 4*rax + 291], r9, r10
 464 // CHECK: encoding: [0xc4,0x42,0xa9,0xeb,0x8c,0x80,0x23,0x01,0x00,0x00]
 465           cmpnpxadd qword ptr [r8 + 4*rax + 291], r9, r10
 466
 467 // CHECK: cmpnpxadd qword ptr [rip], r9, r10
 468 // CHECK: encoding: [0xc4,0x62,0xa9,0xeb,0x0d,0x00,0x00,0x00,0x00]
 469           cmpnpxadd qword ptr [rip], r9, r10
 470
 471 // CHECK: cmpnpxadd qword ptr [2*rbp - 256], r9, r10
 472 // CHECK: encoding: [0xc4,0x62,0xa9,0xeb,0x0c,0x6d,0x00,0xff,0xff,0xff]
 473           cmpnpxadd qword ptr [2*rbp - 256], r9, r10
 474
 475 // CHECK: cmpnpxadd qword ptr [rcx + 1016], r9, r10
 476 // CHECK: encoding: [0xc4,0x62,0xa9,0xeb,0x89,0xf8,0x03,0x00,0x00]
 477           cmpnpxadd qword ptr [rcx + 1016], r9, r10
 478
 479 // CHECK: cmpnpxadd qword ptr [rdx - 1024], r9, r10
 480 // CHECK: encoding: [0xc4,0x62,0xa9,0xeb,0x8a,0x00,0xfc,0xff,0xff]
 481           cmpnpxadd qword ptr [rdx - 1024], r9, r10
 482
 483 // CHECK: cmpnsxadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 484 // CHECK: encoding: [0xc4,0xa2,0x79,0xe9,0x8c,0xf5,0x00,0x00,0x00,0x10]
 485           cmpnsxadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 486
 487 // CHECK: cmpnsxadd dword ptr [r8 + 4*rax + 291], ecx, eax
 488 // CHECK: encoding: [0xc4,0xc2,0x79,0xe9,0x8c,0x80,0x23,0x01,0x00,0x00]
 489           cmpnsxadd dword ptr [r8 + 4*rax + 291], ecx, eax
 490
 491 // CHECK: cmpnsxadd dword ptr [rip], ecx, eax
 492 // CHECK: encoding: [0xc4,0xe2,0x79,0xe9,0x0d,0x00,0x00,0x00,0x00]
 493           cmpnsxadd dword ptr [rip], ecx, eax
 494
 495 // CHECK: cmpnsxadd dword ptr [2*rbp - 128], ecx, eax
 496 // CHECK: encoding: [0xc4,0xe2,0x79,0xe9,0x0c,0x6d,0x80,0xff,0xff,0xff]
 497           cmpnsxadd dword ptr [2*rbp - 128], ecx, eax
 498
 499 // CHECK: cmpnsxadd dword ptr [rcx + 508], ecx, eax
 500 // CHECK: encoding: [0xc4,0xe2,0x79,0xe9,0x89,0xfc,0x01,0x00,0x00]
 501           cmpnsxadd dword ptr [rcx + 508], ecx, eax
 502
 503 // CHECK: cmpnsxadd dword ptr [rdx - 512], ecx, eax
 504 // CHECK: encoding: [0xc4,0xe2,0x79,0xe9,0x8a,0x00,0xfe,0xff,0xff]
 505           cmpnsxadd dword ptr [rdx - 512], ecx, eax
 506
 507 // CHECK: cmpnsxadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 508 // CHECK: encoding: [0xc4,0x22,0xa9,0xe9,0x8c,0xf5,0x00,0x00,0x00,0x10]
 509           cmpnsxadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 510
 511 // CHECK: cmpnsxadd qword ptr [r8 + 4*rax + 291], r9, r10
 512 // CHECK: encoding: [0xc4,0x42,0xa9,0xe9,0x8c,0x80,0x23,0x01,0x00,0x00]
 513           cmpnsxadd qword ptr [r8 + 4*rax + 291], r9, r10
 514
 515 // CHECK: cmpnsxadd qword ptr [rip], r9, r10
 516 // CHECK: encoding: [0xc4,0x62,0xa9,0xe9,0x0d,0x00,0x00,0x00,0x00]
 517           cmpnsxadd qword ptr [rip], r9, r10
 518
 519 // CHECK: cmpnsxadd qword ptr [2*rbp - 256], r9, r10
 520 // CHECK: encoding: [0xc4,0x62,0xa9,0xe9,0x0c,0x6d,0x00,0xff,0xff,0xff]
 521           cmpnsxadd qword ptr [2*rbp - 256], r9, r10
 522
 523 // CHECK: cmpnsxadd qword ptr [rcx + 1016], r9, r10
 524 // CHECK: encoding: [0xc4,0x62,0xa9,0xe9,0x89,0xf8,0x03,0x00,0x00]
 525           cmpnsxadd qword ptr [rcx + 1016], r9, r10
 526
 527 // CHECK: cmpnsxadd qword ptr [rdx - 1024], r9, r10
 528 // CHECK: encoding: [0xc4,0x62,0xa9,0xe9,0x8a,0x00,0xfc,0xff,0xff]
 529           cmpnsxadd qword ptr [rdx - 1024], r9, r10
 530
 531 // CHECK: cmpnzxadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 532 // CHECK: encoding: [0xc4,0xa2,0x79,0xe5,0x8c,0xf5,0x00,0x00,0x00,0x10]
 533           cmpnzxadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 534
 535 // CHECK: cmpnzxadd dword ptr [r8 + 4*rax + 291], ecx, eax
 536 // CHECK: encoding: [0xc4,0xc2,0x79,0xe5,0x8c,0x80,0x23,0x01,0x00,0x00]
 537           cmpnzxadd dword ptr [r8 + 4*rax + 291], ecx, eax
 538
 539 // CHECK: cmpnzxadd dword ptr [rip], ecx, eax
 540 // CHECK: encoding: [0xc4,0xe2,0x79,0xe5,0x0d,0x00,0x00,0x00,0x00]
 541           cmpnzxadd dword ptr [rip], ecx, eax
 542
 543 // CHECK: cmpnzxadd dword ptr [2*rbp - 128], ecx, eax
 544 // CHECK: encoding: [0xc4,0xe2,0x79,0xe5,0x0c,0x6d,0x80,0xff,0xff,0xff]
 545           cmpnzxadd dword ptr [2*rbp - 128], ecx, eax
 546
 547 // CHECK: cmpnzxadd dword ptr [rcx + 508], ecx, eax
 548 // CHECK: encoding: [0xc4,0xe2,0x79,0xe5,0x89,0xfc,0x01,0x00,0x00]
 549           cmpnzxadd dword ptr [rcx + 508], ecx, eax
 550
 551 // CHECK: cmpnzxadd dword ptr [rdx - 512], ecx, eax
 552 // CHECK: encoding: [0xc4,0xe2,0x79,0xe5,0x8a,0x00,0xfe,0xff,0xff]
 553           cmpnzxadd dword ptr [rdx - 512], ecx, eax
 554
 555 // CHECK: cmpnzxadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 556 // CHECK: encoding: [0xc4,0x22,0xa9,0xe5,0x8c,0xf5,0x00,0x00,0x00,0x10]
 557           cmpnzxadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 558
 559 // CHECK: cmpnzxadd qword ptr [r8 + 4*rax + 291], r9, r10
 560 // CHECK: encoding: [0xc4,0x42,0xa9,0xe5,0x8c,0x80,0x23,0x01,0x00,0x00]
 561           cmpnzxadd qword ptr [r8 + 4*rax + 291], r9, r10
 562
 563 // CHECK: cmpnzxadd qword ptr [rip], r9, r10
 564 // CHECK: encoding: [0xc4,0x62,0xa9,0xe5,0x0d,0x00,0x00,0x00,0x00]
 565           cmpnzxadd qword ptr [rip], r9, r10
 566
 567 // CHECK: cmpnzxadd qword ptr [2*rbp - 256], r9, r10
 568 // CHECK: encoding: [0xc4,0x62,0xa9,0xe5,0x0c,0x6d,0x00,0xff,0xff,0xff]
 569           cmpnzxadd qword ptr [2*rbp - 256], r9, r10
 570
 571 // CHECK: cmpnzxadd qword ptr [rcx + 1016], r9, r10
 572 // CHECK: encoding: [0xc4,0x62,0xa9,0xe5,0x89,0xf8,0x03,0x00,0x00]
 573           cmpnzxadd qword ptr [rcx + 1016], r9, r10
 574
 575 // CHECK: cmpnzxadd qword ptr [rdx - 1024], r9, r10
 576 // CHECK: encoding: [0xc4,0x62,0xa9,0xe5,0x8a,0x00,0xfc,0xff,0xff]
 577           cmpnzxadd qword ptr [rdx - 1024], r9, r10
 578
 579 // CHECK: cmpoxadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 580 // CHECK: encoding: [0xc4,0xa2,0x79,0xe0,0x8c,0xf5,0x00,0x00,0x00,0x10]
 581           cmpoxadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 582
 583 // CHECK: cmpoxadd dword ptr [r8 + 4*rax + 291], ecx, eax
 584 // CHECK: encoding: [0xc4,0xc2,0x79,0xe0,0x8c,0x80,0x23,0x01,0x00,0x00]
 585           cmpoxadd dword ptr [r8 + 4*rax + 291], ecx, eax
 586
 587 // CHECK: cmpoxadd dword ptr [rip], ecx, eax
 588 // CHECK: encoding: [0xc4,0xe2,0x79,0xe0,0x0d,0x00,0x00,0x00,0x00]
 589           cmpoxadd dword ptr [rip], ecx, eax
 590
 591 // CHECK: cmpoxadd dword ptr [2*rbp - 128], ecx, eax
 592 // CHECK: encoding: [0xc4,0xe2,0x79,0xe0,0x0c,0x6d,0x80,0xff,0xff,0xff]
 593           cmpoxadd dword ptr [2*rbp - 128], ecx, eax
 594
 595 // CHECK: cmpoxadd dword ptr [rcx + 508], ecx, eax
 596 // CHECK: encoding: [0xc4,0xe2,0x79,0xe0,0x89,0xfc,0x01,0x00,0x00]
 597           cmpoxadd dword ptr [rcx + 508], ecx, eax
 598
 599 // CHECK: cmpoxadd dword ptr [rdx - 512], ecx, eax
 600 // CHECK: encoding: [0xc4,0xe2,0x79,0xe0,0x8a,0x00,0xfe,0xff,0xff]
 601           cmpoxadd dword ptr [rdx - 512], ecx, eax
 602
 603 // CHECK: cmpoxadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 604 // CHECK: encoding: [0xc4,0x22,0xa9,0xe0,0x8c,0xf5,0x00,0x00,0x00,0x10]
 605           cmpoxadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 606
 607 // CHECK: cmpoxadd qword ptr [r8 + 4*rax + 291], r9, r10
 608 // CHECK: encoding: [0xc4,0x42,0xa9,0xe0,0x8c,0x80,0x23,0x01,0x00,0x00]
 609           cmpoxadd qword ptr [r8 + 4*rax + 291], r9, r10
 610
 611 // CHECK: cmpoxadd qword ptr [rip], r9, r10
 612 // CHECK: encoding: [0xc4,0x62,0xa9,0xe0,0x0d,0x00,0x00,0x00,0x00]
 613           cmpoxadd qword ptr [rip], r9, r10
 614
 615 // CHECK: cmpoxadd qword ptr [2*rbp - 256], r9, r10
 616 // CHECK: encoding: [0xc4,0x62,0xa9,0xe0,0x0c,0x6d,0x00,0xff,0xff,0xff]
 617           cmpoxadd qword ptr [2*rbp - 256], r9, r10
 618
 619 // CHECK: cmpoxadd qword ptr [rcx + 1016], r9, r10
 620 // CHECK: encoding: [0xc4,0x62,0xa9,0xe0,0x89,0xf8,0x03,0x00,0x00]
 621           cmpoxadd qword ptr [rcx + 1016], r9, r10
 622
 623 // CHECK: cmpoxadd qword ptr [rdx - 1024], r9, r10
 624 // CHECK: encoding: [0xc4,0x62,0xa9,0xe0,0x8a,0x00,0xfc,0xff,0xff]
 625           cmpoxadd qword ptr [rdx - 1024], r9, r10
 626
 627 // CHECK: cmppxadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 628 // CHECK: encoding: [0xc4,0xa2,0x79,0xea,0x8c,0xf5,0x00,0x00,0x00,0x10]
 629           cmppxadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 630
 631 // CHECK: cmppxadd dword ptr [r8 + 4*rax + 291], ecx, eax
 632 // CHECK: encoding: [0xc4,0xc2,0x79,0xea,0x8c,0x80,0x23,0x01,0x00,0x00]
 633           cmppxadd dword ptr [r8 + 4*rax + 291], ecx, eax
 634
 635 // CHECK: cmppxadd dword ptr [rip], ecx, eax
 636 // CHECK: encoding: [0xc4,0xe2,0x79,0xea,0x0d,0x00,0x00,0x00,0x00]
 637           cmppxadd dword ptr [rip], ecx, eax
 638
 639 // CHECK: cmppxadd dword ptr [2*rbp - 128], ecx, eax
 640 // CHECK: encoding: [0xc4,0xe2,0x79,0xea,0x0c,0x6d,0x80,0xff,0xff,0xff]
 641           cmppxadd dword ptr [2*rbp - 128], ecx, eax
 642
 643 // CHECK: cmppxadd dword ptr [rcx + 508], ecx, eax
 644 // CHECK: encoding: [0xc4,0xe2,0x79,0xea,0x89,0xfc,0x01,0x00,0x00]
 645           cmppxadd dword ptr [rcx + 508], ecx, eax
 646
 647 // CHECK: cmppxadd dword ptr [rdx - 512], ecx, eax
 648 // CHECK: encoding: [0xc4,0xe2,0x79,0xea,0x8a,0x00,0xfe,0xff,0xff]
 649           cmppxadd dword ptr [rdx - 512], ecx, eax
 650
 651 // CHECK: cmppxadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 652 // CHECK: encoding: [0xc4,0x22,0xa9,0xea,0x8c,0xf5,0x00,0x00,0x00,0x10]
 653           cmppxadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 654
 655 // CHECK: cmppxadd qword ptr [r8 + 4*rax + 291], r9, r10
 656 // CHECK: encoding: [0xc4,0x42,0xa9,0xea,0x8c,0x80,0x23,0x01,0x00,0x00]
 657           cmppxadd qword ptr [r8 + 4*rax + 291], r9, r10
 658
 659 // CHECK: cmppxadd qword ptr [rip], r9, r10
 660 // CHECK: encoding: [0xc4,0x62,0xa9,0xea,0x0d,0x00,0x00,0x00,0x00]
 661           cmppxadd qword ptr [rip], r9, r10
 662
 663 // CHECK: cmppxadd qword ptr [2*rbp - 256], r9, r10
 664 // CHECK: encoding: [0xc4,0x62,0xa9,0xea,0x0c,0x6d,0x00,0xff,0xff,0xff]
 665           cmppxadd qword ptr [2*rbp - 256], r9, r10
 666
 667 // CHECK: cmppxadd qword ptr [rcx + 1016], r9, r10
 668 // CHECK: encoding: [0xc4,0x62,0xa9,0xea,0x89,0xf8,0x03,0x00,0x00]
 669           cmppxadd qword ptr [rcx + 1016], r9, r10
 670
 671 // CHECK: cmppxadd qword ptr [rdx - 1024], r9, r10
 672 // CHECK: encoding: [0xc4,0x62,0xa9,0xea,0x8a,0x00,0xfc,0xff,0xff]
 673           cmppxadd qword ptr [rdx - 1024], r9, r10
 674
 675 // CHECK: cmpsxadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 676 // CHECK: encoding: [0xc4,0xa2,0x79,0xe8,0x8c,0xf5,0x00,0x00,0x00,0x10]
 677           cmpsxadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 678
 679 // CHECK: cmpsxadd dword ptr [r8 + 4*rax + 291], ecx, eax
 680 // CHECK: encoding: [0xc4,0xc2,0x79,0xe8,0x8c,0x80,0x23,0x01,0x00,0x00]
 681           cmpsxadd dword ptr [r8 + 4*rax + 291], ecx, eax
 682
 683 // CHECK: cmpsxadd dword ptr [rip], ecx, eax
 684 // CHECK: encoding: [0xc4,0xe2,0x79,0xe8,0x0d,0x00,0x00,0x00,0x00]
 685           cmpsxadd dword ptr [rip], ecx, eax
 686
 687 // CHECK: cmpsxadd dword ptr [2*rbp - 128], ecx, eax
 688 // CHECK: encoding: [0xc4,0xe2,0x79,0xe8,0x0c,0x6d,0x80,0xff,0xff,0xff]
 689           cmpsxadd dword ptr [2*rbp - 128], ecx, eax
 690
 691 // CHECK: cmpsxadd dword ptr [rcx + 508], ecx, eax
 692 // CHECK: encoding: [0xc4,0xe2,0x79,0xe8,0x89,0xfc,0x01,0x00,0x00]
 693           cmpsxadd dword ptr [rcx + 508], ecx, eax
 694
 695 // CHECK: cmpsxadd dword ptr [rdx - 512], ecx, eax
 696 // CHECK: encoding: [0xc4,0xe2,0x79,0xe8,0x8a,0x00,0xfe,0xff,0xff]
 697           cmpsxadd dword ptr [rdx - 512], ecx, eax
 698
 699 // CHECK: cmpsxadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 700 // CHECK: encoding: [0xc4,0x22,0xa9,0xe8,0x8c,0xf5,0x00,0x00,0x00,0x10]
 701           cmpsxadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 702
 703 // CHECK: cmpsxadd qword ptr [r8 + 4*rax + 291], r9, r10
 704 // CHECK: encoding: [0xc4,0x42,0xa9,0xe8,0x8c,0x80,0x23,0x01,0x00,0x00]
 705           cmpsxadd qword ptr [r8 + 4*rax + 291], r9, r10
 706
 707 // CHECK: cmpsxadd qword ptr [rip], r9, r10
 708 // CHECK: encoding: [0xc4,0x62,0xa9,0xe8,0x0d,0x00,0x00,0x00,0x00]
 709           cmpsxadd qword ptr [rip], r9, r10
 710
 711 // CHECK: cmpsxadd qword ptr [2*rbp - 256], r9, r10
 712 // CHECK: encoding: [0xc4,0x62,0xa9,0xe8,0x0c,0x6d,0x00,0xff,0xff,0xff]
 713           cmpsxadd qword ptr [2*rbp - 256], r9, r10
 714
 715 // CHECK: cmpsxadd qword ptr [rcx + 1016], r9, r10
 716 // CHECK: encoding: [0xc4,0x62,0xa9,0xe8,0x89,0xf8,0x03,0x00,0x00]
 717           cmpsxadd qword ptr [rcx + 1016], r9, r10
 718
 719 // CHECK: cmpsxadd qword ptr [rdx - 1024], r9, r10
 720 // CHECK: encoding: [0xc4,0x62,0xa9,0xe8,0x8a,0x00,0xfc,0xff,0xff]
 721           cmpsxadd qword ptr [rdx - 1024], r9, r10
 722
 723 // CHECK: cmpzxadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 724 // CHECK: encoding: [0xc4,0xa2,0x79,0xe4,0x8c,0xf5,0x00,0x00,0x00,0x10]
 725           cmpzxadd dword ptr [rbp + 8*r14 + 268435456], ecx, eax
 726
 727 // CHECK: cmpzxadd dword ptr [r8 + 4*rax + 291], ecx, eax
 728 // CHECK: encoding: [0xc4,0xc2,0x79,0xe4,0x8c,0x80,0x23,0x01,0x00,0x00]
 729           cmpzxadd dword ptr [r8 + 4*rax + 291], ecx, eax
 730
 731 // CHECK: cmpzxadd dword ptr [rip], ecx, eax
 732 // CHECK: encoding: [0xc4,0xe2,0x79,0xe4,0x0d,0x00,0x00,0x00,0x00]
 733           cmpzxadd dword ptr [rip], ecx, eax
 734
 735 // CHECK: cmpzxadd dword ptr [2*rbp - 128], ecx, eax
 736 // CHECK: encoding: [0xc4,0xe2,0x79,0xe4,0x0c,0x6d,0x80,0xff,0xff,0xff]
 737           cmpzxadd dword ptr [2*rbp - 128], ecx, eax
 738
 739 // CHECK: cmpzxadd dword ptr [rcx + 508], ecx, eax
 740 // CHECK: encoding: [0xc4,0xe2,0x79,0xe4,0x89,0xfc,0x01,0x00,0x00]
 741           cmpzxadd dword ptr [rcx + 508], ecx, eax
 742
 743 // CHECK: cmpzxadd dword ptr [rdx - 512], ecx, eax
 744 // CHECK: encoding: [0xc4,0xe2,0x79,0xe4,0x8a,0x00,0xfe,0xff,0xff]
 745           cmpzxadd dword ptr [rdx - 512], ecx, eax
 746
 747 // CHECK: cmpzxadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 748 // CHECK: encoding: [0xc4,0x22,0xa9,0xe4,0x8c,0xf5,0x00,0x00,0x00,0x10]
 749           cmpzxadd qword ptr [rbp + 8*r14 + 268435456], r9, r10
 750
 751 // CHECK: cmpzxadd qword ptr [r8 + 4*rax + 291], r9, r10
 752 // CHECK: encoding: [0xc4,0x42,0xa9,0xe4,0x8c,0x80,0x23,0x01,0x00,0x00]
 753           cmpzxadd qword ptr [r8 + 4*rax + 291], r9, r10
 754
 755 // CHECK: cmpzxadd qword ptr [rip], r9, r10
 756 // CHECK: encoding: [0xc4,0x62,0xa9,0xe4,0x0d,0x00,0x00,0x00,0x00]
 757           cmpzxadd qword ptr [rip], r9, r10
 758
 759 // CHECK: cmpzxadd qword ptr [2*rbp - 256], r9, r10
 760 // CHECK: encoding: [0xc4,0x62,0xa9,0xe4,0x0c,0x6d,0x00,0xff,0xff,0xff]
 761           cmpzxadd qword ptr [2*rbp - 256], r9, r10
 762
 763 // CHECK: cmpzxadd qword ptr [rcx + 1016], r9, r10
 764 // CHECK: encoding: [0xc4,0x62,0xa9,0xe4,0x89,0xf8,0x03,0x00,0x00]
 765           cmpzxadd qword ptr [rcx + 1016], r9, r10
 766
 767 // CHECK: cmpzxadd qword ptr [rdx - 1024], r9, r10
 768 // CHECK: encoding: [0xc4,0x62,0xa9,0xe4,0x8a,0x00,0xfc,0xff,0xff]
 769           cmpzxadd qword ptr [rdx - 1024], r9, r10
 770
 771 // CHECK: cmpbexadd dword ptr [rip], r8d, ecx
 772 // CHECK: encoding: [0xc4,0x62,0x71,0xe6,0x05,0x00,0x00,0x00,0x00]
 773           cmpbexadd dword ptr [rip], r8d, ecx