brintos

brintos / llvm-project-archived public Read only

0
0
Text · 14.8 KiB · 4417cc1 Raw
451 lines · plain
1// RUN: llvm-mc -triple x86_64-unknown-unknown --show-encoding %s | FileCheck %s2 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