1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt < %s -S -expandmemcmp -verify-dom-info -mtriple=powerpc64le-unknown-gnu-linux -data-layout="e-m:e-i64:64-n32:64" | FileCheck %s
3 ; RUN: opt < %s -S -expandmemcmp -verify-dom-info -mtriple=powerpc64-unknown-gnu-linux -data-layout="E-m:e-i64:64-n32:64" | FileCheck %s --check-prefix=CHECK-BE
5 define signext i32 @test1(i32* nocapture readonly %buffer1, i32* nocapture readonly %buffer2) {
8 ; CHECK-NEXT: [[TMP0:%.*]] = bitcast i32* [[BUFFER1:%.*]] to i8*
9 ; CHECK-NEXT: [[TMP1:%.*]] = bitcast i32* [[BUFFER2:%.*]] to i8*
10 ; CHECK-NEXT: br label [[LOADBB:%.*]]
12 ; CHECK-NEXT: [[PHI_SRC1:%.*]] = phi i64 [ [[TMP8:%.*]], [[LOADBB]] ], [ [[TMP17:%.*]], [[LOADBB1:%.*]] ]
13 ; CHECK-NEXT: [[PHI_SRC2:%.*]] = phi i64 [ [[TMP9:%.*]], [[LOADBB]] ], [ [[TMP18:%.*]], [[LOADBB1]] ]
14 ; CHECK-NEXT: [[TMP2:%.*]] = icmp ult i64 [[PHI_SRC1]], [[PHI_SRC2]]
15 ; CHECK-NEXT: [[TMP3:%.*]] = select i1 [[TMP2]], i32 -1, i32 1
16 ; CHECK-NEXT: br label [[ENDBLOCK:%.*]]
18 ; CHECK-NEXT: [[TMP4:%.*]] = bitcast i8* [[TMP0]] to i64*
19 ; CHECK-NEXT: [[TMP5:%.*]] = bitcast i8* [[TMP1]] to i64*
20 ; CHECK-NEXT: [[TMP6:%.*]] = load i64, i64* [[TMP4]]
21 ; CHECK-NEXT: [[TMP7:%.*]] = load i64, i64* [[TMP5]]
22 ; CHECK-NEXT: [[TMP8]] = call i64 @llvm.bswap.i64(i64 [[TMP6]])
23 ; CHECK-NEXT: [[TMP9]] = call i64 @llvm.bswap.i64(i64 [[TMP7]])
24 ; CHECK-NEXT: [[TMP10:%.*]] = icmp eq i64 [[TMP8]], [[TMP9]]
25 ; CHECK-NEXT: br i1 [[TMP10]], label [[LOADBB1]], label [[RES_BLOCK:%.*]]
27 ; CHECK-NEXT: [[TMP11:%.*]] = getelementptr i8, i8* [[TMP0]], i8 8
28 ; CHECK-NEXT: [[TMP12:%.*]] = bitcast i8* [[TMP11]] to i64*
29 ; CHECK-NEXT: [[TMP13:%.*]] = getelementptr i8, i8* [[TMP1]], i8 8
30 ; CHECK-NEXT: [[TMP14:%.*]] = bitcast i8* [[TMP13]] to i64*
31 ; CHECK-NEXT: [[TMP15:%.*]] = load i64, i64* [[TMP12]]
32 ; CHECK-NEXT: [[TMP16:%.*]] = load i64, i64* [[TMP14]]
33 ; CHECK-NEXT: [[TMP17]] = call i64 @llvm.bswap.i64(i64 [[TMP15]])
34 ; CHECK-NEXT: [[TMP18]] = call i64 @llvm.bswap.i64(i64 [[TMP16]])
35 ; CHECK-NEXT: [[TMP19:%.*]] = icmp eq i64 [[TMP17]], [[TMP18]]
36 ; CHECK-NEXT: br i1 [[TMP19]], label [[ENDBLOCK]], label [[RES_BLOCK]]
38 ; CHECK-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB1]] ], [ [[TMP3]], [[RES_BLOCK]] ]
39 ; CHECK-NEXT: ret i32 [[PHI_RES]]
41 ; CHECK-BE-LABEL: @test1(
42 ; CHECK-BE-NEXT: entry:
43 ; CHECK-BE-NEXT: [[TMP0:%.*]] = bitcast i32* [[BUFFER1:%.*]] to i8*
44 ; CHECK-BE-NEXT: [[TMP1:%.*]] = bitcast i32* [[BUFFER2:%.*]] to i8*
45 ; CHECK-BE-NEXT: br label [[LOADBB:%.*]]
46 ; CHECK-BE: res_block:
47 ; CHECK-BE-NEXT: [[PHI_SRC1:%.*]] = phi i64 [ [[TMP6:%.*]], [[LOADBB]] ], [ [[TMP13:%.*]], [[LOADBB1:%.*]] ]
48 ; CHECK-BE-NEXT: [[PHI_SRC2:%.*]] = phi i64 [ [[TMP7:%.*]], [[LOADBB]] ], [ [[TMP14:%.*]], [[LOADBB1]] ]
49 ; CHECK-BE-NEXT: [[TMP2:%.*]] = icmp ult i64 [[PHI_SRC1]], [[PHI_SRC2]]
50 ; CHECK-BE-NEXT: [[TMP3:%.*]] = select i1 [[TMP2]], i32 -1, i32 1
51 ; CHECK-BE-NEXT: br label [[ENDBLOCK:%.*]]
53 ; CHECK-BE-NEXT: [[TMP4:%.*]] = bitcast i8* [[TMP0]] to i64*
54 ; CHECK-BE-NEXT: [[TMP5:%.*]] = bitcast i8* [[TMP1]] to i64*
55 ; CHECK-BE-NEXT: [[TMP6]] = load i64, i64* [[TMP4]]
56 ; CHECK-BE-NEXT: [[TMP7]] = load i64, i64* [[TMP5]]
57 ; CHECK-BE-NEXT: [[TMP8:%.*]] = icmp eq i64 [[TMP6]], [[TMP7]]
58 ; CHECK-BE-NEXT: br i1 [[TMP8]], label [[LOADBB1]], label [[RES_BLOCK:%.*]]
60 ; CHECK-BE-NEXT: [[TMP9:%.*]] = getelementptr i8, i8* [[TMP0]], i8 8
61 ; CHECK-BE-NEXT: [[TMP10:%.*]] = bitcast i8* [[TMP9]] to i64*
62 ; CHECK-BE-NEXT: [[TMP11:%.*]] = getelementptr i8, i8* [[TMP1]], i8 8
63 ; CHECK-BE-NEXT: [[TMP12:%.*]] = bitcast i8* [[TMP11]] to i64*
64 ; CHECK-BE-NEXT: [[TMP13]] = load i64, i64* [[TMP10]]
65 ; CHECK-BE-NEXT: [[TMP14]] = load i64, i64* [[TMP12]]
66 ; CHECK-BE-NEXT: [[TMP15:%.*]] = icmp eq i64 [[TMP13]], [[TMP14]]
67 ; CHECK-BE-NEXT: br i1 [[TMP15]], label [[ENDBLOCK]], label [[RES_BLOCK]]
69 ; CHECK-BE-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB1]] ], [ [[TMP3]], [[RES_BLOCK]] ]
70 ; CHECK-BE-NEXT: ret i32 [[PHI_RES]]
79 %0 = bitcast i32* %buffer1 to i8*
80 %1 = bitcast i32* %buffer2 to i8*
81 %call = tail call signext i32 @memcmp(i8* %0, i8* %1, i64 16)
85 declare signext i32 @memcmp(i8* nocapture, i8* nocapture, i64) local_unnamed_addr #1
87 define signext i32 @test2(i32* nocapture readonly %buffer1, i32* nocapture readonly %buffer2) {
88 ; CHECK-LABEL: @test2(
90 ; CHECK-NEXT: [[TMP0:%.*]] = bitcast i32* [[BUFFER1:%.*]] to i8*
91 ; CHECK-NEXT: [[TMP1:%.*]] = bitcast i32* [[BUFFER2:%.*]] to i8*
92 ; CHECK-NEXT: [[TMP2:%.*]] = bitcast i8* [[TMP0]] to i32*
93 ; CHECK-NEXT: [[TMP3:%.*]] = bitcast i8* [[TMP1]] to i32*
94 ; CHECK-NEXT: [[TMP4:%.*]] = load i32, i32* [[TMP2]]
95 ; CHECK-NEXT: [[TMP5:%.*]] = load i32, i32* [[TMP3]]
96 ; CHECK-NEXT: [[TMP6:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP4]])
97 ; CHECK-NEXT: [[TMP7:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP5]])
98 ; CHECK-NEXT: [[TMP8:%.*]] = icmp ugt i32 [[TMP6]], [[TMP7]]
99 ; CHECK-NEXT: [[TMP9:%.*]] = icmp ult i32 [[TMP6]], [[TMP7]]
100 ; CHECK-NEXT: [[TMP10:%.*]] = zext i1 [[TMP8]] to i32
101 ; CHECK-NEXT: [[TMP11:%.*]] = zext i1 [[TMP9]] to i32
102 ; CHECK-NEXT: [[TMP12:%.*]] = sub i32 [[TMP10]], [[TMP11]]
103 ; CHECK-NEXT: ret i32 [[TMP12]]
105 ; CHECK-BE-LABEL: @test2(
106 ; CHECK-BE-NEXT: entry:
107 ; CHECK-BE-NEXT: [[TMP0:%.*]] = bitcast i32* [[BUFFER1:%.*]] to i8*
108 ; CHECK-BE-NEXT: [[TMP1:%.*]] = bitcast i32* [[BUFFER2:%.*]] to i8*
109 ; CHECK-BE-NEXT: [[TMP2:%.*]] = bitcast i8* [[TMP0]] to i32*
110 ; CHECK-BE-NEXT: [[TMP3:%.*]] = bitcast i8* [[TMP1]] to i32*
111 ; CHECK-BE-NEXT: [[TMP4:%.*]] = load i32, i32* [[TMP2]]
112 ; CHECK-BE-NEXT: [[TMP5:%.*]] = load i32, i32* [[TMP3]]
113 ; CHECK-BE-NEXT: [[TMP6:%.*]] = icmp ugt i32 [[TMP4]], [[TMP5]]
114 ; CHECK-BE-NEXT: [[TMP7:%.*]] = icmp ult i32 [[TMP4]], [[TMP5]]
115 ; CHECK-BE-NEXT: [[TMP8:%.*]] = zext i1 [[TMP6]] to i32
116 ; CHECK-BE-NEXT: [[TMP9:%.*]] = zext i1 [[TMP7]] to i32
117 ; CHECK-BE-NEXT: [[TMP10:%.*]] = sub i32 [[TMP8]], [[TMP9]]
118 ; CHECK-BE-NEXT: ret i32 [[TMP10]]
123 %0 = bitcast i32* %buffer1 to i8*
124 %1 = bitcast i32* %buffer2 to i8*
125 %call = tail call signext i32 @memcmp(i8* %0, i8* %1, i64 4)
129 define signext i32 @test3(i32* nocapture readonly %buffer1, i32* nocapture readonly %buffer2) {
130 ; CHECK-LABEL: @test3(
132 ; CHECK-NEXT: [[TMP0:%.*]] = bitcast i32* [[BUFFER1:%.*]] to i8*
133 ; CHECK-NEXT: [[TMP1:%.*]] = bitcast i32* [[BUFFER2:%.*]] to i8*
134 ; CHECK-NEXT: br label [[LOADBB:%.*]]
136 ; CHECK-NEXT: [[PHI_SRC1:%.*]] = phi i64 [ [[TMP8:%.*]], [[LOADBB]] ], [ [[TMP19:%.*]], [[LOADBB1:%.*]] ], [ [[TMP30:%.*]], [[LOADBB2:%.*]] ]
137 ; CHECK-NEXT: [[PHI_SRC2:%.*]] = phi i64 [ [[TMP9:%.*]], [[LOADBB]] ], [ [[TMP20:%.*]], [[LOADBB1]] ], [ [[TMP31:%.*]], [[LOADBB2]] ]
138 ; CHECK-NEXT: [[TMP2:%.*]] = icmp ult i64 [[PHI_SRC1]], [[PHI_SRC2]]
139 ; CHECK-NEXT: [[TMP3:%.*]] = select i1 [[TMP2]], i32 -1, i32 1
140 ; CHECK-NEXT: br label [[ENDBLOCK:%.*]]
142 ; CHECK-NEXT: [[TMP4:%.*]] = bitcast i8* [[TMP0]] to i64*
143 ; CHECK-NEXT: [[TMP5:%.*]] = bitcast i8* [[TMP1]] to i64*
144 ; CHECK-NEXT: [[TMP6:%.*]] = load i64, i64* [[TMP4]]
145 ; CHECK-NEXT: [[TMP7:%.*]] = load i64, i64* [[TMP5]]
146 ; CHECK-NEXT: [[TMP8]] = call i64 @llvm.bswap.i64(i64 [[TMP6]])
147 ; CHECK-NEXT: [[TMP9]] = call i64 @llvm.bswap.i64(i64 [[TMP7]])
148 ; CHECK-NEXT: [[TMP10:%.*]] = icmp eq i64 [[TMP8]], [[TMP9]]
149 ; CHECK-NEXT: br i1 [[TMP10]], label [[LOADBB1]], label [[RES_BLOCK:%.*]]
151 ; CHECK-NEXT: [[TMP11:%.*]] = getelementptr i8, i8* [[TMP0]], i8 8
152 ; CHECK-NEXT: [[TMP12:%.*]] = bitcast i8* [[TMP11]] to i32*
153 ; CHECK-NEXT: [[TMP13:%.*]] = getelementptr i8, i8* [[TMP1]], i8 8
154 ; CHECK-NEXT: [[TMP14:%.*]] = bitcast i8* [[TMP13]] to i32*
155 ; CHECK-NEXT: [[TMP15:%.*]] = load i32, i32* [[TMP12]]
156 ; CHECK-NEXT: [[TMP16:%.*]] = load i32, i32* [[TMP14]]
157 ; CHECK-NEXT: [[TMP17:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP15]])
158 ; CHECK-NEXT: [[TMP18:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP16]])
159 ; CHECK-NEXT: [[TMP19]] = zext i32 [[TMP17]] to i64
160 ; CHECK-NEXT: [[TMP20]] = zext i32 [[TMP18]] to i64
161 ; CHECK-NEXT: [[TMP21:%.*]] = icmp eq i64 [[TMP19]], [[TMP20]]
162 ; CHECK-NEXT: br i1 [[TMP21]], label [[LOADBB2]], label [[RES_BLOCK]]
164 ; CHECK-NEXT: [[TMP22:%.*]] = getelementptr i8, i8* [[TMP0]], i8 12
165 ; CHECK-NEXT: [[TMP23:%.*]] = bitcast i8* [[TMP22]] to i16*
166 ; CHECK-NEXT: [[TMP24:%.*]] = getelementptr i8, i8* [[TMP1]], i8 12
167 ; CHECK-NEXT: [[TMP25:%.*]] = bitcast i8* [[TMP24]] to i16*
168 ; CHECK-NEXT: [[TMP26:%.*]] = load i16, i16* [[TMP23]]
169 ; CHECK-NEXT: [[TMP27:%.*]] = load i16, i16* [[TMP25]]
170 ; CHECK-NEXT: [[TMP28:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP26]])
171 ; CHECK-NEXT: [[TMP29:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP27]])
172 ; CHECK-NEXT: [[TMP30]] = zext i16 [[TMP28]] to i64
173 ; CHECK-NEXT: [[TMP31]] = zext i16 [[TMP29]] to i64
174 ; CHECK-NEXT: [[TMP32:%.*]] = icmp eq i64 [[TMP30]], [[TMP31]]
175 ; CHECK-NEXT: br i1 [[TMP32]], label [[LOADBB3:%.*]], label [[RES_BLOCK]]
177 ; CHECK-NEXT: [[TMP33:%.*]] = getelementptr i8, i8* [[TMP0]], i8 14
178 ; CHECK-NEXT: [[TMP34:%.*]] = getelementptr i8, i8* [[TMP1]], i8 14
179 ; CHECK-NEXT: [[TMP35:%.*]] = load i8, i8* [[TMP33]]
180 ; CHECK-NEXT: [[TMP36:%.*]] = load i8, i8* [[TMP34]]
181 ; CHECK-NEXT: [[TMP37:%.*]] = zext i8 [[TMP35]] to i32
182 ; CHECK-NEXT: [[TMP38:%.*]] = zext i8 [[TMP36]] to i32
183 ; CHECK-NEXT: [[TMP39:%.*]] = sub i32 [[TMP37]], [[TMP38]]
184 ; CHECK-NEXT: br label [[ENDBLOCK]]
186 ; CHECK-NEXT: [[PHI_RES:%.*]] = phi i32 [ [[TMP39]], [[LOADBB3]] ], [ [[TMP3]], [[RES_BLOCK]] ]
187 ; CHECK-NEXT: ret i32 [[PHI_RES]]
189 ; CHECK-BE-LABEL: @test3(
190 ; CHECK-BE-NEXT: entry:
191 ; CHECK-BE-NEXT: [[TMP0:%.*]] = bitcast i32* [[BUFFER1:%.*]] to i8*
192 ; CHECK-BE-NEXT: [[TMP1:%.*]] = bitcast i32* [[BUFFER2:%.*]] to i8*
193 ; CHECK-BE-NEXT: br label [[LOADBB:%.*]]
194 ; CHECK-BE: res_block:
195 ; CHECK-BE-NEXT: [[PHI_SRC1:%.*]] = phi i64 [ [[TMP6:%.*]], [[LOADBB]] ], [ [[TMP15:%.*]], [[LOADBB1:%.*]] ], [ [[TMP24:%.*]], [[LOADBB2:%.*]] ]
196 ; CHECK-BE-NEXT: [[PHI_SRC2:%.*]] = phi i64 [ [[TMP7:%.*]], [[LOADBB]] ], [ [[TMP16:%.*]], [[LOADBB1]] ], [ [[TMP25:%.*]], [[LOADBB2]] ]
197 ; CHECK-BE-NEXT: [[TMP2:%.*]] = icmp ult i64 [[PHI_SRC1]], [[PHI_SRC2]]
198 ; CHECK-BE-NEXT: [[TMP3:%.*]] = select i1 [[TMP2]], i32 -1, i32 1
199 ; CHECK-BE-NEXT: br label [[ENDBLOCK:%.*]]
201 ; CHECK-BE-NEXT: [[TMP4:%.*]] = bitcast i8* [[TMP0]] to i64*
202 ; CHECK-BE-NEXT: [[TMP5:%.*]] = bitcast i8* [[TMP1]] to i64*
203 ; CHECK-BE-NEXT: [[TMP6]] = load i64, i64* [[TMP4]]
204 ; CHECK-BE-NEXT: [[TMP7]] = load i64, i64* [[TMP5]]
205 ; CHECK-BE-NEXT: [[TMP8:%.*]] = icmp eq i64 [[TMP6]], [[TMP7]]
206 ; CHECK-BE-NEXT: br i1 [[TMP8]], label [[LOADBB1]], label [[RES_BLOCK:%.*]]
208 ; CHECK-BE-NEXT: [[TMP9:%.*]] = getelementptr i8, i8* [[TMP0]], i8 8
209 ; CHECK-BE-NEXT: [[TMP10:%.*]] = bitcast i8* [[TMP9]] to i32*
210 ; CHECK-BE-NEXT: [[TMP11:%.*]] = getelementptr i8, i8* [[TMP1]], i8 8
211 ; CHECK-BE-NEXT: [[TMP12:%.*]] = bitcast i8* [[TMP11]] to i32*
212 ; CHECK-BE-NEXT: [[TMP13:%.*]] = load i32, i32* [[TMP10]]
213 ; CHECK-BE-NEXT: [[TMP14:%.*]] = load i32, i32* [[TMP12]]
214 ; CHECK-BE-NEXT: [[TMP15]] = zext i32 [[TMP13]] to i64
215 ; CHECK-BE-NEXT: [[TMP16]] = zext i32 [[TMP14]] to i64
216 ; CHECK-BE-NEXT: [[TMP17:%.*]] = icmp eq i64 [[TMP15]], [[TMP16]]
217 ; CHECK-BE-NEXT: br i1 [[TMP17]], label [[LOADBB2]], label [[RES_BLOCK]]
219 ; CHECK-BE-NEXT: [[TMP18:%.*]] = getelementptr i8, i8* [[TMP0]], i8 12
220 ; CHECK-BE-NEXT: [[TMP19:%.*]] = bitcast i8* [[TMP18]] to i16*
221 ; CHECK-BE-NEXT: [[TMP20:%.*]] = getelementptr i8, i8* [[TMP1]], i8 12
222 ; CHECK-BE-NEXT: [[TMP21:%.*]] = bitcast i8* [[TMP20]] to i16*
223 ; CHECK-BE-NEXT: [[TMP22:%.*]] = load i16, i16* [[TMP19]]
224 ; CHECK-BE-NEXT: [[TMP23:%.*]] = load i16, i16* [[TMP21]]
225 ; CHECK-BE-NEXT: [[TMP24]] = zext i16 [[TMP22]] to i64
226 ; CHECK-BE-NEXT: [[TMP25]] = zext i16 [[TMP23]] to i64
227 ; CHECK-BE-NEXT: [[TMP26:%.*]] = icmp eq i64 [[TMP24]], [[TMP25]]
228 ; CHECK-BE-NEXT: br i1 [[TMP26]], label [[LOADBB3:%.*]], label [[RES_BLOCK]]
230 ; CHECK-BE-NEXT: [[TMP27:%.*]] = getelementptr i8, i8* [[TMP0]], i8 14
231 ; CHECK-BE-NEXT: [[TMP28:%.*]] = getelementptr i8, i8* [[TMP1]], i8 14
232 ; CHECK-BE-NEXT: [[TMP29:%.*]] = load i8, i8* [[TMP27]]
233 ; CHECK-BE-NEXT: [[TMP30:%.*]] = load i8, i8* [[TMP28]]
234 ; CHECK-BE-NEXT: [[TMP31:%.*]] = zext i8 [[TMP29]] to i32
235 ; CHECK-BE-NEXT: [[TMP32:%.*]] = zext i8 [[TMP30]] to i32
236 ; CHECK-BE-NEXT: [[TMP33:%.*]] = sub i32 [[TMP31]], [[TMP32]]
237 ; CHECK-BE-NEXT: br label [[ENDBLOCK]]
238 ; CHECK-BE: endblock:
239 ; CHECK-BE-NEXT: [[PHI_RES:%.*]] = phi i32 [ [[TMP33]], [[LOADBB3]] ], [ [[TMP3]], [[RES_BLOCK]] ]
240 ; CHECK-BE-NEXT: ret i32 [[PHI_RES]]
243 %0 = bitcast i32* %buffer1 to i8*
244 %1 = bitcast i32* %buffer2 to i8*
245 %call = tail call signext i32 @memcmp(i8* %0, i8* %1, i64 15)
249 define signext i32 @test4(i32* nocapture readonly %buffer1, i32* nocapture readonly %buffer2) {
250 ; CHECK-LABEL: @test4(
252 ; CHECK-NEXT: [[TMP0:%.*]] = bitcast i32* [[BUFFER1:%.*]] to i8*
253 ; CHECK-NEXT: [[TMP1:%.*]] = bitcast i32* [[BUFFER2:%.*]] to i8*
254 ; CHECK-NEXT: [[CALL:%.*]] = tail call signext i32 @memcmp(i8* [[TMP0]], i8* [[TMP1]], i64 65)
255 ; CHECK-NEXT: ret i32 [[CALL]]
257 ; CHECK-BE-LABEL: @test4(
258 ; CHECK-BE-NEXT: entry:
259 ; CHECK-BE-NEXT: [[TMP0:%.*]] = bitcast i32* [[BUFFER1:%.*]] to i8*
260 ; CHECK-BE-NEXT: [[TMP1:%.*]] = bitcast i32* [[BUFFER2:%.*]] to i8*
261 ; CHECK-BE-NEXT: [[CALL:%.*]] = tail call signext i32 @memcmp(i8* [[TMP0]], i8* [[TMP1]], i64 65)
262 ; CHECK-BE-NEXT: ret i32 [[CALL]]
265 %0 = bitcast i32* %buffer1 to i8*
266 %1 = bitcast i32* %buffer2 to i8*
267 %call = tail call signext i32 @memcmp(i8* %0, i8* %1, i64 65)
271 define signext i32 @test5(i32* nocapture readonly %buffer1, i32* nocapture readonly %buffer2, i32 signext %SIZE) {
272 ; CHECK-LABEL: @test5(
274 ; CHECK-NEXT: [[TMP0:%.*]] = bitcast i32* [[BUFFER1:%.*]] to i8*
275 ; CHECK-NEXT: [[TMP1:%.*]] = bitcast i32* [[BUFFER2:%.*]] to i8*
276 ; CHECK-NEXT: [[CONV:%.*]] = sext i32 [[SIZE:%.*]] to i64
277 ; CHECK-NEXT: [[CALL:%.*]] = tail call signext i32 @memcmp(i8* [[TMP0]], i8* [[TMP1]], i64 [[CONV]])
278 ; CHECK-NEXT: ret i32 [[CALL]]
280 ; CHECK-BE-LABEL: @test5(
281 ; CHECK-BE-NEXT: entry:
282 ; CHECK-BE-NEXT: [[TMP0:%.*]] = bitcast i32* [[BUFFER1:%.*]] to i8*
283 ; CHECK-BE-NEXT: [[TMP1:%.*]] = bitcast i32* [[BUFFER2:%.*]] to i8*
284 ; CHECK-BE-NEXT: [[CONV:%.*]] = sext i32 [[SIZE:%.*]] to i64
285 ; CHECK-BE-NEXT: [[CALL:%.*]] = tail call signext i32 @memcmp(i8* [[TMP0]], i8* [[TMP1]], i64 [[CONV]])
286 ; CHECK-BE-NEXT: ret i32 [[CALL]]
289 %0 = bitcast i32* %buffer1 to i8*
290 %1 = bitcast i32* %buffer2 to i8*
291 %conv = sext i32 %SIZE to i64
292 %call = tail call signext i32 @memcmp(i8* %0, i8* %1, i64 %conv)