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