1//===--- TargetLibraryInfoTest.cpp - TLI/LibFunc unit tests ---------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
9#include "llvm/Analysis/TargetLibraryInfo.h"
10#include "llvm/AsmParser/Parser.h"
11#include "llvm/IR/LLVMContext.h"
12#include "llvm/IR/Module.h"
13#include "llvm/Support/SourceMgr.h"
14#include "gtest/gtest.h"
15
16using namespace llvm;
17
18namespace {
19
20class TargetLibraryInfoTest : public testing::Test {
21protected:
22 LLVMContext Context;
23 TargetLibraryInfoImpl TLII;
24 TargetLibraryInfo TLI;
25
26 std::unique_ptr<Module> M;
27
28 TargetLibraryInfoTest() : TLI(TLII) {}
29
30 void parseAssembly(const char *Assembly) {
31 SMDiagnostic Error;
32 M = parseAssemblyString(AsmString: Assembly, Err&: Error, Context);
33
34 std::string errMsg;
35 raw_string_ostream os(errMsg);
36 Error.print(ProgName: "", S&: os);
37
38 if (!M)
39 report_fatal_error(reason: Twine(os.str()));
40 }
41
42 ::testing::AssertionResult isLibFunc(const Function *FDecl,
43 LibFunc ExpectedLF) {
44 StringRef ExpectedLFName = TLI.getName(F: ExpectedLF);
45
46 if (!FDecl)
47 return ::testing::AssertionFailure() << ExpectedLFName << " not found";
48
49 LibFunc F;
50 if (!TLI.getLibFunc(FDecl: *FDecl, F))
51 return ::testing::AssertionFailure() << ExpectedLFName << " invalid";
52
53 return ::testing::AssertionSuccess() << ExpectedLFName << " is LibFunc";
54 }
55};
56
57} // end anonymous namespace
58
59// Check that we don't accept egregiously incorrect prototypes.
60TEST_F(TargetLibraryInfoTest, InvalidProto) {
61 parseAssembly(Assembly: "%foo = type { %foo }\n");
62
63 auto *StructTy = StructType::getTypeByName(C&: Context, Name: "foo");
64 auto *InvalidFTy = FunctionType::get(Result: StructTy, /*isVarArg=*/false);
65
66 for (unsigned FI = 0; FI != LibFunc::NumLibFuncs; ++FI) {
67 LibFunc LF = (LibFunc)FI;
68 auto *F = cast<Function>(
69 Val: M->getOrInsertFunction(Name: TLI.getName(F: LF), T: InvalidFTy).getCallee());
70 EXPECT_FALSE(isLibFunc(F, LF));
71 }
72
73 // i64 @labs(i32)
74 {
75 auto *InvalidLabsFTy = FunctionType::get(Result: Type::getInt64Ty(C&: Context),
76 Params: {Type::getInt32Ty(C&: Context)},
77 /*isVarArg=*/false);
78 auto *F = cast<Function>(
79 Val: M->getOrInsertFunction(Name: "labs", T: InvalidLabsFTy).getCallee());
80 EXPECT_FALSE(isLibFunc(F, LibFunc_labs));
81 }
82}
83
84// Check that we do accept know-correct prototypes.
85TEST_F(TargetLibraryInfoTest, ValidProto) {
86 parseAssembly(
87 // These functions use a 64-bit size_t; use the appropriate datalayout.
88 Assembly: "target datalayout = \"p:64:64:64\"\n"
89
90 // Struct pointers are replaced with an opaque pointer.
91 "%struct = type opaque\n"
92
93 // These functions were extracted as-is from the OS X headers.
94 "declare double @__cospi(double)\n"
95 "declare float @__cospif(float)\n"
96 "declare { double, double } @__sincospi_stret(double)\n"
97 "declare <2 x float> @__sincospif_stret(float)\n"
98 "declare double @__sinpi(double)\n"
99 "declare float @__sinpif(float)\n"
100 "declare i32 @abs(i32)\n"
101 "declare i32 @access(i8*, i32)\n"
102 "declare double @acos(double)\n"
103 "declare float @acosf(float)\n"
104 "declare double @acosh(double)\n"
105 "declare float @acoshf(float)\n"
106 "declare x86_fp80 @acoshl(x86_fp80)\n"
107 "declare x86_fp80 @acosl(x86_fp80)\n"
108 "declare i8* @aligned_alloc(i64, i64)\n"
109 "declare double @asin(double)\n"
110 "declare float @asinf(float)\n"
111 "declare double @asinh(double)\n"
112 "declare float @asinhf(float)\n"
113 "declare x86_fp80 @asinhl(x86_fp80)\n"
114 "declare x86_fp80 @asinl(x86_fp80)\n"
115 "declare double @atan(double)\n"
116 "declare double @atan2(double, double)\n"
117 "declare float @atan2f(float, float)\n"
118 "declare x86_fp80 @atan2l(x86_fp80, x86_fp80)\n"
119 "declare float @atanf(float)\n"
120 "declare double @atanh(double)\n"
121 "declare float @atanhf(float)\n"
122 "declare x86_fp80 @atanhl(x86_fp80)\n"
123 "declare x86_fp80 @atanl(x86_fp80)\n"
124 "declare double @atof(i8*)\n"
125 "declare i32 @atoi(i8*)\n"
126 "declare i64 @atol(i8*)\n"
127 "declare i64 @atoll(i8*)\n"
128 "declare i32 @bcmp(i8*, i8*, i64)\n"
129 "declare void @bcopy(i8*, i8*, i64)\n"
130 "declare void @bzero(i8*, i64)\n"
131 "declare i8* @calloc(i64, i64)\n"
132 "declare double @cbrt(double)\n"
133 "declare float @cbrtf(float)\n"
134 "declare x86_fp80 @cbrtl(x86_fp80)\n"
135 "declare double @ceil(double)\n"
136 "declare float @ceilf(float)\n"
137 "declare x86_fp80 @ceill(x86_fp80)\n"
138 "declare i32 @chown(i8*, i32, i32)\n"
139 "declare void @clearerr(%struct*)\n"
140 "declare double @copysign(double, double)\n"
141 "declare float @copysignf(float, float)\n"
142 "declare x86_fp80 @copysignl(x86_fp80, x86_fp80)\n"
143 "declare double @cabs([2 x double])\n"
144 "declare float @cabsf([2 x float])\n"
145 "declare x86_fp80 @cabsl([2 x x86_fp80])\n"
146 "declare double @cos(double)\n"
147 "declare float @cosf(float)\n"
148 "declare double @cosh(double)\n"
149 "declare float @coshf(float)\n"
150 "declare x86_fp80 @coshl(x86_fp80)\n"
151 "declare x86_fp80 @cosl(x86_fp80)\n"
152 "declare i8* @ctermid(i8*)\n"
153 "declare double @exp(double)\n"
154 "declare double @exp2(double)\n"
155 "declare float @exp2f(float)\n"
156 "declare x86_fp80 @exp2l(x86_fp80)\n"
157 "declare float @expf(float)\n"
158 "declare x86_fp80 @expl(x86_fp80)\n"
159 "declare double @expm1(double)\n"
160 "declare float @expm1f(float)\n"
161 "declare x86_fp80 @expm1l(x86_fp80)\n"
162 "declare double @fabs(double)\n"
163 "declare float @fabsf(float)\n"
164 "declare x86_fp80 @fabsl(x86_fp80)\n"
165 "declare i32 @fclose(%struct*)\n"
166 "declare i32 @feof(%struct*)\n"
167 "declare i32 @ferror(%struct*)\n"
168 "declare i32 @fflush(%struct*)\n"
169 "declare i32 @ffs(i32)\n"
170 "declare i32 @ffsl(i64)\n"
171 "declare i32 @ffsll(i64)\n"
172 "declare i32 @fgetc(%struct*)\n"
173 "declare i32 @fgetc_unlocked(%struct*)\n"
174 "declare i32 @fgetpos(%struct*, i64*)\n"
175 "declare i8* @fgets(i8*, i32, %struct*)\n"
176 "declare i8* @fgets_unlocked(i8*, i32, %struct*)\n"
177 "declare i32 @fileno(%struct*)\n"
178 "declare void @flockfile(%struct*)\n"
179 "declare double @floor(double)\n"
180 "declare float @floorf(float)\n"
181 "declare x86_fp80 @floorl(x86_fp80)\n"
182 "declare i32 @fls(i32)\n"
183 "declare i32 @flsl(i64)\n"
184 "declare i32 @flsll(i64)\n"
185 "declare double @fmax(double, double)\n"
186 "declare float @fmaxf(float, float)\n"
187 "declare x86_fp80 @fmaxl(x86_fp80, x86_fp80)\n"
188 "declare double @fmin(double, double)\n"
189 "declare float @fminf(float, float)\n"
190 "declare x86_fp80 @fminl(x86_fp80, x86_fp80)\n"
191 "declare double @fmod(double, double)\n"
192 "declare float @fmodf(float, float)\n"
193 "declare x86_fp80 @fmodl(x86_fp80, x86_fp80)\n"
194 "declare i32 @fprintf(%struct*, i8*, ...)\n"
195 "declare i32 @fputc(i32, %struct*)\n"
196 "declare i32 @fputc_unlocked(i32, %struct*)\n"
197 "declare i64 @fread(i8*, i64, i64, %struct*)\n"
198 "declare i64 @fread_unlocked(i8*, i64, i64, %struct*)\n"
199 "declare void @free(i8*)\n"
200 "declare double @frexp(double, i32*)\n"
201 "declare float @frexpf(float, i32*)\n"
202 "declare x86_fp80 @frexpl(x86_fp80, i32*)\n"
203 "declare i32 @fscanf(%struct*, i8*, ...)\n"
204 "declare i32 @fseek(%struct*, i64, i32)\n"
205 "declare i32 @fseeko(%struct*, i64, i32)\n"
206 "declare i32 @fsetpos(%struct*, i64*)\n"
207 "declare i32 @fstatvfs(i32, %struct*)\n"
208 "declare i64 @ftell(%struct*)\n"
209 "declare i64 @ftello(%struct*)\n"
210 "declare i32 @ftrylockfile(%struct*)\n"
211 "declare void @funlockfile(%struct*)\n"
212 "declare i32 @getc(%struct*)\n"
213 "declare i32 @getc_unlocked(%struct*)\n"
214 "declare i32 @getchar()\n"
215 "declare i32 @getchar_unlocked()\n"
216 "declare i8* @getenv(i8*)\n"
217 "declare i32 @getitimer(i32, %struct*)\n"
218 "declare i32 @getlogin_r(i8*, i64)\n"
219 "declare %struct* @getpwnam(i8*)\n"
220 "declare i8* @gets(i8*)\n"
221 "declare i32 @gettimeofday(%struct*, i8*)\n"
222 "declare i32 @_Z7isasciii(i32)\n"
223 "declare i32 @_Z7isdigiti(i32)\n"
224 "declare i64 @labs(i64)\n"
225 "declare double @ldexp(double, i32)\n"
226 "declare float @ldexpf(float, i32)\n"
227 "declare x86_fp80 @ldexpl(x86_fp80, i32)\n"
228 "declare i64 @llabs(i64)\n"
229 "declare double @log(double)\n"
230 "declare double @log10(double)\n"
231 "declare float @log10f(float)\n"
232 "declare x86_fp80 @log10l(x86_fp80)\n"
233 "declare double @log1p(double)\n"
234 "declare float @log1pf(float)\n"
235 "declare x86_fp80 @log1pl(x86_fp80)\n"
236 "declare double @log2(double)\n"
237 "declare float @log2f(float)\n"
238 "declare x86_fp80 @log2l(x86_fp80)\n"
239 "declare double @logb(double)\n"
240 "declare float @logbf(float)\n"
241 "declare x86_fp80 @logbl(x86_fp80)\n"
242 "declare float @logf(float)\n"
243 "declare x86_fp80 @logl(x86_fp80)\n"
244 "declare i8* @malloc(i64)\n"
245 "declare i8* @memccpy(i8*, i8*, i32, i64)\n"
246 "declare i8* @memchr(i8*, i32, i64)\n"
247 "declare i32 @memcmp(i8*, i8*, i64)\n"
248 "declare i8* @memcpy(i8*, i8*, i64)\n"
249 "declare i8* @memmove(i8*, i8*, i64)\n"
250 "declare i8* @memset(i8*, i32, i64)\n"
251 "declare void @memset_pattern16(i8*, i8*, i64)\n"
252 "declare void @memset_pattern4(i8*, i8*, i64)\n"
253 "declare void @memset_pattern8(i8*, i8*, i64)\n"
254 "declare i32 @mkdir(i8*, i16)\n"
255 "declare double @modf(double, double*)\n"
256 "declare float @modff(float, float*)\n"
257 "declare x86_fp80 @modfl(x86_fp80, x86_fp80*)\n"
258 "declare double @nearbyint(double)\n"
259 "declare float @nearbyintf(float)\n"
260 "declare x86_fp80 @nearbyintl(x86_fp80)\n"
261 "declare i32 @pclose(%struct*)\n"
262 "declare void @perror(i8*)\n"
263 "declare i32 @posix_memalign(i8**, i64, i64)\n"
264 "declare double @pow(double, double)\n"
265 "declare float @powf(float, float)\n"
266 "declare x86_fp80 @powl(x86_fp80, x86_fp80)\n"
267 "declare double @erf(double)\n"
268 "declare float @erff(float)\n"
269 "declare x86_fp80 @erfl(x86_fp80)\n"
270 "declare i32 @printf(i8*, ...)\n"
271 "declare i32 @putc(i32, %struct*)\n"
272 "declare i32 @putc_unlocked(i32, %struct*)\n"
273 "declare i32 @putchar(i32)\n"
274 "declare i32 @putchar_unlocked(i32)\n"
275 "declare i32 @puts(i8*)\n"
276 "declare void @qsort(i8*, i64, i64, i32 (i8*, i8*)*)\n"
277 "declare i64 @readlink(i8*, i8*, i64)\n"
278 "declare i8* @realloc(i8*, i64)\n"
279 "declare i8* @reallocf(i8*, i64)\n"
280 "declare double @remainder(double, double)\n"
281 "declare float @remainderf(float, float)\n"
282 "declare x86_fp80 @remainderl(x86_fp80, x86_fp80)\n"
283 "declare i32 @remove(i8*)\n"
284 "declare i32 @rename(i8*, i8*)\n"
285 "declare void @rewind(%struct*)\n"
286 "declare double @rint(double)\n"
287 "declare float @rintf(float)\n"
288 "declare x86_fp80 @rintl(x86_fp80)\n"
289 "declare i32 @rmdir(i8*)\n"
290 "declare double @round(double)\n"
291 "declare float @roundf(float)\n"
292 "declare x86_fp80 @roundl(x86_fp80)\n"
293 "declare double @roundeven(double)\n"
294 "declare float @roundevenf(float)\n"
295 "declare x86_fp80 @roundevenl(x86_fp80)\n"
296 "declare i32 @scanf(i8*, ...)\n"
297 "declare void @setbuf(%struct*, i8*)\n"
298 "declare i32 @setitimer(i32, %struct*, %struct*)\n"
299 "declare i32 @setvbuf(%struct*, i8*, i32, i64)\n"
300 "declare double @sin(double)\n"
301 "declare float @sinf(float)\n"
302 "declare double @sinh(double)\n"
303 "declare float @sinhf(float)\n"
304 "declare x86_fp80 @sinhl(x86_fp80)\n"
305 "declare x86_fp80 @sinl(x86_fp80)\n"
306 "declare i32 @snprintf(i8*, i64, i8*, ...)\n"
307 "declare i32 @sprintf(i8*, i8*, ...)\n"
308 "declare double @sqrt(double)\n"
309 "declare float @sqrtf(float)\n"
310 "declare x86_fp80 @sqrtl(x86_fp80)\n"
311 "declare i32 @sscanf(i8*, i8*, ...)\n"
312 "declare i32 @statvfs(i8*, %struct*)\n"
313 "declare i8* @stpcpy(i8*, i8*)\n"
314 "declare i8* @stpncpy(i8*, i8*, i64)\n"
315 "declare i32 @strcasecmp(i8*, i8*)\n"
316 "declare i8* @strcat(i8*, i8*)\n"
317 "declare i8* @strchr(i8*, i32)\n"
318 "declare i32 @strcmp(i8*, i8*)\n"
319 "declare i32 @strcoll(i8*, i8*)\n"
320 "declare i8* @strcpy(i8*, i8*)\n"
321 "declare i64 @strcspn(i8*, i8*)\n"
322 "declare i8* @strdup(i8*)\n"
323 "declare i64 @strlen(i8*)\n"
324 "declare i32 @strncasecmp(i8*, i8*, i64)\n"
325 "declare i8* @strncat(i8*, i8*, i64)\n"
326 "declare i32 @strncmp(i8*, i8*, i64)\n"
327 "declare i8* @strncpy(i8*, i8*, i64)\n"
328 "declare i8* @strndup(i8*, i64)\n"
329 "declare i64 @strnlen(i8*, i64)\n"
330 "declare i8* @strpbrk(i8*, i8*)\n"
331 "declare i8* @strrchr(i8*, i32)\n"
332 "declare i64 @strspn(i8*, i8*)\n"
333 "declare i8* @strstr(i8*, i8*)\n"
334 "declare i8* @strtok(i8*, i8*)\n"
335 "declare i8* @strtok_r(i8*, i8*, i8**)\n"
336 "declare i64 @strtol(i8*, i8**, i32)\n"
337 "declare i64 @strlcat(i8*, i8*, i64)\n"
338 "declare i64 @strlcpy(i8*, i8*, i64)\n"
339 "declare x86_fp80 @strtold(i8*, i8**)\n"
340 "declare i64 @strtoll(i8*, i8**, i32)\n"
341 "declare i64 @strtoul(i8*, i8**, i32)\n"
342 "declare i64 @strtoull(i8*, i8**, i32)\n"
343 "declare i64 @strxfrm(i8*, i8*, i64)\n"
344 "declare double @tan(double)\n"
345 "declare float @tanf(float)\n"
346 "declare double @tanh(double)\n"
347 "declare float @tanhf(float)\n"
348 "declare x86_fp80 @tanhl(x86_fp80)\n"
349 "declare x86_fp80 @tanl(x86_fp80)\n"
350 "declare i64 @times(%struct*)\n"
351 "declare %struct* @tmpfile()\n"
352 "declare i32 @_Z7toasciii(i32)\n"
353 "declare double @trunc(double)\n"
354 "declare float @truncf(float)\n"
355 "declare x86_fp80 @truncl(x86_fp80)\n"
356 "declare i32 @uname(%struct*)\n"
357 "declare i32 @ungetc(i32, %struct*)\n"
358 "declare i32 @unlink(i8*)\n"
359 "declare i32 @utime(i8*, %struct*)\n"
360 "declare i32 @utimes(i8*, %struct*)\n"
361 "declare i8* @valloc(i64)\n"
362 "declare i32 @vfprintf(%struct*, i8*, %struct*)\n"
363 "declare i32 @vfscanf(%struct*, i8*, %struct*)\n"
364 "declare i32 @vprintf(i8*, %struct*)\n"
365 "declare i32 @vscanf(i8*, %struct*)\n"
366 "declare i32 @vsnprintf(i8*, i64, i8*, %struct*)\n"
367 "declare i32 @vsprintf(i8*, i8*, %struct*)\n"
368 "declare i32 @vsscanf(i8*, i8*, %struct*)\n"
369 "declare i64 @wcslen(i32*)\n"
370 "declare i32 @fork()\n"
371 "declare i32 @execl(i8*, i8*, ...)\n"
372 "declare i32 @execle(i8*, i8*, ...)\n"
373 "declare i32 @execlp(i8*, i8*, ...)\n"
374 "declare i32 @execv(i8*, i8**)\n"
375 "declare i32 @execvP(i8*, i8*, i8**)\n"
376 "declare i32 @execve(i8*, i8**, i8**)\n"
377 "declare i32 @execvp(i8*, i8**)\n"
378 "declare i32 @execvpe(i8*, i8**, i8**)\n"
379
380 // These functions were also extracted from the OS X headers, but they are
381 // available with a special name on darwin.
382 // This test uses the default TLI name instead.
383 "declare i32 @chmod(i8*, i16)\n"
384 "declare i32 @closedir(%struct*)\n"
385 "declare %struct* @fdopen(i32, i8*)\n"
386 "declare %struct* @fopen(i8*, i8*)\n"
387 "declare i32 @fputs(i8*, %struct*)\n"
388 "declare i32 @fputs_unlocked(i8*, %struct*)\n"
389 "declare i32 @fstat(i32, %struct*)\n"
390 "declare i64 @fwrite(i8*, i64, i64, %struct*)\n"
391 "declare i64 @fwrite_unlocked(i8*, i64, i64, %struct*)\n"
392 "declare i32 @lchown(i8*, i32, i32)\n"
393 "declare i32 @lstat(i8*, %struct*)\n"
394 "declare i64 @mktime(%struct*)\n"
395 "declare i32 @open(i8*, i32, ...)\n"
396 "declare %struct* @opendir(i8*)\n"
397 "declare %struct* @popen(i8*, i8*)\n"
398 "declare i64 @pread(i32, i8*, i64, i64)\n"
399 "declare i64 @pwrite(i32, i8*, i64, i64)\n"
400 "declare i64 @read(i32, i8*, i64)\n"
401 "declare i8* @realpath(i8*, i8*)\n"
402 "declare i32 @stat(i8*, %struct*)\n"
403 "declare double @strtod(i8*, i8**)\n"
404 "declare float @strtof(i8*, i8**)\n"
405 "declare i32 @system(i8*)\n"
406 "declare i32 @unsetenv(i8*)\n"
407 "declare i64 @write(i32, i8*, i64)\n"
408
409 // These functions are available on Linux but not Darwin; they only differ
410 // from their non-64 counterparts in the struct type.
411 // Use the same prototype as the non-64 variant.
412 "declare %struct* @fopen64(i8*, i8*)\n"
413 "declare i32 @fstat64(i32, %struct*)\n"
414 "declare i32 @fstatvfs64(i32, %struct*)\n"
415 "declare i32 @lstat64(i8*, %struct*)\n"
416 "declare i32 @open64(i8*, i32, ...)\n"
417 "declare i32 @stat64(i8*, %struct*)\n"
418 "declare i32 @statvfs64(i8*, %struct*)\n"
419 "declare %struct* @tmpfile64()\n"
420
421 // These functions are also -64 variants, but do differ in the type of the
422 // off_t (vs off64_t) parameter. The non-64 variants declared above used
423 // a 64-bit off_t, so, in practice, they are also equivalent.
424 "declare i32 @fseeko64(%struct*, i64, i32)\n"
425 "declare i64 @ftello64(%struct*)\n"
426
427 "declare void @_ZdaPv(i8*)\n"
428 "declare void @_ZdaPvRKSt9nothrow_t(i8*, %struct*)\n"
429 "declare void @_ZdaPvSt11align_val_t(i8*, i64)\n"
430 "declare void @_ZdaPvSt11align_val_tRKSt9nothrow_t(i8*, i64, %struct*)\n"
431 "declare void @_ZdaPvj(i8*, i32)\n"
432 "declare void @_ZdaPvjSt11align_val_t(i8*, i32, i32)\n"
433 "declare void @_ZdaPvm(i8*, i64)\n"
434 "declare void @_ZdaPvmSt11align_val_t(i8*, i64, i64)\n"
435 "declare void @_ZdlPv(i8*)\n"
436 "declare void @_ZdlPvRKSt9nothrow_t(i8*, %struct*)\n"
437 "declare void @_ZdlPvSt11align_val_t(i8*, i64)\n"
438 "declare void @_ZdlPvSt11align_val_tRKSt9nothrow_t(i8*, i64, %struct*)\n"
439 "declare void @_ZdlPvj(i8*, i32)\n"
440 "declare void @_ZdlPvjSt11align_val_t(i8*, i32, i32)\n"
441 "declare void @_ZdlPvm(i8*, i64)\n"
442 "declare void @_ZdlPvmSt11align_val_t(i8*, i64, i64)\n"
443 "declare i8* @_Znaj(i32)\n"
444 "declare i8* @_ZnajRKSt9nothrow_t(i32, %struct*)\n"
445 "declare i8* @_ZnajSt11align_val_t(i32, i32)\n"
446 "declare i8* @_ZnajSt11align_val_tRKSt9nothrow_t(i32, i32, %struct*)\n"
447 "declare i8* @_Znam(i64)\n"
448 "declare i8* @_Znam12__hot_cold_t(i64, i8)\n"
449 "declare i8* @_ZnamRKSt9nothrow_t(i64, %struct*)\n"
450 "declare i8* @_ZnamRKSt9nothrow_t12__hot_cold_t(i64, %struct*, i8)\n"
451 "declare i8* @_ZnamSt11align_val_t(i64, i64)\n"
452 "declare i8* @_ZnamSt11align_val_t12__hot_cold_t(i64, i64, i8)\n"
453 "declare i8* @_ZnamSt11align_val_tRKSt9nothrow_t(i64, i64, %struct*)\n"
454 "declare i8* @_ZnamSt11align_val_tRKSt9nothrow_t12__hot_cold_t(i64, i64, "
455 "%struct*, i8)\n"
456 "declare i8* @_Znwj(i32)\n"
457 "declare i8* @_ZnwjRKSt9nothrow_t(i32, %struct*)\n"
458 "declare i8* @_ZnwjSt11align_val_t(i32, i32)\n"
459 "declare i8* @_ZnwjSt11align_val_tRKSt9nothrow_t(i32, i32, %struct*)\n"
460 "declare i8* @_Znwm(i64)\n"
461 "declare i8* @_Znwm12__hot_cold_t(i64, i8)\n"
462 "declare i8* @_ZnwmRKSt9nothrow_t(i64, %struct*)\n"
463 "declare i8* @_ZnwmRKSt9nothrow_t12__hot_cold_t(i64, %struct*, i8)\n"
464 "declare i8* @_ZnwmSt11align_val_t(i64, i64)\n"
465 "declare i8* @_ZnwmSt11align_val_t12__hot_cold_t(i64, i64, i8)\n"
466 "declare i8* @_ZnwmSt11align_val_tRKSt9nothrow_t(i64, i64, %struct*)\n"
467 "declare i8* @_ZnwmSt11align_val_tRKSt9nothrow_t12__hot_cold_t(i64, i64, "
468 "%struct*, i8)\n"
469
470 "declare void @\"??3@YAXPEAX@Z\"(i8*)\n"
471 "declare void @\"??3@YAXPEAXAEBUnothrow_t@std@@@Z\"(i8*, %struct*)\n"
472 "declare void @\"??3@YAXPEAX_K@Z\"(i8*, i64)\n"
473 "declare void @\"??_V@YAXPEAX@Z\"(i8*)\n"
474 "declare void @\"??_V@YAXPEAXAEBUnothrow_t@std@@@Z\"(i8*, %struct*)\n"
475 "declare void @\"??_V@YAXPEAX_K@Z\"(i8*, i64)\n"
476 "declare i8* @\"??2@YAPAXI@Z\"(i32)\n"
477 "declare i8* @\"??2@YAPAXIABUnothrow_t@std@@@Z\"(i32, %struct*)\n"
478 "declare i8* @\"??2@YAPEAX_K@Z\"(i64)\n"
479 "declare i8* @\"??2@YAPEAX_KAEBUnothrow_t@std@@@Z\"(i64, %struct*)\n"
480 "declare i8* @\"??_U@YAPAXI@Z\"(i32)\n"
481 "declare i8* @\"??_U@YAPAXIABUnothrow_t@std@@@Z\"(i32, %struct*)\n"
482 "declare i8* @\"??_U@YAPEAX_K@Z\"(i64)\n"
483 "declare i8* @\"??_U@YAPEAX_KAEBUnothrow_t@std@@@Z\"(i64, %struct*)\n"
484
485 "declare void @\"??3@YAXPAX@Z\"(i8*)\n"
486 "declare void @\"??3@YAXPAXABUnothrow_t@std@@@Z\"(i8*, %struct*)\n"
487 "declare void @\"??3@YAXPAXI@Z\"(i8*, i32)\n"
488 "declare void @\"??_V@YAXPAX@Z\"(i8*)\n"
489 "declare void @\"??_V@YAXPAXABUnothrow_t@std@@@Z\"(i8*, %struct*)\n"
490 "declare void @\"??_V@YAXPAXI@Z\"(i8*, i32)\n"
491
492 // These other functions were derived from the .def C declaration.
493 "declare i32 @__cxa_atexit(void (i8*)*, i8*, i8*)\n"
494 "declare void @__cxa_guard_abort(%struct*)\n"
495 "declare i32 @__cxa_guard_acquire(%struct*)\n"
496 "declare void @__cxa_guard_release(%struct*)\n"
497
498 "declare i32 @__nvvm_reflect(i8*)\n"
499
500 "declare i8* @__memcpy_chk(i8*, i8*, i64, i64)\n"
501 "declare i8* @__memmove_chk(i8*, i8*, i64, i64)\n"
502 "declare i8* @__memset_chk(i8*, i32, i64, i64)\n"
503 "declare i8* @__stpcpy_chk(i8*, i8*, i64)\n"
504 "declare i8* @__stpncpy_chk(i8*, i8*, i64, i64)\n"
505 "declare i8* @__strcpy_chk(i8*, i8*, i64)\n"
506 "declare i8* @__strncpy_chk(i8*, i8*, i64, i64)\n"
507 "declare i8* @__memccpy_chk(i8*, i8*, i32, i64, i64)\n"
508 "declare i8* @__mempcpy_chk(i8*, i8*, i64, i64)\n"
509 "declare i32 @__snprintf_chk(i8*, i64, i32, i64, i8*, ...)\n"
510 "declare i32 @__sprintf_chk(i8*, i32, i64, i8*, ...)\n"
511 "declare i8* @__strcat_chk(i8*, i8*, i64)\n"
512 "declare i64 @__strlcat_chk(i8*, i8*, i64, i64)\n"
513 "declare i64 @__strlen_chk(i8*, i64)\n"
514 "declare i8* @__strncat_chk(i8*, i8*, i64, i64)\n"
515 "declare i64 @__strlcpy_chk(i8*, i8*, i64, i64)\n"
516 "declare i32 @__vsnprintf_chk(i8*, i64, i32, i64, i8*, %struct*)\n"
517 "declare i32 @__vsprintf_chk(i8*, i32, i64, i8*, %struct*)\n"
518
519 "declare i8* @memalign(i64, i64)\n"
520 "declare i8* @mempcpy(i8*, i8*, i64)\n"
521 "declare i8* @memrchr(i8*, i32, i64)\n"
522
523 "declare void @__atomic_load(i64, i8*, i8*, i32)\n"
524 "declare void @__atomic_store(i64, i8*, i8*, i32)\n"
525
526 // These are similar to the FILE* fgetc/fputc.
527 "declare i32 @_IO_getc(%struct*)\n"
528 "declare i32 @_IO_putc(i32, %struct*)\n"
529
530 "declare i32 @__isoc99_scanf(i8*, ...)\n"
531 "declare i32 @__isoc99_sscanf(i8*, i8*, ...)\n"
532 "declare i8* @__strdup(i8*)\n"
533 "declare i8* @__strndup(i8*, i64)\n"
534 "declare i8* @__strtok_r(i8*, i8*, i8**)\n"
535
536 "declare double @__sqrt_finite(double)\n"
537 "declare float @__sqrtf_finite(float)\n"
538 "declare x86_fp80 @__sqrtl_finite(x86_fp80)\n"
539 "declare double @exp10(double)\n"
540 "declare float @exp10f(float)\n"
541 "declare x86_fp80 @exp10l(x86_fp80)\n"
542
543 // These printf variants have the same prototype as the non-'i' versions.
544 "declare i32 @fiprintf(%struct*, i8*, ...)\n"
545 "declare i32 @iprintf(i8*, ...)\n"
546 "declare i32 @siprintf(i8*, i8*, ...)\n"
547
548 // __small_printf variants have the same prototype as the non-'i'
549 // versions.
550 "declare i32 @__small_fprintf(%struct*, i8*, ...)\n"
551 "declare i32 @__small_printf(i8*, ...)\n"
552 "declare i32 @__small_sprintf(i8*, i8*, ...)\n"
553
554 "declare i32 @htonl(i32)\n"
555 "declare i16 @htons(i16)\n"
556 "declare i32 @ntohl(i32)\n"
557 "declare i16 @ntohs(i16)\n"
558
559 "declare i32 @isascii(i32)\n"
560 "declare i32 @isdigit(i32)\n"
561 "declare i32 @toascii(i32)\n"
562
563 // These functions were extracted from math-finite.h which provides
564 // functions similar to those in math.h, but optimized for handling
565 // finite values only.
566 "declare double @__acos_finite(double)\n"
567 "declare float @__acosf_finite(float)\n"
568 "declare x86_fp80 @__acosl_finite(x86_fp80)\n"
569 "declare double @__acosh_finite(double)\n"
570 "declare float @__acoshf_finite(float)\n"
571 "declare x86_fp80 @__acoshl_finite(x86_fp80)\n"
572 "declare double @__asin_finite(double)\n"
573 "declare float @__asinf_finite(float)\n"
574 "declare x86_fp80 @__asinl_finite(x86_fp80)\n"
575 "declare double @__atan2_finite(double, double)\n"
576 "declare float @__atan2f_finite(float, float)\n"
577 "declare x86_fp80 @__atan2l_finite(x86_fp80, x86_fp80)\n"
578 "declare double @__atanh_finite(double)\n"
579 "declare float @__atanhf_finite(float)\n"
580 "declare x86_fp80 @__atanhl_finite(x86_fp80)\n"
581 "declare double @__cosh_finite(double)\n"
582 "declare float @__coshf_finite(float)\n"
583 "declare x86_fp80 @__coshl_finite(x86_fp80)\n"
584 "declare double @__exp10_finite(double)\n"
585 "declare float @__exp10f_finite(float)\n"
586 "declare x86_fp80 @__exp10l_finite(x86_fp80)\n"
587 "declare double @__exp2_finite(double)\n"
588 "declare float @__exp2f_finite(float)\n"
589 "declare x86_fp80 @__exp2l_finite(x86_fp80)\n"
590 "declare double @__exp_finite(double)\n"
591 "declare float @__expf_finite(float)\n"
592 "declare x86_fp80 @__expl_finite(x86_fp80)\n"
593 "declare double @__log10_finite(double)\n"
594 "declare float @__log10f_finite(float)\n"
595 "declare x86_fp80 @__log10l_finite(x86_fp80)\n"
596 "declare double @__log2_finite(double)\n"
597 "declare float @__log2f_finite(float)\n"
598 "declare x86_fp80 @__log2l_finite(x86_fp80)\n"
599 "declare double @__log_finite(double)\n"
600 "declare float @__logf_finite(float)\n"
601 "declare x86_fp80 @__logl_finite(x86_fp80)\n"
602 "declare double @__pow_finite(double, double)\n"
603 "declare float @__powf_finite(float, float)\n"
604 "declare x86_fp80 @__powl_finite(x86_fp80, x86_fp80)\n"
605 "declare double @__sinh_finite(double)\n"
606 "declare float @__sinhf_finite(float)\n"
607 "declare x86_fp80 @__sinhl_finite(x86_fp80)\n"
608
609 // These functions are aix vec allocation/free routines
610 "declare i8* @vec_calloc(i64, i64)\n"
611 "declare i8* @vec_malloc(i64)\n"
612 "declare i8* @vec_realloc(i8*, i64)\n"
613 "declare void @vec_free(i8*)\n"
614
615 // These functions are OpenMP Offloading allocation / free routines
616 "declare i8* @__kmpc_alloc_shared(i64)\n"
617 "declare void @__kmpc_free_shared(i8*, i64)\n");
618
619 for (unsigned FI = 0; FI != LibFunc::NumLibFuncs; ++FI) {
620 LibFunc LF = (LibFunc)FI;
621 // Make sure everything is available; we're not testing target defaults.
622 TLII.setAvailable(LF);
623 Function *F = M->getFunction(Name: TLI.getName(F: LF));
624 EXPECT_TRUE(isLibFunc(F, LF));
625 }
626}
627
628namespace {
629
630/// Creates TLI for AArch64 and uses it to get the LibFunc names for the given
631/// Instruction opcode and Type.
632class TLITestAarch64 : public ::testing::Test {
633private:
634 const Triple TargetTriple;
635
636protected:
637 LLVMContext Ctx;
638 std::unique_ptr<TargetLibraryInfoImpl> TLII;
639 std::unique_ptr<TargetLibraryInfo> TLI;
640
641 /// Create TLI for AArch64
642 TLITestAarch64() : TargetTriple(Triple("aarch64-unknown-linux-gnu")) {
643 TLII = std::make_unique<TargetLibraryInfoImpl>(
644 args: TargetLibraryInfoImpl(TargetTriple));
645 TLI = std::make_unique<TargetLibraryInfo>(args: TargetLibraryInfo(*TLII));
646 }
647
648 /// Returns the TLI function name for the given \p Opcode and type \p Ty.
649 StringRef getScalarName(unsigned int Opcode, Type *Ty) {
650 LibFunc Func;
651 if (!TLI->getLibFunc(Opcode, Ty, F&: Func))
652 return "";
653 return TLI->getName(F: Func);
654 }
655};
656} // end anonymous namespace
657
658TEST_F(TLITestAarch64, TestFrem) {
659 EXPECT_EQ(getScalarName(Instruction::FRem, Type::getDoubleTy(Ctx)), "fmod");
660 EXPECT_EQ(getScalarName(Instruction::FRem, Type::getFloatTy(Ctx)), "fmodf");
661}

source code of llvm/unittests/Analysis/TargetLibraryInfoTest.cpp