1 //===-- TargetLibraryInfo.cpp - Runtime library information ----------------==//
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 // This file implements the TargetLibraryInfo class.
10 //
11 //===----------------------------------------------------------------------===//
12
13 #include "llvm/Analysis/TargetLibraryInfo.h"
14 #include "llvm/ADT/Triple.h"
15 #include "llvm/IR/Constants.h"
16 #include "llvm/InitializePasses.h"
17 #include "llvm/Support/CommandLine.h"
18 using namespace llvm;
19
20 static cl::opt<TargetLibraryInfoImpl::VectorLibrary> ClVectorLibrary(
21 "vector-library", cl::Hidden, cl::desc("Vector functions library"),
22 cl::init(TargetLibraryInfoImpl::NoLibrary),
23 cl::values(clEnumValN(TargetLibraryInfoImpl::NoLibrary, "none",
24 "No vector functions library"),
25 clEnumValN(TargetLibraryInfoImpl::Accelerate, "Accelerate",
26 "Accelerate framework"),
27 clEnumValN(TargetLibraryInfoImpl::DarwinLibSystemM,
28 "Darwin_libsystem_m", "Darwin libsystem_m"),
29 clEnumValN(TargetLibraryInfoImpl::LIBMVEC_X86, "LIBMVEC-X86",
30 "GLIBC Vector Math library"),
31 clEnumValN(TargetLibraryInfoImpl::MASSV, "MASSV",
32 "IBM MASS vector library"),
33 clEnumValN(TargetLibraryInfoImpl::SVML, "SVML",
34 "Intel SVML library")));
35
36 StringLiteral const TargetLibraryInfoImpl::StandardNames[LibFunc::NumLibFuncs] =
37 {
38 #define TLI_DEFINE_STRING
39 #include "llvm/Analysis/TargetLibraryInfo.def"
40 };
41
hasSinCosPiStret(const Triple & T)42 static bool hasSinCosPiStret(const Triple &T) {
43 // Only Darwin variants have _stret versions of combined trig functions.
44 if (!T.isOSDarwin())
45 return false;
46
47 // The ABI is rather complicated on x86, so don't do anything special there.
48 if (T.getArch() == Triple::x86)
49 return false;
50
51 if (T.isMacOSX() && T.isMacOSXVersionLT(10, 9))
52 return false;
53
54 if (T.isiOS() && T.isOSVersionLT(7, 0))
55 return false;
56
57 return true;
58 }
59
hasBcmp(const Triple & TT)60 static bool hasBcmp(const Triple &TT) {
61 // Posix removed support from bcmp() in 2001, but the glibc and several
62 // implementations of the libc still have it.
63 if (TT.isOSLinux())
64 return TT.isGNUEnvironment() || TT.isMusl();
65 // Both NetBSD and OpenBSD are planning to remove the function. Windows does
66 // not have it.
67 return TT.isOSFreeBSD() || TT.isOSSolaris();
68 }
69
isCallingConvCCompatible(CallingConv::ID CC,StringRef TT,FunctionType * FuncTy)70 static bool isCallingConvCCompatible(CallingConv::ID CC, StringRef TT,
71 FunctionType *FuncTy) {
72 switch (CC) {
73 default:
74 return false;
75 case llvm::CallingConv::C:
76 return true;
77 case llvm::CallingConv::ARM_APCS:
78 case llvm::CallingConv::ARM_AAPCS:
79 case llvm::CallingConv::ARM_AAPCS_VFP: {
80
81 // The iOS ABI diverges from the standard in some cases, so for now don't
82 // try to simplify those calls.
83 if (Triple(TT).isiOS())
84 return false;
85
86 if (!FuncTy->getReturnType()->isPointerTy() &&
87 !FuncTy->getReturnType()->isIntegerTy() &&
88 !FuncTy->getReturnType()->isVoidTy())
89 return false;
90
91 for (auto *Param : FuncTy->params()) {
92 if (!Param->isPointerTy() && !Param->isIntegerTy())
93 return false;
94 }
95 return true;
96 }
97 }
98 return false;
99 }
100
isCallingConvCCompatible(CallBase * CI)101 bool TargetLibraryInfoImpl::isCallingConvCCompatible(CallBase *CI) {
102 return ::isCallingConvCCompatible(CI->getCallingConv(),
103 CI->getModule()->getTargetTriple(),
104 CI->getFunctionType());
105 }
106
isCallingConvCCompatible(Function * F)107 bool TargetLibraryInfoImpl::isCallingConvCCompatible(Function *F) {
108 return ::isCallingConvCCompatible(F->getCallingConv(),
109 F->getParent()->getTargetTriple(),
110 F->getFunctionType());
111 }
112
113 /// Initialize the set of available library functions based on the specified
114 /// target triple. This should be carefully written so that a missing target
115 /// triple gets a sane set of defaults.
initialize(TargetLibraryInfoImpl & TLI,const Triple & T,ArrayRef<StringLiteral> StandardNames)116 static void initialize(TargetLibraryInfoImpl &TLI, const Triple &T,
117 ArrayRef<StringLiteral> StandardNames) {
118 // Verify that the StandardNames array is in alphabetical order.
119 assert(
120 llvm::is_sorted(StandardNames,
121 [](StringRef LHS, StringRef RHS) { return LHS < RHS; }) &&
122 "TargetLibraryInfoImpl function names must be sorted");
123
124 // Set IO unlocked variants as unavailable
125 // Set them as available per system below
126 TLI.setUnavailable(LibFunc_getc_unlocked);
127 TLI.setUnavailable(LibFunc_getchar_unlocked);
128 TLI.setUnavailable(LibFunc_putc_unlocked);
129 TLI.setUnavailable(LibFunc_putchar_unlocked);
130 TLI.setUnavailable(LibFunc_fputc_unlocked);
131 TLI.setUnavailable(LibFunc_fgetc_unlocked);
132 TLI.setUnavailable(LibFunc_fread_unlocked);
133 TLI.setUnavailable(LibFunc_fwrite_unlocked);
134 TLI.setUnavailable(LibFunc_fputs_unlocked);
135 TLI.setUnavailable(LibFunc_fgets_unlocked);
136
137 bool ShouldExtI32Param = false, ShouldExtI32Return = false,
138 ShouldSignExtI32Param = false;
139 // PowerPC64, Sparc64, SystemZ need signext/zeroext on i32 parameters and
140 // returns corresponding to C-level ints and unsigned ints.
141 if (T.isPPC64() || T.getArch() == Triple::sparcv9 ||
142 T.getArch() == Triple::systemz) {
143 ShouldExtI32Param = true;
144 ShouldExtI32Return = true;
145 }
146 // Mips, on the other hand, needs signext on i32 parameters corresponding
147 // to both signed and unsigned ints.
148 if (T.isMIPS()) {
149 ShouldSignExtI32Param = true;
150 }
151 TLI.setShouldExtI32Param(ShouldExtI32Param);
152 TLI.setShouldExtI32Return(ShouldExtI32Return);
153 TLI.setShouldSignExtI32Param(ShouldSignExtI32Param);
154
155 // Let's assume by default that the size of int is 32 bits, unless the target
156 // is a 16-bit architecture because then it most likely is 16 bits. If that
157 // isn't true for a target those defaults should be overridden below.
158 TLI.setIntSize(T.isArch16Bit() ? 16 : 32);
159
160 // There is really no runtime library on AMDGPU, apart from
161 // __kmpc_alloc/free_shared.
162 if (T.isAMDGPU()) {
163 TLI.disableAllFunctions();
164 TLI.setAvailable(llvm::LibFunc___kmpc_alloc_shared);
165 TLI.setAvailable(llvm::LibFunc___kmpc_free_shared);
166 return;
167 }
168
169 // memset_pattern16 is only available on iOS 3.0 and Mac OS X 10.5 and later.
170 // All versions of watchOS support it.
171 if (T.isMacOSX()) {
172 // available IO unlocked variants on Mac OS X
173 TLI.setAvailable(LibFunc_getc_unlocked);
174 TLI.setAvailable(LibFunc_getchar_unlocked);
175 TLI.setAvailable(LibFunc_putc_unlocked);
176 TLI.setAvailable(LibFunc_putchar_unlocked);
177
178 if (T.isMacOSXVersionLT(10, 5))
179 TLI.setUnavailable(LibFunc_memset_pattern16);
180 } else if (T.isiOS()) {
181 if (T.isOSVersionLT(3, 0))
182 TLI.setUnavailable(LibFunc_memset_pattern16);
183 } else if (!T.isWatchOS()) {
184 TLI.setUnavailable(LibFunc_memset_pattern16);
185 }
186
187 if (!hasSinCosPiStret(T)) {
188 TLI.setUnavailable(LibFunc_sinpi);
189 TLI.setUnavailable(LibFunc_sinpif);
190 TLI.setUnavailable(LibFunc_cospi);
191 TLI.setUnavailable(LibFunc_cospif);
192 TLI.setUnavailable(LibFunc_sincospi_stret);
193 TLI.setUnavailable(LibFunc_sincospif_stret);
194 }
195
196 if (!hasBcmp(T))
197 TLI.setUnavailable(LibFunc_bcmp);
198
199 if (T.isMacOSX() && T.getArch() == Triple::x86 &&
200 !T.isMacOSXVersionLT(10, 7)) {
201 // x86-32 OSX has a scheme where fwrite and fputs (and some other functions
202 // we don't care about) have two versions; on recent OSX, the one we want
203 // has a $UNIX2003 suffix. The two implementations are identical except
204 // for the return value in some edge cases. However, we don't want to
205 // generate code that depends on the old symbols.
206 TLI.setAvailableWithName(LibFunc_fwrite, "fwrite$UNIX2003");
207 TLI.setAvailableWithName(LibFunc_fputs, "fputs$UNIX2003");
208 }
209
210 // iprintf and friends are only available on XCore, TCE, and Emscripten.
211 if (T.getArch() != Triple::xcore && T.getArch() != Triple::tce &&
212 T.getOS() != Triple::Emscripten) {
213 TLI.setUnavailable(LibFunc_iprintf);
214 TLI.setUnavailable(LibFunc_siprintf);
215 TLI.setUnavailable(LibFunc_fiprintf);
216 }
217
218 // __small_printf and friends are only available on Emscripten.
219 if (T.getOS() != Triple::Emscripten) {
220 TLI.setUnavailable(LibFunc_small_printf);
221 TLI.setUnavailable(LibFunc_small_sprintf);
222 TLI.setUnavailable(LibFunc_small_fprintf);
223 }
224
225 if (T.isOSWindows() && !T.isOSCygMing()) {
226 // XXX: The earliest documentation available at the moment is for VS2015/VC19:
227 // https://docs.microsoft.com/en-us/cpp/c-runtime-library/floating-point-support?view=vs-2015
228 // XXX: In order to use an MSVCRT older than VC19,
229 // the specific library version must be explicit in the target triple,
230 // e.g., x86_64-pc-windows-msvc18.
231 bool hasPartialC99 = true;
232 if (T.isKnownWindowsMSVCEnvironment()) {
233 unsigned Major, Minor, Micro;
234 T.getEnvironmentVersion(Major, Minor, Micro);
235 hasPartialC99 = (Major == 0 || Major >= 19);
236 }
237
238 // Latest targets support C89 math functions, in part.
239 bool isARM = (T.getArch() == Triple::aarch64 ||
240 T.getArch() == Triple::arm);
241 bool hasPartialFloat = (isARM ||
242 T.getArch() == Triple::x86_64);
243
244 // Win32 does not support float C89 math functions, in general.
245 if (!hasPartialFloat) {
246 TLI.setUnavailable(LibFunc_acosf);
247 TLI.setUnavailable(LibFunc_asinf);
248 TLI.setUnavailable(LibFunc_atan2f);
249 TLI.setUnavailable(LibFunc_atanf);
250 TLI.setUnavailable(LibFunc_ceilf);
251 TLI.setUnavailable(LibFunc_cosf);
252 TLI.setUnavailable(LibFunc_coshf);
253 TLI.setUnavailable(LibFunc_expf);
254 TLI.setUnavailable(LibFunc_floorf);
255 TLI.setUnavailable(LibFunc_fmodf);
256 TLI.setUnavailable(LibFunc_log10f);
257 TLI.setUnavailable(LibFunc_logf);
258 TLI.setUnavailable(LibFunc_modff);
259 TLI.setUnavailable(LibFunc_powf);
260 TLI.setUnavailable(LibFunc_remainderf);
261 TLI.setUnavailable(LibFunc_sinf);
262 TLI.setUnavailable(LibFunc_sinhf);
263 TLI.setUnavailable(LibFunc_sqrtf);
264 TLI.setUnavailable(LibFunc_tanf);
265 TLI.setUnavailable(LibFunc_tanhf);
266 }
267 if (!isARM)
268 TLI.setUnavailable(LibFunc_fabsf);
269 TLI.setUnavailable(LibFunc_frexpf);
270 TLI.setUnavailable(LibFunc_ldexpf);
271
272 // Win32 does not support long double C89 math functions.
273 TLI.setUnavailable(LibFunc_acosl);
274 TLI.setUnavailable(LibFunc_asinl);
275 TLI.setUnavailable(LibFunc_atan2l);
276 TLI.setUnavailable(LibFunc_atanl);
277 TLI.setUnavailable(LibFunc_ceill);
278 TLI.setUnavailable(LibFunc_cosl);
279 TLI.setUnavailable(LibFunc_coshl);
280 TLI.setUnavailable(LibFunc_expl);
281 TLI.setUnavailable(LibFunc_fabsl);
282 TLI.setUnavailable(LibFunc_floorl);
283 TLI.setUnavailable(LibFunc_fmodl);
284 TLI.setUnavailable(LibFunc_frexpl);
285 TLI.setUnavailable(LibFunc_ldexpl);
286 TLI.setUnavailable(LibFunc_log10l);
287 TLI.setUnavailable(LibFunc_logl);
288 TLI.setUnavailable(LibFunc_modfl);
289 TLI.setUnavailable(LibFunc_powl);
290 TLI.setUnavailable(LibFunc_remainderl);
291 TLI.setUnavailable(LibFunc_sinl);
292 TLI.setUnavailable(LibFunc_sinhl);
293 TLI.setUnavailable(LibFunc_sqrtl);
294 TLI.setUnavailable(LibFunc_tanl);
295 TLI.setUnavailable(LibFunc_tanhl);
296
297 // Win32 does not fully support C99 math functions.
298 if (!hasPartialC99) {
299 TLI.setUnavailable(LibFunc_acosh);
300 TLI.setUnavailable(LibFunc_acoshf);
301 TLI.setUnavailable(LibFunc_asinh);
302 TLI.setUnavailable(LibFunc_asinhf);
303 TLI.setUnavailable(LibFunc_atanh);
304 TLI.setUnavailable(LibFunc_atanhf);
305 TLI.setAvailableWithName(LibFunc_cabs, "_cabs");
306 TLI.setUnavailable(LibFunc_cabsf);
307 TLI.setUnavailable(LibFunc_cbrt);
308 TLI.setUnavailable(LibFunc_cbrtf);
309 TLI.setAvailableWithName(LibFunc_copysign, "_copysign");
310 TLI.setAvailableWithName(LibFunc_copysignf, "_copysignf");
311 TLI.setUnavailable(LibFunc_exp2);
312 TLI.setUnavailable(LibFunc_exp2f);
313 TLI.setUnavailable(LibFunc_expm1);
314 TLI.setUnavailable(LibFunc_expm1f);
315 TLI.setUnavailable(LibFunc_fmax);
316 TLI.setUnavailable(LibFunc_fmaxf);
317 TLI.setUnavailable(LibFunc_fmin);
318 TLI.setUnavailable(LibFunc_fminf);
319 TLI.setUnavailable(LibFunc_log1p);
320 TLI.setUnavailable(LibFunc_log1pf);
321 TLI.setUnavailable(LibFunc_log2);
322 TLI.setUnavailable(LibFunc_log2f);
323 TLI.setAvailableWithName(LibFunc_logb, "_logb");
324 if (hasPartialFloat)
325 TLI.setAvailableWithName(LibFunc_logbf, "_logbf");
326 else
327 TLI.setUnavailable(LibFunc_logbf);
328 TLI.setUnavailable(LibFunc_rint);
329 TLI.setUnavailable(LibFunc_rintf);
330 TLI.setUnavailable(LibFunc_round);
331 TLI.setUnavailable(LibFunc_roundf);
332 TLI.setUnavailable(LibFunc_trunc);
333 TLI.setUnavailable(LibFunc_truncf);
334 }
335
336 // Win32 does not support long double C99 math functions.
337 TLI.setUnavailable(LibFunc_acoshl);
338 TLI.setUnavailable(LibFunc_asinhl);
339 TLI.setUnavailable(LibFunc_atanhl);
340 TLI.setUnavailable(LibFunc_cabsl);
341 TLI.setUnavailable(LibFunc_cbrtl);
342 TLI.setUnavailable(LibFunc_copysignl);
343 TLI.setUnavailable(LibFunc_exp2l);
344 TLI.setUnavailable(LibFunc_expm1l);
345 TLI.setUnavailable(LibFunc_fmaxl);
346 TLI.setUnavailable(LibFunc_fminl);
347 TLI.setUnavailable(LibFunc_log1pl);
348 TLI.setUnavailable(LibFunc_log2l);
349 TLI.setUnavailable(LibFunc_logbl);
350 TLI.setUnavailable(LibFunc_nearbyintl);
351 TLI.setUnavailable(LibFunc_rintl);
352 TLI.setUnavailable(LibFunc_roundl);
353 TLI.setUnavailable(LibFunc_truncl);
354
355 // Win32 does not support these functions, but
356 // they are generally available on POSIX-compliant systems.
357 TLI.setUnavailable(LibFunc_access);
358 TLI.setUnavailable(LibFunc_chmod);
359 TLI.setUnavailable(LibFunc_closedir);
360 TLI.setUnavailable(LibFunc_fdopen);
361 TLI.setUnavailable(LibFunc_fileno);
362 TLI.setUnavailable(LibFunc_fseeko);
363 TLI.setUnavailable(LibFunc_fstat);
364 TLI.setUnavailable(LibFunc_ftello);
365 TLI.setUnavailable(LibFunc_gettimeofday);
366 TLI.setUnavailable(LibFunc_memccpy);
367 TLI.setUnavailable(LibFunc_mkdir);
368 TLI.setUnavailable(LibFunc_open);
369 TLI.setUnavailable(LibFunc_opendir);
370 TLI.setUnavailable(LibFunc_pclose);
371 TLI.setUnavailable(LibFunc_popen);
372 TLI.setUnavailable(LibFunc_read);
373 TLI.setUnavailable(LibFunc_rmdir);
374 TLI.setUnavailable(LibFunc_stat);
375 TLI.setUnavailable(LibFunc_strcasecmp);
376 TLI.setUnavailable(LibFunc_strncasecmp);
377 TLI.setUnavailable(LibFunc_unlink);
378 TLI.setUnavailable(LibFunc_utime);
379 TLI.setUnavailable(LibFunc_write);
380 }
381
382 if (T.isOSWindows() && !T.isWindowsCygwinEnvironment()) {
383 // These functions aren't available in either MSVC or MinGW environments.
384 TLI.setUnavailable(LibFunc_bcmp);
385 TLI.setUnavailable(LibFunc_bcopy);
386 TLI.setUnavailable(LibFunc_bzero);
387 TLI.setUnavailable(LibFunc_chown);
388 TLI.setUnavailable(LibFunc_ctermid);
389 TLI.setUnavailable(LibFunc_ffs);
390 TLI.setUnavailable(LibFunc_flockfile);
391 TLI.setUnavailable(LibFunc_fstatvfs);
392 TLI.setUnavailable(LibFunc_ftrylockfile);
393 TLI.setUnavailable(LibFunc_funlockfile);
394 TLI.setUnavailable(LibFunc_getitimer);
395 TLI.setUnavailable(LibFunc_getlogin_r);
396 TLI.setUnavailable(LibFunc_getpwnam);
397 TLI.setUnavailable(LibFunc_htonl);
398 TLI.setUnavailable(LibFunc_htons);
399 TLI.setUnavailable(LibFunc_lchown);
400 TLI.setUnavailable(LibFunc_lstat);
401 TLI.setUnavailable(LibFunc_ntohl);
402 TLI.setUnavailable(LibFunc_ntohs);
403 TLI.setUnavailable(LibFunc_pread);
404 TLI.setUnavailable(LibFunc_pwrite);
405 TLI.setUnavailable(LibFunc_readlink);
406 TLI.setUnavailable(LibFunc_realpath);
407 TLI.setUnavailable(LibFunc_setitimer);
408 TLI.setUnavailable(LibFunc_statvfs);
409 TLI.setUnavailable(LibFunc_stpcpy);
410 TLI.setUnavailable(LibFunc_stpncpy);
411 TLI.setUnavailable(LibFunc_times);
412 TLI.setUnavailable(LibFunc_uname);
413 TLI.setUnavailable(LibFunc_unsetenv);
414 TLI.setUnavailable(LibFunc_utimes);
415 }
416
417 // Pick just one set of new/delete variants.
418 if (T.isOSMSVCRT()) {
419 // MSVC, doesn't have the Itanium new/delete.
420 TLI.setUnavailable(LibFunc_ZdaPv);
421 TLI.setUnavailable(LibFunc_ZdaPvRKSt9nothrow_t);
422 TLI.setUnavailable(LibFunc_ZdaPvSt11align_val_t);
423 TLI.setUnavailable(LibFunc_ZdaPvSt11align_val_tRKSt9nothrow_t);
424 TLI.setUnavailable(LibFunc_ZdaPvj);
425 TLI.setUnavailable(LibFunc_ZdaPvjSt11align_val_t);
426 TLI.setUnavailable(LibFunc_ZdaPvm);
427 TLI.setUnavailable(LibFunc_ZdaPvmSt11align_val_t);
428 TLI.setUnavailable(LibFunc_ZdlPv);
429 TLI.setUnavailable(LibFunc_ZdlPvRKSt9nothrow_t);
430 TLI.setUnavailable(LibFunc_ZdlPvSt11align_val_t);
431 TLI.setUnavailable(LibFunc_ZdlPvSt11align_val_tRKSt9nothrow_t);
432 TLI.setUnavailable(LibFunc_ZdlPvj);
433 TLI.setUnavailable(LibFunc_ZdlPvjSt11align_val_t);
434 TLI.setUnavailable(LibFunc_ZdlPvm);
435 TLI.setUnavailable(LibFunc_ZdlPvmSt11align_val_t);
436 TLI.setUnavailable(LibFunc_Znaj);
437 TLI.setUnavailable(LibFunc_ZnajRKSt9nothrow_t);
438 TLI.setUnavailable(LibFunc_ZnajSt11align_val_t);
439 TLI.setUnavailable(LibFunc_ZnajSt11align_val_tRKSt9nothrow_t);
440 TLI.setUnavailable(LibFunc_Znam);
441 TLI.setUnavailable(LibFunc_ZnamRKSt9nothrow_t);
442 TLI.setUnavailable(LibFunc_ZnamSt11align_val_t);
443 TLI.setUnavailable(LibFunc_ZnamSt11align_val_tRKSt9nothrow_t);
444 TLI.setUnavailable(LibFunc_Znwj);
445 TLI.setUnavailable(LibFunc_ZnwjRKSt9nothrow_t);
446 TLI.setUnavailable(LibFunc_ZnwjSt11align_val_t);
447 TLI.setUnavailable(LibFunc_ZnwjSt11align_val_tRKSt9nothrow_t);
448 TLI.setUnavailable(LibFunc_Znwm);
449 TLI.setUnavailable(LibFunc_ZnwmRKSt9nothrow_t);
450 TLI.setUnavailable(LibFunc_ZnwmSt11align_val_t);
451 TLI.setUnavailable(LibFunc_ZnwmSt11align_val_tRKSt9nothrow_t);
452 } else {
453 // Not MSVC, assume it's Itanium.
454 TLI.setUnavailable(LibFunc_msvc_new_int);
455 TLI.setUnavailable(LibFunc_msvc_new_int_nothrow);
456 TLI.setUnavailable(LibFunc_msvc_new_longlong);
457 TLI.setUnavailable(LibFunc_msvc_new_longlong_nothrow);
458 TLI.setUnavailable(LibFunc_msvc_delete_ptr32);
459 TLI.setUnavailable(LibFunc_msvc_delete_ptr32_nothrow);
460 TLI.setUnavailable(LibFunc_msvc_delete_ptr32_int);
461 TLI.setUnavailable(LibFunc_msvc_delete_ptr64);
462 TLI.setUnavailable(LibFunc_msvc_delete_ptr64_nothrow);
463 TLI.setUnavailable(LibFunc_msvc_delete_ptr64_longlong);
464 TLI.setUnavailable(LibFunc_msvc_new_array_int);
465 TLI.setUnavailable(LibFunc_msvc_new_array_int_nothrow);
466 TLI.setUnavailable(LibFunc_msvc_new_array_longlong);
467 TLI.setUnavailable(LibFunc_msvc_new_array_longlong_nothrow);
468 TLI.setUnavailable(LibFunc_msvc_delete_array_ptr32);
469 TLI.setUnavailable(LibFunc_msvc_delete_array_ptr32_nothrow);
470 TLI.setUnavailable(LibFunc_msvc_delete_array_ptr32_int);
471 TLI.setUnavailable(LibFunc_msvc_delete_array_ptr64);
472 TLI.setUnavailable(LibFunc_msvc_delete_array_ptr64_nothrow);
473 TLI.setUnavailable(LibFunc_msvc_delete_array_ptr64_longlong);
474 }
475
476 switch (T.getOS()) {
477 case Triple::MacOSX:
478 // exp10 and exp10f are not available on OS X until 10.9 and iOS until 7.0
479 // and their names are __exp10 and __exp10f. exp10l is not available on
480 // OS X or iOS.
481 TLI.setUnavailable(LibFunc_exp10l);
482 if (T.isMacOSXVersionLT(10, 9)) {
483 TLI.setUnavailable(LibFunc_exp10);
484 TLI.setUnavailable(LibFunc_exp10f);
485 } else {
486 TLI.setAvailableWithName(LibFunc_exp10, "__exp10");
487 TLI.setAvailableWithName(LibFunc_exp10f, "__exp10f");
488 }
489 break;
490 case Triple::IOS:
491 case Triple::TvOS:
492 case Triple::WatchOS:
493 TLI.setUnavailable(LibFunc_exp10l);
494 if (!T.isWatchOS() &&
495 (T.isOSVersionLT(7, 0) || (T.isOSVersionLT(9, 0) && T.isX86()))) {
496 TLI.setUnavailable(LibFunc_exp10);
497 TLI.setUnavailable(LibFunc_exp10f);
498 } else {
499 TLI.setAvailableWithName(LibFunc_exp10, "__exp10");
500 TLI.setAvailableWithName(LibFunc_exp10f, "__exp10f");
501 }
502 break;
503 case Triple::Linux:
504 // exp10, exp10f, exp10l is available on Linux (GLIBC) but are extremely
505 // buggy prior to glibc version 2.18. Until this version is widely deployed
506 // or we have a reasonable detection strategy, we cannot use exp10 reliably
507 // on Linux.
508 //
509 // Fall through to disable all of them.
510 LLVM_FALLTHROUGH;
511 default:
512 TLI.setUnavailable(LibFunc_exp10);
513 TLI.setUnavailable(LibFunc_exp10f);
514 TLI.setUnavailable(LibFunc_exp10l);
515 }
516
517 // ffsl is available on at least Darwin, Mac OS X, iOS, FreeBSD, and
518 // Linux (GLIBC):
519 // http://developer.apple.com/library/mac/#documentation/Darwin/Reference/ManPages/man3/ffsl.3.html
520 // http://svn.freebsd.org/base/head/lib/libc/string/ffsl.c
521 // http://www.gnu.org/software/gnulib/manual/html_node/ffsl.html
522 switch (T.getOS()) {
523 case Triple::Darwin:
524 case Triple::MacOSX:
525 case Triple::IOS:
526 case Triple::TvOS:
527 case Triple::WatchOS:
528 case Triple::FreeBSD:
529 case Triple::Linux:
530 break;
531 default:
532 TLI.setUnavailable(LibFunc_ffsl);
533 }
534
535 // ffsll is available on at least FreeBSD and Linux (GLIBC):
536 // http://svn.freebsd.org/base/head/lib/libc/string/ffsll.c
537 // http://www.gnu.org/software/gnulib/manual/html_node/ffsll.html
538 switch (T.getOS()) {
539 case Triple::Darwin:
540 case Triple::MacOSX:
541 case Triple::IOS:
542 case Triple::TvOS:
543 case Triple::WatchOS:
544 case Triple::FreeBSD:
545 case Triple::Linux:
546 break;
547 default:
548 TLI.setUnavailable(LibFunc_ffsll);
549 }
550
551 // The following functions are available on at least FreeBSD:
552 // http://svn.freebsd.org/base/head/lib/libc/string/fls.c
553 // http://svn.freebsd.org/base/head/lib/libc/string/flsl.c
554 // http://svn.freebsd.org/base/head/lib/libc/string/flsll.c
555 if (!T.isOSFreeBSD()) {
556 TLI.setUnavailable(LibFunc_fls);
557 TLI.setUnavailable(LibFunc_flsl);
558 TLI.setUnavailable(LibFunc_flsll);
559 }
560
561 // The following functions are only available on GNU/Linux (using glibc).
562 // Linux variants without glibc (eg: bionic, musl) may have some subset.
563 if (!T.isOSLinux() || !T.isGNUEnvironment()) {
564 TLI.setUnavailable(LibFunc_dunder_strdup);
565 TLI.setUnavailable(LibFunc_dunder_strtok_r);
566 TLI.setUnavailable(LibFunc_dunder_isoc99_scanf);
567 TLI.setUnavailable(LibFunc_dunder_isoc99_sscanf);
568 TLI.setUnavailable(LibFunc_under_IO_getc);
569 TLI.setUnavailable(LibFunc_under_IO_putc);
570 // But, Android and musl have memalign.
571 if (!T.isAndroid() && !T.isMusl())
572 TLI.setUnavailable(LibFunc_memalign);
573 TLI.setUnavailable(LibFunc_fopen64);
574 TLI.setUnavailable(LibFunc_fseeko64);
575 TLI.setUnavailable(LibFunc_fstat64);
576 TLI.setUnavailable(LibFunc_fstatvfs64);
577 TLI.setUnavailable(LibFunc_ftello64);
578 TLI.setUnavailable(LibFunc_lstat64);
579 TLI.setUnavailable(LibFunc_open64);
580 TLI.setUnavailable(LibFunc_stat64);
581 TLI.setUnavailable(LibFunc_statvfs64);
582 TLI.setUnavailable(LibFunc_tmpfile64);
583
584 // Relaxed math functions are included in math-finite.h on Linux (GLIBC).
585 // Note that math-finite.h is no longer supported by top-of-tree GLIBC,
586 // so we keep these functions around just so that they're recognized by
587 // the ConstantFolder.
588 TLI.setUnavailable(LibFunc_acos_finite);
589 TLI.setUnavailable(LibFunc_acosf_finite);
590 TLI.setUnavailable(LibFunc_acosl_finite);
591 TLI.setUnavailable(LibFunc_acosh_finite);
592 TLI.setUnavailable(LibFunc_acoshf_finite);
593 TLI.setUnavailable(LibFunc_acoshl_finite);
594 TLI.setUnavailable(LibFunc_asin_finite);
595 TLI.setUnavailable(LibFunc_asinf_finite);
596 TLI.setUnavailable(LibFunc_asinl_finite);
597 TLI.setUnavailable(LibFunc_atan2_finite);
598 TLI.setUnavailable(LibFunc_atan2f_finite);
599 TLI.setUnavailable(LibFunc_atan2l_finite);
600 TLI.setUnavailable(LibFunc_atanh_finite);
601 TLI.setUnavailable(LibFunc_atanhf_finite);
602 TLI.setUnavailable(LibFunc_atanhl_finite);
603 TLI.setUnavailable(LibFunc_cosh_finite);
604 TLI.setUnavailable(LibFunc_coshf_finite);
605 TLI.setUnavailable(LibFunc_coshl_finite);
606 TLI.setUnavailable(LibFunc_exp10_finite);
607 TLI.setUnavailable(LibFunc_exp10f_finite);
608 TLI.setUnavailable(LibFunc_exp10l_finite);
609 TLI.setUnavailable(LibFunc_exp2_finite);
610 TLI.setUnavailable(LibFunc_exp2f_finite);
611 TLI.setUnavailable(LibFunc_exp2l_finite);
612 TLI.setUnavailable(LibFunc_exp_finite);
613 TLI.setUnavailable(LibFunc_expf_finite);
614 TLI.setUnavailable(LibFunc_expl_finite);
615 TLI.setUnavailable(LibFunc_log10_finite);
616 TLI.setUnavailable(LibFunc_log10f_finite);
617 TLI.setUnavailable(LibFunc_log10l_finite);
618 TLI.setUnavailable(LibFunc_log2_finite);
619 TLI.setUnavailable(LibFunc_log2f_finite);
620 TLI.setUnavailable(LibFunc_log2l_finite);
621 TLI.setUnavailable(LibFunc_log_finite);
622 TLI.setUnavailable(LibFunc_logf_finite);
623 TLI.setUnavailable(LibFunc_logl_finite);
624 TLI.setUnavailable(LibFunc_pow_finite);
625 TLI.setUnavailable(LibFunc_powf_finite);
626 TLI.setUnavailable(LibFunc_powl_finite);
627 TLI.setUnavailable(LibFunc_sinh_finite);
628 TLI.setUnavailable(LibFunc_sinhf_finite);
629 TLI.setUnavailable(LibFunc_sinhl_finite);
630 TLI.setUnavailable(LibFunc_sqrt_finite);
631 TLI.setUnavailable(LibFunc_sqrtf_finite);
632 TLI.setUnavailable(LibFunc_sqrtl_finite);
633 }
634
635 if ((T.isOSLinux() && T.isGNUEnvironment()) ||
636 (T.isAndroid() && !T.isAndroidVersionLT(28))) {
637 // available IO unlocked variants on GNU/Linux and Android P or later
638 TLI.setAvailable(LibFunc_getc_unlocked);
639 TLI.setAvailable(LibFunc_getchar_unlocked);
640 TLI.setAvailable(LibFunc_putc_unlocked);
641 TLI.setAvailable(LibFunc_putchar_unlocked);
642 TLI.setAvailable(LibFunc_fputc_unlocked);
643 TLI.setAvailable(LibFunc_fgetc_unlocked);
644 TLI.setAvailable(LibFunc_fread_unlocked);
645 TLI.setAvailable(LibFunc_fwrite_unlocked);
646 TLI.setAvailable(LibFunc_fputs_unlocked);
647 TLI.setAvailable(LibFunc_fgets_unlocked);
648 }
649
650 if (T.isAndroid() && T.isAndroidVersionLT(21)) {
651 TLI.setUnavailable(LibFunc_stpcpy);
652 TLI.setUnavailable(LibFunc_stpncpy);
653 }
654
655 if (T.isPS4()) {
656 // PS4 does have memalign.
657 TLI.setAvailable(LibFunc_memalign);
658
659 // PS4 does not have new/delete with "unsigned int" size parameter;
660 // it only has the "unsigned long" versions.
661 TLI.setUnavailable(LibFunc_ZdaPvj);
662 TLI.setUnavailable(LibFunc_ZdaPvjSt11align_val_t);
663 TLI.setUnavailable(LibFunc_ZdlPvj);
664 TLI.setUnavailable(LibFunc_ZdlPvjSt11align_val_t);
665 TLI.setUnavailable(LibFunc_Znaj);
666 TLI.setUnavailable(LibFunc_ZnajRKSt9nothrow_t);
667 TLI.setUnavailable(LibFunc_ZnajSt11align_val_t);
668 TLI.setUnavailable(LibFunc_ZnajSt11align_val_tRKSt9nothrow_t);
669 TLI.setUnavailable(LibFunc_Znwj);
670 TLI.setUnavailable(LibFunc_ZnwjRKSt9nothrow_t);
671 TLI.setUnavailable(LibFunc_ZnwjSt11align_val_t);
672 TLI.setUnavailable(LibFunc_ZnwjSt11align_val_tRKSt9nothrow_t);
673
674 // None of the *_chk functions.
675 TLI.setUnavailable(LibFunc_memccpy_chk);
676 TLI.setUnavailable(LibFunc_memcpy_chk);
677 TLI.setUnavailable(LibFunc_memmove_chk);
678 TLI.setUnavailable(LibFunc_mempcpy_chk);
679 TLI.setUnavailable(LibFunc_memset_chk);
680 TLI.setUnavailable(LibFunc_snprintf_chk);
681 TLI.setUnavailable(LibFunc_sprintf_chk);
682 TLI.setUnavailable(LibFunc_stpcpy_chk);
683 TLI.setUnavailable(LibFunc_stpncpy_chk);
684 TLI.setUnavailable(LibFunc_strcat_chk);
685 TLI.setUnavailable(LibFunc_strcpy_chk);
686 TLI.setUnavailable(LibFunc_strlcat_chk);
687 TLI.setUnavailable(LibFunc_strlcat_chk);
688 TLI.setUnavailable(LibFunc_strlcpy_chk);
689 TLI.setUnavailable(LibFunc_strlen_chk);
690 TLI.setUnavailable(LibFunc_strncat_chk);
691 TLI.setUnavailable(LibFunc_strncpy_chk);
692 TLI.setUnavailable(LibFunc_vsnprintf_chk);
693 TLI.setUnavailable(LibFunc_vsprintf_chk);
694
695 // Various Posix system functions.
696 TLI.setUnavailable(LibFunc_access);
697 TLI.setUnavailable(LibFunc_chmod);
698 TLI.setUnavailable(LibFunc_chown);
699 TLI.setUnavailable(LibFunc_closedir);
700 TLI.setUnavailable(LibFunc_ctermid);
701 TLI.setUnavailable(LibFunc_execl);
702 TLI.setUnavailable(LibFunc_execle);
703 TLI.setUnavailable(LibFunc_execlp);
704 TLI.setUnavailable(LibFunc_execv);
705 TLI.setUnavailable(LibFunc_execvP);
706 TLI.setUnavailable(LibFunc_execve);
707 TLI.setUnavailable(LibFunc_execvp);
708 TLI.setUnavailable(LibFunc_execvpe);
709 TLI.setUnavailable(LibFunc_fork);
710 TLI.setUnavailable(LibFunc_fstat);
711 TLI.setUnavailable(LibFunc_fstatvfs);
712 TLI.setUnavailable(LibFunc_getenv);
713 TLI.setUnavailable(LibFunc_getitimer);
714 TLI.setUnavailable(LibFunc_getlogin_r);
715 TLI.setUnavailable(LibFunc_getpwnam);
716 TLI.setUnavailable(LibFunc_gettimeofday);
717 TLI.setUnavailable(LibFunc_lchown);
718 TLI.setUnavailable(LibFunc_lstat);
719 TLI.setUnavailable(LibFunc_mkdir);
720 TLI.setUnavailable(LibFunc_open);
721 TLI.setUnavailable(LibFunc_opendir);
722 TLI.setUnavailable(LibFunc_pclose);
723 TLI.setUnavailable(LibFunc_popen);
724 TLI.setUnavailable(LibFunc_pread);
725 TLI.setUnavailable(LibFunc_pwrite);
726 TLI.setUnavailable(LibFunc_read);
727 TLI.setUnavailable(LibFunc_readlink);
728 TLI.setUnavailable(LibFunc_realpath);
729 TLI.setUnavailable(LibFunc_rename);
730 TLI.setUnavailable(LibFunc_rmdir);
731 TLI.setUnavailable(LibFunc_setitimer);
732 TLI.setUnavailable(LibFunc_stat);
733 TLI.setUnavailable(LibFunc_statvfs);
734 TLI.setUnavailable(LibFunc_system);
735 TLI.setUnavailable(LibFunc_times);
736 TLI.setUnavailable(LibFunc_tmpfile);
737 TLI.setUnavailable(LibFunc_unlink);
738 TLI.setUnavailable(LibFunc_uname);
739 TLI.setUnavailable(LibFunc_unsetenv);
740 TLI.setUnavailable(LibFunc_utime);
741 TLI.setUnavailable(LibFunc_utimes);
742 TLI.setUnavailable(LibFunc_valloc);
743 TLI.setUnavailable(LibFunc_write);
744
745 // Miscellaneous other functions not provided.
746 TLI.setUnavailable(LibFunc_atomic_load);
747 TLI.setUnavailable(LibFunc_atomic_store);
748 TLI.setUnavailable(LibFunc___kmpc_alloc_shared);
749 TLI.setUnavailable(LibFunc___kmpc_free_shared);
750 TLI.setUnavailable(LibFunc_dunder_strndup);
751 TLI.setUnavailable(LibFunc_bcmp);
752 TLI.setUnavailable(LibFunc_bcopy);
753 TLI.setUnavailable(LibFunc_bzero);
754 TLI.setUnavailable(LibFunc_cabs);
755 TLI.setUnavailable(LibFunc_cabsf);
756 TLI.setUnavailable(LibFunc_cabsl);
757 TLI.setUnavailable(LibFunc_ffs);
758 TLI.setUnavailable(LibFunc_flockfile);
759 TLI.setUnavailable(LibFunc_fseeko);
760 TLI.setUnavailable(LibFunc_ftello);
761 TLI.setUnavailable(LibFunc_ftrylockfile);
762 TLI.setUnavailable(LibFunc_funlockfile);
763 TLI.setUnavailable(LibFunc_htonl);
764 TLI.setUnavailable(LibFunc_htons);
765 TLI.setUnavailable(LibFunc_isascii);
766 TLI.setUnavailable(LibFunc_memccpy);
767 TLI.setUnavailable(LibFunc_mempcpy);
768 TLI.setUnavailable(LibFunc_memrchr);
769 TLI.setUnavailable(LibFunc_ntohl);
770 TLI.setUnavailable(LibFunc_ntohs);
771 TLI.setUnavailable(LibFunc_reallocf);
772 TLI.setUnavailable(LibFunc_roundeven);
773 TLI.setUnavailable(LibFunc_roundevenf);
774 TLI.setUnavailable(LibFunc_roundevenl);
775 TLI.setUnavailable(LibFunc_stpcpy);
776 TLI.setUnavailable(LibFunc_stpncpy);
777 TLI.setUnavailable(LibFunc_strlcat);
778 TLI.setUnavailable(LibFunc_strlcpy);
779 TLI.setUnavailable(LibFunc_strndup);
780 TLI.setUnavailable(LibFunc_strnlen);
781 TLI.setUnavailable(LibFunc_toascii);
782 }
783
784 // As currently implemented in clang, NVPTX code has no standard library to
785 // speak of. Headers provide a standard-ish library implementation, but many
786 // of the signatures are wrong -- for example, many libm functions are not
787 // extern "C".
788 //
789 // libdevice, an IR library provided by nvidia, is linked in by the front-end,
790 // but only used functions are provided to llvm. Moreover, most of the
791 // functions in libdevice don't map precisely to standard library functions.
792 //
793 // FIXME: Having no standard library prevents e.g. many fastmath
794 // optimizations, so this situation should be fixed.
795 if (T.isNVPTX()) {
796 TLI.disableAllFunctions();
797 TLI.setAvailable(LibFunc_nvvm_reflect);
798 TLI.setAvailable(llvm::LibFunc_malloc);
799 TLI.setAvailable(llvm::LibFunc_free);
800
801 // TODO: We could enable the following two according to [0] but we haven't
802 // done an evaluation wrt. the performance implications.
803 // [0]
804 // https://docs.nvidia.com/cuda/cuda-c-programming-guide/index.html#dynamic-global-memory-allocation-and-operations
805 //
806 // TLI.setAvailable(llvm::LibFunc_memcpy);
807 // TLI.setAvailable(llvm::LibFunc_memset);
808
809 TLI.setAvailable(llvm::LibFunc___kmpc_alloc_shared);
810 TLI.setAvailable(llvm::LibFunc___kmpc_free_shared);
811 } else {
812 TLI.setUnavailable(LibFunc_nvvm_reflect);
813 }
814
815 // These vec_malloc/free routines are only available on AIX.
816 if (!T.isOSAIX()) {
817 TLI.setUnavailable(LibFunc_vec_calloc);
818 TLI.setUnavailable(LibFunc_vec_malloc);
819 TLI.setUnavailable(LibFunc_vec_realloc);
820 TLI.setUnavailable(LibFunc_vec_free);
821 }
822
823 TLI.addVectorizableFunctionsFromVecLib(ClVectorLibrary);
824 }
825
TargetLibraryInfoImpl()826 TargetLibraryInfoImpl::TargetLibraryInfoImpl() {
827 // Default to everything being available.
828 memset(AvailableArray, -1, sizeof(AvailableArray));
829
830 initialize(*this, Triple(), StandardNames);
831 }
832
TargetLibraryInfoImpl(const Triple & T)833 TargetLibraryInfoImpl::TargetLibraryInfoImpl(const Triple &T) {
834 // Default to everything being available.
835 memset(AvailableArray, -1, sizeof(AvailableArray));
836
837 initialize(*this, T, StandardNames);
838 }
839
TargetLibraryInfoImpl(const TargetLibraryInfoImpl & TLI)840 TargetLibraryInfoImpl::TargetLibraryInfoImpl(const TargetLibraryInfoImpl &TLI)
841 : CustomNames(TLI.CustomNames), ShouldExtI32Param(TLI.ShouldExtI32Param),
842 ShouldExtI32Return(TLI.ShouldExtI32Return),
843 ShouldSignExtI32Param(TLI.ShouldSignExtI32Param),
844 SizeOfInt(TLI.SizeOfInt) {
845 memcpy(AvailableArray, TLI.AvailableArray, sizeof(AvailableArray));
846 VectorDescs = TLI.VectorDescs;
847 ScalarDescs = TLI.ScalarDescs;
848 }
849
TargetLibraryInfoImpl(TargetLibraryInfoImpl && TLI)850 TargetLibraryInfoImpl::TargetLibraryInfoImpl(TargetLibraryInfoImpl &&TLI)
851 : CustomNames(std::move(TLI.CustomNames)),
852 ShouldExtI32Param(TLI.ShouldExtI32Param),
853 ShouldExtI32Return(TLI.ShouldExtI32Return),
854 ShouldSignExtI32Param(TLI.ShouldSignExtI32Param),
855 SizeOfInt(TLI.SizeOfInt) {
856 std::move(std::begin(TLI.AvailableArray), std::end(TLI.AvailableArray),
857 AvailableArray);
858 VectorDescs = TLI.VectorDescs;
859 ScalarDescs = TLI.ScalarDescs;
860 }
861
operator =(const TargetLibraryInfoImpl & TLI)862 TargetLibraryInfoImpl &TargetLibraryInfoImpl::operator=(const TargetLibraryInfoImpl &TLI) {
863 CustomNames = TLI.CustomNames;
864 ShouldExtI32Param = TLI.ShouldExtI32Param;
865 ShouldExtI32Return = TLI.ShouldExtI32Return;
866 ShouldSignExtI32Param = TLI.ShouldSignExtI32Param;
867 SizeOfInt = TLI.SizeOfInt;
868 memcpy(AvailableArray, TLI.AvailableArray, sizeof(AvailableArray));
869 return *this;
870 }
871
operator =(TargetLibraryInfoImpl && TLI)872 TargetLibraryInfoImpl &TargetLibraryInfoImpl::operator=(TargetLibraryInfoImpl &&TLI) {
873 CustomNames = std::move(TLI.CustomNames);
874 ShouldExtI32Param = TLI.ShouldExtI32Param;
875 ShouldExtI32Return = TLI.ShouldExtI32Return;
876 ShouldSignExtI32Param = TLI.ShouldSignExtI32Param;
877 SizeOfInt = TLI.SizeOfInt;
878 std::move(std::begin(TLI.AvailableArray), std::end(TLI.AvailableArray),
879 AvailableArray);
880 return *this;
881 }
882
sanitizeFunctionName(StringRef funcName)883 static StringRef sanitizeFunctionName(StringRef funcName) {
884 // Filter out empty names and names containing null bytes, those can't be in
885 // our table.
886 if (funcName.empty() || funcName.find('\0') != StringRef::npos)
887 return StringRef();
888
889 // Check for \01 prefix that is used to mangle __asm declarations and
890 // strip it if present.
891 return GlobalValue::dropLLVMManglingEscape(funcName);
892 }
893
getLibFunc(StringRef funcName,LibFunc & F) const894 bool TargetLibraryInfoImpl::getLibFunc(StringRef funcName, LibFunc &F) const {
895 funcName = sanitizeFunctionName(funcName);
896 if (funcName.empty())
897 return false;
898
899 const auto *Start = std::begin(StandardNames);
900 const auto *End = std::end(StandardNames);
901 const auto *I = std::lower_bound(Start, End, funcName);
902 if (I != End && *I == funcName) {
903 F = (LibFunc)(I - Start);
904 return true;
905 }
906 return false;
907 }
908
isValidProtoForLibFunc(const FunctionType & FTy,LibFunc F,const Module & M) const909 bool TargetLibraryInfoImpl::isValidProtoForLibFunc(const FunctionType &FTy,
910 LibFunc F,
911 const Module &M) const {
912 // FIXME: There is really no guarantee that sizeof(size_t) is equal to
913 // sizeof(int*) for every target. So the assumption used here to derive the
914 // SizeTBits based on the size of an integer pointer in address space zero
915 // isn't always valid.
916 unsigned SizeTBits = M.getDataLayout().getPointerSizeInBits(/*AddrSpace=*/0);
917 unsigned NumParams = FTy.getNumParams();
918
919 switch (F) {
920 case LibFunc_execl:
921 case LibFunc_execlp:
922 case LibFunc_execle:
923 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
924 FTy.getParamType(1)->isPointerTy() &&
925 FTy.getReturnType()->isIntegerTy(32));
926 case LibFunc_execv:
927 case LibFunc_execvp:
928 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
929 FTy.getParamType(1)->isPointerTy() &&
930 FTy.getReturnType()->isIntegerTy(32));
931 case LibFunc_execvP:
932 case LibFunc_execvpe:
933 case LibFunc_execve:
934 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy() &&
935 FTy.getParamType(1)->isPointerTy() &&
936 FTy.getParamType(2)->isPointerTy() &&
937 FTy.getReturnType()->isIntegerTy(32));
938 case LibFunc_strlen_chk:
939 --NumParams;
940 if (!FTy.getParamType(NumParams)->isIntegerTy(SizeTBits))
941 return false;
942 LLVM_FALLTHROUGH;
943 case LibFunc_strlen:
944 return NumParams == 1 && FTy.getParamType(0)->isPointerTy() &&
945 FTy.getReturnType()->isIntegerTy(SizeTBits);
946
947 case LibFunc_strchr:
948 case LibFunc_strrchr:
949 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
950 FTy.getParamType(0) == FTy.getReturnType() &&
951 FTy.getParamType(1)->isIntegerTy());
952
953 case LibFunc_strtol:
954 case LibFunc_strtod:
955 case LibFunc_strtof:
956 case LibFunc_strtoul:
957 case LibFunc_strtoll:
958 case LibFunc_strtold:
959 case LibFunc_strtoull:
960 return ((NumParams == 2 || NumParams == 3) &&
961 FTy.getParamType(0)->isPointerTy() &&
962 FTy.getParamType(1)->isPointerTy());
963 case LibFunc_strcat_chk:
964 --NumParams;
965 if (!FTy.getParamType(NumParams)->isIntegerTy(SizeTBits))
966 return false;
967 LLVM_FALLTHROUGH;
968 case LibFunc_strcat:
969 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
970 FTy.getParamType(0) == FTy.getReturnType() &&
971 FTy.getParamType(1) == FTy.getReturnType());
972
973 case LibFunc_strncat_chk:
974 --NumParams;
975 if (!FTy.getParamType(NumParams)->isIntegerTy(SizeTBits))
976 return false;
977 LLVM_FALLTHROUGH;
978 case LibFunc_strncat:
979 return (NumParams == 3 && FTy.getReturnType()->isPointerTy() &&
980 FTy.getParamType(0) == FTy.getReturnType() &&
981 FTy.getParamType(1) == FTy.getReturnType() &&
982 FTy.getParamType(2)->isIntegerTy(SizeTBits));
983
984 case LibFunc_strcpy_chk:
985 case LibFunc_stpcpy_chk:
986 --NumParams;
987 if (!FTy.getParamType(NumParams)->isIntegerTy(SizeTBits))
988 return false;
989 LLVM_FALLTHROUGH;
990 case LibFunc_strcpy:
991 case LibFunc_stpcpy:
992 return (NumParams == 2 && FTy.getReturnType() == FTy.getParamType(0) &&
993 FTy.getParamType(0) == FTy.getParamType(1) &&
994 FTy.getParamType(0)->isPointerTy());
995
996 case LibFunc_strlcat_chk:
997 case LibFunc_strlcpy_chk:
998 --NumParams;
999 if (!FTy.getParamType(NumParams)->isIntegerTy(SizeTBits))
1000 return false;
1001 LLVM_FALLTHROUGH;
1002 case LibFunc_strlcat:
1003 case LibFunc_strlcpy:
1004 return NumParams == 3 && FTy.getReturnType()->isIntegerTy(SizeTBits) &&
1005 FTy.getParamType(0)->isPointerTy() &&
1006 FTy.getParamType(1)->isPointerTy() &&
1007 FTy.getParamType(2)->isIntegerTy(SizeTBits);
1008
1009 case LibFunc_strncpy_chk:
1010 case LibFunc_stpncpy_chk:
1011 --NumParams;
1012 if (!FTy.getParamType(NumParams)->isIntegerTy(SizeTBits))
1013 return false;
1014 LLVM_FALLTHROUGH;
1015 case LibFunc_strncpy:
1016 case LibFunc_stpncpy:
1017 return (NumParams == 3 && FTy.getReturnType() == FTy.getParamType(0) &&
1018 FTy.getParamType(0) == FTy.getParamType(1) &&
1019 FTy.getParamType(0)->isPointerTy() &&
1020 FTy.getParamType(2)->isIntegerTy(SizeTBits));
1021
1022 case LibFunc_strxfrm:
1023 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy() &&
1024 FTy.getParamType(1)->isPointerTy());
1025
1026 case LibFunc_strcmp:
1027 return (NumParams == 2 && FTy.getReturnType()->isIntegerTy(32) &&
1028 FTy.getParamType(0)->isPointerTy() &&
1029 FTy.getParamType(0) == FTy.getParamType(1));
1030
1031 case LibFunc_strncmp:
1032 return (NumParams == 3 && FTy.getReturnType()->isIntegerTy(32) &&
1033 FTy.getParamType(0)->isPointerTy() &&
1034 FTy.getParamType(0) == FTy.getParamType(1) &&
1035 FTy.getParamType(2)->isIntegerTy(SizeTBits));
1036
1037 case LibFunc_strspn:
1038 case LibFunc_strcspn:
1039 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
1040 FTy.getParamType(0) == FTy.getParamType(1) &&
1041 FTy.getReturnType()->isIntegerTy());
1042
1043 case LibFunc_strcoll:
1044 case LibFunc_strcasecmp:
1045 case LibFunc_strncasecmp:
1046 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
1047 FTy.getParamType(1)->isPointerTy());
1048
1049 case LibFunc_strstr:
1050 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
1051 FTy.getParamType(0)->isPointerTy() &&
1052 FTy.getParamType(1)->isPointerTy());
1053
1054 case LibFunc_strpbrk:
1055 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
1056 FTy.getReturnType() == FTy.getParamType(0) &&
1057 FTy.getParamType(0) == FTy.getParamType(1));
1058
1059 case LibFunc_strtok:
1060 case LibFunc_strtok_r:
1061 return (NumParams >= 2 && FTy.getParamType(1)->isPointerTy());
1062 case LibFunc_scanf:
1063 case LibFunc_setbuf:
1064 case LibFunc_setvbuf:
1065 return (NumParams >= 1 && FTy.getParamType(0)->isPointerTy());
1066 case LibFunc_strdup:
1067 case LibFunc_strndup:
1068 return (NumParams >= 1 && FTy.getReturnType()->isPointerTy() &&
1069 FTy.getParamType(0)->isPointerTy());
1070 case LibFunc_sscanf:
1071 case LibFunc_stat:
1072 case LibFunc_statvfs:
1073 case LibFunc_siprintf:
1074 case LibFunc_small_sprintf:
1075 case LibFunc_sprintf:
1076 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
1077 FTy.getParamType(1)->isPointerTy() &&
1078 FTy.getReturnType()->isIntegerTy(32));
1079
1080 case LibFunc_sprintf_chk:
1081 return NumParams == 4 && FTy.getParamType(0)->isPointerTy() &&
1082 FTy.getParamType(1)->isIntegerTy(32) &&
1083 FTy.getParamType(2)->isIntegerTy(SizeTBits) &&
1084 FTy.getParamType(3)->isPointerTy() &&
1085 FTy.getReturnType()->isIntegerTy(32);
1086
1087 case LibFunc_snprintf:
1088 return NumParams == 3 && FTy.getParamType(0)->isPointerTy() &&
1089 FTy.getParamType(1)->isIntegerTy(SizeTBits) &&
1090 FTy.getParamType(2)->isPointerTy() &&
1091 FTy.getReturnType()->isIntegerTy(32);
1092
1093 case LibFunc_snprintf_chk:
1094 return NumParams == 5 && FTy.getParamType(0)->isPointerTy() &&
1095 FTy.getParamType(1)->isIntegerTy(SizeTBits) &&
1096 FTy.getParamType(2)->isIntegerTy(32) &&
1097 FTy.getParamType(3)->isIntegerTy(SizeTBits) &&
1098 FTy.getParamType(4)->isPointerTy() &&
1099 FTy.getReturnType()->isIntegerTy(32);
1100
1101 case LibFunc_setitimer:
1102 return (NumParams == 3 && FTy.getParamType(1)->isPointerTy() &&
1103 FTy.getParamType(2)->isPointerTy());
1104 case LibFunc_system:
1105 return (NumParams == 1 && FTy.getParamType(0)->isPointerTy());
1106 case LibFunc___kmpc_alloc_shared:
1107 case LibFunc_malloc:
1108 case LibFunc_vec_malloc:
1109 return (NumParams == 1 && FTy.getReturnType()->isPointerTy());
1110 case LibFunc_memcmp:
1111 return NumParams == 3 && FTy.getReturnType()->isIntegerTy(32) &&
1112 FTy.getParamType(0)->isPointerTy() &&
1113 FTy.getParamType(1)->isPointerTy() &&
1114 FTy.getParamType(2)->isIntegerTy(SizeTBits);
1115
1116 case LibFunc_memchr:
1117 case LibFunc_memrchr:
1118 return (NumParams == 3 && FTy.getReturnType()->isPointerTy() &&
1119 FTy.getReturnType() == FTy.getParamType(0) &&
1120 FTy.getParamType(1)->isIntegerTy(32) &&
1121 FTy.getParamType(2)->isIntegerTy(SizeTBits));
1122 case LibFunc_modf:
1123 case LibFunc_modff:
1124 case LibFunc_modfl:
1125 return (NumParams >= 2 && FTy.getParamType(1)->isPointerTy());
1126
1127 case LibFunc_memcpy_chk:
1128 case LibFunc_mempcpy_chk:
1129 case LibFunc_memmove_chk:
1130 --NumParams;
1131 if (!FTy.getParamType(NumParams)->isIntegerTy(SizeTBits))
1132 return false;
1133 LLVM_FALLTHROUGH;
1134 case LibFunc_memcpy:
1135 case LibFunc_mempcpy:
1136 case LibFunc_memmove:
1137 return (NumParams == 3 && FTy.getReturnType() == FTy.getParamType(0) &&
1138 FTy.getParamType(0)->isPointerTy() &&
1139 FTy.getParamType(1)->isPointerTy() &&
1140 FTy.getParamType(2)->isIntegerTy(SizeTBits));
1141
1142 case LibFunc_memset_chk:
1143 --NumParams;
1144 if (!FTy.getParamType(NumParams)->isIntegerTy(SizeTBits))
1145 return false;
1146 LLVM_FALLTHROUGH;
1147 case LibFunc_memset:
1148 return (NumParams == 3 && FTy.getReturnType() == FTy.getParamType(0) &&
1149 FTy.getParamType(0)->isPointerTy() &&
1150 FTy.getParamType(1)->isIntegerTy() &&
1151 FTy.getParamType(2)->isIntegerTy(SizeTBits));
1152
1153 case LibFunc_memccpy_chk:
1154 --NumParams;
1155 if (!FTy.getParamType(NumParams)->isIntegerTy(SizeTBits))
1156 return false;
1157 LLVM_FALLTHROUGH;
1158 case LibFunc_memccpy:
1159 return (NumParams >= 2 && FTy.getParamType(1)->isPointerTy());
1160 case LibFunc_memalign:
1161 return (FTy.getReturnType()->isPointerTy());
1162 case LibFunc_realloc:
1163 case LibFunc_reallocf:
1164 case LibFunc_vec_realloc:
1165 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
1166 FTy.getParamType(0) == FTy.getReturnType() &&
1167 FTy.getParamType(1)->isIntegerTy(SizeTBits));
1168 case LibFunc_read:
1169 return (NumParams == 3 && FTy.getParamType(1)->isPointerTy());
1170 case LibFunc_rewind:
1171 case LibFunc_rmdir:
1172 case LibFunc_remove:
1173 case LibFunc_realpath:
1174 return (NumParams >= 1 && FTy.getParamType(0)->isPointerTy());
1175 case LibFunc_rename:
1176 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
1177 FTy.getParamType(1)->isPointerTy());
1178 case LibFunc_readlink:
1179 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
1180 FTy.getParamType(1)->isPointerTy());
1181 case LibFunc_write:
1182 return (NumParams == 3 && FTy.getParamType(1)->isPointerTy());
1183 case LibFunc_aligned_alloc:
1184 return (NumParams == 2 && FTy.getReturnType()->isPointerTy());
1185 case LibFunc_bcopy:
1186 case LibFunc_bcmp:
1187 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy() &&
1188 FTy.getParamType(1)->isPointerTy());
1189 case LibFunc_bzero:
1190 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy());
1191 case LibFunc_calloc:
1192 case LibFunc_vec_calloc:
1193 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
1194 FTy.getParamType(0) == FTy.getParamType(1));
1195
1196 case LibFunc_atof:
1197 case LibFunc_atoi:
1198 case LibFunc_atol:
1199 case LibFunc_atoll:
1200 case LibFunc_ferror:
1201 case LibFunc_getenv:
1202 case LibFunc_getpwnam:
1203 case LibFunc_iprintf:
1204 case LibFunc_small_printf:
1205 case LibFunc_pclose:
1206 case LibFunc_perror:
1207 case LibFunc_printf:
1208 case LibFunc_puts:
1209 case LibFunc_uname:
1210 case LibFunc_under_IO_getc:
1211 case LibFunc_unlink:
1212 case LibFunc_unsetenv:
1213 return (NumParams == 1 && FTy.getParamType(0)->isPointerTy());
1214
1215 case LibFunc_access:
1216 case LibFunc_chmod:
1217 case LibFunc_chown:
1218 case LibFunc_clearerr:
1219 case LibFunc_closedir:
1220 case LibFunc_ctermid:
1221 case LibFunc_fclose:
1222 case LibFunc_feof:
1223 case LibFunc_fflush:
1224 case LibFunc_fgetc:
1225 case LibFunc_fgetc_unlocked:
1226 case LibFunc_fileno:
1227 case LibFunc_flockfile:
1228 case LibFunc_free:
1229 case LibFunc_fseek:
1230 case LibFunc_fseeko64:
1231 case LibFunc_fseeko:
1232 case LibFunc_fsetpos:
1233 case LibFunc_ftell:
1234 case LibFunc_ftello64:
1235 case LibFunc_ftello:
1236 case LibFunc_ftrylockfile:
1237 case LibFunc_funlockfile:
1238 case LibFunc_getc:
1239 case LibFunc_getc_unlocked:
1240 case LibFunc_getlogin_r:
1241 case LibFunc_mkdir:
1242 case LibFunc_mktime:
1243 case LibFunc_times:
1244 case LibFunc_vec_free:
1245 return (NumParams != 0 && FTy.getParamType(0)->isPointerTy());
1246 case LibFunc___kmpc_free_shared:
1247 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
1248 FTy.getParamType(1)->isIntegerTy(SizeTBits));
1249
1250 case LibFunc_fopen:
1251 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
1252 FTy.getParamType(0)->isPointerTy() &&
1253 FTy.getParamType(1)->isPointerTy());
1254 case LibFunc_fork:
1255 return (NumParams == 0 && FTy.getReturnType()->isIntegerTy(32));
1256 case LibFunc_fdopen:
1257 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
1258 FTy.getParamType(1)->isPointerTy());
1259 case LibFunc_fputc:
1260 case LibFunc_fputc_unlocked:
1261 case LibFunc_fstat:
1262 case LibFunc_frexp:
1263 case LibFunc_frexpf:
1264 case LibFunc_frexpl:
1265 case LibFunc_fstatvfs:
1266 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
1267 case LibFunc_fgets:
1268 case LibFunc_fgets_unlocked:
1269 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy() &&
1270 FTy.getParamType(2)->isPointerTy());
1271 case LibFunc_fread:
1272 case LibFunc_fread_unlocked:
1273 return (NumParams == 4 && FTy.getParamType(0)->isPointerTy() &&
1274 FTy.getParamType(3)->isPointerTy());
1275 case LibFunc_fwrite:
1276 case LibFunc_fwrite_unlocked:
1277 return (NumParams == 4 && FTy.getReturnType()->isIntegerTy() &&
1278 FTy.getParamType(0)->isPointerTy() &&
1279 FTy.getParamType(1)->isIntegerTy() &&
1280 FTy.getParamType(2)->isIntegerTy() &&
1281 FTy.getParamType(3)->isPointerTy());
1282 case LibFunc_fputs:
1283 case LibFunc_fputs_unlocked:
1284 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
1285 FTy.getParamType(1)->isPointerTy());
1286 case LibFunc_fscanf:
1287 case LibFunc_fiprintf:
1288 case LibFunc_small_fprintf:
1289 case LibFunc_fprintf:
1290 return (NumParams >= 2 && FTy.getReturnType()->isIntegerTy() &&
1291 FTy.getParamType(0)->isPointerTy() &&
1292 FTy.getParamType(1)->isPointerTy());
1293 case LibFunc_fgetpos:
1294 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
1295 FTy.getParamType(1)->isPointerTy());
1296 case LibFunc_getchar:
1297 case LibFunc_getchar_unlocked:
1298 return (NumParams == 0 && FTy.getReturnType()->isIntegerTy());
1299 case LibFunc_gets:
1300 return (NumParams == 1 && FTy.getParamType(0)->isPointerTy());
1301 case LibFunc_getitimer:
1302 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
1303 case LibFunc_ungetc:
1304 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
1305 case LibFunc_utime:
1306 case LibFunc_utimes:
1307 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
1308 FTy.getParamType(1)->isPointerTy());
1309 case LibFunc_putc:
1310 case LibFunc_putc_unlocked:
1311 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
1312 case LibFunc_pread:
1313 case LibFunc_pwrite:
1314 return (NumParams == 4 && FTy.getParamType(1)->isPointerTy());
1315 case LibFunc_popen:
1316 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
1317 FTy.getParamType(0)->isPointerTy() &&
1318 FTy.getParamType(1)->isPointerTy());
1319 case LibFunc_vscanf:
1320 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
1321 case LibFunc_vsscanf:
1322 return (NumParams == 3 && FTy.getParamType(1)->isPointerTy() &&
1323 FTy.getParamType(2)->isPointerTy());
1324 case LibFunc_vfscanf:
1325 return (NumParams == 3 && FTy.getParamType(1)->isPointerTy() &&
1326 FTy.getParamType(2)->isPointerTy());
1327 case LibFunc_valloc:
1328 return (FTy.getReturnType()->isPointerTy());
1329 case LibFunc_vprintf:
1330 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy());
1331 case LibFunc_vfprintf:
1332 case LibFunc_vsprintf:
1333 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy() &&
1334 FTy.getParamType(1)->isPointerTy());
1335 case LibFunc_vsprintf_chk:
1336 return NumParams == 5 && FTy.getParamType(0)->isPointerTy() &&
1337 FTy.getParamType(1)->isIntegerTy(32) &&
1338 FTy.getParamType(2)->isIntegerTy(SizeTBits) && FTy.getParamType(3)->isPointerTy();
1339 case LibFunc_vsnprintf:
1340 return (NumParams == 4 && FTy.getParamType(0)->isPointerTy() &&
1341 FTy.getParamType(2)->isPointerTy());
1342 case LibFunc_vsnprintf_chk:
1343 return NumParams == 6 && FTy.getParamType(0)->isPointerTy() &&
1344 FTy.getParamType(2)->isIntegerTy(32) &&
1345 FTy.getParamType(3)->isIntegerTy(SizeTBits) && FTy.getParamType(4)->isPointerTy();
1346 case LibFunc_open:
1347 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy());
1348 case LibFunc_opendir:
1349 return (NumParams == 1 && FTy.getReturnType()->isPointerTy() &&
1350 FTy.getParamType(0)->isPointerTy());
1351 case LibFunc_tmpfile:
1352 return (FTy.getReturnType()->isPointerTy());
1353 case LibFunc_htonl:
1354 case LibFunc_ntohl:
1355 return (NumParams == 1 && FTy.getReturnType()->isIntegerTy(32) &&
1356 FTy.getReturnType() == FTy.getParamType(0));
1357 case LibFunc_htons:
1358 case LibFunc_ntohs:
1359 return (NumParams == 1 && FTy.getReturnType()->isIntegerTy(16) &&
1360 FTy.getReturnType() == FTy.getParamType(0));
1361 case LibFunc_lstat:
1362 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
1363 FTy.getParamType(1)->isPointerTy());
1364 case LibFunc_lchown:
1365 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy());
1366 case LibFunc_qsort:
1367 return (NumParams == 4 && FTy.getParamType(3)->isPointerTy());
1368 case LibFunc_dunder_strdup:
1369 case LibFunc_dunder_strndup:
1370 return (NumParams >= 1 && FTy.getReturnType()->isPointerTy() &&
1371 FTy.getParamType(0)->isPointerTy());
1372 case LibFunc_dunder_strtok_r:
1373 return (NumParams == 3 && FTy.getParamType(1)->isPointerTy());
1374 case LibFunc_under_IO_putc:
1375 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
1376 case LibFunc_dunder_isoc99_scanf:
1377 return (NumParams >= 1 && FTy.getParamType(0)->isPointerTy());
1378 case LibFunc_stat64:
1379 case LibFunc_lstat64:
1380 case LibFunc_statvfs64:
1381 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
1382 FTy.getParamType(1)->isPointerTy());
1383 case LibFunc_dunder_isoc99_sscanf:
1384 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
1385 FTy.getParamType(1)->isPointerTy());
1386 case LibFunc_fopen64:
1387 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
1388 FTy.getParamType(0)->isPointerTy() &&
1389 FTy.getParamType(1)->isPointerTy());
1390 case LibFunc_tmpfile64:
1391 return (FTy.getReturnType()->isPointerTy());
1392 case LibFunc_fstat64:
1393 case LibFunc_fstatvfs64:
1394 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
1395 case LibFunc_open64:
1396 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy());
1397 case LibFunc_gettimeofday:
1398 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
1399 FTy.getParamType(1)->isPointerTy());
1400
1401 // new(unsigned int);
1402 case LibFunc_Znwj:
1403 // new(unsigned long);
1404 case LibFunc_Znwm:
1405 // new[](unsigned int);
1406 case LibFunc_Znaj:
1407 // new[](unsigned long);
1408 case LibFunc_Znam:
1409 // new(unsigned int);
1410 case LibFunc_msvc_new_int:
1411 // new(unsigned long long);
1412 case LibFunc_msvc_new_longlong:
1413 // new[](unsigned int);
1414 case LibFunc_msvc_new_array_int:
1415 // new[](unsigned long long);
1416 case LibFunc_msvc_new_array_longlong:
1417 return (NumParams == 1 && FTy.getReturnType()->isPointerTy());
1418
1419 // new(unsigned int, nothrow);
1420 case LibFunc_ZnwjRKSt9nothrow_t:
1421 // new(unsigned long, nothrow);
1422 case LibFunc_ZnwmRKSt9nothrow_t:
1423 // new[](unsigned int, nothrow);
1424 case LibFunc_ZnajRKSt9nothrow_t:
1425 // new[](unsigned long, nothrow);
1426 case LibFunc_ZnamRKSt9nothrow_t:
1427 // new(unsigned int, nothrow);
1428 case LibFunc_msvc_new_int_nothrow:
1429 // new(unsigned long long, nothrow);
1430 case LibFunc_msvc_new_longlong_nothrow:
1431 // new[](unsigned int, nothrow);
1432 case LibFunc_msvc_new_array_int_nothrow:
1433 // new[](unsigned long long, nothrow);
1434 case LibFunc_msvc_new_array_longlong_nothrow:
1435 // new(unsigned int, align_val_t)
1436 case LibFunc_ZnwjSt11align_val_t:
1437 // new(unsigned long, align_val_t)
1438 case LibFunc_ZnwmSt11align_val_t:
1439 // new[](unsigned int, align_val_t)
1440 case LibFunc_ZnajSt11align_val_t:
1441 // new[](unsigned long, align_val_t)
1442 case LibFunc_ZnamSt11align_val_t:
1443 return (NumParams == 2 && FTy.getReturnType()->isPointerTy());
1444
1445 // new(unsigned int, align_val_t, nothrow)
1446 case LibFunc_ZnwjSt11align_val_tRKSt9nothrow_t:
1447 // new(unsigned long, align_val_t, nothrow)
1448 case LibFunc_ZnwmSt11align_val_tRKSt9nothrow_t:
1449 // new[](unsigned int, align_val_t, nothrow)
1450 case LibFunc_ZnajSt11align_val_tRKSt9nothrow_t:
1451 // new[](unsigned long, align_val_t, nothrow)
1452 case LibFunc_ZnamSt11align_val_tRKSt9nothrow_t:
1453 return (NumParams == 3 && FTy.getReturnType()->isPointerTy());
1454
1455 // void operator delete[](void*);
1456 case LibFunc_ZdaPv:
1457 // void operator delete(void*);
1458 case LibFunc_ZdlPv:
1459 // void operator delete[](void*);
1460 case LibFunc_msvc_delete_array_ptr32:
1461 // void operator delete[](void*);
1462 case LibFunc_msvc_delete_array_ptr64:
1463 // void operator delete(void*);
1464 case LibFunc_msvc_delete_ptr32:
1465 // void operator delete(void*);
1466 case LibFunc_msvc_delete_ptr64:
1467 return (NumParams == 1 && FTy.getParamType(0)->isPointerTy());
1468
1469 // void operator delete[](void*, nothrow);
1470 case LibFunc_ZdaPvRKSt9nothrow_t:
1471 // void operator delete[](void*, unsigned int);
1472 case LibFunc_ZdaPvj:
1473 // void operator delete[](void*, unsigned long);
1474 case LibFunc_ZdaPvm:
1475 // void operator delete(void*, nothrow);
1476 case LibFunc_ZdlPvRKSt9nothrow_t:
1477 // void operator delete(void*, unsigned int);
1478 case LibFunc_ZdlPvj:
1479 // void operator delete(void*, unsigned long);
1480 case LibFunc_ZdlPvm:
1481 // void operator delete(void*, align_val_t)
1482 case LibFunc_ZdlPvSt11align_val_t:
1483 // void operator delete[](void*, align_val_t)
1484 case LibFunc_ZdaPvSt11align_val_t:
1485 // void operator delete[](void*, unsigned int);
1486 case LibFunc_msvc_delete_array_ptr32_int:
1487 // void operator delete[](void*, nothrow);
1488 case LibFunc_msvc_delete_array_ptr32_nothrow:
1489 // void operator delete[](void*, unsigned long long);
1490 case LibFunc_msvc_delete_array_ptr64_longlong:
1491 // void operator delete[](void*, nothrow);
1492 case LibFunc_msvc_delete_array_ptr64_nothrow:
1493 // void operator delete(void*, unsigned int);
1494 case LibFunc_msvc_delete_ptr32_int:
1495 // void operator delete(void*, nothrow);
1496 case LibFunc_msvc_delete_ptr32_nothrow:
1497 // void operator delete(void*, unsigned long long);
1498 case LibFunc_msvc_delete_ptr64_longlong:
1499 // void operator delete(void*, nothrow);
1500 case LibFunc_msvc_delete_ptr64_nothrow:
1501 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy());
1502
1503 // void operator delete(void*, align_val_t, nothrow)
1504 case LibFunc_ZdlPvSt11align_val_tRKSt9nothrow_t:
1505 // void operator delete[](void*, align_val_t, nothrow)
1506 case LibFunc_ZdaPvSt11align_val_tRKSt9nothrow_t:
1507 // void operator delete(void*, unsigned int, align_val_t)
1508 case LibFunc_ZdlPvjSt11align_val_t:
1509 // void operator delete(void*, unsigned long, align_val_t)
1510 case LibFunc_ZdlPvmSt11align_val_t:
1511 // void operator delete[](void*, unsigned int, align_val_t);
1512 case LibFunc_ZdaPvjSt11align_val_t:
1513 // void operator delete[](void*, unsigned long, align_val_t);
1514 case LibFunc_ZdaPvmSt11align_val_t:
1515 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy());
1516
1517 // void __atomic_load(size_t, void *, void *, int)
1518 case LibFunc_atomic_load:
1519 // void __atomic_store(size_t, void *, void *, int)
1520 case LibFunc_atomic_store:
1521 return (NumParams == 4 && FTy.getParamType(0)->isIntegerTy() &&
1522 FTy.getParamType(1)->isPointerTy() &&
1523 FTy.getParamType(2)->isPointerTy() &&
1524 FTy.getParamType(3)->isIntegerTy());
1525
1526 case LibFunc_memset_pattern16:
1527 return (!FTy.isVarArg() && NumParams == 3 &&
1528 FTy.getParamType(0)->isPointerTy() &&
1529 FTy.getParamType(1)->isPointerTy() &&
1530 FTy.getParamType(2)->isIntegerTy());
1531
1532 case LibFunc_cxa_guard_abort:
1533 case LibFunc_cxa_guard_acquire:
1534 case LibFunc_cxa_guard_release:
1535 case LibFunc_nvvm_reflect:
1536 return (NumParams == 1 && FTy.getParamType(0)->isPointerTy());
1537
1538 case LibFunc_sincospi_stret:
1539 case LibFunc_sincospif_stret:
1540 return (NumParams == 1 && FTy.getParamType(0)->isFloatingPointTy());
1541
1542 case LibFunc_acos:
1543 case LibFunc_acos_finite:
1544 case LibFunc_acosf:
1545 case LibFunc_acosf_finite:
1546 case LibFunc_acosh:
1547 case LibFunc_acosh_finite:
1548 case LibFunc_acoshf:
1549 case LibFunc_acoshf_finite:
1550 case LibFunc_acoshl:
1551 case LibFunc_acoshl_finite:
1552 case LibFunc_acosl:
1553 case LibFunc_acosl_finite:
1554 case LibFunc_asin:
1555 case LibFunc_asin_finite:
1556 case LibFunc_asinf:
1557 case LibFunc_asinf_finite:
1558 case LibFunc_asinh:
1559 case LibFunc_asinhf:
1560 case LibFunc_asinhl:
1561 case LibFunc_asinl:
1562 case LibFunc_asinl_finite:
1563 case LibFunc_atan:
1564 case LibFunc_atanf:
1565 case LibFunc_atanh:
1566 case LibFunc_atanh_finite:
1567 case LibFunc_atanhf:
1568 case LibFunc_atanhf_finite:
1569 case LibFunc_atanhl:
1570 case LibFunc_atanhl_finite:
1571 case LibFunc_atanl:
1572 case LibFunc_cbrt:
1573 case LibFunc_cbrtf:
1574 case LibFunc_cbrtl:
1575 case LibFunc_ceil:
1576 case LibFunc_ceilf:
1577 case LibFunc_ceill:
1578 case LibFunc_cos:
1579 case LibFunc_cosf:
1580 case LibFunc_cosh:
1581 case LibFunc_cosh_finite:
1582 case LibFunc_coshf:
1583 case LibFunc_coshf_finite:
1584 case LibFunc_coshl:
1585 case LibFunc_coshl_finite:
1586 case LibFunc_cosl:
1587 case LibFunc_exp10:
1588 case LibFunc_exp10_finite:
1589 case LibFunc_exp10f:
1590 case LibFunc_exp10f_finite:
1591 case LibFunc_exp10l:
1592 case LibFunc_exp10l_finite:
1593 case LibFunc_exp2:
1594 case LibFunc_exp2_finite:
1595 case LibFunc_exp2f:
1596 case LibFunc_exp2f_finite:
1597 case LibFunc_exp2l:
1598 case LibFunc_exp2l_finite:
1599 case LibFunc_exp:
1600 case LibFunc_exp_finite:
1601 case LibFunc_expf:
1602 case LibFunc_expf_finite:
1603 case LibFunc_expl:
1604 case LibFunc_expl_finite:
1605 case LibFunc_expm1:
1606 case LibFunc_expm1f:
1607 case LibFunc_expm1l:
1608 case LibFunc_fabs:
1609 case LibFunc_fabsf:
1610 case LibFunc_fabsl:
1611 case LibFunc_floor:
1612 case LibFunc_floorf:
1613 case LibFunc_floorl:
1614 case LibFunc_log10:
1615 case LibFunc_log10_finite:
1616 case LibFunc_log10f:
1617 case LibFunc_log10f_finite:
1618 case LibFunc_log10l:
1619 case LibFunc_log10l_finite:
1620 case LibFunc_log1p:
1621 case LibFunc_log1pf:
1622 case LibFunc_log1pl:
1623 case LibFunc_log2:
1624 case LibFunc_log2_finite:
1625 case LibFunc_log2f:
1626 case LibFunc_log2f_finite:
1627 case LibFunc_log2l:
1628 case LibFunc_log2l_finite:
1629 case LibFunc_log:
1630 case LibFunc_log_finite:
1631 case LibFunc_logb:
1632 case LibFunc_logbf:
1633 case LibFunc_logbl:
1634 case LibFunc_logf:
1635 case LibFunc_logf_finite:
1636 case LibFunc_logl:
1637 case LibFunc_logl_finite:
1638 case LibFunc_nearbyint:
1639 case LibFunc_nearbyintf:
1640 case LibFunc_nearbyintl:
1641 case LibFunc_rint:
1642 case LibFunc_rintf:
1643 case LibFunc_rintl:
1644 case LibFunc_round:
1645 case LibFunc_roundf:
1646 case LibFunc_roundl:
1647 case LibFunc_roundeven:
1648 case LibFunc_roundevenf:
1649 case LibFunc_roundevenl:
1650 case LibFunc_sin:
1651 case LibFunc_sinf:
1652 case LibFunc_sinh:
1653 case LibFunc_sinh_finite:
1654 case LibFunc_sinhf:
1655 case LibFunc_sinhf_finite:
1656 case LibFunc_sinhl:
1657 case LibFunc_sinhl_finite:
1658 case LibFunc_sinl:
1659 case LibFunc_sqrt:
1660 case LibFunc_sqrt_finite:
1661 case LibFunc_sqrtf:
1662 case LibFunc_sqrtf_finite:
1663 case LibFunc_sqrtl:
1664 case LibFunc_sqrtl_finite:
1665 case LibFunc_tan:
1666 case LibFunc_tanf:
1667 case LibFunc_tanh:
1668 case LibFunc_tanhf:
1669 case LibFunc_tanhl:
1670 case LibFunc_tanl:
1671 case LibFunc_trunc:
1672 case LibFunc_truncf:
1673 case LibFunc_truncl:
1674 return (NumParams == 1 && FTy.getReturnType()->isFloatingPointTy() &&
1675 FTy.getReturnType() == FTy.getParamType(0));
1676
1677 case LibFunc_atan2:
1678 case LibFunc_atan2_finite:
1679 case LibFunc_atan2f:
1680 case LibFunc_atan2f_finite:
1681 case LibFunc_atan2l:
1682 case LibFunc_atan2l_finite:
1683 case LibFunc_fmin:
1684 case LibFunc_fminf:
1685 case LibFunc_fminl:
1686 case LibFunc_fmax:
1687 case LibFunc_fmaxf:
1688 case LibFunc_fmaxl:
1689 case LibFunc_fmod:
1690 case LibFunc_fmodf:
1691 case LibFunc_fmodl:
1692 case LibFunc_remainder:
1693 case LibFunc_remainderf:
1694 case LibFunc_remainderl:
1695 case LibFunc_copysign:
1696 case LibFunc_copysignf:
1697 case LibFunc_copysignl:
1698 case LibFunc_pow:
1699 case LibFunc_pow_finite:
1700 case LibFunc_powf:
1701 case LibFunc_powf_finite:
1702 case LibFunc_powl:
1703 case LibFunc_powl_finite:
1704 return (NumParams == 2 && FTy.getReturnType()->isFloatingPointTy() &&
1705 FTy.getReturnType() == FTy.getParamType(0) &&
1706 FTy.getReturnType() == FTy.getParamType(1));
1707
1708 case LibFunc_ldexp:
1709 case LibFunc_ldexpf:
1710 case LibFunc_ldexpl:
1711 return (NumParams == 2 && FTy.getReturnType()->isFloatingPointTy() &&
1712 FTy.getReturnType() == FTy.getParamType(0) &&
1713 FTy.getParamType(1)->isIntegerTy(getIntSize()));
1714
1715 case LibFunc_ffs:
1716 case LibFunc_ffsl:
1717 case LibFunc_ffsll:
1718 case LibFunc_fls:
1719 case LibFunc_flsl:
1720 case LibFunc_flsll:
1721 return (NumParams == 1 && FTy.getReturnType()->isIntegerTy(32) &&
1722 FTy.getParamType(0)->isIntegerTy());
1723
1724 case LibFunc_isdigit:
1725 case LibFunc_isascii:
1726 case LibFunc_toascii:
1727 case LibFunc_putchar:
1728 case LibFunc_putchar_unlocked:
1729 return (NumParams == 1 && FTy.getReturnType()->isIntegerTy(32) &&
1730 FTy.getReturnType() == FTy.getParamType(0));
1731
1732 case LibFunc_abs:
1733 case LibFunc_labs:
1734 case LibFunc_llabs:
1735 return (NumParams == 1 && FTy.getReturnType()->isIntegerTy() &&
1736 FTy.getReturnType() == FTy.getParamType(0));
1737
1738 case LibFunc_cxa_atexit:
1739 return (NumParams == 3 && FTy.getReturnType()->isIntegerTy() &&
1740 FTy.getParamType(0)->isPointerTy() &&
1741 FTy.getParamType(1)->isPointerTy() &&
1742 FTy.getParamType(2)->isPointerTy());
1743
1744 case LibFunc_sinpi:
1745 case LibFunc_cospi:
1746 return (NumParams == 1 && FTy.getReturnType()->isDoubleTy() &&
1747 FTy.getReturnType() == FTy.getParamType(0));
1748
1749 case LibFunc_sinpif:
1750 case LibFunc_cospif:
1751 return (NumParams == 1 && FTy.getReturnType()->isFloatTy() &&
1752 FTy.getReturnType() == FTy.getParamType(0));
1753
1754 case LibFunc_strnlen:
1755 return (NumParams == 2 && FTy.getReturnType() == FTy.getParamType(1) &&
1756 FTy.getParamType(0)->isPointerTy() &&
1757 FTy.getParamType(1)->isIntegerTy(SizeTBits));
1758
1759 case LibFunc_posix_memalign:
1760 return (NumParams == 3 && FTy.getReturnType()->isIntegerTy(32) &&
1761 FTy.getParamType(0)->isPointerTy() &&
1762 FTy.getParamType(1)->isIntegerTy(SizeTBits) &&
1763 FTy.getParamType(2)->isIntegerTy(SizeTBits));
1764
1765 case LibFunc_wcslen:
1766 return (NumParams == 1 && FTy.getParamType(0)->isPointerTy() &&
1767 FTy.getReturnType()->isIntegerTy());
1768
1769 case LibFunc_cabs:
1770 case LibFunc_cabsf:
1771 case LibFunc_cabsl: {
1772 Type* RetTy = FTy.getReturnType();
1773 if (!RetTy->isFloatingPointTy())
1774 return false;
1775
1776 // NOTE: These prototypes are target specific and currently support
1777 // "complex" passed as an array or discrete real & imaginary parameters.
1778 // Add other calling conventions to enable libcall optimizations.
1779 if (NumParams == 1)
1780 return (FTy.getParamType(0)->isArrayTy() &&
1781 FTy.getParamType(0)->getArrayNumElements() == 2 &&
1782 FTy.getParamType(0)->getArrayElementType() == RetTy);
1783 else if (NumParams == 2)
1784 return (FTy.getParamType(0) == RetTy && FTy.getParamType(1) == RetTy);
1785 else
1786 return false;
1787 }
1788 case LibFunc::NumLibFuncs:
1789 case LibFunc::NotLibFunc:
1790 break;
1791 }
1792
1793 llvm_unreachable("Invalid libfunc");
1794 }
1795
getLibFunc(const Function & FDecl,LibFunc & F) const1796 bool TargetLibraryInfoImpl::getLibFunc(const Function &FDecl,
1797 LibFunc &F) const {
1798 // Intrinsics don't overlap w/libcalls; if our module has a large number of
1799 // intrinsics, this ends up being an interesting compile time win since we
1800 // avoid string normalization and comparison.
1801 if (FDecl.isIntrinsic()) return false;
1802
1803 const Module *M = FDecl.getParent();
1804 assert(M && "Expecting FDecl to be connected to a Module.");
1805
1806 return getLibFunc(FDecl.getName(), F) &&
1807 isValidProtoForLibFunc(*FDecl.getFunctionType(), F, *M);
1808 }
1809
disableAllFunctions()1810 void TargetLibraryInfoImpl::disableAllFunctions() {
1811 memset(AvailableArray, 0, sizeof(AvailableArray));
1812 }
1813
compareByScalarFnName(const VecDesc & LHS,const VecDesc & RHS)1814 static bool compareByScalarFnName(const VecDesc &LHS, const VecDesc &RHS) {
1815 return LHS.ScalarFnName < RHS.ScalarFnName;
1816 }
1817
compareByVectorFnName(const VecDesc & LHS,const VecDesc & RHS)1818 static bool compareByVectorFnName(const VecDesc &LHS, const VecDesc &RHS) {
1819 return LHS.VectorFnName < RHS.VectorFnName;
1820 }
1821
compareWithScalarFnName(const VecDesc & LHS,StringRef S)1822 static bool compareWithScalarFnName(const VecDesc &LHS, StringRef S) {
1823 return LHS.ScalarFnName < S;
1824 }
1825
addVectorizableFunctions(ArrayRef<VecDesc> Fns)1826 void TargetLibraryInfoImpl::addVectorizableFunctions(ArrayRef<VecDesc> Fns) {
1827 llvm::append_range(VectorDescs, Fns);
1828 llvm::sort(VectorDescs, compareByScalarFnName);
1829
1830 llvm::append_range(ScalarDescs, Fns);
1831 llvm::sort(ScalarDescs, compareByVectorFnName);
1832 }
1833
addVectorizableFunctionsFromVecLib(enum VectorLibrary VecLib)1834 void TargetLibraryInfoImpl::addVectorizableFunctionsFromVecLib(
1835 enum VectorLibrary VecLib) {
1836 switch (VecLib) {
1837 case Accelerate: {
1838 const VecDesc VecFuncs[] = {
1839 #define TLI_DEFINE_ACCELERATE_VECFUNCS
1840 #include "llvm/Analysis/VecFuncs.def"
1841 };
1842 addVectorizableFunctions(VecFuncs);
1843 break;
1844 }
1845 case DarwinLibSystemM: {
1846 const VecDesc VecFuncs[] = {
1847 #define TLI_DEFINE_DARWIN_LIBSYSTEM_M_VECFUNCS
1848 #include "llvm/Analysis/VecFuncs.def"
1849 };
1850 addVectorizableFunctions(VecFuncs);
1851 break;
1852 }
1853 case LIBMVEC_X86: {
1854 const VecDesc VecFuncs[] = {
1855 #define TLI_DEFINE_LIBMVEC_X86_VECFUNCS
1856 #include "llvm/Analysis/VecFuncs.def"
1857 };
1858 addVectorizableFunctions(VecFuncs);
1859 break;
1860 }
1861 case MASSV: {
1862 const VecDesc VecFuncs[] = {
1863 #define TLI_DEFINE_MASSV_VECFUNCS
1864 #include "llvm/Analysis/VecFuncs.def"
1865 };
1866 addVectorizableFunctions(VecFuncs);
1867 break;
1868 }
1869 case SVML: {
1870 const VecDesc VecFuncs[] = {
1871 #define TLI_DEFINE_SVML_VECFUNCS
1872 #include "llvm/Analysis/VecFuncs.def"
1873 };
1874 addVectorizableFunctions(VecFuncs);
1875 break;
1876 }
1877 case NoLibrary:
1878 break;
1879 }
1880 }
1881
isFunctionVectorizable(StringRef funcName) const1882 bool TargetLibraryInfoImpl::isFunctionVectorizable(StringRef funcName) const {
1883 funcName = sanitizeFunctionName(funcName);
1884 if (funcName.empty())
1885 return false;
1886
1887 std::vector<VecDesc>::const_iterator I =
1888 llvm::lower_bound(VectorDescs, funcName, compareWithScalarFnName);
1889 return I != VectorDescs.end() && StringRef(I->ScalarFnName) == funcName;
1890 }
1891
1892 StringRef
getVectorizedFunction(StringRef F,const ElementCount & VF) const1893 TargetLibraryInfoImpl::getVectorizedFunction(StringRef F,
1894 const ElementCount &VF) const {
1895 F = sanitizeFunctionName(F);
1896 if (F.empty())
1897 return F;
1898 std::vector<VecDesc>::const_iterator I =
1899 llvm::lower_bound(VectorDescs, F, compareWithScalarFnName);
1900 while (I != VectorDescs.end() && StringRef(I->ScalarFnName) == F) {
1901 if (I->VectorizationFactor == VF)
1902 return I->VectorFnName;
1903 ++I;
1904 }
1905 return StringRef();
1906 }
1907
run(const Function & F,FunctionAnalysisManager &)1908 TargetLibraryInfo TargetLibraryAnalysis::run(const Function &F,
1909 FunctionAnalysisManager &) {
1910 if (!BaselineInfoImpl)
1911 BaselineInfoImpl =
1912 TargetLibraryInfoImpl(Triple(F.getParent()->getTargetTriple()));
1913 return TargetLibraryInfo(*BaselineInfoImpl, &F);
1914 }
1915
getWCharSize(const Module & M) const1916 unsigned TargetLibraryInfoImpl::getWCharSize(const Module &M) const {
1917 if (auto *ShortWChar = cast_or_null<ConstantAsMetadata>(
1918 M.getModuleFlag("wchar_size")))
1919 return cast<ConstantInt>(ShortWChar->getValue())->getZExtValue();
1920 return 0;
1921 }
1922
TargetLibraryInfoWrapperPass()1923 TargetLibraryInfoWrapperPass::TargetLibraryInfoWrapperPass()
1924 : ImmutablePass(ID), TLA(TargetLibraryInfoImpl()) {
1925 initializeTargetLibraryInfoWrapperPassPass(*PassRegistry::getPassRegistry());
1926 }
1927
TargetLibraryInfoWrapperPass(const Triple & T)1928 TargetLibraryInfoWrapperPass::TargetLibraryInfoWrapperPass(const Triple &T)
1929 : ImmutablePass(ID), TLA(TargetLibraryInfoImpl(T)) {
1930 initializeTargetLibraryInfoWrapperPassPass(*PassRegistry::getPassRegistry());
1931 }
1932
TargetLibraryInfoWrapperPass(const TargetLibraryInfoImpl & TLIImpl)1933 TargetLibraryInfoWrapperPass::TargetLibraryInfoWrapperPass(
1934 const TargetLibraryInfoImpl &TLIImpl)
1935 : ImmutablePass(ID), TLA(TLIImpl) {
1936 initializeTargetLibraryInfoWrapperPassPass(*PassRegistry::getPassRegistry());
1937 }
1938
1939 AnalysisKey TargetLibraryAnalysis::Key;
1940
1941 // Register the basic pass.
1942 INITIALIZE_PASS(TargetLibraryInfoWrapperPass, "targetlibinfo",
1943 "Target Library Information", false, true)
1944 char TargetLibraryInfoWrapperPass::ID = 0;
1945
anchor()1946 void TargetLibraryInfoWrapperPass::anchor() {}
1947
getWidestVF(StringRef ScalarF,ElementCount & FixedVF,ElementCount & ScalableVF) const1948 void TargetLibraryInfoImpl::getWidestVF(StringRef ScalarF,
1949 ElementCount &FixedVF,
1950 ElementCount &ScalableVF) const {
1951 ScalarF = sanitizeFunctionName(ScalarF);
1952 // Use '0' here because a type of the form <vscale x 1 x ElTy> is not the
1953 // same as a scalar.
1954 ScalableVF = ElementCount::getScalable(0);
1955 FixedVF = ElementCount::getFixed(1);
1956 if (ScalarF.empty())
1957 return;
1958
1959 std::vector<VecDesc>::const_iterator I =
1960 llvm::lower_bound(VectorDescs, ScalarF, compareWithScalarFnName);
1961 while (I != VectorDescs.end() && StringRef(I->ScalarFnName) == ScalarF) {
1962 ElementCount *VF =
1963 I->VectorizationFactor.isScalable() ? &ScalableVF : &FixedVF;
1964 if (ElementCount::isKnownGT(I->VectorizationFactor, *VF))
1965 *VF = I->VectorizationFactor;
1966 ++I;
1967 }
1968 }
1969