1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2# RUN: llc -O0 -mtriple=mipsel-linux-gnu -run-pass=regbankselect -verify-machineinstrs %s -o - | FileCheck %s -check-prefixes=MIPS32
3--- |
4
5  define void @zext() {entry: ret void}
6  define void @sext() {entry: ret void}
7
8...
9---
10name:            zext
11alignment:       4
12legalized:       true
13tracksRegLiveness: true
14body:             |
15  bb.1.entry:
16    liveins: $a0
17
18    ; MIPS32-LABEL: name: zext
19    ; MIPS32: liveins: $a0
20    ; MIPS32: [[COPY:%[0-9]+]]:gprb(s32) = COPY $a0
21    ; MIPS32: [[C:%[0-9]+]]:gprb(s32) = G_CONSTANT i32 0
22    ; MIPS32: $v0 = COPY [[COPY]](s32)
23    ; MIPS32: $v1 = COPY [[C]](s32)
24    ; MIPS32: RetRA implicit $v0, implicit $v1
25    %0:_(s32) = COPY $a0
26    %4:_(s32) = G_CONSTANT i32 0
27    %1:_(s64) = G_MERGE_VALUES %0(s32), %4(s32)
28    %2:_(s32), %3:_(s32) = G_UNMERGE_VALUES %1(s64)
29    $v0 = COPY %2(s32)
30    $v1 = COPY %3(s32)
31    RetRA implicit $v0, implicit $v1
32
33...
34---
35name:            sext
36alignment:       4
37legalized:       true
38tracksRegLiveness: true
39body:             |
40  bb.1.entry:
41    liveins: $a0
42
43    ; MIPS32-LABEL: name: sext
44    ; MIPS32: liveins: $a0
45    ; MIPS32: [[COPY:%[0-9]+]]:gprb(s32) = COPY $a0
46    ; MIPS32: [[C:%[0-9]+]]:gprb(s32) = G_CONSTANT i32 31
47    ; MIPS32: [[C1:%[0-9]+]]:gprb(s32) = G_CONSTANT i32 0
48    ; MIPS32: [[COPY1:%[0-9]+]]:gprb(s32) = COPY [[C]](s32)
49    ; MIPS32: [[ASHR:%[0-9]+]]:gprb(s32) = G_ASHR [[COPY]], [[COPY1]](s32)
50    ; MIPS32: $v0 = COPY [[COPY]](s32)
51    ; MIPS32: $v1 = COPY [[ASHR]](s32)
52    ; MIPS32: RetRA implicit $v0, implicit $v1
53    %0:_(s32) = COPY $a0
54    %7:_(s32) = G_CONSTANT i32 31
55    %8:_(s32) = G_CONSTANT i32 0
56    %6:_(s32) = COPY %7(s32)
57    %5:_(s32) = G_ASHR %0, %6(s32)
58    %1:_(s64) = G_MERGE_VALUES %0(s32), %5(s32)
59    %2:_(s32), %3:_(s32) = G_UNMERGE_VALUES %1(s64)
60    $v0 = COPY %2(s32)
61    $v1 = COPY %3(s32)
62    RetRA implicit $v0, implicit $v1
63
64...
65