|
120
|
1 ; Test that memcmp won't be converted to CLC if calls are
|
|
|
2 ; marked with nobuiltin, eg. for sanitizers.
|
|
|
3 ;
|
|
|
4 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
|
|
|
5
|
|
|
6 declare signext i32 @memcmp(i8 *%src1, i8 *%src2, i64 %size)
|
|
|
7
|
|
|
8 ; Zero-length comparisons should be optimized away.
|
|
|
9 define i32 @f1(i8 *%src1, i8 *%src2) {
|
|
|
10 ; CHECK-LABEL: f1:
|
|
|
11 ; CHECK-NOT: clc
|
|
|
12 ; CHECK: brasl %r14, memcmp
|
|
|
13 ; CHECK: br %r14
|
|
|
14 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 0) nobuiltin
|
|
|
15 ret i32 %res
|
|
|
16 }
|
|
|
17
|
|
|
18 ; Check a case where the result is used as an integer.
|
|
|
19 define i32 @f2(i8 *%src1, i8 *%src2) {
|
|
|
20 ; CHECK-LABEL: f2:
|
|
|
21 ; CHECK-NOT: clc
|
|
|
22 ; CHECK: brasl %r14, memcmp
|
|
|
23 ; CHECK: br %r14
|
|
|
24 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 2) nobuiltin
|
|
|
25 ret i32 %res
|
|
|
26 }
|
|
|
27
|
|
|
28 ; Check a case where the result is tested for equality.
|
|
|
29 define void @f3(i8 *%src1, i8 *%src2, i32 *%dest) {
|
|
|
30 ; CHECK-LABEL: f3:
|
|
|
31 ; CHECK-NOT: clc
|
|
|
32 ; CHECK: brasl %r14, memcmp
|
|
|
33 ; CHECK: br %r14
|
|
|
34 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 3) nobuiltin
|
|
|
35 %cmp = icmp eq i32 %res, 0
|
|
|
36 br i1 %cmp, label %exit, label %store
|
|
|
37
|
|
|
38 store:
|
|
|
39 store i32 0, i32 *%dest
|
|
|
40 br label %exit
|
|
|
41
|
|
|
42 exit:
|
|
|
43 ret void
|
|
|
44 }
|
|
|
45
|
|
|
46 ; Check a case where the result is tested for inequality.
|
|
|
47 define void @f4(i8 *%src1, i8 *%src2, i32 *%dest) {
|
|
|
48 ; CHECK-LABEL: f4:
|
|
|
49 ; CHECK-NOT: clc
|
|
|
50 ; CHECK: brasl %r14, memcmp
|
|
|
51 ; CHECK: br %r14
|
|
|
52 entry:
|
|
|
53 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 4) nobuiltin
|
|
|
54 %cmp = icmp ne i32 %res, 0
|
|
|
55 br i1 %cmp, label %exit, label %store
|
|
|
56
|
|
|
57 store:
|
|
|
58 store i32 0, i32 *%dest
|
|
|
59 br label %exit
|
|
|
60
|
|
|
61 exit:
|
|
|
62 ret void
|
|
|
63 }
|
|
|
64
|
|
|
65 ; Check a case where the result is tested via slt.
|
|
|
66 define void @f5(i8 *%src1, i8 *%src2, i32 *%dest) {
|
|
|
67 ; CHECK-LABEL: f5:
|
|
|
68 ; CHECK-NOT: clc
|
|
|
69 ; CHECK: brasl %r14, memcmp
|
|
|
70 ; CHECK: br %r14
|
|
|
71 entry:
|
|
|
72 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 5) nobuiltin
|
|
|
73 %cmp = icmp slt i32 %res, 0
|
|
|
74 br i1 %cmp, label %exit, label %store
|
|
|
75
|
|
|
76 store:
|
|
|
77 store i32 0, i32 *%dest
|
|
|
78 br label %exit
|
|
|
79
|
|
|
80 exit:
|
|
|
81 ret void
|
|
|
82 }
|
|
|
83
|
|
|
84 ; Check a case where the result is tested for sgt.
|
|
|
85 define void @f6(i8 *%src1, i8 *%src2, i32 *%dest) {
|
|
|
86 ; CHECK-LABEL: f6:
|
|
|
87 ; CHECK-NOT: clc
|
|
|
88 ; CHECK: brasl %r14, memcmp
|
|
|
89 ; CHECK: br %r14
|
|
|
90 entry:
|
|
|
91 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 6) nobuiltin
|
|
|
92 %cmp = icmp sgt i32 %res, 0
|
|
|
93 br i1 %cmp, label %exit, label %store
|
|
|
94
|
|
|
95 store:
|
|
|
96 store i32 0, i32 *%dest
|
|
|
97 br label %exit
|
|
|
98
|
|
|
99 exit:
|
|
|
100 ret void
|
|
|
101 }
|
|
|
102
|
|
|
103 ; Check the upper end of the CLC range. Here the result is used both as
|
|
|
104 ; an integer and for branching.
|
|
|
105 define i32 @f7(i8 *%src1, i8 *%src2, i32 *%dest) {
|
|
|
106 ; CHECK-LABEL: f7:
|
|
|
107 ; CHECK-NOT: clc
|
|
|
108 ; CHECK: brasl %r14, memcmp
|
|
|
109 ; CHECK: br %r14
|
|
|
110 entry:
|
|
|
111 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 256) nobuiltin
|
|
|
112 %cmp = icmp slt i32 %res, 0
|
|
|
113 br i1 %cmp, label %exit, label %store
|
|
|
114
|
|
|
115 store:
|
|
|
116 store i32 0, i32 *%dest
|
|
|
117 br label %exit
|
|
|
118
|
|
|
119 exit:
|
|
|
120 ret i32 %res
|
|
|
121 }
|
|
|
122
|
|
|
123 ; 257 bytes needs two CLCs.
|
|
|
124 define i32 @f8(i8 *%src1, i8 *%src2) {
|
|
|
125 ; CHECK-LABEL: f8:
|
|
|
126 ; CHECK-NOT: clc
|
|
|
127 ; CHECK: brasl %r14, memcmp
|
|
|
128 ; CHECK: br %r14
|
|
|
129 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 257) nobuiltin
|
|
|
130 ret i32 %res
|
|
|
131 }
|
|
|
132
|
|
|
133 ; Test a comparison of 258 bytes in which the CC result can be used directly.
|
|
|
134 define void @f9(i8 *%src1, i8 *%src2, i32 *%dest) {
|
|
|
135 ; CHECK-LABEL: f9:
|
|
|
136 ; CHECK-NOT: clc
|
|
|
137 ; CHECK: brasl %r14, memcmp
|
|
|
138 ; CHECK: br %r14
|
|
|
139 entry:
|
|
|
140 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 257) nobuiltin
|
|
|
141 %cmp = icmp slt i32 %res, 0
|
|
|
142 br i1 %cmp, label %exit, label %store
|
|
|
143
|
|
|
144 store:
|
|
|
145 store i32 0, i32 *%dest
|
|
|
146 br label %exit
|
|
|
147
|
|
|
148 exit:
|
|
|
149 ret void
|
|
|
150 }
|
|
|
151
|
|
|
152 ; Test the largest size that can use two CLCs.
|
|
|
153 define i32 @f10(i8 *%src1, i8 *%src2) {
|
|
|
154 ; CHECK-LABEL: f10:
|
|
|
155 ; CHECK-NOT: clc
|
|
|
156 ; CHECK: brasl %r14, memcmp
|
|
|
157 ; CHECK: br %r14
|
|
|
158 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 512) nobuiltin
|
|
|
159 ret i32 %res
|
|
|
160 }
|
|
|
161
|
|
|
162 ; Test the smallest size that needs 3 CLCs.
|
|
|
163 define i32 @f11(i8 *%src1, i8 *%src2) {
|
|
|
164 ; CHECK-LABEL: f11:
|
|
|
165 ; CHECK-NOT: clc
|
|
|
166 ; CHECK: brasl %r14, memcmp
|
|
|
167 ; CHECK: br %r14
|
|
|
168 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 513) nobuiltin
|
|
|
169 ret i32 %res
|
|
|
170 }
|
|
|
171
|
|
|
172 ; Test the largest size than can use 3 CLCs.
|
|
|
173 define i32 @f12(i8 *%src1, i8 *%src2) {
|
|
|
174 ; CHECK-LABEL: f12:
|
|
|
175 ; CHECK-NOT: clc
|
|
|
176 ; CHECK: brasl %r14, memcmp
|
|
|
177 ; CHECK: br %r14
|
|
|
178 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 768) nobuiltin
|
|
|
179 ret i32 %res
|
|
|
180 }
|
|
|
181
|
|
|
182 ; The next size up uses a loop instead. We leave the more complicated
|
|
|
183 ; loop tests to memcpy-01.ll, which shares the same form.
|
|
|
184 define i32 @f13(i8 *%src1, i8 *%src2) {
|
|
|
185 ; CHECK-LABEL: f13:
|
|
|
186 ; CHECK-NOT: clc
|
|
|
187 ; CHECK: brasl %r14, memcmp
|
|
|
188 ; CHECK: br %r14
|
|
|
189 %res = call i32 @memcmp(i8 *%src1, i8 *%src2, i64 769) nobuiltin
|
|
|
190 ret i32 %res
|
|
|
191 }
|
