xref: /llvm-project/llvm/unittests/Analysis/TargetLibraryInfoTest.cpp (revision f2f18459d4e77e323b08971cf9d42b3574421fa7)
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 
16 using namespace llvm;
17 
18 namespace {
19 
20 class TargetLibraryInfoTest : public testing::Test {
21 protected:
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(Assembly, Error, Context);
33 
34     std::string errMsg;
35     raw_string_ostream os(errMsg);
36     Error.print("", os);
37 
38     if (!M)
39       report_fatal_error(Twine(os.str()));
40   }
41 
42   ::testing::AssertionResult isLibFunc(const Function *FDecl,
43                                        LibFunc ExpectedLF) {
44     StringRef ExpectedLFName = TLI.getName(ExpectedLF);
45 
46     if (!FDecl)
47       return ::testing::AssertionFailure() << ExpectedLFName << " not found";
48 
49     LibFunc F;
50     if (!TLI.getLibFunc(*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.
60 TEST_F(TargetLibraryInfoTest, InvalidProto) {
61   parseAssembly("%foo = type { %foo }\n");
62 
63   auto *StructTy = StructType::getTypeByName(Context, "foo");
64   auto *InvalidFTy = FunctionType::get(StructTy, /*isVarArg=*/false);
65 
66   for (unsigned FI = 0; FI != LibFunc::NumLibFuncs; ++FI) {
67     LibFunc LF = (LibFunc)FI;
68     auto *F = cast<Function>(
69         M->getOrInsertFunction(TLI.getName(LF), InvalidFTy).getCallee());
70     EXPECT_FALSE(isLibFunc(F, LF));
71   }
72 
73   // i64 @labs(i32)
74   {
75     auto *InvalidLabsFTy = FunctionType::get(Type::getInt64Ty(Context),
76                                              {Type::getInt32Ty(Context)},
77                                              /*isVarArg=*/false);
78     auto *F = cast<Function>(
79         M->getOrInsertFunction("labs", InvalidLabsFTy).getCallee());
80     EXPECT_FALSE(isLibFunc(F, LibFunc_labs));
81   }
82 }
83 
84 // Check that we do accept know-correct prototypes.
85 TEST_F(TargetLibraryInfoTest, ValidProto) {
86   parseAssembly(
87       // These functions use a 64-bit size_t; use the appropriate datalayout.
88       "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 @atexit(void ()*)\n"
499 
500       "declare i32 @__nvvm_reflect(i8*)\n"
501 
502       "declare i8* @__memcpy_chk(i8*, i8*, i64, i64)\n"
503       "declare i8* @__memmove_chk(i8*, i8*, i64, i64)\n"
504       "declare i8* @__memset_chk(i8*, i32, i64, i64)\n"
505       "declare i8* @__stpcpy_chk(i8*, i8*, i64)\n"
506       "declare i8* @__stpncpy_chk(i8*, i8*, i64, i64)\n"
507       "declare i8* @__strcpy_chk(i8*, i8*, i64)\n"
508       "declare i8* @__strncpy_chk(i8*, i8*, i64, i64)\n"
509       "declare i8* @__memccpy_chk(i8*, i8*, i32, i64, i64)\n"
510       "declare i8* @__mempcpy_chk(i8*, i8*, i64, i64)\n"
511       "declare i32 @__snprintf_chk(i8*, i64, i32, i64, i8*, ...)\n"
512       "declare i32 @__sprintf_chk(i8*, i32, i64, i8*, ...)\n"
513       "declare i8* @__strcat_chk(i8*, i8*, i64)\n"
514       "declare i64 @__strlcat_chk(i8*, i8*, i64, i64)\n"
515       "declare i64 @__strlen_chk(i8*, i64)\n"
516       "declare i8* @__strncat_chk(i8*, i8*, i64, i64)\n"
517       "declare i64 @__strlcpy_chk(i8*, i8*, i64, i64)\n"
518       "declare i32 @__vsnprintf_chk(i8*, i64, i32, i64, i8*, %struct*)\n"
519       "declare i32 @__vsprintf_chk(i8*, i32, i64, i8*, %struct*)\n"
520 
521       "declare i8* @memalign(i64, i64)\n"
522       "declare i8* @mempcpy(i8*, i8*, i64)\n"
523       "declare i8* @memrchr(i8*, i32, i64)\n"
524 
525       "declare void @__atomic_load(i64, i8*, i8*, i32)\n"
526       "declare void @__atomic_store(i64, i8*, i8*, i32)\n"
527 
528       // These are similar to the FILE* fgetc/fputc.
529       "declare i32 @_IO_getc(%struct*)\n"
530       "declare i32 @_IO_putc(i32, %struct*)\n"
531 
532       "declare i32 @__isoc99_scanf(i8*, ...)\n"
533       "declare i32 @__isoc99_sscanf(i8*, i8*, ...)\n"
534       "declare i8* @__strdup(i8*)\n"
535       "declare i8* @__strndup(i8*, i64)\n"
536       "declare i8* @__strtok_r(i8*, i8*, i8**)\n"
537 
538       "declare double @__sqrt_finite(double)\n"
539       "declare float @__sqrtf_finite(float)\n"
540       "declare x86_fp80 @__sqrtl_finite(x86_fp80)\n"
541       "declare double @exp10(double)\n"
542       "declare float @exp10f(float)\n"
543       "declare x86_fp80 @exp10l(x86_fp80)\n"
544 
545       // These printf variants have the same prototype as the non-'i' versions.
546       "declare i32 @fiprintf(%struct*, i8*, ...)\n"
547       "declare i32 @iprintf(i8*, ...)\n"
548       "declare i32 @siprintf(i8*, i8*, ...)\n"
549 
550       // __small_printf variants have the same prototype as the non-'i'
551       // versions.
552       "declare i32 @__small_fprintf(%struct*, i8*, ...)\n"
553       "declare i32 @__small_printf(i8*, ...)\n"
554       "declare i32 @__small_sprintf(i8*, i8*, ...)\n"
555 
556       "declare i32 @htonl(i32)\n"
557       "declare i16 @htons(i16)\n"
558       "declare i32 @ntohl(i32)\n"
559       "declare i16 @ntohs(i16)\n"
560 
561       "declare i32 @isascii(i32)\n"
562       "declare i32 @isdigit(i32)\n"
563       "declare i32 @toascii(i32)\n"
564 
565       // These functions were extracted from math-finite.h which provides
566       // functions similar to those in math.h, but optimized for handling
567       // finite values only.
568       "declare double @__acos_finite(double)\n"
569       "declare float @__acosf_finite(float)\n"
570       "declare x86_fp80 @__acosl_finite(x86_fp80)\n"
571       "declare double @__acosh_finite(double)\n"
572       "declare float @__acoshf_finite(float)\n"
573       "declare x86_fp80 @__acoshl_finite(x86_fp80)\n"
574       "declare double @__asin_finite(double)\n"
575       "declare float @__asinf_finite(float)\n"
576       "declare x86_fp80 @__asinl_finite(x86_fp80)\n"
577       "declare double @__atan2_finite(double, double)\n"
578       "declare float @__atan2f_finite(float, float)\n"
579       "declare x86_fp80 @__atan2l_finite(x86_fp80, x86_fp80)\n"
580       "declare double @__atanh_finite(double)\n"
581       "declare float @__atanhf_finite(float)\n"
582       "declare x86_fp80 @__atanhl_finite(x86_fp80)\n"
583       "declare double @__cosh_finite(double)\n"
584       "declare float @__coshf_finite(float)\n"
585       "declare x86_fp80 @__coshl_finite(x86_fp80)\n"
586       "declare double @__exp10_finite(double)\n"
587       "declare float @__exp10f_finite(float)\n"
588       "declare x86_fp80 @__exp10l_finite(x86_fp80)\n"
589       "declare double @__exp2_finite(double)\n"
590       "declare float @__exp2f_finite(float)\n"
591       "declare x86_fp80 @__exp2l_finite(x86_fp80)\n"
592       "declare double @__exp_finite(double)\n"
593       "declare float @__expf_finite(float)\n"
594       "declare x86_fp80 @__expl_finite(x86_fp80)\n"
595       "declare double @__log10_finite(double)\n"
596       "declare float @__log10f_finite(float)\n"
597       "declare x86_fp80 @__log10l_finite(x86_fp80)\n"
598       "declare double @__log2_finite(double)\n"
599       "declare float @__log2f_finite(float)\n"
600       "declare x86_fp80 @__log2l_finite(x86_fp80)\n"
601       "declare double @__log_finite(double)\n"
602       "declare float @__logf_finite(float)\n"
603       "declare x86_fp80 @__logl_finite(x86_fp80)\n"
604       "declare double @__pow_finite(double, double)\n"
605       "declare float @__powf_finite(float, float)\n"
606       "declare x86_fp80 @__powl_finite(x86_fp80, x86_fp80)\n"
607       "declare double @__sinh_finite(double)\n"
608       "declare float @__sinhf_finite(float)\n"
609       "declare x86_fp80 @__sinhl_finite(x86_fp80)\n"
610 
611       // These functions are aix vec allocation/free routines
612       "declare i8* @vec_calloc(i64, i64)\n"
613       "declare i8* @vec_malloc(i64)\n"
614       "declare i8* @vec_realloc(i8*, i64)\n"
615       "declare void @vec_free(i8*)\n"
616 
617       // These functions are OpenMP Offloading allocation / free routines
618       "declare i8* @__kmpc_alloc_shared(i64)\n"
619       "declare void @__kmpc_free_shared(i8*, i64)\n");
620 
621   for (unsigned FI = 0; FI != LibFunc::NumLibFuncs; ++FI) {
622     LibFunc LF = (LibFunc)FI;
623     // Make sure everything is available; we're not testing target defaults.
624     TLII.setAvailable(LF);
625     Function *F = M->getFunction(TLI.getName(LF));
626     EXPECT_TRUE(isLibFunc(F, LF));
627   }
628 }
629 
630 namespace {
631 
632 /// Creates TLI for AArch64 and uses it to get the LibFunc names for the given
633 /// Instruction opcode and Type.
634 class TLITestAarch64 : public ::testing::Test {
635 private:
636   const Triple TargetTriple;
637 
638 protected:
639   LLVMContext Ctx;
640   std::unique_ptr<TargetLibraryInfoImpl> TLII;
641   std::unique_ptr<TargetLibraryInfo> TLI;
642 
643   /// Create TLI for AArch64
644   TLITestAarch64() : TargetTriple(Triple("aarch64-unknown-linux-gnu")) {
645     TLII = std::make_unique<TargetLibraryInfoImpl>(
646         TargetLibraryInfoImpl(TargetTriple));
647     TLI = std::make_unique<TargetLibraryInfo>(TargetLibraryInfo(*TLII));
648   }
649 
650   /// Returns the TLI function name for the given \p Opcode and type \p Ty.
651   StringRef getScalarName(unsigned int Opcode, Type *Ty) {
652     LibFunc Func;
653     if (!TLI->getLibFunc(Opcode, Ty, Func))
654       return "";
655     return TLI->getName(Func);
656   }
657 };
658 } // end anonymous namespace
659 
660 TEST_F(TLITestAarch64, TestFrem) {
661   EXPECT_EQ(getScalarName(Instruction::FRem, Type::getDoubleTy(Ctx)), "fmod");
662   EXPECT_EQ(getScalarName(Instruction::FRem, Type::getFloatTy(Ctx)), "fmodf");
663 }