[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / Mips / GlobalISel / llvm-ir / bitwise.ll
blob2e918adb1251f238c1a7d8d69ccd851d2f4bad0d
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc  -O0 -mtriple=mipsel-linux-gnu -global-isel  -verify-machineinstrs %s -o -| FileCheck %s -check-prefixes=MIPS32
4 define i1 @and_i1(i1 %a, i1 %b) {
5 ; MIPS32-LABEL: and_i1:
6 ; MIPS32:       # %bb.0: # %entry
7 ; MIPS32-NEXT:    and $2, $5, $4
8 ; MIPS32-NEXT:    jr $ra
9 ; MIPS32-NEXT:    nop
10 entry:
11   %and = and i1 %b, %a
12   ret i1 %and
15 define i8 @and_i8(i8 %a, i8 %b) {
16 ; MIPS32-LABEL: and_i8:
17 ; MIPS32:       # %bb.0: # %entry
18 ; MIPS32-NEXT:    and $2, $5, $4
19 ; MIPS32-NEXT:    jr $ra
20 ; MIPS32-NEXT:    nop
21 entry:
22   %and = and i8 %b, %a
23   ret i8 %and
26 define i16 @and_i16(i16 %a, i16 %b) {
27 ; MIPS32-LABEL: and_i16:
28 ; MIPS32:       # %bb.0: # %entry
29 ; MIPS32-NEXT:    and $2, $5, $4
30 ; MIPS32-NEXT:    jr $ra
31 ; MIPS32-NEXT:    nop
32 entry:
33   %and = and i16 %b, %a
34   ret i16 %and
37 define i32 @and_i32(i32 %a, i32 %b) {
38 ; MIPS32-LABEL: and_i32:
39 ; MIPS32:       # %bb.0: # %entry
40 ; MIPS32-NEXT:    and $2, $5, $4
41 ; MIPS32-NEXT:    jr $ra
42 ; MIPS32-NEXT:    nop
43 entry:
44   %and = and i32 %b, %a
45   ret i32 %and
48 define i64 @and_i64(i64 %a, i64 %b) {
49 ; MIPS32-LABEL: and_i64:
50 ; MIPS32:       # %bb.0: # %entry
51 ; MIPS32-NEXT:    and $2, $6, $4
52 ; MIPS32-NEXT:    and $3, $7, $5
53 ; MIPS32-NEXT:    jr $ra
54 ; MIPS32-NEXT:    nop
55 entry:
56   %and = and i64 %b, %a
57   ret i64 %and
60 define i1 @or_i1(i1 %a, i1 %b) {
61 ; MIPS32-LABEL: or_i1:
62 ; MIPS32:       # %bb.0: # %entry
63 ; MIPS32-NEXT:    or $2, $5, $4
64 ; MIPS32-NEXT:    jr $ra
65 ; MIPS32-NEXT:    nop
66 entry:
67   %or = or i1 %b, %a
68   ret i1 %or
71 define i8 @or_i8(i8 %a, i8 %b) {
72 ; MIPS32-LABEL: or_i8:
73 ; MIPS32:       # %bb.0: # %entry
74 ; MIPS32-NEXT:    or $2, $5, $4
75 ; MIPS32-NEXT:    jr $ra
76 ; MIPS32-NEXT:    nop
77 entry:
78   %or = or i8 %b, %a
79   ret i8 %or
82 define i16 @or_i16(i16 %a, i16 %b) {
83 ; MIPS32-LABEL: or_i16:
84 ; MIPS32:       # %bb.0: # %entry
85 ; MIPS32-NEXT:    or $2, $5, $4
86 ; MIPS32-NEXT:    jr $ra
87 ; MIPS32-NEXT:    nop
88 entry:
89   %or = or i16 %b, %a
90   ret i16 %or
93 define i32 @or_i32(i32 %a, i32 %b) {
94 ; MIPS32-LABEL: or_i32:
95 ; MIPS32:       # %bb.0: # %entry
96 ; MIPS32-NEXT:    or $2, $5, $4
97 ; MIPS32-NEXT:    jr $ra
98 ; MIPS32-NEXT:    nop
99 entry:
100   %or = or i32 %b, %a
101   ret i32 %or
104 define i64 @or_i64(i64 %a, i64 %b) {
105 ; MIPS32-LABEL: or_i64:
106 ; MIPS32:       # %bb.0: # %entry
107 ; MIPS32-NEXT:    or $2, $6, $4
108 ; MIPS32-NEXT:    or $3, $7, $5
109 ; MIPS32-NEXT:    jr $ra
110 ; MIPS32-NEXT:    nop
111 entry:
112   %or = or i64 %b, %a
113   ret i64 %or
116 define i1 @xor_i1(i1 %a, i1 %b) {
117 ; MIPS32-LABEL: xor_i1:
118 ; MIPS32:       # %bb.0: # %entry
119 ; MIPS32-NEXT:    xor $2, $5, $4
120 ; MIPS32-NEXT:    jr $ra
121 ; MIPS32-NEXT:    nop
122 entry:
123   %xor = xor i1 %b, %a
124   ret i1 %xor
127 define i8 @xor_i8(i8 %a, i8 %b) {
128 ; MIPS32-LABEL: xor_i8:
129 ; MIPS32:       # %bb.0: # %entry
130 ; MIPS32-NEXT:    xor $2, $5, $4
131 ; MIPS32-NEXT:    jr $ra
132 ; MIPS32-NEXT:    nop
133 entry:
134   %xor = xor i8 %b, %a
135   ret i8 %xor
138 define i16 @xor_i16(i16 %a, i16 %b) {
139 ; MIPS32-LABEL: xor_i16:
140 ; MIPS32:       # %bb.0: # %entry
141 ; MIPS32-NEXT:    xor $2, $5, $4
142 ; MIPS32-NEXT:    jr $ra
143 ; MIPS32-NEXT:    nop
144 entry:
145   %xor = xor i16 %b, %a
146   ret i16 %xor
149 define i32 @xor_i32(i32 %a, i32 %b) {
150 ; MIPS32-LABEL: xor_i32:
151 ; MIPS32:       # %bb.0: # %entry
152 ; MIPS32-NEXT:    xor $2, $5, $4
153 ; MIPS32-NEXT:    jr $ra
154 ; MIPS32-NEXT:    nop
155 entry:
156   %xor = xor i32 %b, %a
157   ret i32 %xor
160 define i64 @xor_i64(i64 %a, i64 %b) {
161 ; MIPS32-LABEL: xor_i64:
162 ; MIPS32:       # %bb.0: # %entry
163 ; MIPS32-NEXT:    xor $2, $6, $4
164 ; MIPS32-NEXT:    xor $3, $7, $5
165 ; MIPS32-NEXT:    jr $ra
166 ; MIPS32-NEXT:    nop
167 entry:
168   %xor = xor i64 %b, %a
169   ret i64 %xor
172 define i32 @shl(i32 %a) {
173 ; MIPS32-LABEL: shl:
174 ; MIPS32:       # %bb.0: # %entry
175 ; MIPS32-NEXT:    sll $2, $4, 1
176 ; MIPS32-NEXT:    jr $ra
177 ; MIPS32-NEXT:    nop
178 entry:
179   %shl = shl i32 %a, 1
180   ret i32 %shl
183 define i32 @ashr(i32 %a) {
184 ; MIPS32-LABEL: ashr:
185 ; MIPS32:       # %bb.0: # %entry
186 ; MIPS32-NEXT:    sra $2, $4, 1
187 ; MIPS32-NEXT:    jr $ra
188 ; MIPS32-NEXT:    nop
189 entry:
190   %shr = ashr i32 %a, 1
191   ret i32 %shr
194 define i32 @lshr(i32 %a) {
195 ; MIPS32-LABEL: lshr:
196 ; MIPS32:       # %bb.0: # %entry
197 ; MIPS32-NEXT:    srl $2, $4, 1
198 ; MIPS32-NEXT:    jr $ra
199 ; MIPS32-NEXT:    nop
200 entry:
201   %shr = lshr i32 %a, 1
202   ret i32 %shr
205 define i32 @shlv(i32 %a, i32 %b) {
206 ; MIPS32-LABEL: shlv:
207 ; MIPS32:       # %bb.0: # %entry
208 ; MIPS32-NEXT:    sllv $2, $4, $5
209 ; MIPS32-NEXT:    jr $ra
210 ; MIPS32-NEXT:    nop
211 entry:
212   %shl = shl i32 %a, %b
213   ret i32 %shl
216 define i32 @ashrv(i32 %a, i32 %b) {
217 ; MIPS32-LABEL: ashrv:
218 ; MIPS32:       # %bb.0: # %entry
219 ; MIPS32-NEXT:    srav $2, $4, $5
220 ; MIPS32-NEXT:    jr $ra
221 ; MIPS32-NEXT:    nop
222 entry:
223   %shr = ashr i32 %a, %b
224   ret i32 %shr
227 define i32 @lshrv(i32 %a, i32 %b) {
228 ; MIPS32-LABEL: lshrv:
229 ; MIPS32:       # %bb.0: # %entry
230 ; MIPS32-NEXT:    srlv $2, $4, $5
231 ; MIPS32-NEXT:    jr $ra
232 ; MIPS32-NEXT:    nop
233 entry:
234   %shr = lshr i32 %a, %b
235   ret i32 %shr
238 define  i16 @shl_i16(i16 %a) {
239 ; MIPS32-LABEL: shl_i16:
240 ; MIPS32:       # %bb.0: # %entry
241 ; MIPS32-NEXT:    ori $1, $zero, 2
242 ; MIPS32-NEXT:    ori $2, $zero, 65535
243 ; MIPS32-NEXT:    and $1, $1, $2
244 ; MIPS32-NEXT:    sllv $2, $4, $1
245 ; MIPS32-NEXT:    jr $ra
246 ; MIPS32-NEXT:    nop
247 entry:
248   %shl = shl i16 %a, 2
249   ret i16 %shl
252 define i8 @ashr_i8(i8 %a) {
253 ; MIPS32-LABEL: ashr_i8:
254 ; MIPS32:       # %bb.0: # %entry
255 ; MIPS32-NEXT:    ori $1, $zero, 2
256 ; MIPS32-NEXT:    ori $2, $zero, 255
257 ; MIPS32-NEXT:    and $1, $1, $2
258 ; MIPS32-NEXT:    sll $2, $4, 24
259 ; MIPS32-NEXT:    sra $2, $2, 24
260 ; MIPS32-NEXT:    srav $2, $2, $1
261 ; MIPS32-NEXT:    jr $ra
262 ; MIPS32-NEXT:    nop
263 entry:
264   %0 = ashr i8 %a, 2
265   ret i8 %0
268 define i16 @lshr_i16(i16 %a) {
269 ; MIPS32-LABEL: lshr_i16:
270 ; MIPS32:       # %bb.0: # %entry
271 ; MIPS32-NEXT:    ori $1, $zero, 2
272 ; MIPS32-NEXT:    ori $2, $zero, 65535
273 ; MIPS32-NEXT:    and $1, $1, $2
274 ; MIPS32-NEXT:    and $2, $4, $2
275 ; MIPS32-NEXT:    srlv $2, $2, $1
276 ; MIPS32-NEXT:    jr $ra
277 ; MIPS32-NEXT:    nop
278 entry:
279   %0 = lshr i16 %a, 2
280   ret i16 %0
283 define i64 @shl_i64(i64 %a, i64 %b) {
284 ; MIPS32-LABEL: shl_i64:
285 ; MIPS32:       # %bb.0: # %entry
286 ; MIPS32-NEXT:    addiu $sp, $sp, -8
287 ; MIPS32-NEXT:    .cfi_def_cfa_offset 8
288 ; MIPS32-NEXT:    ori $1, $zero, 32
289 ; MIPS32-NEXT:    subu $2, $6, $1
290 ; MIPS32-NEXT:    subu $3, $1, $6
291 ; MIPS32-NEXT:    ori $8, $zero, 0
292 ; MIPS32-NEXT:    sltu $1, $6, $1
293 ; MIPS32-NEXT:    sltiu $9, $6, 1
294 ; MIPS32-NEXT:    sllv $10, $4, $6
295 ; MIPS32-NEXT:    srlv $3, $4, $3
296 ; MIPS32-NEXT:    sllv $6, $5, $6
297 ; MIPS32-NEXT:    or $3, $3, $6
298 ; MIPS32-NEXT:    sllv $2, $4, $2
299 ; MIPS32-NEXT:    ori $4, $zero, 1
300 ; MIPS32-NEXT:    and $6, $1, $4
301 ; MIPS32-NEXT:    movn $8, $10, $6
302 ; MIPS32-NEXT:    and $1, $1, $4
303 ; MIPS32-NEXT:    movn $2, $3, $1
304 ; MIPS32-NEXT:    and $1, $9, $4
305 ; MIPS32-NEXT:    movn $2, $5, $1
306 ; MIPS32-NEXT:    sw $2, 4($sp) # 4-byte Folded Spill
307 ; MIPS32-NEXT:    move $2, $8
308 ; MIPS32-NEXT:    lw $3, 4($sp) # 4-byte Folded Reload
309 ; MIPS32-NEXT:    addiu $sp, $sp, 8
310 ; MIPS32-NEXT:    jr $ra
311 ; MIPS32-NEXT:    nop
312 entry:
313   %shl = shl i64 %a, %b
314   ret i64 %shl
317 define i64 @ashl_i64(i64 %a, i64 %b) {
318 ; MIPS32-LABEL: ashl_i64:
319 ; MIPS32:       # %bb.0: # %entry
320 ; MIPS32-NEXT:    ori $1, $zero, 32
321 ; MIPS32-NEXT:    subu $2, $6, $1
322 ; MIPS32-NEXT:    subu $3, $1, $6
323 ; MIPS32-NEXT:    sltu $1, $6, $1
324 ; MIPS32-NEXT:    sltiu $8, $6, 1
325 ; MIPS32-NEXT:    srav $9, $5, $6
326 ; MIPS32-NEXT:    srlv $6, $4, $6
327 ; MIPS32-NEXT:    sllv $3, $5, $3
328 ; MIPS32-NEXT:    or $3, $6, $3
329 ; MIPS32-NEXT:    sra $6, $5, 31
330 ; MIPS32-NEXT:    srav $2, $5, $2
331 ; MIPS32-NEXT:    ori $5, $zero, 1
332 ; MIPS32-NEXT:    and $10, $1, $5
333 ; MIPS32-NEXT:    movn $2, $3, $10
334 ; MIPS32-NEXT:    and $3, $8, $5
335 ; MIPS32-NEXT:    movn $2, $4, $3
336 ; MIPS32-NEXT:    and $1, $1, $5
337 ; MIPS32-NEXT:    movn $6, $9, $1
338 ; MIPS32-NEXT:    move $3, $6
339 ; MIPS32-NEXT:    jr $ra
340 ; MIPS32-NEXT:    nop
341 entry:
342   %shr = ashr i64 %a, %b
343   ret i64 %shr
346 define i64 @lshr_i64(i64 %a, i64 %b) {
347 ; MIPS32-LABEL: lshr_i64:
348 ; MIPS32:       # %bb.0: # %entry
349 ; MIPS32-NEXT:    ori $1, $zero, 32
350 ; MIPS32-NEXT:    subu $2, $6, $1
351 ; MIPS32-NEXT:    subu $3, $1, $6
352 ; MIPS32-NEXT:    ori $8, $zero, 0
353 ; MIPS32-NEXT:    sltu $1, $6, $1
354 ; MIPS32-NEXT:    sltiu $9, $6, 1
355 ; MIPS32-NEXT:    srlv $10, $5, $6
356 ; MIPS32-NEXT:    srlv $6, $4, $6
357 ; MIPS32-NEXT:    sllv $3, $5, $3
358 ; MIPS32-NEXT:    or $3, $6, $3
359 ; MIPS32-NEXT:    srlv $2, $5, $2
360 ; MIPS32-NEXT:    ori $5, $zero, 1
361 ; MIPS32-NEXT:    and $6, $1, $5
362 ; MIPS32-NEXT:    movn $2, $3, $6
363 ; MIPS32-NEXT:    and $3, $9, $5
364 ; MIPS32-NEXT:    movn $2, $4, $3
365 ; MIPS32-NEXT:    and $1, $1, $5
366 ; MIPS32-NEXT:    movn $8, $10, $1
367 ; MIPS32-NEXT:    move $3, $8
368 ; MIPS32-NEXT:    jr $ra
369 ; MIPS32-NEXT:    nop
370 entry:
371   %shr = lshr i64 %a, %b
372   ret i64 %shr