test/CodeGen/Mips/GlobalISel/legalizer/bitwise.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -O0 -mtriple=mipsel-linux-gnu -run-pass=legalizer -verify-machineinstrs %s -o - | FileCheck %s -check-prefixes=MIPS32
   3 --- |
   4
   5   define void @and_i1() {entry: ret void}
   6   define void @and_i8() {entry: ret void}
   7   define void @and_i16() {entry: ret void}
   8   define void @and_i32() {entry: ret void}
   9   define void @and_i64() {entry: ret void}
  10   define void @or_i1() {entry: ret void}
  11   define void @or_i8() {entry: ret void}
  12   define void @or_i16() {entry: ret void}
  13   define void @or_i32() {entry: ret void}
  14   define void @or_i64() {entry: ret void}
  15   define void @xor_i1() {entry: ret void}
  16   define void @xor_i8() {entry: ret void}
  17   define void @xor_i16() {entry: ret void}
  18   define void @xor_i32() {entry: ret void}
  19   define void @xor_i64() {entry: ret void}
  20   define void @shl(i32) {entry: ret void}
  21   define void @ashr(i32) {entry: ret void}
  22   define void @lshr(i32) {entry: ret void}
  23   define void @lshr_i64_shift_amount(i32) {entry: ret void}
  24   define void @shlv(i32, i32) {entry: ret void}
  25   define void @ashrv(i32, i32) {entry: ret void}
  26   define void @lshrv(i32, i32) {entry: ret void}
  27   define void @shl_i16() {entry: ret void}
  28   define void @ashr_i8() {entry: ret void}
  29   define void @lshr_i16() {entry: ret void}
  30   define void @shl_i64() {entry: ret void}
  31   define void @ashl_i64() {entry: ret void}
  32   define void @lshr_i64() {entry: ret void}
  33
  34 ...
  35 ---
  36 name:            and_i1
  37 alignment:       4
  38 tracksRegLiveness: true
  39 body:             |
  40   bb.1.entry:
  41     liveins: $a0, $a1
  42
  43     ; MIPS32-LABEL: name: and_i1
  44     ; MIPS32: liveins: $a0, $a1
  45     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
  46     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1
  47     ; MIPS32: [[COPY2:%[0-9]+]]:_(s32) = COPY [[COPY1]](s32)
  48     ; MIPS32: [[COPY3:%[0-9]+]]:_(s32) = COPY [[COPY]](s32)
  49     ; MIPS32: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY2]], [[COPY3]]
  50     ; MIPS32: [[COPY4:%[0-9]+]]:_(s32) = COPY [[AND]](s32)
  51     ; MIPS32: $v0 = COPY [[COPY4]](s32)
  52     ; MIPS32: RetRA implicit $v0
  53     %2:_(s32) = COPY $a0
  54     %0:_(s1) = G_TRUNC %2(s32)
  55     %3:_(s32) = COPY $a1
  56     %1:_(s1) = G_TRUNC %3(s32)
  57     %4:_(s1) = G_AND %1, %0
  58     %5:_(s32) = G_ANYEXT %4(s1)
  59     $v0 = COPY %5(s32)
  60     RetRA implicit $v0
  61
  62 ...
  63 ---
  64 name:            and_i8
  65 alignment:       4
  66 tracksRegLiveness: true
  67 body:             |
  68   bb.1.entry:
  69     liveins: $a0, $a1
  70
  71     ; MIPS32-LABEL: name: and_i8
  72     ; MIPS32: liveins: $a0, $a1
  73     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
  74     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1
  75     ; MIPS32: [[COPY2:%[0-9]+]]:_(s32) = COPY [[COPY1]](s32)
  76     ; MIPS32: [[COPY3:%[0-9]+]]:_(s32) = COPY [[COPY]](s32)
  77     ; MIPS32: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY2]], [[COPY3]]
  78     ; MIPS32: [[COPY4:%[0-9]+]]:_(s32) = COPY [[AND]](s32)
  79     ; MIPS32: $v0 = COPY [[COPY4]](s32)
  80     ; MIPS32: RetRA implicit $v0
  81     %2:_(s32) = COPY $a0
  82     %0:_(s8) = G_TRUNC %2(s32)
  83     %3:_(s32) = COPY $a1
  84     %1:_(s8) = G_TRUNC %3(s32)
  85     %4:_(s8) = G_AND %1, %0
  86     %5:_(s32) = G_ANYEXT %4(s8)
  87     $v0 = COPY %5(s32)
  88     RetRA implicit $v0
  89
  90 ...
  91 ---
  92 name:            and_i16
  93 alignment:       4
  94 tracksRegLiveness: true
  95 body:             |
  96   bb.1.entry:
  97     liveins: $a0, $a1
  98
  99     ; MIPS32-LABEL: name: and_i16
 100     ; MIPS32: liveins: $a0, $a1
 101     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 102     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1
 103     ; MIPS32: [[COPY2:%[0-9]+]]:_(s32) = COPY [[COPY1]](s32)
 104     ; MIPS32: [[COPY3:%[0-9]+]]:_(s32) = COPY [[COPY]](s32)
 105     ; MIPS32: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY2]], [[COPY3]]
 106     ; MIPS32: [[COPY4:%[0-9]+]]:_(s32) = COPY [[AND]](s32)
 107     ; MIPS32: $v0 = COPY [[COPY4]](s32)
 108     ; MIPS32: RetRA implicit $v0
 109     %2:_(s32) = COPY $a0
 110     %0:_(s16) = G_TRUNC %2(s32)
 111     %3:_(s32) = COPY $a1
 112     %1:_(s16) = G_TRUNC %3(s32)
 113     %4:_(s16) = G_AND %1, %0
 114     %5:_(s32) = G_ANYEXT %4(s16)
 115     $v0 = COPY %5(s32)
 116     RetRA implicit $v0
 117
 118 ...
 119 ---
 120 name:            and_i32
 121 alignment:       4
 122 tracksRegLiveness: true
 123 body:             |
 124   bb.1.entry:
 125     liveins: $a0, $a1
 126
 127     ; MIPS32-LABEL: name: and_i32
 128     ; MIPS32: liveins: $a0, $a1
 129     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 130     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1
 131     ; MIPS32: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY1]], [[COPY]]
 132     ; MIPS32: $v0 = COPY [[AND]](s32)
 133     ; MIPS32: RetRA implicit $v0
 134     %0:_(s32) = COPY $a0
 135     %1:_(s32) = COPY $a1
 136     %2:_(s32) = G_AND %1, %0
 137     $v0 = COPY %2(s32)
 138     RetRA implicit $v0
 139
 140 ...
 141 ---
 142 name:            and_i64
 143 alignment:       4
 144 tracksRegLiveness: true
 145 body:             |
 146   bb.1.entry:
 147     liveins: $a0, $a1, $a2, $a3
 148
 149     ; MIPS32-LABEL: name: and_i64
 150     ; MIPS32: liveins: $a0, $a1, $a2, $a3
 151     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 152     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1
 153     ; MIPS32: [[COPY2:%[0-9]+]]:_(s32) = COPY $a2
 154     ; MIPS32: [[COPY3:%[0-9]+]]:_(s32) = COPY $a3
 155     ; MIPS32: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY2]], [[COPY]]
 156     ; MIPS32: [[AND1:%[0-9]+]]:_(s32) = G_AND [[COPY3]], [[COPY1]]
 157     ; MIPS32: $v0 = COPY [[AND]](s32)
 158     ; MIPS32: $v1 = COPY [[AND1]](s32)
 159     ; MIPS32: RetRA implicit $v0, implicit $v1
 160     %2:_(s32) = COPY $a0
 161     %3:_(s32) = COPY $a1
 162     %0:_(s64) = G_MERGE_VALUES %2(s32), %3(s32)
 163     %4:_(s32) = COPY $a2
 164     %5:_(s32) = COPY $a3
 165     %1:_(s64) = G_MERGE_VALUES %4(s32), %5(s32)
 166     %6:_(s64) = G_AND %1, %0
 167     %7:_(s32), %8:_(s32) = G_UNMERGE_VALUES %6(s64)
 168     $v0 = COPY %7(s32)
 169     $v1 = COPY %8(s32)
 170     RetRA implicit $v0, implicit $v1
 171
 172 ...
 173 ---
 174 name:            or_i1
 175 alignment:       4
 176 tracksRegLiveness: true
 177 body:             |
 178   bb.1.entry:
 179     liveins: $a0, $a1
 180
 181     ; MIPS32-LABEL: name: or_i1
 182     ; MIPS32: liveins: $a0, $a1
 183     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 184     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1
 185     ; MIPS32: [[COPY2:%[0-9]+]]:_(s32) = COPY [[COPY1]](s32)
 186     ; MIPS32: [[COPY3:%[0-9]+]]:_(s32) = COPY [[COPY]](s32)
 187     ; MIPS32: [[OR:%[0-9]+]]:_(s32) = G_OR [[COPY2]], [[COPY3]]
 188     ; MIPS32: [[COPY4:%[0-9]+]]:_(s32) = COPY [[OR]](s32)
 189     ; MIPS32: $v0 = COPY [[COPY4]](s32)
 190     ; MIPS32: RetRA implicit $v0
 191     %2:_(s32) = COPY $a0
 192     %0:_(s1) = G_TRUNC %2(s32)
 193     %3:_(s32) = COPY $a1
 194     %1:_(s1) = G_TRUNC %3(s32)
 195     %4:_(s1) = G_OR %1, %0
 196     %5:_(s32) = G_ANYEXT %4(s1)
 197     $v0 = COPY %5(s32)
 198     RetRA implicit $v0
 199
 200 ...
 201 ---
 202 name:            or_i8
 203 alignment:       4
 204 tracksRegLiveness: true
 205 body:             |
 206   bb.1.entry:
 207     liveins: $a0, $a1
 208
 209     ; MIPS32-LABEL: name: or_i8
 210     ; MIPS32: liveins: $a0, $a1
 211     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 212     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1
 213     ; MIPS32: [[COPY2:%[0-9]+]]:_(s32) = COPY [[COPY1]](s32)
 214     ; MIPS32: [[COPY3:%[0-9]+]]:_(s32) = COPY [[COPY]](s32)
 215     ; MIPS32: [[OR:%[0-9]+]]:_(s32) = G_OR [[COPY2]], [[COPY3]]
 216     ; MIPS32: [[COPY4:%[0-9]+]]:_(s32) = COPY [[OR]](s32)
 217     ; MIPS32: $v0 = COPY [[COPY4]](s32)
 218     ; MIPS32: RetRA implicit $v0
 219     %2:_(s32) = COPY $a0
 220     %0:_(s8) = G_TRUNC %2(s32)
 221     %3:_(s32) = COPY $a1
 222     %1:_(s8) = G_TRUNC %3(s32)
 223     %4:_(s8) = G_OR %1, %0
 224     %5:_(s32) = G_ANYEXT %4(s8)
 225     $v0 = COPY %5(s32)
 226     RetRA implicit $v0
 227
 228 ...
 229 ---
 230 name:            or_i16
 231 alignment:       4
 232 tracksRegLiveness: true
 233 body:             |
 234   bb.1.entry:
 235     liveins: $a0, $a1
 236
 237     ; MIPS32-LABEL: name: or_i16
 238     ; MIPS32: liveins: $a0, $a1
 239     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 240     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1
 241     ; MIPS32: [[COPY2:%[0-9]+]]:_(s32) = COPY [[COPY1]](s32)
 242     ; MIPS32: [[COPY3:%[0-9]+]]:_(s32) = COPY [[COPY]](s32)
 243     ; MIPS32: [[OR:%[0-9]+]]:_(s32) = G_OR [[COPY2]], [[COPY3]]
 244     ; MIPS32: [[COPY4:%[0-9]+]]:_(s32) = COPY [[OR]](s32)
 245     ; MIPS32: $v0 = COPY [[COPY4]](s32)
 246     ; MIPS32: RetRA implicit $v0
 247     %2:_(s32) = COPY $a0
 248     %0:_(s16) = G_TRUNC %2(s32)
 249     %3:_(s32) = COPY $a1
 250     %1:_(s16) = G_TRUNC %3(s32)
 251     %4:_(s16) = G_OR %1, %0
 252     %5:_(s32) = G_ANYEXT %4(s16)
 253     $v0 = COPY %5(s32)
 254     RetRA implicit $v0
 255
 256 ...
 257 ---
 258 name:            or_i32
 259 alignment:       4
 260 tracksRegLiveness: true
 261 body:             |
 262   bb.1.entry:
 263     liveins: $a0, $a1
 264
 265     ; MIPS32-LABEL: name: or_i32
 266     ; MIPS32: liveins: $a0, $a1
 267     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 268     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1
 269     ; MIPS32: [[OR:%[0-9]+]]:_(s32) = G_OR [[COPY1]], [[COPY]]
 270     ; MIPS32: $v0 = COPY [[OR]](s32)
 271     ; MIPS32: RetRA implicit $v0
 272     %0:_(s32) = COPY $a0
 273     %1:_(s32) = COPY $a1
 274     %2:_(s32) = G_OR %1, %0
 275     $v0 = COPY %2(s32)
 276     RetRA implicit $v0
 277
 278 ...
 279 ---
 280 name:            or_i64
 281 alignment:       4
 282 tracksRegLiveness: true
 283 body:             |
 284   bb.1.entry:
 285     liveins: $a0, $a1, $a2, $a3
 286
 287     ; MIPS32-LABEL: name: or_i64
 288     ; MIPS32: liveins: $a0, $a1, $a2, $a3
 289     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 290     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1
 291     ; MIPS32: [[COPY2:%[0-9]+]]:_(s32) = COPY $a2
 292     ; MIPS32: [[COPY3:%[0-9]+]]:_(s32) = COPY $a3
 293     ; MIPS32: [[OR:%[0-9]+]]:_(s32) = G_OR [[COPY2]], [[COPY]]
 294     ; MIPS32: [[OR1:%[0-9]+]]:_(s32) = G_OR [[COPY3]], [[COPY1]]
 295     ; MIPS32: $v0 = COPY [[OR]](s32)
 296     ; MIPS32: $v1 = COPY [[OR1]](s32)
 297     ; MIPS32: RetRA implicit $v0, implicit $v1
 298     %2:_(s32) = COPY $a0
 299     %3:_(s32) = COPY $a1
 300     %0:_(s64) = G_MERGE_VALUES %2(s32), %3(s32)
 301     %4:_(s32) = COPY $a2
 302     %5:_(s32) = COPY $a3
 303     %1:_(s64) = G_MERGE_VALUES %4(s32), %5(s32)
 304     %6:_(s64) = G_OR %1, %0
 305     %7:_(s32), %8:_(s32) = G_UNMERGE_VALUES %6(s64)
 306     $v0 = COPY %7(s32)
 307     $v1 = COPY %8(s32)
 308     RetRA implicit $v0, implicit $v1
 309
 310 ...
 311 ---
 312 name:            xor_i1
 313 alignment:       4
 314 tracksRegLiveness: true
 315 body:             |
 316   bb.1.entry:
 317     liveins: $a0, $a1
 318
 319     ; MIPS32-LABEL: name: xor_i1
 320     ; MIPS32: liveins: $a0, $a1
 321     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 322     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1
 323     ; MIPS32: [[COPY2:%[0-9]+]]:_(s32) = COPY [[COPY1]](s32)
 324     ; MIPS32: [[COPY3:%[0-9]+]]:_(s32) = COPY [[COPY]](s32)
 325     ; MIPS32: [[XOR:%[0-9]+]]:_(s32) = G_XOR [[COPY2]], [[COPY3]]
 326     ; MIPS32: [[COPY4:%[0-9]+]]:_(s32) = COPY [[XOR]](s32)
 327     ; MIPS32: $v0 = COPY [[COPY4]](s32)
 328     ; MIPS32: RetRA implicit $v0
 329     %2:_(s32) = COPY $a0
 330     %0:_(s1) = G_TRUNC %2(s32)
 331     %3:_(s32) = COPY $a1
 332     %1:_(s1) = G_TRUNC %3(s32)
 333     %4:_(s1) = G_XOR %1, %0
 334     %5:_(s32) = G_ANYEXT %4(s1)
 335     $v0 = COPY %5(s32)
 336     RetRA implicit $v0
 337
 338 ...
 339 ---
 340 name:            xor_i8
 341 alignment:       4
 342 tracksRegLiveness: true
 343 body:             |
 344   bb.1.entry:
 345     liveins: $a0, $a1
 346
 347     ; MIPS32-LABEL: name: xor_i8
 348     ; MIPS32: liveins: $a0, $a1
 349     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 350     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1
 351     ; MIPS32: [[COPY2:%[0-9]+]]:_(s32) = COPY [[COPY1]](s32)
 352     ; MIPS32: [[COPY3:%[0-9]+]]:_(s32) = COPY [[COPY]](s32)
 353     ; MIPS32: [[XOR:%[0-9]+]]:_(s32) = G_XOR [[COPY2]], [[COPY3]]
 354     ; MIPS32: [[COPY4:%[0-9]+]]:_(s32) = COPY [[XOR]](s32)
 355     ; MIPS32: $v0 = COPY [[COPY4]](s32)
 356     ; MIPS32: RetRA implicit $v0
 357     %2:_(s32) = COPY $a0
 358     %0:_(s8) = G_TRUNC %2(s32)
 359     %3:_(s32) = COPY $a1
 360     %1:_(s8) = G_TRUNC %3(s32)
 361     %4:_(s8) = G_XOR %1, %0
 362     %5:_(s32) = G_ANYEXT %4(s8)
 363     $v0 = COPY %5(s32)
 364     RetRA implicit $v0
 365
 366 ...
 367 ---
 368 name:            xor_i16
 369 alignment:       4
 370 tracksRegLiveness: true
 371 body:             |
 372   bb.1.entry:
 373     liveins: $a0, $a1
 374
 375     ; MIPS32-LABEL: name: xor_i16
 376     ; MIPS32: liveins: $a0, $a1
 377     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 378     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1
 379     ; MIPS32: [[COPY2:%[0-9]+]]:_(s32) = COPY [[COPY1]](s32)
 380     ; MIPS32: [[COPY3:%[0-9]+]]:_(s32) = COPY [[COPY]](s32)
 381     ; MIPS32: [[XOR:%[0-9]+]]:_(s32) = G_XOR [[COPY2]], [[COPY3]]
 382     ; MIPS32: [[COPY4:%[0-9]+]]:_(s32) = COPY [[XOR]](s32)
 383     ; MIPS32: $v0 = COPY [[COPY4]](s32)
 384     ; MIPS32: RetRA implicit $v0
 385     %2:_(s32) = COPY $a0
 386     %0:_(s16) = G_TRUNC %2(s32)
 387     %3:_(s32) = COPY $a1
 388     %1:_(s16) = G_TRUNC %3(s32)
 389     %4:_(s16) = G_XOR %1, %0
 390     %5:_(s32) = G_ANYEXT %4(s16)
 391     $v0 = COPY %5(s32)
 392     RetRA implicit $v0
 393
 394 ...
 395 ---
 396 name:            xor_i32
 397 alignment:       4
 398 tracksRegLiveness: true
 399 body:             |
 400   bb.1.entry:
 401     liveins: $a0, $a1
 402
 403     ; MIPS32-LABEL: name: xor_i32
 404     ; MIPS32: liveins: $a0, $a1
 405     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 406     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1
 407     ; MIPS32: [[XOR:%[0-9]+]]:_(s32) = G_XOR [[COPY1]], [[COPY]]
 408     ; MIPS32: $v0 = COPY [[XOR]](s32)
 409     ; MIPS32: RetRA implicit $v0
 410     %0:_(s32) = COPY $a0
 411     %1:_(s32) = COPY $a1
 412     %2:_(s32) = G_XOR %1, %0
 413     $v0 = COPY %2(s32)
 414     RetRA implicit $v0
 415
 416 ...
 417 ---
 418 name:            xor_i64
 419 alignment:       4
 420 tracksRegLiveness: true
 421 body:             |
 422   bb.1.entry:
 423     liveins: $a0, $a1, $a2, $a3
 424
 425     ; MIPS32-LABEL: name: xor_i64
 426     ; MIPS32: liveins: $a0, $a1, $a2, $a3
 427     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 428     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1
 429     ; MIPS32: [[COPY2:%[0-9]+]]:_(s32) = COPY $a2
 430     ; MIPS32: [[COPY3:%[0-9]+]]:_(s32) = COPY $a3
 431     ; MIPS32: [[XOR:%[0-9]+]]:_(s32) = G_XOR [[COPY2]], [[COPY]]
 432     ; MIPS32: [[XOR1:%[0-9]+]]:_(s32) = G_XOR [[COPY3]], [[COPY1]]
 433     ; MIPS32: $v0 = COPY [[XOR]](s32)
 434     ; MIPS32: $v1 = COPY [[XOR1]](s32)
 435     ; MIPS32: RetRA implicit $v0, implicit $v1
 436     %2:_(s32) = COPY $a0
 437     %3:_(s32) = COPY $a1
 438     %0:_(s64) = G_MERGE_VALUES %2(s32), %3(s32)
 439     %4:_(s32) = COPY $a2
 440     %5:_(s32) = COPY $a3
 441     %1:_(s64) = G_MERGE_VALUES %4(s32), %5(s32)
 442     %6:_(s64) = G_XOR %1, %0
 443     %7:_(s32), %8:_(s32) = G_UNMERGE_VALUES %6(s64)
 444     $v0 = COPY %7(s32)
 445     $v1 = COPY %8(s32)
 446     RetRA implicit $v0, implicit $v1
 447
 448 ...
 449 ---
 450 name:            shl
 451 alignment:       4
 452 tracksRegLiveness: true
 453 body:             |
 454   bb.1.entry:
 455     liveins: $a0
 456
 457     ; MIPS32-LABEL: name: shl
 458     ; MIPS32: liveins: $a0
 459     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 460     ; MIPS32: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
 461     ; MIPS32: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[COPY]], [[C]](s32)
 462     ; MIPS32: $v0 = COPY [[SHL]](s32)
 463     ; MIPS32: RetRA implicit $v0
 464     %0:_(s32) = COPY $a0
 465     %1:_(s32) = G_CONSTANT i32 1
 466     %2:_(s32) = G_SHL %0, %1
 467     $v0 = COPY %2(s32)
 468     RetRA implicit $v0
 469
 470 ...
 471 ---
 472 name:            ashr
 473 alignment:       4
 474 tracksRegLiveness: true
 475 body:             |
 476   bb.1.entry:
 477     liveins: $a0
 478
 479     ; MIPS32-LABEL: name: ashr
 480     ; MIPS32: liveins: $a0
 481     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 482     ; MIPS32: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
 483     ; MIPS32: [[ASHR:%[0-9]+]]:_(s32) = G_ASHR [[COPY]], [[C]](s32)
 484     ; MIPS32: $v0 = COPY [[ASHR]](s32)
 485     ; MIPS32: RetRA implicit $v0
 486     %0:_(s32) = COPY $a0
 487     %1:_(s32) = G_CONSTANT i32 1
 488     %2:_(s32) = G_ASHR %0, %1
 489     $v0 = COPY %2(s32)
 490     RetRA implicit $v0
 491
 492 ...
 493 ---
 494 name:            lshr
 495 alignment:       4
 496 tracksRegLiveness: true
 497 body:             |
 498   bb.1.entry:
 499     liveins: $a0
 500
 501     ; MIPS32-LABEL: name: lshr
 502     ; MIPS32: liveins: $a0
 503     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 504     ; MIPS32: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
 505     ; MIPS32: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[COPY]], [[C]](s32)
 506     ; MIPS32: $v0 = COPY [[LSHR]](s32)
 507     ; MIPS32: RetRA implicit $v0
 508     %0:_(s32) = COPY $a0
 509     %1:_(s32) = G_CONSTANT i32 1
 510     %2:_(s32) = G_LSHR %0, %1
 511     $v0 = COPY %2(s32)
 512     RetRA implicit $v0
 513
 514 ...
 515 ---
 516 name:            lshr_i64_shift_amount
 517 alignment:       4
 518 tracksRegLiveness: true
 519 body:             |
 520   bb.1.entry:
 521     liveins: $a0
 522
 523     ; MIPS32-LABEL: name: lshr_i64_shift_amount
 524     ; MIPS32: liveins: $a0
 525     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 526     ; MIPS32: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
 527     ; MIPS32: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 528     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY [[C]](s32)
 529     ; MIPS32: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[COPY]], [[COPY1]](s32)
 530     ; MIPS32: $v0 = COPY [[LSHR]](s32)
 531     ; MIPS32: RetRA implicit $v0
 532     %0:_(s32) = COPY $a0
 533     %1:_(s64) = G_CONSTANT i64 1
 534     %2:_(s32) = G_LSHR %0, %1
 535     $v0 = COPY %2(s32)
 536     RetRA implicit $v0
 537
 538 ...
 539 ---
 540 name:            shlv
 541 alignment:       4
 542 tracksRegLiveness: true
 543 body:             |
 544   bb.1.entry:
 545     liveins: $a0, $a1
 546
 547     ; MIPS32-LABEL: name: shlv
 548     ; MIPS32: liveins: $a0, $a1
 549     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 550     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1
 551     ; MIPS32: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[COPY]], [[COPY1]](s32)
 552     ; MIPS32: $v0 = COPY [[SHL]](s32)
 553     ; MIPS32: RetRA implicit $v0
 554     %0:_(s32) = COPY $a0
 555     %1:_(s32) = COPY $a1
 556     %2:_(s32) = G_SHL %0, %1
 557     $v0 = COPY %2(s32)
 558     RetRA implicit $v0
 559
 560 ...
 561 ---
 562 name:            ashrv
 563 alignment:       4
 564 tracksRegLiveness: true
 565 body:             |
 566   bb.1.entry:
 567     liveins: $a0, $a1
 568
 569     ; MIPS32-LABEL: name: ashrv
 570     ; MIPS32: liveins: $a0, $a1
 571     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 572     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1
 573     ; MIPS32: [[ASHR:%[0-9]+]]:_(s32) = G_ASHR [[COPY]], [[COPY1]](s32)
 574     ; MIPS32: $v0 = COPY [[ASHR]](s32)
 575     ; MIPS32: RetRA implicit $v0
 576     %0:_(s32) = COPY $a0
 577     %1:_(s32) = COPY $a1
 578     %2:_(s32) = G_ASHR %0, %1
 579     $v0 = COPY %2(s32)
 580     RetRA implicit $v0
 581
 582 ...
 583 ---
 584 name:            lshrv
 585 alignment:       4
 586 tracksRegLiveness: true
 587 body:             |
 588   bb.1.entry:
 589     liveins: $a0, $a1
 590
 591     ; MIPS32-LABEL: name: lshrv
 592     ; MIPS32: liveins: $a0, $a1
 593     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 594     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1
 595     ; MIPS32: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[COPY]], [[COPY1]](s32)
 596     ; MIPS32: $v0 = COPY [[LSHR]](s32)
 597     ; MIPS32: RetRA implicit $v0
 598     %0:_(s32) = COPY $a0
 599     %1:_(s32) = COPY $a1
 600     %2:_(s32) = G_LSHR %0, %1
 601     $v0 = COPY %2(s32)
 602     RetRA implicit $v0
 603
 604 ...
 605 ---
 606 name:            shl_i16
 607 alignment:       4
 608 tracksRegLiveness: true
 609 body:             |
 610   bb.1.entry:
 611     liveins: $a0
 612
 613     ; MIPS32-LABEL: name: shl_i16
 614     ; MIPS32: liveins: $a0
 615     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 616     ; MIPS32: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
 617     ; MIPS32: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
 618     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY [[C]](s32)
 619     ; MIPS32: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY1]], [[C1]]
 620     ; MIPS32: [[COPY2:%[0-9]+]]:_(s32) = COPY [[COPY]](s32)
 621     ; MIPS32: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[COPY2]], [[AND]](s32)
 622     ; MIPS32: [[COPY3:%[0-9]+]]:_(s32) = COPY [[SHL]](s32)
 623     ; MIPS32: $v0 = COPY [[COPY3]](s32)
 624     ; MIPS32: RetRA implicit $v0
 625     %1:_(s32) = COPY $a0
 626     %0:_(s16) = G_TRUNC %1(s32)
 627     %2:_(s16) = G_CONSTANT i16 2
 628     %3:_(s16) = G_SHL %0, %2(s16)
 629     %4:_(s32) = G_ANYEXT %3(s16)
 630     $v0 = COPY %4(s32)
 631     RetRA implicit $v0
 632
 633 ...
 634 ---
 635 name:            ashr_i8
 636 alignment:       4
 637 tracksRegLiveness: true
 638 body:             |
 639   bb.1.entry:
 640     liveins: $a0
 641
 642     ; MIPS32-LABEL: name: ashr_i8
 643     ; MIPS32: liveins: $a0
 644     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 645     ; MIPS32: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
 646     ; MIPS32: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
 647     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY [[C]](s32)
 648     ; MIPS32: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY1]], [[C1]]
 649     ; MIPS32: [[COPY2:%[0-9]+]]:_(s32) = COPY [[COPY]](s32)
 650     ; MIPS32: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 24
 651     ; MIPS32: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[COPY2]], [[C2]](s32)
 652     ; MIPS32: [[ASHR:%[0-9]+]]:_(s32) = G_ASHR [[SHL]], [[C2]](s32)
 653     ; MIPS32: [[ASHR1:%[0-9]+]]:_(s32) = G_ASHR [[ASHR]], [[AND]](s32)
 654     ; MIPS32: [[COPY3:%[0-9]+]]:_(s32) = COPY [[ASHR1]](s32)
 655     ; MIPS32: $v0 = COPY [[COPY3]](s32)
 656     ; MIPS32: RetRA implicit $v0
 657     %1:_(s32) = COPY $a0
 658     %0:_(s8) = G_TRUNC %1(s32)
 659     %2:_(s8) = G_CONSTANT i8 2
 660     %3:_(s8) = G_ASHR %0, %2(s8)
 661     %4:_(s32) = G_ANYEXT %3(s8)
 662     $v0 = COPY %4(s32)
 663     RetRA implicit $v0
 664
 665 ...
 666 ---
 667 name:            lshr_i16
 668 alignment:       4
 669 tracksRegLiveness: true
 670 body:             |
 671   bb.1.entry:
 672     liveins: $a0
 673
 674     ; MIPS32-LABEL: name: lshr_i16
 675     ; MIPS32: liveins: $a0
 676     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 677     ; MIPS32: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
 678     ; MIPS32: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
 679     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY [[C]](s32)
 680     ; MIPS32: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY1]], [[C1]]
 681     ; MIPS32: [[COPY2:%[0-9]+]]:_(s32) = COPY [[COPY]](s32)
 682     ; MIPS32: [[AND1:%[0-9]+]]:_(s32) = G_AND [[COPY2]], [[C1]]
 683     ; MIPS32: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[AND1]], [[AND]](s32)
 684     ; MIPS32: [[COPY3:%[0-9]+]]:_(s32) = COPY [[LSHR]](s32)
 685     ; MIPS32: $v0 = COPY [[COPY3]](s32)
 686     ; MIPS32: RetRA implicit $v0
 687     %1:_(s32) = COPY $a0
 688     %0:_(s16) = G_TRUNC %1(s32)
 689     %2:_(s16) = G_CONSTANT i16 2
 690     %3:_(s16) = G_LSHR %0, %2(s16)
 691     %4:_(s32) = G_ANYEXT %3(s16)
 692     $v0 = COPY %4(s32)
 693     RetRA implicit $v0
 694
 695 ...
 696 ---
 697 name:            shl_i64
 698 alignment:       4
 699 tracksRegLiveness: true
 700 body:             |
 701   bb.1.entry:
 702     liveins: $a0, $a1, $a2, $a3
 703
 704     ; MIPS32-LABEL: name: shl_i64
 705     ; MIPS32: liveins: $a0, $a1, $a2, $a3
 706     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 707     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1
 708     ; MIPS32: [[COPY2:%[0-9]+]]:_(s32) = COPY $a2
 709     ; MIPS32: [[COPY3:%[0-9]+]]:_(s32) = COPY $a3
 710     ; MIPS32: [[COPY4:%[0-9]+]]:_(s32) = COPY [[COPY2]](s32)
 711     ; MIPS32: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 32
 712     ; MIPS32: [[SUB:%[0-9]+]]:_(s32) = G_SUB [[COPY4]], [[C]]
 713     ; MIPS32: [[SUB1:%[0-9]+]]:_(s32) = G_SUB [[C]], [[COPY4]]
 714     ; MIPS32: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 715     ; MIPS32: [[ICMP:%[0-9]+]]:_(s32) = G_ICMP intpred(ult), [[COPY4]](s32), [[C]]
 716     ; MIPS32: [[ICMP1:%[0-9]+]]:_(s32) = G_ICMP intpred(eq), [[COPY4]](s32), [[C1]]
 717     ; MIPS32: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[COPY]], [[COPY4]](s32)
 718     ; MIPS32: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[COPY]], [[SUB1]](s32)
 719     ; MIPS32: [[SHL1:%[0-9]+]]:_(s32) = G_SHL [[COPY1]], [[COPY4]](s32)
 720     ; MIPS32: [[OR:%[0-9]+]]:_(s32) = G_OR [[LSHR]], [[SHL1]]
 721     ; MIPS32: [[SHL2:%[0-9]+]]:_(s32) = G_SHL [[COPY]], [[SUB]](s32)
 722     ; MIPS32: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
 723     ; MIPS32: [[COPY5:%[0-9]+]]:_(s32) = COPY [[ICMP]](s32)
 724     ; MIPS32: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY5]], [[C2]]
 725     ; MIPS32: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[AND]](s32), [[SHL]], [[C1]]
 726     ; MIPS32: [[COPY6:%[0-9]+]]:_(s32) = COPY [[ICMP]](s32)
 727     ; MIPS32: [[AND1:%[0-9]+]]:_(s32) = G_AND [[COPY6]], [[C2]]
 728     ; MIPS32: [[SELECT1:%[0-9]+]]:_(s32) = G_SELECT [[AND1]](s32), [[OR]], [[SHL2]]
 729     ; MIPS32: [[COPY7:%[0-9]+]]:_(s32) = COPY [[ICMP1]](s32)
 730     ; MIPS32: [[AND2:%[0-9]+]]:_(s32) = G_AND [[COPY7]], [[C2]]
 731     ; MIPS32: [[SELECT2:%[0-9]+]]:_(s32) = G_SELECT [[AND2]](s32), [[COPY1]], [[SELECT1]]
 732     ; MIPS32: $v0 = COPY [[SELECT]](s32)
 733     ; MIPS32: $v1 = COPY [[SELECT2]](s32)
 734     ; MIPS32: RetRA implicit $v0, implicit $v1
 735     %2:_(s32) = COPY $a0
 736     %3:_(s32) = COPY $a1
 737     %0:_(s64) = G_MERGE_VALUES %2(s32), %3(s32)
 738     %4:_(s32) = COPY $a2
 739     %5:_(s32) = COPY $a3
 740     %1:_(s64) = G_MERGE_VALUES %4(s32), %5(s32)
 741     %6:_(s64) = G_SHL %0, %1(s64)
 742     %7:_(s32), %8:_(s32) = G_UNMERGE_VALUES %6(s64)
 743     $v0 = COPY %7(s32)
 744     $v1 = COPY %8(s32)
 745     RetRA implicit $v0, implicit $v1
 746
 747 ...
 748 ---
 749 name:            ashl_i64
 750 alignment:       4
 751 tracksRegLiveness: true
 752 body:             |
 753   bb.1.entry:
 754     liveins: $a0, $a1, $a2, $a3
 755
 756     ; MIPS32-LABEL: name: ashl_i64
 757     ; MIPS32: liveins: $a0, $a1, $a2, $a3
 758     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 759     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1
 760     ; MIPS32: [[COPY2:%[0-9]+]]:_(s32) = COPY $a2
 761     ; MIPS32: [[COPY3:%[0-9]+]]:_(s32) = COPY $a3
 762     ; MIPS32: [[COPY4:%[0-9]+]]:_(s32) = COPY [[COPY2]](s32)
 763     ; MIPS32: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 32
 764     ; MIPS32: [[SUB:%[0-9]+]]:_(s32) = G_SUB [[COPY4]], [[C]]
 765     ; MIPS32: [[SUB1:%[0-9]+]]:_(s32) = G_SUB [[C]], [[COPY4]]
 766     ; MIPS32: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 767     ; MIPS32: [[ICMP:%[0-9]+]]:_(s32) = G_ICMP intpred(ult), [[COPY4]](s32), [[C]]
 768     ; MIPS32: [[ICMP1:%[0-9]+]]:_(s32) = G_ICMP intpred(eq), [[COPY4]](s32), [[C1]]
 769     ; MIPS32: [[ASHR:%[0-9]+]]:_(s32) = G_ASHR [[COPY1]], [[COPY4]](s32)
 770     ; MIPS32: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[COPY]], [[COPY4]](s32)
 771     ; MIPS32: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[COPY1]], [[SUB1]](s32)
 772     ; MIPS32: [[OR:%[0-9]+]]:_(s32) = G_OR [[LSHR]], [[SHL]]
 773     ; MIPS32: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 31
 774     ; MIPS32: [[ASHR1:%[0-9]+]]:_(s32) = G_ASHR [[COPY1]], [[C2]](s32)
 775     ; MIPS32: [[ASHR2:%[0-9]+]]:_(s32) = G_ASHR [[COPY1]], [[SUB]](s32)
 776     ; MIPS32: [[C3:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
 777     ; MIPS32: [[COPY5:%[0-9]+]]:_(s32) = COPY [[ICMP]](s32)
 778     ; MIPS32: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY5]], [[C3]]
 779     ; MIPS32: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[AND]](s32), [[OR]], [[ASHR2]]
 780     ; MIPS32: [[COPY6:%[0-9]+]]:_(s32) = COPY [[ICMP1]](s32)
 781     ; MIPS32: [[AND1:%[0-9]+]]:_(s32) = G_AND [[COPY6]], [[C3]]
 782     ; MIPS32: [[SELECT1:%[0-9]+]]:_(s32) = G_SELECT [[AND1]](s32), [[COPY]], [[SELECT]]
 783     ; MIPS32: [[COPY7:%[0-9]+]]:_(s32) = COPY [[ICMP]](s32)
 784     ; MIPS32: [[AND2:%[0-9]+]]:_(s32) = G_AND [[COPY7]], [[C3]]
 785     ; MIPS32: [[SELECT2:%[0-9]+]]:_(s32) = G_SELECT [[AND2]](s32), [[ASHR]], [[ASHR1]]
 786     ; MIPS32: $v0 = COPY [[SELECT1]](s32)
 787     ; MIPS32: $v1 = COPY [[SELECT2]](s32)
 788     ; MIPS32: RetRA implicit $v0, implicit $v1
 789     %2:_(s32) = COPY $a0
 790     %3:_(s32) = COPY $a1
 791     %0:_(s64) = G_MERGE_VALUES %2(s32), %3(s32)
 792     %4:_(s32) = COPY $a2
 793     %5:_(s32) = COPY $a3
 794     %1:_(s64) = G_MERGE_VALUES %4(s32), %5(s32)
 795     %6:_(s64) = G_ASHR %0, %1(s64)
 796     %7:_(s32), %8:_(s32) = G_UNMERGE_VALUES %6(s64)
 797     $v0 = COPY %7(s32)
 798     $v1 = COPY %8(s32)
 799     RetRA implicit $v0, implicit $v1
 800
 801 ...
 802 ---
 803 name:            lshr_i64
 804 alignment:       4
 805 tracksRegLiveness: true
 806 body:             |
 807   bb.1.entry:
 808     liveins: $a0, $a1, $a2, $a3
 809
 810     ; MIPS32-LABEL: name: lshr_i64
 811     ; MIPS32: liveins: $a0, $a1, $a2, $a3
 812     ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
 813     ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1
 814     ; MIPS32: [[COPY2:%[0-9]+]]:_(s32) = COPY $a2
 815     ; MIPS32: [[COPY3:%[0-9]+]]:_(s32) = COPY $a3
 816     ; MIPS32: [[COPY4:%[0-9]+]]:_(s32) = COPY [[COPY2]](s32)
 817     ; MIPS32: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 32
 818     ; MIPS32: [[SUB:%[0-9]+]]:_(s32) = G_SUB [[COPY4]], [[C]]
 819     ; MIPS32: [[SUB1:%[0-9]+]]:_(s32) = G_SUB [[C]], [[COPY4]]
 820     ; MIPS32: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
 821     ; MIPS32: [[ICMP:%[0-9]+]]:_(s32) = G_ICMP intpred(ult), [[COPY4]](s32), [[C]]
 822     ; MIPS32: [[ICMP1:%[0-9]+]]:_(s32) = G_ICMP intpred(eq), [[COPY4]](s32), [[C1]]
 823     ; MIPS32: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[COPY1]], [[COPY4]](s32)
 824     ; MIPS32: [[LSHR1:%[0-9]+]]:_(s32) = G_LSHR [[COPY]], [[COPY4]](s32)
 825     ; MIPS32: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[COPY1]], [[SUB1]](s32)
 826     ; MIPS32: [[OR:%[0-9]+]]:_(s32) = G_OR [[LSHR1]], [[SHL]]
 827     ; MIPS32: [[LSHR2:%[0-9]+]]:_(s32) = G_LSHR [[COPY1]], [[SUB]](s32)
 828     ; MIPS32: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
 829     ; MIPS32: [[COPY5:%[0-9]+]]:_(s32) = COPY [[ICMP]](s32)
 830     ; MIPS32: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY5]], [[C2]]
 831     ; MIPS32: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[AND]](s32), [[OR]], [[LSHR2]]
 832     ; MIPS32: [[COPY6:%[0-9]+]]:_(s32) = COPY [[ICMP1]](s32)
 833     ; MIPS32: [[AND1:%[0-9]+]]:_(s32) = G_AND [[COPY6]], [[C2]]
 834     ; MIPS32: [[SELECT1:%[0-9]+]]:_(s32) = G_SELECT [[AND1]](s32), [[COPY]], [[SELECT]]
 835     ; MIPS32: [[COPY7:%[0-9]+]]:_(s32) = COPY [[ICMP]](s32)
 836     ; MIPS32: [[AND2:%[0-9]+]]:_(s32) = G_AND [[COPY7]], [[C2]]
 837     ; MIPS32: [[SELECT2:%[0-9]+]]:_(s32) = G_SELECT [[AND2]](s32), [[LSHR]], [[C1]]
 838     ; MIPS32: $v0 = COPY [[SELECT1]](s32)
 839     ; MIPS32: $v1 = COPY [[SELECT2]](s32)
 840     ; MIPS32: RetRA implicit $v0, implicit $v1
 841     %2:_(s32) = COPY $a0
 842     %3:_(s32) = COPY $a1
 843     %0:_(s64) = G_MERGE_VALUES %2(s32), %3(s32)
 844     %4:_(s32) = COPY $a2
 845     %5:_(s32) = COPY $a3
 846     %1:_(s64) = G_MERGE_VALUES %4(s32), %5(s32)
 847     %6:_(s64) = G_LSHR %0, %1(s64)
 848     %7:_(s32), %8:_(s32) = G_UNMERGE_VALUES %6(s64)
 849     $v0 = COPY %7(s32)
 850     $v1 = COPY %8(s32)
 851     RetRA implicit $v0, implicit $v1
 852
 853 ...