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] 5bzhil %r13d, 485498096, %r13d 6 7// CHECK: bzhil %r13d, 64(%rdx), %r13d 8// CHECK: encoding: [0xc4,0x62,0x10,0xf5,0x6a,0x40] 9bzhil %r13d, 64(%rdx), %r13d 10 11// CHECK: bzhil %r13d, 64(%rdx,%rax,4), %r13d 12// CHECK: encoding: [0xc4,0x62,0x10,0xf5,0x6c,0x82,0x40] 13bzhil %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] 17bzhil %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] 21bzhil %r13d, 64(%rdx,%rax), %r13d 22 23// CHECK: bzhil %r13d, %r13d, %r13d 24// CHECK: encoding: [0xc4,0x42,0x10,0xf5,0xed] 25bzhil %r13d, %r13d, %r13d 26 27// CHECK: bzhil %r13d, (%rdx), %r13d 28// CHECK: encoding: [0xc4,0x62,0x10,0xf5,0x2a] 29bzhil %r13d, (%rdx), %r13d 30 31// CHECK: bzhiq %r15, 485498096, %r15 32// CHECK: encoding: [0xc4,0x62,0x80,0xf5,0x3c,0x25,0xf0,0x1c,0xf0,0x1c] 33bzhiq %r15, 485498096, %r15 34 35// CHECK: bzhiq %r15, 64(%rdx), %r15 36// CHECK: encoding: [0xc4,0x62,0x80,0xf5,0x7a,0x40] 37bzhiq %r15, 64(%rdx), %r15 38 39// CHECK: bzhiq %r15, 64(%rdx,%rax,4), %r15 40// CHECK: encoding: [0xc4,0x62,0x80,0xf5,0x7c,0x82,0x40] 41bzhiq %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] 45bzhiq %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] 49bzhiq %r15, 64(%rdx,%rax), %r15 50 51// CHECK: bzhiq %r15, %r15, %r15 52// CHECK: encoding: [0xc4,0x42,0x80,0xf5,0xff] 53bzhiq %r15, %r15, %r15 54 55// CHECK: bzhiq %r15, (%rdx), %r15 56// CHECK: encoding: [0xc4,0x62,0x80,0xf5,0x3a] 57bzhiq %r15, (%rdx), %r15 58 59// CHECK: mulxl 485498096, %r13d, %r13d 60// CHECK: encoding: [0xc4,0x62,0x13,0xf6,0x2c,0x25,0xf0,0x1c,0xf0,0x1c] 61mulxl 485498096, %r13d, %r13d 62 63// CHECK: mulxl 64(%rdx), %r13d, %r13d 64// CHECK: encoding: [0xc4,0x62,0x13,0xf6,0x6a,0x40] 65mulxl 64(%rdx), %r13d, %r13d 66 67// CHECK: mulxl 64(%rdx,%rax,4), %r13d, %r13d 68// CHECK: encoding: [0xc4,0x62,0x13,0xf6,0x6c,0x82,0x40] 69mulxl 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] 73mulxl -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] 77mulxl 64(%rdx,%rax), %r13d, %r13d 78 79// CHECK: mulxl %r13d, %r13d, %r13d 80// CHECK: encoding: [0xc4,0x42,0x13,0xf6,0xed] 81mulxl %r13d, %r13d, %r13d 82 83// CHECK: mulxl (%rdx), %r13d, %r13d 84// CHECK: encoding: [0xc4,0x62,0x13,0xf6,0x2a] 85mulxl (%rdx), %r13d, %r13d 86 87// CHECK: mulxq 485498096, %r15, %r15 88// CHECK: encoding: [0xc4,0x62,0x83,0xf6,0x3c,0x25,0xf0,0x1c,0xf0,0x1c] 89mulxq 485498096, %r15, %r15 90 91// CHECK: mulxq 64(%rdx), %r15, %r15 92// CHECK: encoding: [0xc4,0x62,0x83,0xf6,0x7a,0x40] 93mulxq 64(%rdx), %r15, %r15 94 95// CHECK: mulxq 64(%rdx,%rax,4), %r15, %r15 96// CHECK: encoding: [0xc4,0x62,0x83,0xf6,0x7c,0x82,0x40] 97mulxq 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] 101mulxq -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] 105mulxq 64(%rdx,%rax), %r15, %r15 106 107// CHECK: mulxq %r15, %r15, %r15 108// CHECK: encoding: [0xc4,0x42,0x83,0xf6,0xff] 109mulxq %r15, %r15, %r15 110 111// CHECK: mulxq (%rdx), %r15, %r15 112// CHECK: encoding: [0xc4,0x62,0x83,0xf6,0x3a] 113mulxq (%rdx), %r15, %r15 114 115// CHECK: pdepl 485498096, %r13d, %r13d 116// CHECK: encoding: [0xc4,0x62,0x13,0xf5,0x2c,0x25,0xf0,0x1c,0xf0,0x1c] 117pdepl 485498096, %r13d, %r13d 118 119// CHECK: pdepl 64(%rdx), %r13d, %r13d 120// CHECK: encoding: [0xc4,0x62,0x13,0xf5,0x6a,0x40] 121pdepl 64(%rdx), %r13d, %r13d 122 123// CHECK: pdepl 64(%rdx,%rax,4), %r13d, %r13d 124// CHECK: encoding: [0xc4,0x62,0x13,0xf5,0x6c,0x82,0x40] 125pdepl 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] 129pdepl -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] 133pdepl 64(%rdx,%rax), %r13d, %r13d 134 135// CHECK: pdepl %r13d, %r13d, %r13d 136// CHECK: encoding: [0xc4,0x42,0x13,0xf5,0xed] 137pdepl %r13d, %r13d, %r13d 138 139// CHECK: pdepl (%rdx), %r13d, %r13d 140// CHECK: encoding: [0xc4,0x62,0x13,0xf5,0x2a] 141pdepl (%rdx), %r13d, %r13d 142 143// CHECK: pdepq 485498096, %r15, %r15 144// CHECK: encoding: [0xc4,0x62,0x83,0xf5,0x3c,0x25,0xf0,0x1c,0xf0,0x1c] 145pdepq 485498096, %r15, %r15 146 147// CHECK: pdepq 64(%rdx), %r15, %r15 148// CHECK: encoding: [0xc4,0x62,0x83,0xf5,0x7a,0x40] 149pdepq 64(%rdx), %r15, %r15 150 151// CHECK: pdepq 64(%rdx,%rax,4), %r15, %r15 152// CHECK: encoding: [0xc4,0x62,0x83,0xf5,0x7c,0x82,0x40] 153pdepq 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] 157pdepq -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] 161pdepq 64(%rdx,%rax), %r15, %r15 162 163// CHECK: pdepq %r15, %r15, %r15 164// CHECK: encoding: [0xc4,0x42,0x83,0xf5,0xff] 165pdepq %r15, %r15, %r15 166 167// CHECK: pdepq (%rdx), %r15, %r15 168// CHECK: encoding: [0xc4,0x62,0x83,0xf5,0x3a] 169pdepq (%rdx), %r15, %r15 170 171// CHECK: pextl 485498096, %r13d, %r13d 172// CHECK: encoding: [0xc4,0x62,0x12,0xf5,0x2c,0x25,0xf0,0x1c,0xf0,0x1c] 173pextl 485498096, %r13d, %r13d 174 175// CHECK: pextl 64(%rdx), %r13d, %r13d 176// CHECK: encoding: [0xc4,0x62,0x12,0xf5,0x6a,0x40] 177pextl 64(%rdx), %r13d, %r13d 178 179// CHECK: pextl 64(%rdx,%rax,4), %r13d, %r13d 180// CHECK: encoding: [0xc4,0x62,0x12,0xf5,0x6c,0x82,0x40] 181pextl 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] 185pextl -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] 189pextl 64(%rdx,%rax), %r13d, %r13d 190 191// CHECK: pextl %r13d, %r13d, %r13d 192// CHECK: encoding: [0xc4,0x42,0x12,0xf5,0xed] 193pextl %r13d, %r13d, %r13d 194 195// CHECK: pextl (%rdx), %r13d, %r13d 196// CHECK: encoding: [0xc4,0x62,0x12,0xf5,0x2a] 197pextl (%rdx), %r13d, %r13d 198 199// CHECK: pextq 485498096, %r15, %r15 200// CHECK: encoding: [0xc4,0x62,0x82,0xf5,0x3c,0x25,0xf0,0x1c,0xf0,0x1c] 201pextq 485498096, %r15, %r15 202 203// CHECK: pextq 64(%rdx), %r15, %r15 204// CHECK: encoding: [0xc4,0x62,0x82,0xf5,0x7a,0x40] 205pextq 64(%rdx), %r15, %r15 206 207// CHECK: pextq 64(%rdx,%rax,4), %r15, %r15 208// CHECK: encoding: [0xc4,0x62,0x82,0xf5,0x7c,0x82,0x40] 209pextq 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] 213pextq -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] 217pextq 64(%rdx,%rax), %r15, %r15 218 219// CHECK: pextq %r15, %r15, %r15 220// CHECK: encoding: [0xc4,0x42,0x82,0xf5,0xff] 221pextq %r15, %r15, %r15 222 223// CHECK: pextq (%rdx), %r15, %r15 224// CHECK: encoding: [0xc4,0x62,0x82,0xf5,0x3a] 225pextq (%rdx), %r15, %r15 226 227// CHECK: rorxl $0, 485498096, %r13d 228// CHECK: encoding: [0xc4,0x63,0x7b,0xf0,0x2c,0x25,0xf0,0x1c,0xf0,0x1c,0x00] 229rorxl $0, 485498096, %r13d 230 231// CHECK: rorxl $0, 64(%rdx), %r13d 232// CHECK: encoding: [0xc4,0x63,0x7b,0xf0,0x6a,0x40,0x00] 233rorxl $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] 237rorxl $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] 241rorxl $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] 245rorxl $0, 64(%rdx,%rax), %r13d 246 247// CHECK: rorxl $0, %r13d, %r13d 248// CHECK: encoding: [0xc4,0x43,0x7b,0xf0,0xed,0x00] 249rorxl $0, %r13d, %r13d 250 251// CHECK: rorxl $0, (%rdx), %r13d 252// CHECK: encoding: [0xc4,0x63,0x7b,0xf0,0x2a,0x00] 253rorxl $0, (%rdx), %r13d 254 255// CHECK: rorxq $0, 485498096, %r15 256// CHECK: encoding: [0xc4,0x63,0xfb,0xf0,0x3c,0x25,0xf0,0x1c,0xf0,0x1c,0x00] 257rorxq $0, 485498096, %r15 258 259// CHECK: rorxq $0, 64(%rdx), %r15 260// CHECK: encoding: [0xc4,0x63,0xfb,0xf0,0x7a,0x40,0x00] 261rorxq $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] 265rorxq $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] 269rorxq $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] 273rorxq $0, 64(%rdx,%rax), %r15 274 275// CHECK: rorxq $0, %r15, %r15 276// CHECK: encoding: [0xc4,0x43,0xfb,0xf0,0xff,0x00] 277rorxq $0, %r15, %r15 278 279// CHECK: rorxq $0, (%rdx), %r15 280// CHECK: encoding: [0xc4,0x63,0xfb,0xf0,0x3a,0x00] 281rorxq $0, (%rdx), %r15 282 283// CHECK: sarxl %r13d, 485498096, %r13d 284// CHECK: encoding: [0xc4,0x62,0x12,0xf7,0x2c,0x25,0xf0,0x1c,0xf0,0x1c] 285sarxl %r13d, 485498096, %r13d 286 287// CHECK: sarxl %r13d, 64(%rdx), %r13d 288// CHECK: encoding: [0xc4,0x62,0x12,0xf7,0x6a,0x40] 289sarxl %r13d, 64(%rdx), %r13d 290 291// CHECK: sarxl %r13d, 64(%rdx,%rax,4), %r13d 292// CHECK: encoding: [0xc4,0x62,0x12,0xf7,0x6c,0x82,0x40] 293sarxl %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] 297sarxl %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] 301sarxl %r13d, 64(%rdx,%rax), %r13d 302 303// CHECK: sarxl %r13d, %r13d, %r13d 304// CHECK: encoding: [0xc4,0x42,0x12,0xf7,0xed] 305sarxl %r13d, %r13d, %r13d 306 307// CHECK: sarxl %r13d, (%rdx), %r13d 308// CHECK: encoding: [0xc4,0x62,0x12,0xf7,0x2a] 309sarxl %r13d, (%rdx), %r13d 310 311// CHECK: sarxq %r15, 485498096, %r15 312// CHECK: encoding: [0xc4,0x62,0x82,0xf7,0x3c,0x25,0xf0,0x1c,0xf0,0x1c] 313sarxq %r15, 485498096, %r15 314 315// CHECK: sarxq %r15, 64(%rdx), %r15 316// CHECK: encoding: [0xc4,0x62,0x82,0xf7,0x7a,0x40] 317sarxq %r15, 64(%rdx), %r15 318 319// CHECK: sarxq %r15, 64(%rdx,%rax,4), %r15 320// CHECK: encoding: [0xc4,0x62,0x82,0xf7,0x7c,0x82,0x40] 321sarxq %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] 325sarxq %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] 329sarxq %r15, 64(%rdx,%rax), %r15 330 331// CHECK: sarxq %r15, %r15, %r15 332// CHECK: encoding: [0xc4,0x42,0x82,0xf7,0xff] 333sarxq %r15, %r15, %r15 334 335// CHECK: sarxq %r15, (%rdx), %r15 336// CHECK: encoding: [0xc4,0x62,0x82,0xf7,0x3a] 337sarxq %r15, (%rdx), %r15 338 339// CHECK: shlxl %r13d, 485498096, %r13d 340// CHECK: encoding: [0xc4,0x62,0x11,0xf7,0x2c,0x25,0xf0,0x1c,0xf0,0x1c] 341shlxl %r13d, 485498096, %r13d 342 343// CHECK: shlxl %r13d, 64(%rdx), %r13d 344// CHECK: encoding: [0xc4,0x62,0x11,0xf7,0x6a,0x40] 345shlxl %r13d, 64(%rdx), %r13d 346 347// CHECK: shlxl %r13d, 64(%rdx,%rax,4), %r13d 348// CHECK: encoding: [0xc4,0x62,0x11,0xf7,0x6c,0x82,0x40] 349shlxl %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] 353shlxl %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] 357shlxl %r13d, 64(%rdx,%rax), %r13d 358 359// CHECK: shlxl %r13d, %r13d, %r13d 360// CHECK: encoding: [0xc4,0x42,0x11,0xf7,0xed] 361shlxl %r13d, %r13d, %r13d 362 363// CHECK: shlxl %r13d, (%rdx), %r13d 364// CHECK: encoding: [0xc4,0x62,0x11,0xf7,0x2a] 365shlxl %r13d, (%rdx), %r13d 366 367// CHECK: shlxq %r15, 485498096, %r15 368// CHECK: encoding: [0xc4,0x62,0x81,0xf7,0x3c,0x25,0xf0,0x1c,0xf0,0x1c] 369shlxq %r15, 485498096, %r15 370 371// CHECK: shlxq %r15, 64(%rdx), %r15 372// CHECK: encoding: [0xc4,0x62,0x81,0xf7,0x7a,0x40] 373shlxq %r15, 64(%rdx), %r15 374 375// CHECK: shlxq %r15, 64(%rdx,%rax,4), %r15 376// CHECK: encoding: [0xc4,0x62,0x81,0xf7,0x7c,0x82,0x40] 377shlxq %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] 381shlxq %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] 385shlxq %r15, 64(%rdx,%rax), %r15 386 387// CHECK: shlxq %r15, %r15, %r15 388// CHECK: encoding: [0xc4,0x42,0x81,0xf7,0xff] 389shlxq %r15, %r15, %r15 390 391// CHECK: shlxq %r15, (%rdx), %r15 392// CHECK: encoding: [0xc4,0x62,0x81,0xf7,0x3a] 393shlxq %r15, (%rdx), %r15 394 395// CHECK: shrxl %r13d, 485498096, %r13d 396// CHECK: encoding: [0xc4,0x62,0x13,0xf7,0x2c,0x25,0xf0,0x1c,0xf0,0x1c] 397shrxl %r13d, 485498096, %r13d 398 399// CHECK: shrxl %r13d, 64(%rdx), %r13d 400// CHECK: encoding: [0xc4,0x62,0x13,0xf7,0x6a,0x40] 401shrxl %r13d, 64(%rdx), %r13d 402 403// CHECK: shrxl %r13d, 64(%rdx,%rax,4), %r13d 404// CHECK: encoding: [0xc4,0x62,0x13,0xf7,0x6c,0x82,0x40] 405shrxl %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] 409shrxl %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] 413shrxl %r13d, 64(%rdx,%rax), %r13d 414 415// CHECK: shrxl %r13d, %r13d, %r13d 416// CHECK: encoding: [0xc4,0x42,0x13,0xf7,0xed] 417shrxl %r13d, %r13d, %r13d 418 419// CHECK: shrxl %r13d, (%rdx), %r13d 420// CHECK: encoding: [0xc4,0x62,0x13,0xf7,0x2a] 421shrxl %r13d, (%rdx), %r13d 422 423// CHECK: shrxq %r15, 485498096, %r15 424// CHECK: encoding: [0xc4,0x62,0x83,0xf7,0x3c,0x25,0xf0,0x1c,0xf0,0x1c] 425shrxq %r15, 485498096, %r15 426 427// CHECK: shrxq %r15, 64(%rdx), %r15 428// CHECK: encoding: [0xc4,0x62,0x83,0xf7,0x7a,0x40] 429shrxq %r15, 64(%rdx), %r15 430 431// CHECK: shrxq %r15, 64(%rdx,%rax,4), %r15 432// CHECK: encoding: [0xc4,0x62,0x83,0xf7,0x7c,0x82,0x40] 433shrxq %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] 437shrxq %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] 441shrxq %r15, 64(%rdx,%rax), %r15 442 443// CHECK: shrxq %r15, %r15, %r15 444// CHECK: encoding: [0xc4,0x42,0x83,0xf7,0xff] 445shrxq %r15, %r15, %r15 446 447// CHECK: shrxq %r15, (%rdx), %r15 448// CHECK: encoding: [0xc4,0x62,0x83,0xf7,0x3a] 449shrxq %r15, (%rdx), %r15 450 451