1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
|
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -mtriple=mips-unknown-linux-gnu < %s | FileCheck %s --check-prefixes=MIPSEL
; RUN: llc -mtriple=mips64el-unknown-linux-gnu < %s | FileCheck %s --check-prefixes=MIPS64EL
define i1 @test_srem_odd(i29 %X) nounwind {
; MIPSEL-LABEL: test_srem_odd:
; MIPSEL: # %bb.0:
; MIPSEL-NEXT: lui $1, 8026
; MIPSEL-NEXT: ori $1, $1, 33099
; MIPSEL-NEXT: mul $1, $4, $1
; MIPSEL-NEXT: lui $2, 41
; MIPSEL-NEXT: ori $2, $2, 24493
; MIPSEL-NEXT: addu $1, $1, $2
; MIPSEL-NEXT: lui $2, 8191
; MIPSEL-NEXT: ori $2, $2, 65535
; MIPSEL-NEXT: and $1, $1, $2
; MIPSEL-NEXT: lui $2, 82
; MIPSEL-NEXT: ori $2, $2, 48987
; MIPSEL-NEXT: jr $ra
; MIPSEL-NEXT: sltu $2, $1, $2
;
; MIPS64EL-LABEL: test_srem_odd:
; MIPS64EL: # %bb.0:
; MIPS64EL-NEXT: lui $1, 8026
; MIPS64EL-NEXT: ori $1, $1, 33099
; MIPS64EL-NEXT: sll $2, $4, 0
; MIPS64EL-NEXT: mul $1, $2, $1
; MIPS64EL-NEXT: lui $2, 41
; MIPS64EL-NEXT: ori $2, $2, 24493
; MIPS64EL-NEXT: addu $1, $1, $2
; MIPS64EL-NEXT: lui $2, 8191
; MIPS64EL-NEXT: ori $2, $2, 65535
; MIPS64EL-NEXT: and $1, $1, $2
; MIPS64EL-NEXT: lui $2, 82
; MIPS64EL-NEXT: ori $2, $2, 48987
; MIPS64EL-NEXT: jr $ra
; MIPS64EL-NEXT: sltu $2, $1, $2
%srem = srem i29 %X, 99
%cmp = icmp eq i29 %srem, 0
ret i1 %cmp
}
define i1 @test_srem_even(i4 %X) nounwind {
; MIPSEL-LABEL: test_srem_even:
; MIPSEL: # %bb.0:
; MIPSEL-NEXT: lui $1, 10922
; MIPSEL-NEXT: ori $1, $1, 43691
; MIPSEL-NEXT: sll $2, $4, 28
; MIPSEL-NEXT: sra $2, $2, 28
; MIPSEL-NEXT: mult $2, $1
; MIPSEL-NEXT: mfhi $1
; MIPSEL-NEXT: srl $3, $1, 31
; MIPSEL-NEXT: addu $1, $1, $3
; MIPSEL-NEXT: addiu $3, $zero, 1
; MIPSEL-NEXT: sll $4, $1, 1
; MIPSEL-NEXT: sll $1, $1, 2
; MIPSEL-NEXT: addu $1, $1, $4
; MIPSEL-NEXT: subu $1, $2, $1
; MIPSEL-NEXT: xor $1, $1, $3
; MIPSEL-NEXT: jr $ra
; MIPSEL-NEXT: sltiu $2, $1, 1
;
; MIPS64EL-LABEL: test_srem_even:
; MIPS64EL: # %bb.0:
; MIPS64EL-NEXT: lui $1, 10922
; MIPS64EL-NEXT: ori $1, $1, 43691
; MIPS64EL-NEXT: sll $2, $4, 0
; MIPS64EL-NEXT: sll $2, $2, 28
; MIPS64EL-NEXT: sra $2, $2, 28
; MIPS64EL-NEXT: mult $2, $1
; MIPS64EL-NEXT: mfhi $1
; MIPS64EL-NEXT: addiu $3, $zero, 1
; MIPS64EL-NEXT: srl $4, $1, 31
; MIPS64EL-NEXT: addu $1, $1, $4
; MIPS64EL-NEXT: sll $4, $1, 1
; MIPS64EL-NEXT: sll $1, $1, 2
; MIPS64EL-NEXT: addu $1, $1, $4
; MIPS64EL-NEXT: subu $1, $2, $1
; MIPS64EL-NEXT: xor $1, $1, $3
; MIPS64EL-NEXT: jr $ra
; MIPS64EL-NEXT: sltiu $2, $1, 1
%srem = srem i4 %X, 6
%cmp = icmp eq i4 %srem, 1
ret i1 %cmp
}
define i1 @test_srem_pow2_setne(i6 %X) nounwind {
; MIPSEL-LABEL: test_srem_pow2_setne:
; MIPSEL: # %bb.0:
; MIPSEL-NEXT: sll $1, $4, 26
; MIPSEL-NEXT: sra $1, $1, 26
; MIPSEL-NEXT: srl $1, $1, 9
; MIPSEL-NEXT: andi $1, $1, 3
; MIPSEL-NEXT: addu $1, $4, $1
; MIPSEL-NEXT: andi $1, $1, 60
; MIPSEL-NEXT: subu $1, $4, $1
; MIPSEL-NEXT: andi $1, $1, 63
; MIPSEL-NEXT: jr $ra
; MIPSEL-NEXT: sltu $2, $zero, $1
;
; MIPS64EL-LABEL: test_srem_pow2_setne:
; MIPS64EL: # %bb.0:
; MIPS64EL-NEXT: sll $1, $4, 0
; MIPS64EL-NEXT: sll $2, $1, 26
; MIPS64EL-NEXT: sra $2, $2, 26
; MIPS64EL-NEXT: srl $2, $2, 9
; MIPS64EL-NEXT: andi $2, $2, 3
; MIPS64EL-NEXT: addu $2, $1, $2
; MIPS64EL-NEXT: andi $2, $2, 60
; MIPS64EL-NEXT: subu $1, $1, $2
; MIPS64EL-NEXT: andi $1, $1, 63
; MIPS64EL-NEXT: jr $ra
; MIPS64EL-NEXT: sltu $2, $zero, $1
%srem = srem i6 %X, 4
%cmp = icmp ne i6 %srem, 0
ret i1 %cmp
}
; Asserts today
; See https://bugs.llvm.org/show_bug.cgi?id=49551
; and https://bugs.llvm.org/show_bug.cgi?id=49550
; define <4 x i1> @test_srem_vec(<4 x i31> %X) nounwind {
; %srem = srem <4 x i31> %X, <i31 9, i31 9, i31 -9, i31 -9>
; %cmp = icmp ne <4 x i31> %srem, <i31 4, i31 -4, i31 4, i31 -4>
; ret <4 x i1> %cmp
; }
|
GitWeb