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
5 define i32 @mod4_0_to_11(i32 %a) {
7 switch i32 %a, label %sw.default [
18 sw.bb: ; preds = %entry, %entry
21 sw.bb1: ; preds = %entry, %entry
24 sw.bb2: ; preds = %entry, %entry
27 sw.bb3: ; preds = %entry, %entry
30 sw.default: ; preds = %entry
33 sw.epilog: ; preds = %sw.default
34 switch i32 %a, label %sw.default8 [
41 sw.bb4: ; preds = %sw.epilog
44 sw.bb5: ; preds = %sw.epilog
47 sw.bb6: ; preds = %sw.epilog
50 sw.bb7: ; preds = %sw.epilog
53 sw.default8: ; preds = %sw.epilog
61 tracksRegLiveness: true
66 blocks: [ '%bb.2', '%bb.3', '%bb.4', '%bb.5', '%bb.2', '%bb.3',
69 blocks: [ '%bb.8', '%bb.9', '%bb.10', '%bb.11' ]
71 ; MIPS32-LABEL: name: mod4_0_to_11
73 ; MIPS32: successors: %bb.6(0x40000000), %bb.1(0x40000000)
74 ; MIPS32: liveins: $a0
75 ; MIPS32: [[COPY:%[0-9]+]]:_(s32) = COPY $a0
76 ; MIPS32: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 7
77 ; MIPS32: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 3
78 ; MIPS32: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 2
79 ; MIPS32: [[C3:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
80 ; MIPS32: [[C4:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
81 ; MIPS32: [[C5:%[0-9]+]]:_(s32) = G_CONSTANT i32 -1
82 ; MIPS32: [[C6:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
83 ; MIPS32: [[SUB:%[0-9]+]]:_(s32) = G_SUB [[COPY]], [[C6]]
84 ; MIPS32: [[COPY1:%[0-9]+]]:_(s32) = COPY [[SUB]](s32)
85 ; MIPS32: [[COPY2:%[0-9]+]]:_(s32) = COPY [[C]](s32)
86 ; MIPS32: [[ICMP:%[0-9]+]]:_(s32) = G_ICMP intpred(ugt), [[COPY1]](s32), [[COPY2]]
87 ; MIPS32: [[COPY3:%[0-9]+]]:_(s32) = COPY [[ICMP]](s32)
88 ; MIPS32: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY3]], [[C3]]
89 ; MIPS32: G_BRCOND [[AND]](s32), %bb.6
91 ; MIPS32: successors: %bb.2(0x20000000), %bb.3(0x20000000), %bb.4(0x20000000), %bb.5(0x20000000)
92 ; MIPS32: [[JUMP_TABLE:%[0-9]+]]:_(p0) = G_JUMP_TABLE %jump-table.0
93 ; MIPS32: G_BRJT [[JUMP_TABLE]](p0), %jump-table.0, [[COPY1]](s32)
95 ; MIPS32: $v0 = COPY [[C4]](s32)
96 ; MIPS32: RetRA implicit $v0
97 ; MIPS32: bb.3.sw.bb1:
98 ; MIPS32: $v0 = COPY [[C3]](s32)
99 ; MIPS32: RetRA implicit $v0
100 ; MIPS32: bb.4.sw.bb2:
101 ; MIPS32: $v0 = COPY [[C2]](s32)
102 ; MIPS32: RetRA implicit $v0
103 ; MIPS32: bb.5.sw.bb3:
104 ; MIPS32: $v0 = COPY [[C1]](s32)
105 ; MIPS32: RetRA implicit $v0
106 ; MIPS32: bb.6.sw.default:
107 ; MIPS32: successors: %bb.7(0x80000000)
108 ; MIPS32: bb.7.sw.epilog:
109 ; MIPS32: successors: %bb.13(0x40000000), %bb.8(0x40000000)
110 ; MIPS32: [[C7:%[0-9]+]]:_(s32) = G_CONSTANT i32 8
111 ; MIPS32: [[SUB1:%[0-9]+]]:_(s32) = G_SUB [[COPY]], [[C7]]
112 ; MIPS32: [[COPY4:%[0-9]+]]:_(s32) = COPY [[SUB1]](s32)
113 ; MIPS32: [[COPY5:%[0-9]+]]:_(s32) = COPY [[C1]](s32)
114 ; MIPS32: [[ICMP1:%[0-9]+]]:_(s32) = G_ICMP intpred(ugt), [[COPY4]](s32), [[COPY5]]
115 ; MIPS32: [[C8:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
116 ; MIPS32: [[COPY6:%[0-9]+]]:_(s32) = COPY [[ICMP1]](s32)
117 ; MIPS32: [[AND1:%[0-9]+]]:_(s32) = G_AND [[COPY6]], [[C8]]
118 ; MIPS32: G_BRCOND [[AND1]](s32), %bb.13
119 ; MIPS32: bb.8.sw.epilog:
120 ; MIPS32: successors: %bb.9(0x20000000), %bb.10(0x20000000), %bb.11(0x20000000), %bb.12(0x20000000)
121 ; MIPS32: [[JUMP_TABLE1:%[0-9]+]]:_(p0) = G_JUMP_TABLE %jump-table.1
122 ; MIPS32: G_BRJT [[JUMP_TABLE1]](p0), %jump-table.1, [[COPY4]](s32)
123 ; MIPS32: bb.9.sw.bb4:
124 ; MIPS32: $v0 = COPY [[C4]](s32)
125 ; MIPS32: RetRA implicit $v0
126 ; MIPS32: bb.10.sw.bb5:
127 ; MIPS32: $v0 = COPY [[C3]](s32)
128 ; MIPS32: RetRA implicit $v0
129 ; MIPS32: bb.11.sw.bb6:
130 ; MIPS32: $v0 = COPY [[C2]](s32)
131 ; MIPS32: RetRA implicit $v0
132 ; MIPS32: bb.12.sw.bb7:
133 ; MIPS32: $v0 = COPY [[C1]](s32)
134 ; MIPS32: RetRA implicit $v0
135 ; MIPS32: bb.13.sw.default8:
136 ; MIPS32: $v0 = COPY [[C5]](s32)
137 ; MIPS32: RetRA implicit $v0
142 %4:_(s32) = G_CONSTANT i32 7
143 %8:_(s32) = G_CONSTANT i32 3
144 %9:_(s32) = G_CONSTANT i32 2
145 %10:_(s32) = G_CONSTANT i32 1
146 %11:_(s32) = G_CONSTANT i32 0
147 %18:_(s32) = G_CONSTANT i32 -1
148 %1:_(s32) = G_CONSTANT i32 0
149 %2:_(s32) = G_SUB %0, %1
150 %3:_(s32) = COPY %2(s32)
151 %5:_(s32) = COPY %4(s32)
152 %6:_(s1) = G_ICMP intpred(ugt), %3(s32), %5
153 G_BRCOND %6(s1), %bb.6
156 successors: %bb.2, %bb.3, %bb.4, %bb.5
158 %7:_(p0) = G_JUMP_TABLE %jump-table.0
159 G_BRJT %7(p0), %jump-table.0, %3(s32)
180 %12:_(s32) = G_CONSTANT i32 8
181 %13:_(s32) = G_SUB %0, %12
182 %14:_(s32) = COPY %13(s32)
183 %15:_(s32) = COPY %8(s32)
184 %16:_(s1) = G_ICMP intpred(ugt), %14(s32), %15
185 G_BRCOND %16(s1), %bb.12
188 successors: %bb.8, %bb.9, %bb.10, %bb.11
190 %17:_(p0) = G_JUMP_TABLE %jump-table.1
191 G_BRJT %17(p0), %jump-table.1, %14(s32)