test/MC/X86/BMI2-64.s

   1 // RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s
   2
   3 // CHECK: bzhil %r13d, 485498096, %r13d
   4 // CHECK: encoding: [0xc4,0x62,0x10,0xf5,0x2c,0x25,0xf0,0x1c,0xf0,0x1c]
   5 bzhil %r13d, 485498096, %r13d
   6
   7 // CHECK: bzhil %r13d, 64(%rdx), %r13d
   8 // CHECK: encoding: [0xc4,0x62,0x10,0xf5,0x6a,0x40]
   9 bzhil %r13d, 64(%rdx), %r13d
  10
  11 // CHECK: bzhil %r13d, 64(%rdx,%rax,4), %r13d
  12 // CHECK: encoding: [0xc4,0x62,0x10,0xf5,0x6c,0x82,0x40]
  13 bzhil %r13d, 64(%rdx,%rax,4), %r13d
  14
  15 // CHECK: bzhil %r13d, -64(%rdx,%rax,4), %r13d
  16 // CHECK: encoding: [0xc4,0x62,0x10,0xf5,0x6c,0x82,0xc0]
  17 bzhil %r13d, -64(%rdx,%rax,4), %r13d
  18
  19 // CHECK: bzhil %r13d, 64(%rdx,%rax), %r13d
  20 // CHECK: encoding: [0xc4,0x62,0x10,0xf5,0x6c,0x02,0x40]
  21 bzhil %r13d, 64(%rdx,%rax), %r13d
  22
  23 // CHECK: bzhil %r13d, %r13d, %r13d
  24 // CHECK: encoding: [0xc4,0x42,0x10,0xf5,0xed]
  25 bzhil %r13d, %r13d, %r13d
  26
  27 // CHECK: bzhil %r13d, (%rdx), %r13d
  28 // CHECK: encoding: [0xc4,0x62,0x10,0xf5,0x2a]
  29 bzhil %r13d, (%rdx), %r13d
  30
  31 // CHECK: bzhiq %r15, 485498096, %r15
  32 // CHECK: encoding: [0xc4,0x62,0x80,0xf5,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
  33 bzhiq %r15, 485498096, %r15
  34
  35 // CHECK: bzhiq %r15, 64(%rdx), %r15
  36 // CHECK: encoding: [0xc4,0x62,0x80,0xf5,0x7a,0x40]
  37 bzhiq %r15, 64(%rdx), %r15
  38
  39 // CHECK: bzhiq %r15, 64(%rdx,%rax,4), %r15
  40 // CHECK: encoding: [0xc4,0x62,0x80,0xf5,0x7c,0x82,0x40]
  41 bzhiq %r15, 64(%rdx,%rax,4), %r15
  42
  43 // CHECK: bzhiq %r15, -64(%rdx,%rax,4), %r15
  44 // CHECK: encoding: [0xc4,0x62,0x80,0xf5,0x7c,0x82,0xc0]
  45 bzhiq %r15, -64(%rdx,%rax,4), %r15
  46
  47 // CHECK: bzhiq %r15, 64(%rdx,%rax), %r15
  48 // CHECK: encoding: [0xc4,0x62,0x80,0xf5,0x7c,0x02,0x40]
  49 bzhiq %r15, 64(%rdx,%rax), %r15
  50
  51 // CHECK: bzhiq %r15, %r15, %r15
  52 // CHECK: encoding: [0xc4,0x42,0x80,0xf5,0xff]
  53 bzhiq %r15, %r15, %r15
  54
  55 // CHECK: bzhiq %r15, (%rdx), %r15
  56 // CHECK: encoding: [0xc4,0x62,0x80,0xf5,0x3a]
  57 bzhiq %r15, (%rdx), %r15
  58
  59 // CHECK: mulxl 485498096, %r13d, %r13d
  60 // CHECK: encoding: [0xc4,0x62,0x13,0xf6,0x2c,0x25,0xf0,0x1c,0xf0,0x1c]
  61 mulxl 485498096, %r13d, %r13d
  62
  63 // CHECK: mulxl 64(%rdx), %r13d, %r13d
  64 // CHECK: encoding: [0xc4,0x62,0x13,0xf6,0x6a,0x40]
  65 mulxl 64(%rdx), %r13d, %r13d
  66
  67 // CHECK: mulxl 64(%rdx,%rax,4), %r13d, %r13d
  68 // CHECK: encoding: [0xc4,0x62,0x13,0xf6,0x6c,0x82,0x40]
  69 mulxl 64(%rdx,%rax,4), %r13d, %r13d
  70
  71 // CHECK: mulxl -64(%rdx,%rax,4), %r13d, %r13d
  72 // CHECK: encoding: [0xc4,0x62,0x13,0xf6,0x6c,0x82,0xc0]
  73 mulxl -64(%rdx,%rax,4), %r13d, %r13d
  74
  75 // CHECK: mulxl 64(%rdx,%rax), %r13d, %r13d
  76 // CHECK: encoding: [0xc4,0x62,0x13,0xf6,0x6c,0x02,0x40]
  77 mulxl 64(%rdx,%rax), %r13d, %r13d
  78
  79 // CHECK: mulxl %r13d, %r13d, %r13d
  80 // CHECK: encoding: [0xc4,0x42,0x13,0xf6,0xed]
  81 mulxl %r13d, %r13d, %r13d
  82
  83 // CHECK: mulxl (%rdx), %r13d, %r13d
  84 // CHECK: encoding: [0xc4,0x62,0x13,0xf6,0x2a]
  85 mulxl (%rdx), %r13d, %r13d
  86
  87 // CHECK: mulxq 485498096, %r15, %r15
  88 // CHECK: encoding: [0xc4,0x62,0x83,0xf6,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
  89 mulxq 485498096, %r15, %r15
  90
  91 // CHECK: mulxq 64(%rdx), %r15, %r15
  92 // CHECK: encoding: [0xc4,0x62,0x83,0xf6,0x7a,0x40]
  93 mulxq 64(%rdx), %r15, %r15
  94
  95 // CHECK: mulxq 64(%rdx,%rax,4), %r15, %r15
  96 // CHECK: encoding: [0xc4,0x62,0x83,0xf6,0x7c,0x82,0x40]
  97 mulxq 64(%rdx,%rax,4), %r15, %r15
  98
  99 // CHECK: mulxq -64(%rdx,%rax,4), %r15, %r15
 100 // CHECK: encoding: [0xc4,0x62,0x83,0xf6,0x7c,0x82,0xc0]
 101 mulxq -64(%rdx,%rax,4), %r15, %r15
 102
 103 // CHECK: mulxq 64(%rdx,%rax), %r15, %r15
 104 // CHECK: encoding: [0xc4,0x62,0x83,0xf6,0x7c,0x02,0x40]
 105 mulxq 64(%rdx,%rax), %r15, %r15
 106
 107 // CHECK: mulxq %r15, %r15, %r15
 108 // CHECK: encoding: [0xc4,0x42,0x83,0xf6,0xff]
 109 mulxq %r15, %r15, %r15
 110
 111 // CHECK: mulxq (%rdx), %r15, %r15
 112 // CHECK: encoding: [0xc4,0x62,0x83,0xf6,0x3a]
 113 mulxq (%rdx), %r15, %r15
 114
 115 // CHECK: pdepl 485498096, %r13d, %r13d
 116 // CHECK: encoding: [0xc4,0x62,0x13,0xf5,0x2c,0x25,0xf0,0x1c,0xf0,0x1c]
 117 pdepl 485498096, %r13d, %r13d
 118
 119 // CHECK: pdepl 64(%rdx), %r13d, %r13d
 120 // CHECK: encoding: [0xc4,0x62,0x13,0xf5,0x6a,0x40]
 121 pdepl 64(%rdx), %r13d, %r13d
 122
 123 // CHECK: pdepl 64(%rdx,%rax,4), %r13d, %r13d
 124 // CHECK: encoding: [0xc4,0x62,0x13,0xf5,0x6c,0x82,0x40]
 125 pdepl 64(%rdx,%rax,4), %r13d, %r13d
 126
 127 // CHECK: pdepl -64(%rdx,%rax,4), %r13d, %r13d
 128 // CHECK: encoding: [0xc4,0x62,0x13,0xf5,0x6c,0x82,0xc0]
 129 pdepl -64(%rdx,%rax,4), %r13d, %r13d
 130
 131 // CHECK: pdepl 64(%rdx,%rax), %r13d, %r13d
 132 // CHECK: encoding: [0xc4,0x62,0x13,0xf5,0x6c,0x02,0x40]
 133 pdepl 64(%rdx,%rax), %r13d, %r13d
 134
 135 // CHECK: pdepl %r13d, %r13d, %r13d
 136 // CHECK: encoding: [0xc4,0x42,0x13,0xf5,0xed]
 137 pdepl %r13d, %r13d, %r13d
 138
 139 // CHECK: pdepl (%rdx), %r13d, %r13d
 140 // CHECK: encoding: [0xc4,0x62,0x13,0xf5,0x2a]
 141 pdepl (%rdx), %r13d, %r13d
 142
 143 // CHECK: pdepq 485498096, %r15, %r15
 144 // CHECK: encoding: [0xc4,0x62,0x83,0xf5,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
 145 pdepq 485498096, %r15, %r15
 146
 147 // CHECK: pdepq 64(%rdx), %r15, %r15
 148 // CHECK: encoding: [0xc4,0x62,0x83,0xf5,0x7a,0x40]
 149 pdepq 64(%rdx), %r15, %r15
 150
 151 // CHECK: pdepq 64(%rdx,%rax,4), %r15, %r15
 152 // CHECK: encoding: [0xc4,0x62,0x83,0xf5,0x7c,0x82,0x40]
 153 pdepq 64(%rdx,%rax,4), %r15, %r15
 154
 155 // CHECK: pdepq -64(%rdx,%rax,4), %r15, %r15
 156 // CHECK: encoding: [0xc4,0x62,0x83,0xf5,0x7c,0x82,0xc0]
 157 pdepq -64(%rdx,%rax,4), %r15, %r15
 158
 159 // CHECK: pdepq 64(%rdx,%rax), %r15, %r15
 160 // CHECK: encoding: [0xc4,0x62,0x83,0xf5,0x7c,0x02,0x40]
 161 pdepq 64(%rdx,%rax), %r15, %r15
 162
 163 // CHECK: pdepq %r15, %r15, %r15
 164 // CHECK: encoding: [0xc4,0x42,0x83,0xf5,0xff]
 165 pdepq %r15, %r15, %r15
 166
 167 // CHECK: pdepq (%rdx), %r15, %r15
 168 // CHECK: encoding: [0xc4,0x62,0x83,0xf5,0x3a]
 169 pdepq (%rdx), %r15, %r15
 170
 171 // CHECK: pextl 485498096, %r13d, %r13d
 172 // CHECK: encoding: [0xc4,0x62,0x12,0xf5,0x2c,0x25,0xf0,0x1c,0xf0,0x1c]
 173 pextl 485498096, %r13d, %r13d
 174
 175 // CHECK: pextl 64(%rdx), %r13d, %r13d
 176 // CHECK: encoding: [0xc4,0x62,0x12,0xf5,0x6a,0x40]
 177 pextl 64(%rdx), %r13d, %r13d
 178
 179 // CHECK: pextl 64(%rdx,%rax,4), %r13d, %r13d
 180 // CHECK: encoding: [0xc4,0x62,0x12,0xf5,0x6c,0x82,0x40]
 181 pextl 64(%rdx,%rax,4), %r13d, %r13d
 182
 183 // CHECK: pextl -64(%rdx,%rax,4), %r13d, %r13d
 184 // CHECK: encoding: [0xc4,0x62,0x12,0xf5,0x6c,0x82,0xc0]
 185 pextl -64(%rdx,%rax,4), %r13d, %r13d
 186
 187 // CHECK: pextl 64(%rdx,%rax), %r13d, %r13d
 188 // CHECK: encoding: [0xc4,0x62,0x12,0xf5,0x6c,0x02,0x40]
 189 pextl 64(%rdx,%rax), %r13d, %r13d
 190
 191 // CHECK: pextl %r13d, %r13d, %r13d
 192 // CHECK: encoding: [0xc4,0x42,0x12,0xf5,0xed]
 193 pextl %r13d, %r13d, %r13d
 194
 195 // CHECK: pextl (%rdx), %r13d, %r13d
 196 // CHECK: encoding: [0xc4,0x62,0x12,0xf5,0x2a]
 197 pextl (%rdx), %r13d, %r13d
 198
 199 // CHECK: pextq 485498096, %r15, %r15
 200 // CHECK: encoding: [0xc4,0x62,0x82,0xf5,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
 201 pextq 485498096, %r15, %r15
 202
 203 // CHECK: pextq 64(%rdx), %r15, %r15
 204 // CHECK: encoding: [0xc4,0x62,0x82,0xf5,0x7a,0x40]
 205 pextq 64(%rdx), %r15, %r15
 206
 207 // CHECK: pextq 64(%rdx,%rax,4), %r15, %r15
 208 // CHECK: encoding: [0xc4,0x62,0x82,0xf5,0x7c,0x82,0x40]
 209 pextq 64(%rdx,%rax,4), %r15, %r15
 210
 211 // CHECK: pextq -64(%rdx,%rax,4), %r15, %r15
 212 // CHECK: encoding: [0xc4,0x62,0x82,0xf5,0x7c,0x82,0xc0]
 213 pextq -64(%rdx,%rax,4), %r15, %r15
 214
 215 // CHECK: pextq 64(%rdx,%rax), %r15, %r15
 216 // CHECK: encoding: [0xc4,0x62,0x82,0xf5,0x7c,0x02,0x40]
 217 pextq 64(%rdx,%rax), %r15, %r15
 218
 219 // CHECK: pextq %r15, %r15, %r15
 220 // CHECK: encoding: [0xc4,0x42,0x82,0xf5,0xff]
 221 pextq %r15, %r15, %r15
 222
 223 // CHECK: pextq (%rdx), %r15, %r15
 224 // CHECK: encoding: [0xc4,0x62,0x82,0xf5,0x3a]
 225 pextq (%rdx), %r15, %r15
 226
 227 // CHECK: rorxl $0, 485498096, %r13d
 228 // CHECK: encoding: [0xc4,0x63,0x7b,0xf0,0x2c,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
 229 rorxl $0, 485498096, %r13d
 230
 231 // CHECK: rorxl $0, 64(%rdx), %r13d
 232 // CHECK: encoding: [0xc4,0x63,0x7b,0xf0,0x6a,0x40,0x00]
 233 rorxl $0, 64(%rdx), %r13d
 234
 235 // CHECK: rorxl $0, 64(%rdx,%rax,4), %r13d
 236 // CHECK: encoding: [0xc4,0x63,0x7b,0xf0,0x6c,0x82,0x40,0x00]
 237 rorxl $0, 64(%rdx,%rax,4), %r13d
 238
 239 // CHECK: rorxl $0, -64(%rdx,%rax,4), %r13d
 240 // CHECK: encoding: [0xc4,0x63,0x7b,0xf0,0x6c,0x82,0xc0,0x00]
 241 rorxl $0, -64(%rdx,%rax,4), %r13d
 242
 243 // CHECK: rorxl $0, 64(%rdx,%rax), %r13d
 244 // CHECK: encoding: [0xc4,0x63,0x7b,0xf0,0x6c,0x02,0x40,0x00]
 245 rorxl $0, 64(%rdx,%rax), %r13d
 246
 247 // CHECK: rorxl $0, %r13d, %r13d
 248 // CHECK: encoding: [0xc4,0x43,0x7b,0xf0,0xed,0x00]
 249 rorxl $0, %r13d, %r13d
 250
 251 // CHECK: rorxl $0, (%rdx), %r13d
 252 // CHECK: encoding: [0xc4,0x63,0x7b,0xf0,0x2a,0x00]
 253 rorxl $0, (%rdx), %r13d
 254
 255 // CHECK: rorxq $0, 485498096, %r15
 256 // CHECK: encoding: [0xc4,0x63,0xfb,0xf0,0x3c,0x25,0xf0,0x1c,0xf0,0x1c,0x00]
 257 rorxq $0, 485498096, %r15
 258
 259 // CHECK: rorxq $0, 64(%rdx), %r15
 260 // CHECK: encoding: [0xc4,0x63,0xfb,0xf0,0x7a,0x40,0x00]
 261 rorxq $0, 64(%rdx), %r15
 262
 263 // CHECK: rorxq $0, 64(%rdx,%rax,4), %r15
 264 // CHECK: encoding: [0xc4,0x63,0xfb,0xf0,0x7c,0x82,0x40,0x00]
 265 rorxq $0, 64(%rdx,%rax,4), %r15
 266
 267 // CHECK: rorxq $0, -64(%rdx,%rax,4), %r15
 268 // CHECK: encoding: [0xc4,0x63,0xfb,0xf0,0x7c,0x82,0xc0,0x00]
 269 rorxq $0, -64(%rdx,%rax,4), %r15
 270
 271 // CHECK: rorxq $0, 64(%rdx,%rax), %r15
 272 // CHECK: encoding: [0xc4,0x63,0xfb,0xf0,0x7c,0x02,0x40,0x00]
 273 rorxq $0, 64(%rdx,%rax), %r15
 274
 275 // CHECK: rorxq $0, %r15, %r15
 276 // CHECK: encoding: [0xc4,0x43,0xfb,0xf0,0xff,0x00]
 277 rorxq $0, %r15, %r15
 278
 279 // CHECK: rorxq $0, (%rdx), %r15
 280 // CHECK: encoding: [0xc4,0x63,0xfb,0xf0,0x3a,0x00]
 281 rorxq $0, (%rdx), %r15
 282
 283 // CHECK: sarxl %r13d, 485498096, %r13d
 284 // CHECK: encoding: [0xc4,0x62,0x12,0xf7,0x2c,0x25,0xf0,0x1c,0xf0,0x1c]
 285 sarxl %r13d, 485498096, %r13d
 286
 287 // CHECK: sarxl %r13d, 64(%rdx), %r13d
 288 // CHECK: encoding: [0xc4,0x62,0x12,0xf7,0x6a,0x40]
 289 sarxl %r13d, 64(%rdx), %r13d
 290
 291 // CHECK: sarxl %r13d, 64(%rdx,%rax,4), %r13d
 292 // CHECK: encoding: [0xc4,0x62,0x12,0xf7,0x6c,0x82,0x40]
 293 sarxl %r13d, 64(%rdx,%rax,4), %r13d
 294
 295 // CHECK: sarxl %r13d, -64(%rdx,%rax,4), %r13d
 296 // CHECK: encoding: [0xc4,0x62,0x12,0xf7,0x6c,0x82,0xc0]
 297 sarxl %r13d, -64(%rdx,%rax,4), %r13d
 298
 299 // CHECK: sarxl %r13d, 64(%rdx,%rax), %r13d
 300 // CHECK: encoding: [0xc4,0x62,0x12,0xf7,0x6c,0x02,0x40]
 301 sarxl %r13d, 64(%rdx,%rax), %r13d
 302
 303 // CHECK: sarxl %r13d, %r13d, %r13d
 304 // CHECK: encoding: [0xc4,0x42,0x12,0xf7,0xed]
 305 sarxl %r13d, %r13d, %r13d
 306
 307 // CHECK: sarxl %r13d, (%rdx), %r13d
 308 // CHECK: encoding: [0xc4,0x62,0x12,0xf7,0x2a]
 309 sarxl %r13d, (%rdx), %r13d
 310
 311 // CHECK: sarxq %r15, 485498096, %r15
 312 // CHECK: encoding: [0xc4,0x62,0x82,0xf7,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
 313 sarxq %r15, 485498096, %r15
 314
 315 // CHECK: sarxq %r15, 64(%rdx), %r15
 316 // CHECK: encoding: [0xc4,0x62,0x82,0xf7,0x7a,0x40]
 317 sarxq %r15, 64(%rdx), %r15
 318
 319 // CHECK: sarxq %r15, 64(%rdx,%rax,4), %r15
 320 // CHECK: encoding: [0xc4,0x62,0x82,0xf7,0x7c,0x82,0x40]
 321 sarxq %r15, 64(%rdx,%rax,4), %r15
 322
 323 // CHECK: sarxq %r15, -64(%rdx,%rax,4), %r15
 324 // CHECK: encoding: [0xc4,0x62,0x82,0xf7,0x7c,0x82,0xc0]
 325 sarxq %r15, -64(%rdx,%rax,4), %r15
 326
 327 // CHECK: sarxq %r15, 64(%rdx,%rax), %r15
 328 // CHECK: encoding: [0xc4,0x62,0x82,0xf7,0x7c,0x02,0x40]
 329 sarxq %r15, 64(%rdx,%rax), %r15
 330
 331 // CHECK: sarxq %r15, %r15, %r15
 332 // CHECK: encoding: [0xc4,0x42,0x82,0xf7,0xff]
 333 sarxq %r15, %r15, %r15
 334
 335 // CHECK: sarxq %r15, (%rdx), %r15
 336 // CHECK: encoding: [0xc4,0x62,0x82,0xf7,0x3a]
 337 sarxq %r15, (%rdx), %r15
 338
 339 // CHECK: shlxl %r13d, 485498096, %r13d
 340 // CHECK: encoding: [0xc4,0x62,0x11,0xf7,0x2c,0x25,0xf0,0x1c,0xf0,0x1c]
 341 shlxl %r13d, 485498096, %r13d
 342
 343 // CHECK: shlxl %r13d, 64(%rdx), %r13d
 344 // CHECK: encoding: [0xc4,0x62,0x11,0xf7,0x6a,0x40]
 345 shlxl %r13d, 64(%rdx), %r13d
 346
 347 // CHECK: shlxl %r13d, 64(%rdx,%rax,4), %r13d
 348 // CHECK: encoding: [0xc4,0x62,0x11,0xf7,0x6c,0x82,0x40]
 349 shlxl %r13d, 64(%rdx,%rax,4), %r13d
 350
 351 // CHECK: shlxl %r13d, -64(%rdx,%rax,4), %r13d
 352 // CHECK: encoding: [0xc4,0x62,0x11,0xf7,0x6c,0x82,0xc0]
 353 shlxl %r13d, -64(%rdx,%rax,4), %r13d
 354
 355 // CHECK: shlxl %r13d, 64(%rdx,%rax), %r13d
 356 // CHECK: encoding: [0xc4,0x62,0x11,0xf7,0x6c,0x02,0x40]
 357 shlxl %r13d, 64(%rdx,%rax), %r13d
 358
 359 // CHECK: shlxl %r13d, %r13d, %r13d
 360 // CHECK: encoding: [0xc4,0x42,0x11,0xf7,0xed]
 361 shlxl %r13d, %r13d, %r13d
 362
 363 // CHECK: shlxl %r13d, (%rdx), %r13d
 364 // CHECK: encoding: [0xc4,0x62,0x11,0xf7,0x2a]
 365 shlxl %r13d, (%rdx), %r13d
 366
 367 // CHECK: shlxq %r15, 485498096, %r15
 368 // CHECK: encoding: [0xc4,0x62,0x81,0xf7,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
 369 shlxq %r15, 485498096, %r15
 370
 371 // CHECK: shlxq %r15, 64(%rdx), %r15
 372 // CHECK: encoding: [0xc4,0x62,0x81,0xf7,0x7a,0x40]
 373 shlxq %r15, 64(%rdx), %r15
 374
 375 // CHECK: shlxq %r15, 64(%rdx,%rax,4), %r15
 376 // CHECK: encoding: [0xc4,0x62,0x81,0xf7,0x7c,0x82,0x40]
 377 shlxq %r15, 64(%rdx,%rax,4), %r15
 378
 379 // CHECK: shlxq %r15, -64(%rdx,%rax,4), %r15
 380 // CHECK: encoding: [0xc4,0x62,0x81,0xf7,0x7c,0x82,0xc0]
 381 shlxq %r15, -64(%rdx,%rax,4), %r15
 382
 383 // CHECK: shlxq %r15, 64(%rdx,%rax), %r15
 384 // CHECK: encoding: [0xc4,0x62,0x81,0xf7,0x7c,0x02,0x40]
 385 shlxq %r15, 64(%rdx,%rax), %r15
 386
 387 // CHECK: shlxq %r15, %r15, %r15
 388 // CHECK: encoding: [0xc4,0x42,0x81,0xf7,0xff]
 389 shlxq %r15, %r15, %r15
 390
 391 // CHECK: shlxq %r15, (%rdx), %r15
 392 // CHECK: encoding: [0xc4,0x62,0x81,0xf7,0x3a]
 393 shlxq %r15, (%rdx), %r15
 394
 395 // CHECK: shrxl %r13d, 485498096, %r13d
 396 // CHECK: encoding: [0xc4,0x62,0x13,0xf7,0x2c,0x25,0xf0,0x1c,0xf0,0x1c]
 397 shrxl %r13d, 485498096, %r13d
 398
 399 // CHECK: shrxl %r13d, 64(%rdx), %r13d
 400 // CHECK: encoding: [0xc4,0x62,0x13,0xf7,0x6a,0x40]
 401 shrxl %r13d, 64(%rdx), %r13d
 402
 403 // CHECK: shrxl %r13d, 64(%rdx,%rax,4), %r13d
 404 // CHECK: encoding: [0xc4,0x62,0x13,0xf7,0x6c,0x82,0x40]
 405 shrxl %r13d, 64(%rdx,%rax,4), %r13d
 406
 407 // CHECK: shrxl %r13d, -64(%rdx,%rax,4), %r13d
 408 // CHECK: encoding: [0xc4,0x62,0x13,0xf7,0x6c,0x82,0xc0]
 409 shrxl %r13d, -64(%rdx,%rax,4), %r13d
 410
 411 // CHECK: shrxl %r13d, 64(%rdx,%rax), %r13d
 412 // CHECK: encoding: [0xc4,0x62,0x13,0xf7,0x6c,0x02,0x40]
 413 shrxl %r13d, 64(%rdx,%rax), %r13d
 414
 415 // CHECK: shrxl %r13d, %r13d, %r13d
 416 // CHECK: encoding: [0xc4,0x42,0x13,0xf7,0xed]
 417 shrxl %r13d, %r13d, %r13d
 418
 419 // CHECK: shrxl %r13d, (%rdx), %r13d
 420 // CHECK: encoding: [0xc4,0x62,0x13,0xf7,0x2a]
 421 shrxl %r13d, (%rdx), %r13d
 422
 423 // CHECK: shrxq %r15, 485498096, %r15
 424 // CHECK: encoding: [0xc4,0x62,0x83,0xf7,0x3c,0x25,0xf0,0x1c,0xf0,0x1c]
 425 shrxq %r15, 485498096, %r15
 426
 427 // CHECK: shrxq %r15, 64(%rdx), %r15
 428 // CHECK: encoding: [0xc4,0x62,0x83,0xf7,0x7a,0x40]
 429 shrxq %r15, 64(%rdx), %r15
 430
 431 // CHECK: shrxq %r15, 64(%rdx,%rax,4), %r15
 432 // CHECK: encoding: [0xc4,0x62,0x83,0xf7,0x7c,0x82,0x40]
 433 shrxq %r15, 64(%rdx,%rax,4), %r15
 434
 435 // CHECK: shrxq %r15, -64(%rdx,%rax,4), %r15
 436 // CHECK: encoding: [0xc4,0x62,0x83,0xf7,0x7c,0x82,0xc0]
 437 shrxq %r15, -64(%rdx,%rax,4), %r15
 438
 439 // CHECK: shrxq %r15, 64(%rdx,%rax), %r15
 440 // CHECK: encoding: [0xc4,0x62,0x83,0xf7,0x7c,0x02,0x40]
 441 shrxq %r15, 64(%rdx,%rax), %r15
 442
 443 // CHECK: shrxq %r15, %r15, %r15
 444 // CHECK: encoding: [0xc4,0x42,0x83,0xf7,0xff]
 445 shrxq %r15, %r15, %r15
 446
 447 // CHECK: shrxq %r15, (%rdx), %r15
 448 // CHECK: encoding: [0xc4,0x62,0x83,0xf7,0x3a]
 449 shrxq %r15, (%rdx), %r15
 450