• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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
6declare signext i32 @memcmp(i8 *%src1, i8 *%src2, i64 %size)
7
8; Zero-length comparisons should be optimized away.
9define 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.
19define 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.
29define 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
38store:
39  store i32 0, i32 *%dest
40  br label %exit
41
42exit:
43  ret void
44}
45
46; Check a case where the result is tested for inequality.
47define 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
52entry:
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
57store:
58  store i32 0, i32 *%dest
59  br label %exit
60
61exit:
62  ret void
63}
64
65; Check a case where the result is tested via slt.
66define 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
71entry:
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
76store:
77  store i32 0, i32 *%dest
78  br label %exit
79
80exit:
81  ret void
82}
83
84; Check a case where the result is tested for sgt.
85define 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
90entry:
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
95store:
96  store i32 0, i32 *%dest
97  br label %exit
98
99exit:
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.
105define 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
110entry:
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
115store:
116  store i32 0, i32 *%dest
117  br label %exit
118
119exit:
120  ret i32 %res
121}
122
123; 257 bytes needs two CLCs.
124define 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.
134define 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
139entry:
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
144store:
145  store i32 0, i32 *%dest
146  br label %exit
147
148exit:
149  ret void
150}
151
152; Test the largest size that can use two CLCs.
153define 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.
163define 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.
173define 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.
184define 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}
192