LLVM 22.0.0git
TargetLibraryInfo.cpp
Go to the documentation of this file.
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
14#include "llvm/ADT/DenseMap.h"
16#include "llvm/IR/Constants.h"
17#include "llvm/IR/Module.h"
21using namespace llvm;
22
24 "vector-library", cl::Hidden, cl::desc("Vector functions library"),
27 "No vector functions library"),
29 "Accelerate framework"),
31 "Darwin_libsystem_m", "Darwin libsystem_m"),
33 "GLIBC Vector Math library"),
35 "IBM MASS vector library"),
37 "Intel SVML library"),
39 "SIMD Library for Evaluating Elementary Functions"),
41 "Arm Performance Libraries"),
43 "AMD vector math library")));
44
45StringLiteral const TargetLibraryInfoImpl::StandardNames[LibFunc::NumLibFuncs] =
46 {
47#define TLI_DEFINE_STRING
48#include "llvm/Analysis/TargetLibraryInfo.def"
49};
50
52 assert(!VectorFnName.empty() && "Vector function name must not be empty.");
53 SmallString<256> Buffer;
54 llvm::raw_svector_ostream Out(Buffer);
55 Out << VABIPrefix << "_" << ScalarFnName << "(" << VectorFnName << ")";
56 return std::string(Out.str());
57}
58
59// Recognized types of library function arguments and return types.
60enum FuncArgTypeID : char {
61 Void = 0, // Must be zero.
62 Bool, // 8 bits on all targets
66 IntPlus, // Int or bigger.
67 Long, // Either 32 or 64 bits.
68 IntX, // Any integer type.
70 LLong, // 64 bits on all targets.
71 SizeT, // size_t.
72 SSizeT, // POSIX ssize_t.
73 Flt, // IEEE float.
74 Dbl, // IEEE double.
75 LDbl, // Any floating type (TODO: tighten this up).
76 Floating, // Any floating type.
77 Ptr, // Any pointer type.
78 Struct, // Any struct type.
79 Ellip, // The ellipsis (...).
80 Same, // Same argument type as the previous one.
81};
82
83typedef std::array<FuncArgTypeID, 8> FuncProtoTy;
84
85static const FuncProtoTy Signatures[] = {
86#define TLI_DEFINE_SIG
87#include "llvm/Analysis/TargetLibraryInfo.def"
88};
89
90static_assert(sizeof Signatures / sizeof *Signatures == LibFunc::NumLibFuncs,
91 "Missing library function signatures");
92
93static bool hasSinCosPiStret(const Triple &T) {
94 // Only Darwin variants have _stret versions of combined trig functions.
95 if (!T.isOSDarwin())
96 return false;
97
98 // The ABI is rather complicated on x86, so don't do anything special there.
99 if (T.getArch() == Triple::x86)
100 return false;
101
102 if (T.isMacOSX() && T.isMacOSXVersionLT(10, 9))
103 return false;
104
105 if (T.isiOS() && T.isOSVersionLT(7, 0))
106 return false;
107
108 return true;
109}
110
111static bool hasBcmp(const Triple &TT) {
112 // Posix removed support from bcmp() in 2001, but the glibc and several
113 // implementations of the libc still have it.
114 if (TT.isOSLinux())
115 return TT.isGNUEnvironment() || TT.isMusl();
116 // Both NetBSD and OpenBSD are planning to remove the function. Windows does
117 // not have it.
118 return TT.isOSFreeBSD() || TT.isOSSolaris();
119}
120
122 FunctionType *FuncTy) {
123 switch (CC) {
124 default:
125 return false;
127 return true;
131
132 // The iOS ABI diverges from the standard in some cases, so for now don't
133 // try to simplify those calls.
134 if (TT.isiOS())
135 return false;
136
137 if (!FuncTy->getReturnType()->isPointerTy() &&
138 !FuncTy->getReturnType()->isIntegerTy() &&
139 !FuncTy->getReturnType()->isVoidTy())
140 return false;
141
142 for (auto *Param : FuncTy->params()) {
143 if (!Param->isPointerTy() && !Param->isIntegerTy())
144 return false;
145 }
146 return true;
147 }
148 }
149 return false;
150}
151
153 return ::isCallingConvCCompatible(CI->getCallingConv(),
154 CI->getModule()->getTargetTriple(),
155 CI->getFunctionType());
156}
157
159 return ::isCallingConvCCompatible(F->getCallingConv(),
160 F->getParent()->getTargetTriple(),
161 F->getFunctionType());
162}
163
164static void initializeBase(TargetLibraryInfoImpl &TLI, const Triple &T) {
165 bool ShouldExtI32Param, ShouldExtI32Return;
166 bool ShouldSignExtI32Param, ShouldSignExtI32Return;
168 ShouldExtI32Param, ShouldExtI32Return, ShouldSignExtI32Param,
169 ShouldSignExtI32Return, T);
170 TLI.setShouldExtI32Param(ShouldExtI32Param);
171 TLI.setShouldExtI32Return(ShouldExtI32Return);
172 TLI.setShouldSignExtI32Param(ShouldSignExtI32Param);
173 TLI.setShouldSignExtI32Return(ShouldSignExtI32Return);
174
175 // Let's assume by default that the size of int is 32 bits, unless the target
176 // is a 16-bit architecture because then it most likely is 16 bits. If that
177 // isn't true for a target those defaults should be overridden below.
178 TLI.setIntSize(T.isArch16Bit() ? 16 : 32);
179}
180
181/// Initialize the set of available library functions based on the specified
182/// target triple. This should be carefully written so that a missing target
183/// triple gets a sane set of defaults.
185 ArrayRef<StringLiteral> StandardNames) {
186 // Set IO unlocked variants as unavailable
187 // Set them as available per system below
188 TLI.setUnavailable(LibFunc_getc_unlocked);
189 TLI.setUnavailable(LibFunc_getchar_unlocked);
190 TLI.setUnavailable(LibFunc_putc_unlocked);
191 TLI.setUnavailable(LibFunc_putchar_unlocked);
192 TLI.setUnavailable(LibFunc_fputc_unlocked);
193 TLI.setUnavailable(LibFunc_fgetc_unlocked);
194 TLI.setUnavailable(LibFunc_fread_unlocked);
195 TLI.setUnavailable(LibFunc_fwrite_unlocked);
196 TLI.setUnavailable(LibFunc_fputs_unlocked);
197 TLI.setUnavailable(LibFunc_fgets_unlocked);
198
199 // There is really no runtime library on AMDGPU, apart from
200 // __kmpc_alloc/free_shared.
201 if (T.isAMDGPU()) {
203 TLI.setAvailable(llvm::LibFunc___kmpc_alloc_shared);
204 TLI.setAvailable(llvm::LibFunc___kmpc_free_shared);
205 return;
206 }
207
208 // DXIL does not support libcalls, and disabling them here prevents a number
209 // of passes from introducing libcalls into DXIL which would otherwise
210 // complicate lowering/legalization
211 if (T.isDXIL()) {
213 return;
214 }
215
216 // memset_pattern{4,8,16} is only available on iOS 3.0 and Mac OS X 10.5 and
217 // later. All versions of watchOS support it.
218 if (T.isMacOSX()) {
219 // available IO unlocked variants on Mac OS X
220 TLI.setAvailable(LibFunc_getc_unlocked);
221 TLI.setAvailable(LibFunc_getchar_unlocked);
222 TLI.setAvailable(LibFunc_putc_unlocked);
223 TLI.setAvailable(LibFunc_putchar_unlocked);
224 TLI.setUnavailable(LibFunc_memrchr);
225
226 if (T.isMacOSXVersionLT(10, 5)) {
227 TLI.setUnavailable(LibFunc_memset_pattern4);
228 TLI.setUnavailable(LibFunc_memset_pattern8);
229 TLI.setUnavailable(LibFunc_memset_pattern16);
230 }
231 } else if (T.isiOS()) {
232 if (T.isOSVersionLT(3, 0)) {
233 TLI.setUnavailable(LibFunc_memset_pattern4);
234 TLI.setUnavailable(LibFunc_memset_pattern8);
235 TLI.setUnavailable(LibFunc_memset_pattern16);
236 }
237 } else if (!T.isWatchOS()) {
238 TLI.setUnavailable(LibFunc_memset_pattern4);
239 TLI.setUnavailable(LibFunc_memset_pattern8);
240 TLI.setUnavailable(LibFunc_memset_pattern16);
241 }
242
243 if (!hasSinCosPiStret(T)) {
244 TLI.setUnavailable(LibFunc_sinpi);
245 TLI.setUnavailable(LibFunc_sinpif);
246 TLI.setUnavailable(LibFunc_cospi);
247 TLI.setUnavailable(LibFunc_cospif);
248 TLI.setUnavailable(LibFunc_sincospi_stret);
249 TLI.setUnavailable(LibFunc_sincospif_stret);
250 }
251
252 if (!hasBcmp(T))
253 TLI.setUnavailable(LibFunc_bcmp);
254
255 if (T.isMacOSX() && T.getArch() == Triple::x86 &&
256 !T.isMacOSXVersionLT(10, 7)) {
257 // x86-32 OSX has a scheme where fwrite and fputs (and some other functions
258 // we don't care about) have two versions; on recent OSX, the one we want
259 // has a $UNIX2003 suffix. The two implementations are identical except
260 // for the return value in some edge cases. However, we don't want to
261 // generate code that depends on the old symbols.
262 TLI.setAvailableWithName(LibFunc_fwrite, "fwrite$UNIX2003");
263 TLI.setAvailableWithName(LibFunc_fputs, "fputs$UNIX2003");
264 }
265
266 // iprintf and friends are only available on XCore, TCE, and Emscripten.
267 if (T.getArch() != Triple::xcore && T.getArch() != Triple::tce &&
268 T.getOS() != Triple::Emscripten) {
269 TLI.setUnavailable(LibFunc_iprintf);
270 TLI.setUnavailable(LibFunc_siprintf);
271 TLI.setUnavailable(LibFunc_fiprintf);
272 }
273
274 // __small_printf and friends are only available on Emscripten.
275 if (T.getOS() != Triple::Emscripten) {
276 TLI.setUnavailable(LibFunc_small_printf);
277 TLI.setUnavailable(LibFunc_small_sprintf);
278 TLI.setUnavailable(LibFunc_small_fprintf);
279 }
280
281 if (T.isOSWindows() && !T.isOSCygMing()) {
282 // XXX: The earliest documentation available at the moment is for VS2015/VC19:
283 // https://docs.microsoft.com/en-us/cpp/c-runtime-library/floating-point-support?view=vs-2015
284 // XXX: In order to use an MSVCRT older than VC19,
285 // the specific library version must be explicit in the target triple,
286 // e.g., x86_64-pc-windows-msvc18.
287 bool hasPartialC99 = true;
288 if (T.isKnownWindowsMSVCEnvironment()) {
289 VersionTuple Version = T.getEnvironmentVersion();
290 hasPartialC99 = (Version.getMajor() == 0 || Version.getMajor() >= 19);
291 }
292
293 // Latest targets support C89 math functions, in part.
294 bool isARM = (T.getArch() == Triple::aarch64 ||
295 T.getArch() == Triple::arm);
296 bool hasPartialFloat = (isARM ||
297 T.getArch() == Triple::x86_64);
298
299 // Win32 does not support float C89 math functions, in general.
300 if (!hasPartialFloat) {
301 TLI.setUnavailable(LibFunc_acosf);
302 TLI.setUnavailable(LibFunc_asinf);
303 TLI.setUnavailable(LibFunc_atan2f);
304 TLI.setUnavailable(LibFunc_atanf);
305 TLI.setUnavailable(LibFunc_ceilf);
306 TLI.setUnavailable(LibFunc_cosf);
307 TLI.setUnavailable(LibFunc_coshf);
308 TLI.setUnavailable(LibFunc_expf);
309 TLI.setUnavailable(LibFunc_floorf);
310 TLI.setUnavailable(LibFunc_fmodf);
311 TLI.setUnavailable(LibFunc_hypotf);
312 TLI.setUnavailable(LibFunc_log10f);
313 TLI.setUnavailable(LibFunc_logf);
314 TLI.setUnavailable(LibFunc_modff);
315 TLI.setUnavailable(LibFunc_powf);
316 TLI.setUnavailable(LibFunc_remainderf);
317 TLI.setUnavailable(LibFunc_remquof);
318 TLI.setUnavailable(LibFunc_fdimf);
319 TLI.setUnavailable(LibFunc_sinf);
320 TLI.setUnavailable(LibFunc_sinhf);
321 TLI.setUnavailable(LibFunc_sqrtf);
322 TLI.setUnavailable(LibFunc_tanf);
323 TLI.setUnavailable(LibFunc_tanhf);
324 }
325 if (!isARM)
326 TLI.setUnavailable(LibFunc_fabsf);
327 TLI.setUnavailable(LibFunc_frexpf);
328 TLI.setUnavailable(LibFunc_ldexpf);
329
330 // Win32 does not support long double C89 math functions.
331 TLI.setUnavailable(LibFunc_acosl);
332 TLI.setUnavailable(LibFunc_asinl);
333 TLI.setUnavailable(LibFunc_atan2l);
334 TLI.setUnavailable(LibFunc_atanl);
335 TLI.setUnavailable(LibFunc_ceill);
336 TLI.setUnavailable(LibFunc_cosl);
337 TLI.setUnavailable(LibFunc_coshl);
338 TLI.setUnavailable(LibFunc_expl);
339 TLI.setUnavailable(LibFunc_fabsl);
340 TLI.setUnavailable(LibFunc_floorl);
341 TLI.setUnavailable(LibFunc_fmodl);
342 TLI.setUnavailable(LibFunc_frexpl);
343 TLI.setUnavailable(LibFunc_hypotl);
344 TLI.setUnavailable(LibFunc_ldexpl);
345 TLI.setUnavailable(LibFunc_log10l);
346 TLI.setUnavailable(LibFunc_logl);
347 TLI.setUnavailable(LibFunc_modfl);
348 TLI.setUnavailable(LibFunc_powl);
349 TLI.setUnavailable(LibFunc_remainderl);
350 TLI.setUnavailable(LibFunc_remquol);
351 TLI.setUnavailable(LibFunc_fdiml);
352 TLI.setUnavailable(LibFunc_sinl);
353 TLI.setUnavailable(LibFunc_sinhl);
354 TLI.setUnavailable(LibFunc_sqrtl);
355 TLI.setUnavailable(LibFunc_tanl);
356 TLI.setUnavailable(LibFunc_tanhl);
357
358 // Win32 does not fully support C99 math functions.
359 if (!hasPartialC99) {
360 TLI.setUnavailable(LibFunc_acosh);
361 TLI.setUnavailable(LibFunc_acoshf);
362 TLI.setUnavailable(LibFunc_asinh);
363 TLI.setUnavailable(LibFunc_asinhf);
364 TLI.setUnavailable(LibFunc_atanh);
365 TLI.setUnavailable(LibFunc_atanhf);
366 TLI.setAvailableWithName(LibFunc_cabs, "_cabs");
367 TLI.setUnavailable(LibFunc_cabsf);
368 TLI.setUnavailable(LibFunc_cbrt);
369 TLI.setUnavailable(LibFunc_cbrtf);
370 TLI.setAvailableWithName(LibFunc_copysign, "_copysign");
371 TLI.setAvailableWithName(LibFunc_copysignf, "_copysignf");
372 TLI.setUnavailable(LibFunc_exp2);
373 TLI.setUnavailable(LibFunc_exp2f);
374 TLI.setUnavailable(LibFunc_expm1);
375 TLI.setUnavailable(LibFunc_expm1f);
376 TLI.setUnavailable(LibFunc_fmax);
377 TLI.setUnavailable(LibFunc_fmaxf);
378 TLI.setUnavailable(LibFunc_fmin);
379 TLI.setUnavailable(LibFunc_fminf);
380 TLI.setUnavailable(LibFunc_log1p);
381 TLI.setUnavailable(LibFunc_log1pf);
382 TLI.setUnavailable(LibFunc_log2);
383 TLI.setUnavailable(LibFunc_log2f);
384 TLI.setAvailableWithName(LibFunc_logb, "_logb");
385 TLI.setUnavailable(LibFunc_ilogb);
386 TLI.setUnavailable(LibFunc_ilogbf);
387 if (hasPartialFloat)
388 TLI.setAvailableWithName(LibFunc_logbf, "_logbf");
389 else
390 TLI.setUnavailable(LibFunc_logbf);
391 TLI.setUnavailable(LibFunc_rint);
392 TLI.setUnavailable(LibFunc_rintf);
393 TLI.setUnavailable(LibFunc_round);
394 TLI.setUnavailable(LibFunc_roundf);
395 TLI.setUnavailable(LibFunc_scalbln);
396 TLI.setUnavailable(LibFunc_scalblnf);
397 TLI.setUnavailable(LibFunc_scalblnl);
398 TLI.setUnavailable(LibFunc_scalbn);
399 TLI.setUnavailable(LibFunc_scalbnf);
400 TLI.setUnavailable(LibFunc_scalbnl);
401 TLI.setUnavailable(LibFunc_trunc);
402 TLI.setUnavailable(LibFunc_truncf);
403 }
404
405 // Win32 does not support long double C99 math functions.
406 TLI.setUnavailable(LibFunc_acoshl);
407 TLI.setUnavailable(LibFunc_asinhl);
408 TLI.setUnavailable(LibFunc_atanhl);
409 TLI.setUnavailable(LibFunc_cabsl);
410 TLI.setUnavailable(LibFunc_cbrtl);
411 TLI.setUnavailable(LibFunc_copysignl);
412 TLI.setUnavailable(LibFunc_exp2l);
413 TLI.setUnavailable(LibFunc_expm1l);
414 TLI.setUnavailable(LibFunc_fmaxl);
415 TLI.setUnavailable(LibFunc_fminl);
416 TLI.setUnavailable(LibFunc_log1pl);
417 TLI.setUnavailable(LibFunc_log2l);
418 TLI.setUnavailable(LibFunc_logbl);
419 TLI.setUnavailable(LibFunc_ilogbl);
420 TLI.setUnavailable(LibFunc_nearbyintl);
421 TLI.setUnavailable(LibFunc_rintl);
422 TLI.setUnavailable(LibFunc_roundl);
423 TLI.setUnavailable(LibFunc_scalblnl);
424 TLI.setUnavailable(LibFunc_scalbnl);
425 TLI.setUnavailable(LibFunc_truncl);
426
427 // Win32 does not support these functions, but
428 // they are generally available on POSIX-compliant systems.
429 TLI.setUnavailable(LibFunc_access);
430 TLI.setUnavailable(LibFunc_chmod);
431 TLI.setUnavailable(LibFunc_closedir);
432 TLI.setUnavailable(LibFunc_fdopen);
433 TLI.setUnavailable(LibFunc_fileno);
434 TLI.setUnavailable(LibFunc_fseeko);
435 TLI.setUnavailable(LibFunc_fstat);
436 TLI.setUnavailable(LibFunc_ftello);
437 TLI.setUnavailable(LibFunc_gettimeofday);
438 TLI.setUnavailable(LibFunc_memccpy);
439 TLI.setUnavailable(LibFunc_mkdir);
440 TLI.setUnavailable(LibFunc_open);
441 TLI.setUnavailable(LibFunc_opendir);
442 TLI.setUnavailable(LibFunc_pclose);
443 TLI.setUnavailable(LibFunc_popen);
444 TLI.setUnavailable(LibFunc_read);
445 TLI.setUnavailable(LibFunc_rmdir);
446 TLI.setUnavailable(LibFunc_stat);
447 TLI.setUnavailable(LibFunc_strcasecmp);
448 TLI.setUnavailable(LibFunc_strncasecmp);
449 TLI.setUnavailable(LibFunc_unlink);
450 TLI.setUnavailable(LibFunc_utime);
451 TLI.setUnavailable(LibFunc_write);
452 }
453
454 if (T.isOSWindows() && !T.isWindowsCygwinEnvironment()) {
455 // These functions aren't available in either MSVC or MinGW environments.
456 TLI.setUnavailable(LibFunc_bcmp);
457 TLI.setUnavailable(LibFunc_bcopy);
458 TLI.setUnavailable(LibFunc_bzero);
459 TLI.setUnavailable(LibFunc_chown);
460 TLI.setUnavailable(LibFunc_ctermid);
461 TLI.setUnavailable(LibFunc_ffs);
462 TLI.setUnavailable(LibFunc_flockfile);
463 TLI.setUnavailable(LibFunc_fstatvfs);
464 TLI.setUnavailable(LibFunc_ftrylockfile);
465 TLI.setUnavailable(LibFunc_funlockfile);
466 TLI.setUnavailable(LibFunc_getitimer);
467 TLI.setUnavailable(LibFunc_getlogin_r);
468 TLI.setUnavailable(LibFunc_getpwnam);
469 TLI.setUnavailable(LibFunc_htonl);
470 TLI.setUnavailable(LibFunc_htons);
471 TLI.setUnavailable(LibFunc_lchown);
472 TLI.setUnavailable(LibFunc_lstat);
473 TLI.setUnavailable(LibFunc_memrchr);
474 TLI.setUnavailable(LibFunc_ntohl);
475 TLI.setUnavailable(LibFunc_ntohs);
476 TLI.setUnavailable(LibFunc_pread);
477 TLI.setUnavailable(LibFunc_pwrite);
478 TLI.setUnavailable(LibFunc_readlink);
479 TLI.setUnavailable(LibFunc_realpath);
480 TLI.setUnavailable(LibFunc_setitimer);
481 TLI.setUnavailable(LibFunc_statvfs);
482 TLI.setUnavailable(LibFunc_stpcpy);
483 TLI.setUnavailable(LibFunc_stpncpy);
484 TLI.setUnavailable(LibFunc_times);
485 TLI.setUnavailable(LibFunc_uname);
486 TLI.setUnavailable(LibFunc_unsetenv);
487 TLI.setUnavailable(LibFunc_utimes);
488
489 // MinGW does have ldexpf, but it is a plain wrapper over regular ldexp.
490 // Therefore it's not beneficial to transform code to use it, i.e.
491 // just pretend that the function is not available.
492 TLI.setUnavailable(LibFunc_ldexpf);
493 }
494
495 // Pick just one set of new/delete variants.
496 if (T.isOSMSVCRT()) {
497 // MSVC, doesn't have the Itanium new/delete.
498 TLI.setUnavailable(LibFunc_ZdaPv);
499 TLI.setUnavailable(LibFunc_ZdaPvRKSt9nothrow_t);
500 TLI.setUnavailable(LibFunc_ZdaPvSt11align_val_t);
501 TLI.setUnavailable(LibFunc_ZdaPvSt11align_val_tRKSt9nothrow_t);
502 TLI.setUnavailable(LibFunc_ZdaPvj);
503 TLI.setUnavailable(LibFunc_ZdaPvjSt11align_val_t);
504 TLI.setUnavailable(LibFunc_ZdaPvm);
505 TLI.setUnavailable(LibFunc_ZdaPvmSt11align_val_t);
506 TLI.setUnavailable(LibFunc_ZdlPv);
507 TLI.setUnavailable(LibFunc_ZdlPvRKSt9nothrow_t);
508 TLI.setUnavailable(LibFunc_ZdlPvSt11align_val_t);
509 TLI.setUnavailable(LibFunc_ZdlPvSt11align_val_tRKSt9nothrow_t);
510 TLI.setUnavailable(LibFunc_ZdlPvj);
511 TLI.setUnavailable(LibFunc_ZdlPvjSt11align_val_t);
512 TLI.setUnavailable(LibFunc_ZdlPvm);
513 TLI.setUnavailable(LibFunc_ZdlPvmSt11align_val_t);
514 TLI.setUnavailable(LibFunc_Znaj);
515 TLI.setUnavailable(LibFunc_ZnajRKSt9nothrow_t);
516 TLI.setUnavailable(LibFunc_ZnajSt11align_val_t);
517 TLI.setUnavailable(LibFunc_ZnajSt11align_val_tRKSt9nothrow_t);
518 TLI.setUnavailable(LibFunc_Znam);
519 TLI.setUnavailable(LibFunc_ZnamRKSt9nothrow_t);
520 TLI.setUnavailable(LibFunc_ZnamRKSt9nothrow_t12__hot_cold_t);
521 TLI.setUnavailable(LibFunc_ZnamSt11align_val_t);
522 TLI.setUnavailable(LibFunc_ZnamSt11align_val_tRKSt9nothrow_t);
523 TLI.setUnavailable(LibFunc_Znwj);
524 TLI.setUnavailable(LibFunc_ZnwjRKSt9nothrow_t);
525 TLI.setUnavailable(LibFunc_ZnwjSt11align_val_t);
526 TLI.setUnavailable(LibFunc_ZnwjSt11align_val_tRKSt9nothrow_t);
527 TLI.setUnavailable(LibFunc_Znwm);
528 TLI.setUnavailable(LibFunc_ZnwmRKSt9nothrow_t);
529 TLI.setUnavailable(LibFunc_ZnwmRKSt9nothrow_t12__hot_cold_t);
530 TLI.setUnavailable(LibFunc_ZnwmSt11align_val_t);
531 TLI.setUnavailable(LibFunc_ZnwmSt11align_val_tRKSt9nothrow_t);
532 TLI.setUnavailable(LibFunc_Znwm12__hot_cold_t);
533 TLI.setUnavailable(LibFunc_ZnwmSt11align_val_t12__hot_cold_t);
534 TLI.setUnavailable(LibFunc_ZnwmSt11align_val_tRKSt9nothrow_t12__hot_cold_t);
535 TLI.setUnavailable(LibFunc_Znam12__hot_cold_t);
536 TLI.setUnavailable(LibFunc_ZnamSt11align_val_t12__hot_cold_t);
537 TLI.setUnavailable(LibFunc_ZnamSt11align_val_tRKSt9nothrow_t12__hot_cold_t);
538 TLI.setUnavailable(LibFunc_size_returning_new);
539 TLI.setUnavailable(LibFunc_size_returning_new_hot_cold);
540 TLI.setUnavailable(LibFunc_size_returning_new_aligned);
541 TLI.setUnavailable(LibFunc_size_returning_new_aligned_hot_cold);
542 } else {
543 // Not MSVC, assume it's Itanium.
544 TLI.setUnavailable(LibFunc_msvc_new_int);
545 TLI.setUnavailable(LibFunc_msvc_new_int_nothrow);
546 TLI.setUnavailable(LibFunc_msvc_new_longlong);
547 TLI.setUnavailable(LibFunc_msvc_new_longlong_nothrow);
548 TLI.setUnavailable(LibFunc_msvc_delete_ptr32);
549 TLI.setUnavailable(LibFunc_msvc_delete_ptr32_nothrow);
550 TLI.setUnavailable(LibFunc_msvc_delete_ptr32_int);
551 TLI.setUnavailable(LibFunc_msvc_delete_ptr64);
552 TLI.setUnavailable(LibFunc_msvc_delete_ptr64_nothrow);
553 TLI.setUnavailable(LibFunc_msvc_delete_ptr64_longlong);
554 TLI.setUnavailable(LibFunc_msvc_new_array_int);
555 TLI.setUnavailable(LibFunc_msvc_new_array_int_nothrow);
556 TLI.setUnavailable(LibFunc_msvc_new_array_longlong);
557 TLI.setUnavailable(LibFunc_msvc_new_array_longlong_nothrow);
558 TLI.setUnavailable(LibFunc_msvc_delete_array_ptr32);
559 TLI.setUnavailable(LibFunc_msvc_delete_array_ptr32_nothrow);
560 TLI.setUnavailable(LibFunc_msvc_delete_array_ptr32_int);
561 TLI.setUnavailable(LibFunc_msvc_delete_array_ptr64);
562 TLI.setUnavailable(LibFunc_msvc_delete_array_ptr64_nothrow);
563 TLI.setUnavailable(LibFunc_msvc_delete_array_ptr64_longlong);
564 }
565
566 switch (T.getOS()) {
567 case Triple::MacOSX:
568 // exp10 and exp10f are not available on OS X until 10.9 and iOS until 7.0
569 // and their names are __exp10 and __exp10f. exp10l is not available on
570 // OS X or iOS.
571 TLI.setUnavailable(LibFunc_exp10l);
572 if (T.isMacOSXVersionLT(10, 9)) {
573 TLI.setUnavailable(LibFunc_exp10);
574 TLI.setUnavailable(LibFunc_exp10f);
575 } else {
576 TLI.setAvailableWithName(LibFunc_exp10, "__exp10");
577 TLI.setAvailableWithName(LibFunc_exp10f, "__exp10f");
578 }
579 break;
580 case Triple::IOS:
581 case Triple::TvOS:
582 case Triple::WatchOS:
583 case Triple::XROS:
584 TLI.setUnavailable(LibFunc_exp10l);
585 if (!T.isWatchOS() &&
586 (T.isOSVersionLT(7, 0) || (T.isOSVersionLT(9, 0) && T.isX86()))) {
587 TLI.setUnavailable(LibFunc_exp10);
588 TLI.setUnavailable(LibFunc_exp10f);
589 } else {
590 TLI.setAvailableWithName(LibFunc_exp10, "__exp10");
591 TLI.setAvailableWithName(LibFunc_exp10f, "__exp10f");
592 }
593 break;
594 case Triple::Linux:
595 // exp10, exp10f, exp10l is available on Linux (GLIBC) but are extremely
596 // buggy prior to glibc version 2.18. Until this version is widely deployed
597 // or we have a reasonable detection strategy, we cannot use exp10 reliably
598 // on Linux.
599 //
600 // Fall through to disable all of them.
601 [[fallthrough]];
602 default:
603 TLI.setUnavailable(LibFunc_exp10);
604 TLI.setUnavailable(LibFunc_exp10f);
605 TLI.setUnavailable(LibFunc_exp10l);
606 }
607
608 // ffsl is available on at least Darwin, Mac OS X, iOS, FreeBSD, and
609 // Linux (GLIBC):
610 // http://developer.apple.com/library/mac/#documentation/Darwin/Reference/ManPages/man3/ffsl.3.html
611 // http://svn.freebsd.org/base/head/lib/libc/string/ffsl.c
612 // http://www.gnu.org/software/gnulib/manual/html_node/ffsl.html
613 switch (T.getOS()) {
614 case Triple::Darwin:
615 case Triple::MacOSX:
616 case Triple::IOS:
617 case Triple::TvOS:
618 case Triple::WatchOS:
619 case Triple::XROS:
620 case Triple::FreeBSD:
621 case Triple::Linux:
622 break;
623 default:
624 TLI.setUnavailable(LibFunc_ffsl);
625 }
626
627 // ffsll is available on at least FreeBSD and Linux (GLIBC):
628 // http://svn.freebsd.org/base/head/lib/libc/string/ffsll.c
629 // http://www.gnu.org/software/gnulib/manual/html_node/ffsll.html
630 switch (T.getOS()) {
631 case Triple::Darwin:
632 case Triple::MacOSX:
633 case Triple::IOS:
634 case Triple::TvOS:
635 case Triple::WatchOS:
636 case Triple::XROS:
637 case Triple::FreeBSD:
638 case Triple::Linux:
639 break;
640 default:
641 TLI.setUnavailable(LibFunc_ffsll);
642 }
643
644 // The following functions are available on at least FreeBSD:
645 // http://svn.freebsd.org/base/head/lib/libc/string/fls.c
646 // http://svn.freebsd.org/base/head/lib/libc/string/flsl.c
647 // http://svn.freebsd.org/base/head/lib/libc/string/flsll.c
648 if (!T.isOSFreeBSD()) {
649 TLI.setUnavailable(LibFunc_fls);
650 TLI.setUnavailable(LibFunc_flsl);
651 TLI.setUnavailable(LibFunc_flsll);
652 }
653
654 // The following functions are only available on GNU/Linux (using glibc).
655 // Linux variants without glibc (eg: bionic, musl) may have some subset.
656 if (!T.isOSLinux() || !T.isGNUEnvironment()) {
657 TLI.setUnavailable(LibFunc_dunder_strdup);
658 TLI.setUnavailable(LibFunc_dunder_strtok_r);
659 TLI.setUnavailable(LibFunc_dunder_isoc99_scanf);
660 TLI.setUnavailable(LibFunc_dunder_isoc99_sscanf);
661 TLI.setUnavailable(LibFunc_under_IO_getc);
662 TLI.setUnavailable(LibFunc_under_IO_putc);
663 // But, Android and musl have memalign.
664 if (!T.isAndroid() && !T.isMusl())
665 TLI.setUnavailable(LibFunc_memalign);
666 TLI.setUnavailable(LibFunc_fopen64);
667 TLI.setUnavailable(LibFunc_fseeko64);
668 TLI.setUnavailable(LibFunc_fstat64);
669 TLI.setUnavailable(LibFunc_fstatvfs64);
670 TLI.setUnavailable(LibFunc_ftello64);
671 TLI.setUnavailable(LibFunc_lstat64);
672 TLI.setUnavailable(LibFunc_open64);
673 TLI.setUnavailable(LibFunc_stat64);
674 TLI.setUnavailable(LibFunc_statvfs64);
675 TLI.setUnavailable(LibFunc_tmpfile64);
676
677 // Relaxed math functions are included in math-finite.h on Linux (GLIBC).
678 // Note that math-finite.h is no longer supported by top-of-tree GLIBC,
679 // so we keep these functions around just so that they're recognized by
680 // the ConstantFolder.
681 TLI.setUnavailable(LibFunc_acos_finite);
682 TLI.setUnavailable(LibFunc_acosf_finite);
683 TLI.setUnavailable(LibFunc_acosl_finite);
684 TLI.setUnavailable(LibFunc_acosh_finite);
685 TLI.setUnavailable(LibFunc_acoshf_finite);
686 TLI.setUnavailable(LibFunc_acoshl_finite);
687 TLI.setUnavailable(LibFunc_asin_finite);
688 TLI.setUnavailable(LibFunc_asinf_finite);
689 TLI.setUnavailable(LibFunc_asinl_finite);
690 TLI.setUnavailable(LibFunc_atan2_finite);
691 TLI.setUnavailable(LibFunc_atan2f_finite);
692 TLI.setUnavailable(LibFunc_atan2l_finite);
693 TLI.setUnavailable(LibFunc_atanh_finite);
694 TLI.setUnavailable(LibFunc_atanhf_finite);
695 TLI.setUnavailable(LibFunc_atanhl_finite);
696 TLI.setUnavailable(LibFunc_cosh_finite);
697 TLI.setUnavailable(LibFunc_coshf_finite);
698 TLI.setUnavailable(LibFunc_coshl_finite);
699 TLI.setUnavailable(LibFunc_exp10_finite);
700 TLI.setUnavailable(LibFunc_exp10f_finite);
701 TLI.setUnavailable(LibFunc_exp10l_finite);
702 TLI.setUnavailable(LibFunc_exp2_finite);
703 TLI.setUnavailable(LibFunc_exp2f_finite);
704 TLI.setUnavailable(LibFunc_exp2l_finite);
705 TLI.setUnavailable(LibFunc_exp_finite);
706 TLI.setUnavailable(LibFunc_expf_finite);
707 TLI.setUnavailable(LibFunc_expl_finite);
708 TLI.setUnavailable(LibFunc_log10_finite);
709 TLI.setUnavailable(LibFunc_log10f_finite);
710 TLI.setUnavailable(LibFunc_log10l_finite);
711 TLI.setUnavailable(LibFunc_log2_finite);
712 TLI.setUnavailable(LibFunc_log2f_finite);
713 TLI.setUnavailable(LibFunc_log2l_finite);
714 TLI.setUnavailable(LibFunc_log_finite);
715 TLI.setUnavailable(LibFunc_logf_finite);
716 TLI.setUnavailable(LibFunc_logl_finite);
717 TLI.setUnavailable(LibFunc_pow_finite);
718 TLI.setUnavailable(LibFunc_powf_finite);
719 TLI.setUnavailable(LibFunc_powl_finite);
720 TLI.setUnavailable(LibFunc_sinh_finite);
721 TLI.setUnavailable(LibFunc_sinhf_finite);
722 TLI.setUnavailable(LibFunc_sinhl_finite);
723 TLI.setUnavailable(LibFunc_sqrt_finite);
724 TLI.setUnavailable(LibFunc_sqrtf_finite);
725 TLI.setUnavailable(LibFunc_sqrtl_finite);
726 }
727
728 if ((T.isOSLinux() && T.isGNUEnvironment()) ||
729 (T.isAndroid() && !T.isAndroidVersionLT(28))) {
730 // available IO unlocked variants on GNU/Linux and Android P or later
731 TLI.setAvailable(LibFunc_getc_unlocked);
732 TLI.setAvailable(LibFunc_getchar_unlocked);
733 TLI.setAvailable(LibFunc_putc_unlocked);
734 TLI.setAvailable(LibFunc_putchar_unlocked);
735 TLI.setAvailable(LibFunc_fputc_unlocked);
736 TLI.setAvailable(LibFunc_fgetc_unlocked);
737 TLI.setAvailable(LibFunc_fread_unlocked);
738 TLI.setAvailable(LibFunc_fwrite_unlocked);
739 TLI.setAvailable(LibFunc_fputs_unlocked);
740 TLI.setAvailable(LibFunc_fgets_unlocked);
741 }
742
743 if (T.isPS()) {
744 // PS4/PS5 do have memalign.
745 TLI.setAvailable(LibFunc_memalign);
746
747 // PS4/PS5 do not have new/delete with "unsigned int" size parameter;
748 // they only have the "unsigned long" versions.
749 TLI.setUnavailable(LibFunc_ZdaPvj);
750 TLI.setUnavailable(LibFunc_ZdaPvjSt11align_val_t);
751 TLI.setUnavailable(LibFunc_ZdlPvj);
752 TLI.setUnavailable(LibFunc_ZdlPvjSt11align_val_t);
753 TLI.setUnavailable(LibFunc_Znaj);
754 TLI.setUnavailable(LibFunc_ZnajRKSt9nothrow_t);
755 TLI.setUnavailable(LibFunc_ZnajSt11align_val_t);
756 TLI.setUnavailable(LibFunc_ZnajSt11align_val_tRKSt9nothrow_t);
757 TLI.setUnavailable(LibFunc_Znwj);
758 TLI.setUnavailable(LibFunc_ZnwjRKSt9nothrow_t);
759 TLI.setUnavailable(LibFunc_ZnwjSt11align_val_t);
760 TLI.setUnavailable(LibFunc_ZnwjSt11align_val_tRKSt9nothrow_t);
761
762 // None of the *_chk functions.
763 TLI.setUnavailable(LibFunc_memccpy_chk);
764 TLI.setUnavailable(LibFunc_memcpy_chk);
765 TLI.setUnavailable(LibFunc_memmove_chk);
766 TLI.setUnavailable(LibFunc_mempcpy_chk);
767 TLI.setUnavailable(LibFunc_memset_chk);
768 TLI.setUnavailable(LibFunc_snprintf_chk);
769 TLI.setUnavailable(LibFunc_sprintf_chk);
770 TLI.setUnavailable(LibFunc_stpcpy_chk);
771 TLI.setUnavailable(LibFunc_stpncpy_chk);
772 TLI.setUnavailable(LibFunc_strcat_chk);
773 TLI.setUnavailable(LibFunc_strcpy_chk);
774 TLI.setUnavailable(LibFunc_strlcat_chk);
775 TLI.setUnavailable(LibFunc_strlcpy_chk);
776 TLI.setUnavailable(LibFunc_strlen_chk);
777 TLI.setUnavailable(LibFunc_strncat_chk);
778 TLI.setUnavailable(LibFunc_strncpy_chk);
779 TLI.setUnavailable(LibFunc_vsnprintf_chk);
780 TLI.setUnavailable(LibFunc_vsprintf_chk);
781
782 // Various Posix system functions.
783 TLI.setUnavailable(LibFunc_access);
784 TLI.setUnavailable(LibFunc_chmod);
785 TLI.setUnavailable(LibFunc_chown);
786 TLI.setUnavailable(LibFunc_closedir);
787 TLI.setUnavailable(LibFunc_ctermid);
788 TLI.setUnavailable(LibFunc_execl);
789 TLI.setUnavailable(LibFunc_execle);
790 TLI.setUnavailable(LibFunc_execlp);
791 TLI.setUnavailable(LibFunc_execv);
792 TLI.setUnavailable(LibFunc_execvP);
793 TLI.setUnavailable(LibFunc_execve);
794 TLI.setUnavailable(LibFunc_execvp);
795 TLI.setUnavailable(LibFunc_execvpe);
796 TLI.setUnavailable(LibFunc_fork);
797 TLI.setUnavailable(LibFunc_fstat);
798 TLI.setUnavailable(LibFunc_fstatvfs);
799 TLI.setUnavailable(LibFunc_getenv);
800 TLI.setUnavailable(LibFunc_getitimer);
801 TLI.setUnavailable(LibFunc_getlogin_r);
802 TLI.setUnavailable(LibFunc_getpwnam);
803 TLI.setUnavailable(LibFunc_gettimeofday);
804 TLI.setUnavailable(LibFunc_lchown);
805 TLI.setUnavailable(LibFunc_lstat);
806 TLI.setUnavailable(LibFunc_mkdir);
807 TLI.setUnavailable(LibFunc_open);
808 TLI.setUnavailable(LibFunc_opendir);
809 TLI.setUnavailable(LibFunc_pclose);
810 TLI.setUnavailable(LibFunc_popen);
811 TLI.setUnavailable(LibFunc_pread);
812 TLI.setUnavailable(LibFunc_pvalloc);
813 TLI.setUnavailable(LibFunc_pwrite);
814 TLI.setUnavailable(LibFunc_read);
815 TLI.setUnavailable(LibFunc_readlink);
816 TLI.setUnavailable(LibFunc_realpath);
817 TLI.setUnavailable(LibFunc_rename);
818 TLI.setUnavailable(LibFunc_rmdir);
819 TLI.setUnavailable(LibFunc_setitimer);
820 TLI.setUnavailable(LibFunc_stat);
821 TLI.setUnavailable(LibFunc_statvfs);
822 TLI.setUnavailable(LibFunc_system);
823 TLI.setUnavailable(LibFunc_times);
824 TLI.setUnavailable(LibFunc_tmpfile);
825 TLI.setUnavailable(LibFunc_unlink);
826 TLI.setUnavailable(LibFunc_uname);
827 TLI.setUnavailable(LibFunc_unsetenv);
828 TLI.setUnavailable(LibFunc_utime);
829 TLI.setUnavailable(LibFunc_utimes);
830 TLI.setUnavailable(LibFunc_valloc);
831 TLI.setUnavailable(LibFunc_write);
832
833 // Miscellaneous other functions not provided.
834 TLI.setUnavailable(LibFunc_atomic_load);
835 TLI.setUnavailable(LibFunc_atomic_store);
836 TLI.setUnavailable(LibFunc___kmpc_alloc_shared);
837 TLI.setUnavailable(LibFunc___kmpc_free_shared);
838 TLI.setUnavailable(LibFunc_dunder_strndup);
839 TLI.setUnavailable(LibFunc_bcmp);
840 TLI.setUnavailable(LibFunc_bcopy);
841 TLI.setUnavailable(LibFunc_bzero);
842 TLI.setUnavailable(LibFunc_cabs);
843 TLI.setUnavailable(LibFunc_cabsf);
844 TLI.setUnavailable(LibFunc_cabsl);
845 TLI.setUnavailable(LibFunc_ffs);
846 TLI.setUnavailable(LibFunc_flockfile);
847 TLI.setUnavailable(LibFunc_fseeko);
848 TLI.setUnavailable(LibFunc_ftello);
849 TLI.setUnavailable(LibFunc_ftrylockfile);
850 TLI.setUnavailable(LibFunc_funlockfile);
851 TLI.setUnavailable(LibFunc_htonl);
852 TLI.setUnavailable(LibFunc_htons);
853 TLI.setUnavailable(LibFunc_isascii);
854 TLI.setUnavailable(LibFunc_memccpy);
855 TLI.setUnavailable(LibFunc_mempcpy);
856 TLI.setUnavailable(LibFunc_memrchr);
857 TLI.setUnavailable(LibFunc_ntohl);
858 TLI.setUnavailable(LibFunc_ntohs);
859 TLI.setUnavailable(LibFunc_reallocarray);
860 TLI.setUnavailable(LibFunc_reallocf);
861 TLI.setUnavailable(LibFunc_roundeven);
862 TLI.setUnavailable(LibFunc_roundevenf);
863 TLI.setUnavailable(LibFunc_roundevenl);
864 TLI.setUnavailable(LibFunc_stpcpy);
865 TLI.setUnavailable(LibFunc_stpncpy);
866 TLI.setUnavailable(LibFunc_strlcat);
867 TLI.setUnavailable(LibFunc_strlcpy);
868 TLI.setUnavailable(LibFunc_strndup);
869 TLI.setUnavailable(LibFunc_strnlen);
870 TLI.setUnavailable(LibFunc_toascii);
871 }
872
873 if (T.isOSFreeBSD()) {
874 TLI.setAvailable(LibFunc_dunder_strtok_r);
875 TLI.setAvailable(LibFunc_memalign);
876 TLI.setAvailable(LibFunc_fputc_unlocked);
877 TLI.setAvailable(LibFunc_fputs_unlocked);
878 TLI.setAvailable(LibFunc_fread_unlocked);
879 TLI.setAvailable(LibFunc_fwrite_unlocked);
880 TLI.setAvailable(LibFunc_getc_unlocked);
881 TLI.setAvailable(LibFunc_getchar_unlocked);
882 TLI.setAvailable(LibFunc_putc_unlocked);
883 TLI.setAvailable(LibFunc_putchar_unlocked);
884
885 TLI.setUnavailable(LibFunc___kmpc_alloc_shared);
886 TLI.setUnavailable(LibFunc___kmpc_free_shared);
887 TLI.setUnavailable(LibFunc_dunder_strndup);
888 TLI.setUnavailable(LibFunc_memccpy_chk);
889 TLI.setUnavailable(LibFunc_strlen_chk);
890 TLI.setUnavailable(LibFunc_fmaximum_num);
891 TLI.setUnavailable(LibFunc_fmaximum_numf);
892 TLI.setUnavailable(LibFunc_fmaximum_numl);
893 TLI.setUnavailable(LibFunc_fminimum_num);
894 TLI.setUnavailable(LibFunc_fminimum_numf);
895 TLI.setUnavailable(LibFunc_fminimum_numl);
896 TLI.setUnavailable(LibFunc_roundeven);
897 TLI.setUnavailable(LibFunc_roundevenf);
898 TLI.setUnavailable(LibFunc_roundevenl);
899 }
900
901 // As currently implemented in clang, NVPTX code has no standard library to
902 // speak of. Headers provide a standard-ish library implementation, but many
903 // of the signatures are wrong -- for example, many libm functions are not
904 // extern "C".
905 //
906 // libdevice, an IR library provided by nvidia, is linked in by the front-end,
907 // but only used functions are provided to llvm. Moreover, most of the
908 // functions in libdevice don't map precisely to standard library functions.
909 //
910 // FIXME: Having no standard library prevents e.g. many fastmath
911 // optimizations, so this situation should be fixed.
912 if (T.isNVPTX()) {
914 TLI.setAvailable(LibFunc_nvvm_reflect);
915 TLI.setAvailable(llvm::LibFunc_malloc);
916 TLI.setAvailable(llvm::LibFunc_free);
917
918 // TODO: We could enable the following two according to [0] but we haven't
919 // done an evaluation wrt. the performance implications.
920 // [0]
921 // https://docs.nvidia.com/cuda/cuda-c-programming-guide/index.html#dynamic-global-memory-allocation-and-operations
922 //
923 // TLI.setAvailable(llvm::LibFunc_memcpy);
924 // TLI.setAvailable(llvm::LibFunc_memset);
925
926 TLI.setAvailable(llvm::LibFunc___kmpc_alloc_shared);
927 TLI.setAvailable(llvm::LibFunc___kmpc_free_shared);
928 } else {
929 TLI.setUnavailable(LibFunc_nvvm_reflect);
930 }
931
932 // These vec_malloc/free routines are only available on AIX.
933 if (!T.isOSAIX()) {
934 TLI.setUnavailable(LibFunc_vec_calloc);
935 TLI.setUnavailable(LibFunc_vec_malloc);
936 TLI.setUnavailable(LibFunc_vec_realloc);
937 TLI.setUnavailable(LibFunc_vec_free);
938 }
939
940 if (T.isOSAIX())
941 TLI.setUnavailable(LibFunc_memrchr);
942
944}
945
946/// Initialize the set of available library functions based on the specified
947/// target triple. This should be carefully written so that a missing target
948/// triple gets a sane set of defaults.
949static void initialize(TargetLibraryInfoImpl &TLI, const Triple &T,
950 ArrayRef<StringLiteral> StandardNames) {
951 initializeBase(TLI, T);
952 initializeLibCalls(TLI, T, StandardNames);
953}
954
956 // Default to everything being available.
957 memset(AvailableArray, -1, sizeof(AvailableArray));
958
959 initialize(*this, T, StandardNames);
960}
961
963 : CustomNames(TLI.CustomNames), ShouldExtI32Param(TLI.ShouldExtI32Param),
964 ShouldExtI32Return(TLI.ShouldExtI32Return),
965 ShouldSignExtI32Param(TLI.ShouldSignExtI32Param),
966 ShouldSignExtI32Return(TLI.ShouldSignExtI32Return),
967 SizeOfInt(TLI.SizeOfInt) {
968 memcpy(AvailableArray, TLI.AvailableArray, sizeof(AvailableArray));
969 VectorDescs = TLI.VectorDescs;
970 ScalarDescs = TLI.ScalarDescs;
971}
972
974 : CustomNames(std::move(TLI.CustomNames)),
975 ShouldExtI32Param(TLI.ShouldExtI32Param),
976 ShouldExtI32Return(TLI.ShouldExtI32Return),
977 ShouldSignExtI32Param(TLI.ShouldSignExtI32Param),
978 ShouldSignExtI32Return(TLI.ShouldSignExtI32Return),
979 SizeOfInt(TLI.SizeOfInt) {
980 std::move(std::begin(TLI.AvailableArray), std::end(TLI.AvailableArray),
981 AvailableArray);
982 VectorDescs = TLI.VectorDescs;
983 ScalarDescs = TLI.ScalarDescs;
984}
985
987 CustomNames = TLI.CustomNames;
988 ShouldExtI32Param = TLI.ShouldExtI32Param;
989 ShouldExtI32Return = TLI.ShouldExtI32Return;
990 ShouldSignExtI32Param = TLI.ShouldSignExtI32Param;
991 ShouldSignExtI32Return = TLI.ShouldSignExtI32Return;
992 SizeOfInt = TLI.SizeOfInt;
993 memcpy(AvailableArray, TLI.AvailableArray, sizeof(AvailableArray));
994 return *this;
995}
996
998 CustomNames = std::move(TLI.CustomNames);
999 ShouldExtI32Param = TLI.ShouldExtI32Param;
1000 ShouldExtI32Return = TLI.ShouldExtI32Return;
1001 ShouldSignExtI32Param = TLI.ShouldSignExtI32Param;
1002 ShouldSignExtI32Return = TLI.ShouldSignExtI32Return;
1003 SizeOfInt = TLI.SizeOfInt;
1004 std::move(std::begin(TLI.AvailableArray), std::end(TLI.AvailableArray),
1005 AvailableArray);
1006 return *this;
1007}
1008
1010 // Filter out empty names and names containing null bytes, those can't be in
1011 // our table.
1012 if (funcName.empty() || funcName.contains('\0'))
1013 return StringRef();
1014
1015 // Check for \01 prefix that is used to mangle __asm declarations and
1016 // strip it if present.
1017 return GlobalValue::dropLLVMManglingEscape(funcName);
1018}
1019
1023 unsigned Idx = 0;
1025 for (const auto &Func : StandardNames)
1026 Indices[Func] = static_cast<LibFunc>(Idx++);
1027 return Indices;
1028}
1029
1031 funcName = sanitizeFunctionName(funcName);
1032 if (funcName.empty())
1033 return false;
1034
1035 static const DenseMap<StringRef, LibFunc> Indices =
1036 buildIndexMap(StandardNames);
1037
1038 if (auto Loc = Indices.find(funcName); Loc != Indices.end()) {
1039 F = Loc->second;
1040 return true;
1041 }
1042 return false;
1043}
1044
1045// Return true if ArgTy matches Ty.
1046
1047static bool matchType(FuncArgTypeID ArgTy, const Type *Ty, unsigned IntBits,
1048 unsigned SizeTBits) {
1049 switch (ArgTy) {
1050 case Void:
1051 return Ty->isVoidTy();
1052 case Bool:
1053 return Ty->isIntegerTy(8);
1054 case Int16:
1055 return Ty->isIntegerTy(16);
1056 case Int32:
1057 return Ty->isIntegerTy(32);
1058 case Int:
1059 return Ty->isIntegerTy(IntBits);
1060 case IntPlus:
1061 return Ty->isIntegerTy() && Ty->getPrimitiveSizeInBits() >= IntBits;
1062 case IntX:
1063 return Ty->isIntegerTy();
1064 case Long:
1065 // TODO: Figure out and use long size.
1066 return Ty->isIntegerTy() && Ty->getPrimitiveSizeInBits() >= IntBits;
1067 case Int64:
1068 return Ty->isIntegerTy(64);
1069 case LLong:
1070 return Ty->isIntegerTy(64);
1071 case SizeT:
1072 case SSizeT:
1073 return Ty->isIntegerTy(SizeTBits);
1074 case Flt:
1075 return Ty->isFloatTy();
1076 case Dbl:
1077 return Ty->isDoubleTy();
1078 // TODO: Tighten this up.
1079 case LDbl:
1080 return Ty->isFloatingPointTy();
1081 case Floating:
1082 return Ty->isFloatingPointTy();
1083 case Ptr:
1084 return Ty->isPointerTy();
1085 case Struct:
1086 return Ty->isStructTy();
1087 default:
1088 break;
1089 }
1090
1091 llvm_unreachable("Invalid type");
1092}
1093
1095 const Module &M,
1096 int SizeTSizeBits) {
1097 switch (F) {
1098 case LibFunc_size_returning_new: {
1099 if (FTy.getNumParams() != 1 ||
1100 !FTy.getParamType(0)->isIntegerTy(SizeTSizeBits)) {
1101 return false;
1102 }
1103 } break;
1104 case LibFunc_size_returning_new_hot_cold: {
1105 if (FTy.getNumParams() != 2 ||
1106 !FTy.getParamType(0)->isIntegerTy(SizeTSizeBits) ||
1107 !FTy.getParamType(1)->isIntegerTy(8)) {
1108 return false;
1109 }
1110 } break;
1111 case LibFunc_size_returning_new_aligned: {
1112 if (FTy.getNumParams() != 2 ||
1113 !FTy.getParamType(0)->isIntegerTy(SizeTSizeBits) ||
1114 !FTy.getParamType(1)->isIntegerTy(SizeTSizeBits)) {
1115 return false;
1116 }
1117 } break;
1118 case LibFunc_size_returning_new_aligned_hot_cold:
1119 if (FTy.getNumParams() != 3 ||
1120 !FTy.getParamType(0)->isIntegerTy(SizeTSizeBits) ||
1121 !FTy.getParamType(1)->isIntegerTy(SizeTSizeBits) ||
1122 !FTy.getParamType(2)->isIntegerTy(8)) {
1123 return false;
1124 }
1125 break;
1126 default:
1127 return false;
1128 }
1129
1130 auto &Context = M.getContext();
1131 PointerType *PtrTy = PointerType::get(Context, 0);
1132 StructType *SizedPtrTy = StructType::get(
1133 Context, {PtrTy, Type::getIntNTy(Context, SizeTSizeBits)});
1134 return FTy.getReturnType() == SizedPtrTy;
1135}
1136
1137bool TargetLibraryInfoImpl::isValidProtoForLibFunc(const FunctionType &FTy,
1138 LibFunc F,
1139 const Module &M) const {
1140 unsigned NumParams = FTy.getNumParams();
1141
1142 switch (F) {
1143 // Special handling for <complex.h> functions:
1144 case LibFunc_cabs:
1145 case LibFunc_cabsf:
1146 case LibFunc_cabsl: {
1147 Type *RetTy = FTy.getReturnType();
1148 if (!RetTy->isFloatingPointTy() || NumParams == 0)
1149 return false;
1150
1151 Type *ParamTy = FTy.getParamType(0);
1152 // NOTE: These prototypes are target specific and currently support
1153 // "complex" passed as an array or discrete real & imaginary parameters.
1154 // Add other calling conventions to enable libcall optimizations.
1155 if (NumParams == 1)
1156 return (ParamTy->isArrayTy() && ParamTy->getArrayNumElements() == 2 &&
1157 ParamTy->getArrayElementType() == RetTy);
1158 else if (NumParams == 2)
1159 return ParamTy == RetTy && FTy.getParamType(1) == RetTy;
1160
1161 return false;
1162 }
1163 // Special handling for the sincospi functions that return either
1164 // a struct or vector:
1165 case LibFunc_sincospi_stret:
1166 case LibFunc_sincospif_stret: {
1167 if (NumParams != 1)
1168 return false;
1169
1170 Type *RetTy = FTy.getReturnType();
1171 Type *ParamTy = FTy.getParamType(0);
1172 if (auto *Ty = dyn_cast<StructType>(RetTy)) {
1173 if (Ty->getNumElements() != 2)
1174 return false;
1175 return (Ty->getElementType(0) == ParamTy &&
1176 Ty->getElementType(1) == ParamTy);
1177 }
1178
1179 if (auto *Ty = dyn_cast<FixedVectorType>(RetTy)) {
1180 if (Ty->getNumElements() != 2)
1181 return false;
1182 return Ty->getElementType() == ParamTy;
1183 }
1184
1185 return false;
1186 }
1187 // Special handling of __size_returning_new functions that return a struct
1188 // of type {void*, size_t}.
1189 case LibFunc_size_returning_new:
1190 case LibFunc_size_returning_new_hot_cold:
1191 case LibFunc_size_returning_new_aligned:
1192 case LibFunc_size_returning_new_aligned_hot_cold:
1194 default:
1195 break;
1196 }
1197
1198 unsigned IntBits = getIntSize();
1199 unsigned SizeTBits = getSizeTSize(M);
1200 unsigned Idx = 0;
1201
1202 // Iterate over the type ids in the function prototype, matching each
1203 // against the function's type FTy, starting with its return type.
1204 // Return true if both match in number and kind, inclduing the ellipsis.
1205 Type *Ty = FTy.getReturnType(), *LastTy = Ty;
1206 const auto &ProtoTypes = Signatures[F];
1207 for (auto TyID : ProtoTypes) {
1208 if (Idx && TyID == Void)
1209 // Except in the first position where it designates the function's
1210 // return type Void ends the argument list.
1211 break;
1212
1213 if (TyID == Ellip) {
1214 // The ellipsis ends the protoype list but is not a part of FTy's
1215 // argument list. Except when it's last it must be followed by
1216 // Void.
1217 assert(Idx == ProtoTypes.size() - 1 || ProtoTypes[Idx + 1] == Void);
1218 return FTy.isFunctionVarArg();
1219 }
1220
1221 if (TyID == Same) {
1222 assert(Idx != 0 && "Type ID 'Same' must not be first!");
1223 if (Ty != LastTy)
1224 return false;
1225 } else {
1226 if (!Ty || !matchType(TyID, Ty, IntBits, SizeTBits))
1227 return false;
1228 LastTy = Ty;
1229 }
1230
1231 if (Idx == NumParams) {
1232 // There's at least one and at most two more type ids than there are
1233 // arguments in FTy's argument list.
1234 Ty = nullptr;
1235 ++Idx;
1236 continue;
1237 }
1238
1239 Ty = FTy.getParamType(Idx++);
1240 }
1241
1242 // Return success only if all entries on both lists have been processed
1243 // and the function is not a variadic one.
1244 return Idx == NumParams + 1 && !FTy.isFunctionVarArg();
1245}
1246
1248 LibFunc &F) const {
1249 // Intrinsics don't overlap w/libcalls; if our module has a large number of
1250 // intrinsics, this ends up being an interesting compile time win since we
1251 // avoid string normalization and comparison.
1252 if (FDecl.isIntrinsic()) return false;
1253
1254 const Module *M = FDecl.getParent();
1255 assert(M && "Expecting FDecl to be connected to a Module.");
1256
1257 if (FDecl.LibFuncCache == Function::UnknownLibFunc)
1258 if (!getLibFunc(FDecl.getName(), FDecl.LibFuncCache))
1259 FDecl.LibFuncCache = NotLibFunc;
1260
1261 if (FDecl.LibFuncCache == NotLibFunc)
1262 return false;
1263
1264 F = FDecl.LibFuncCache;
1265 return isValidProtoForLibFunc(*FDecl.getFunctionType(), F, *M);
1266}
1267
1268bool TargetLibraryInfoImpl::getLibFunc(unsigned int Opcode, Type *Ty,
1269 LibFunc &F) const {
1270 // Must be a frem instruction with float or double arguments.
1271 if (Opcode != Instruction::FRem || (!Ty->isDoubleTy() && !Ty->isFloatTy()))
1272 return false;
1273
1274 F = Ty->isDoubleTy() ? LibFunc_fmod : LibFunc_fmodf;
1275 return true;
1276}
1277
1279 memset(AvailableArray, 0, sizeof(AvailableArray));
1280}
1281
1282static bool compareByScalarFnName(const VecDesc &LHS, const VecDesc &RHS) {
1283 return LHS.getScalarFnName() < RHS.getScalarFnName();
1284}
1285
1286static bool compareByVectorFnName(const VecDesc &LHS, const VecDesc &RHS) {
1287 return LHS.getVectorFnName() < RHS.getVectorFnName();
1288}
1289
1291 return LHS.getScalarFnName() < S;
1292}
1293
1295 llvm::append_range(VectorDescs, Fns);
1296 llvm::sort(VectorDescs, compareByScalarFnName);
1297
1298 llvm::append_range(ScalarDescs, Fns);
1299 llvm::sort(ScalarDescs, compareByVectorFnName);
1300}
1301
1303#define TLI_DEFINE_ACCELERATE_VECFUNCS
1304#include "llvm/Analysis/VecFuncs.def"
1305#undef TLI_DEFINE_ACCELERATE_VECFUNCS
1306};
1307
1309#define TLI_DEFINE_DARWIN_LIBSYSTEM_M_VECFUNCS
1310#include "llvm/Analysis/VecFuncs.def"
1311#undef TLI_DEFINE_DARWIN_LIBSYSTEM_M_VECFUNCS
1312};
1313
1315#define TLI_DEFINE_LIBMVEC_X86_VECFUNCS
1316#include "llvm/Analysis/VecFuncs.def"
1317#undef TLI_DEFINE_LIBMVEC_X86_VECFUNCS
1318};
1319
1321#define TLI_DEFINE_LIBMVEC_AARCH64_VECFUNCS
1322#define TLI_DEFINE_VECFUNC(SCAL, VEC, VF, MASK, VABI_PREFIX, CC) \
1323 {SCAL, VEC, VF, MASK, VABI_PREFIX, CC},
1324#include "llvm/Analysis/VecFuncs.def"
1325#undef TLI_DEFINE_LIBMVEC_AARCH64_VECFUNCS
1326};
1327
1328static const VecDesc VecFuncs_MASSV[] = {
1329#define TLI_DEFINE_MASSV_VECFUNCS
1330#include "llvm/Analysis/VecFuncs.def"
1331#undef TLI_DEFINE_MASSV_VECFUNCS
1332};
1333
1334static const VecDesc VecFuncs_SVML[] = {
1335#define TLI_DEFINE_SVML_VECFUNCS
1336#include "llvm/Analysis/VecFuncs.def"
1337#undef TLI_DEFINE_SVML_VECFUNCS
1338};
1339
1341#define TLI_DEFINE_SLEEFGNUABI_VF2_VECFUNCS
1342#define TLI_DEFINE_VECFUNC(SCAL, VEC, VF, VABI_PREFIX) \
1343 {SCAL, VEC, VF, /* MASK = */ false, VABI_PREFIX, /* CC = */ std::nullopt},
1344#include "llvm/Analysis/VecFuncs.def"
1345#undef TLI_DEFINE_SLEEFGNUABI_VF2_VECFUNCS
1346};
1348#define TLI_DEFINE_SLEEFGNUABI_VF4_VECFUNCS
1349#define TLI_DEFINE_VECFUNC(SCAL, VEC, VF, VABI_PREFIX) \
1350 {SCAL, VEC, VF, /* MASK = */ false, VABI_PREFIX, /* CC = */ std::nullopt},
1351#include "llvm/Analysis/VecFuncs.def"
1352#undef TLI_DEFINE_SLEEFGNUABI_VF4_VECFUNCS
1353};
1355#define TLI_DEFINE_SLEEFGNUABI_SCALABLE_VECFUNCS
1356#define TLI_DEFINE_VECFUNC(SCAL, VEC, VF, MASK, VABI_PREFIX) \
1357 {SCAL, VEC, VF, MASK, VABI_PREFIX, /* CC = */ std::nullopt},
1358#include "llvm/Analysis/VecFuncs.def"
1359#undef TLI_DEFINE_SLEEFGNUABI_SCALABLE_VECFUNCS
1360};
1361
1363#define TLI_DEFINE_SLEEFGNUABI_SCALABLE_VECFUNCS_RISCV
1364#define TLI_DEFINE_VECFUNC(SCAL, VEC, VF, MASK, VABI_PREFIX) \
1365 {SCAL, VEC, VF, MASK, VABI_PREFIX, /* CC = */ std::nullopt},
1366#include "llvm/Analysis/VecFuncs.def"
1367#undef TLI_DEFINE_SLEEFGNUABI_SCALABLE_VECFUNCS_RISCV
1368};
1369
1370static const VecDesc VecFuncs_ArmPL[] = {
1371#define TLI_DEFINE_ARMPL_VECFUNCS
1372#define TLI_DEFINE_VECFUNC(SCAL, VEC, VF, MASK, VABI_PREFIX, CC) \
1373 {SCAL, VEC, VF, MASK, VABI_PREFIX, CC},
1374#include "llvm/Analysis/VecFuncs.def"
1375#undef TLI_DEFINE_ARMPL_VECFUNCS
1376};
1377
1379#define TLI_DEFINE_AMDLIBM_VECFUNCS
1380#define TLI_DEFINE_VECFUNC(SCAL, VEC, VF, MASK, VABI_PREFIX) \
1381 {SCAL, VEC, VF, MASK, VABI_PREFIX, /* CC = */ std::nullopt},
1382#include "llvm/Analysis/VecFuncs.def"
1383#undef TLI_DEFINE_AMDLIBM_VECFUNCS
1384};
1385
1387 enum VectorLibrary VecLib, const llvm::Triple &TargetTriple) {
1388 switch (VecLib) {
1389 case Accelerate: {
1391 break;
1392 }
1393 case DarwinLibSystemM: {
1395 break;
1396 }
1397 case LIBMVEC: {
1398 switch (TargetTriple.getArch()) {
1399 default:
1400 break;
1401 case llvm::Triple::x86:
1404 break;
1408 break;
1409 }
1410 break;
1411 }
1412 case MASSV: {
1414 break;
1415 }
1416 case SVML: {
1418 break;
1419 }
1420 case SLEEFGNUABI: {
1421 switch (TargetTriple.getArch()) {
1422 default:
1423 break;
1429 break;
1432 break;
1433 }
1434 break;
1435 }
1436 case ArmPL: {
1437 switch (TargetTriple.getArch()) {
1438 default:
1439 break;
1443 break;
1444 }
1445 break;
1446 }
1447 case AMDLIBM: {
1449 break;
1450 }
1451 case NoLibrary:
1452 break;
1453 }
1454}
1455
1457 funcName = sanitizeFunctionName(funcName);
1458 if (funcName.empty())
1459 return false;
1460
1461 std::vector<VecDesc>::const_iterator I =
1462 llvm::lower_bound(VectorDescs, funcName, compareWithScalarFnName);
1463 return I != VectorDescs.end() && StringRef(I->getScalarFnName()) == funcName;
1464}
1465
1467 const ElementCount &VF,
1468 bool Masked) const {
1469 const VecDesc *VD = getVectorMappingInfo(F, VF, Masked);
1470 if (VD)
1471 return VD->getVectorFnName();
1472 return StringRef();
1473}
1474
1475const VecDesc *
1477 bool Masked) const {
1479 if (F.empty())
1480 return nullptr;
1481 std::vector<VecDesc>::const_iterator I =
1483 while (I != VectorDescs.end() && StringRef(I->getScalarFnName()) == F) {
1484 if ((I->getVectorizationFactor() == VF) && (I->isMasked() == Masked))
1485 return &(*I);
1486 ++I;
1487 }
1488 return nullptr;
1489}
1490
1493 if (!BaselineInfoImpl)
1494 BaselineInfoImpl = TargetLibraryInfoImpl(F.getParent()->getTargetTriple());
1495 return TargetLibraryInfo(*BaselineInfoImpl, &F);
1496}
1497
1499 if (auto *ShortWChar = cast_or_null<ConstantAsMetadata>(
1500 M.getModuleFlag("wchar_size")))
1501 return cast<ConstantInt>(ShortWChar->getValue())->getZExtValue();
1502 return 0;
1503}
1504
1506 // There is really no guarantee that sizeof(size_t) is equal to the index
1507 // size of the default address space. If that isn't true then it should be
1508 // possible to derive the SizeTTy from the target triple here instead and do
1509 // an early return.
1510
1511 // Hard coding address space zero may seem unfortunate, but a number of
1512 // configurations of common targets (i386, x86-64 x32, aarch64 x32, possibly
1513 // others) have larger-than-size_t index sizes on non-default address spaces,
1514 // making this the best default.
1515 return M.getDataLayout().getIndexSizeInBits(/*AddressSpace=*/0);
1516}
1517
1520
1523
1527
1531
1532AnalysisKey TargetLibraryAnalysis::Key;
1533
1534// Register the basic pass.
1536 "Target Library Information", false, true)
1538
1539void TargetLibraryInfoWrapperPass::anchor() {}
1540
1542 ElementCount &FixedVF,
1543 ElementCount &ScalableVF) const {
1544 ScalarF = sanitizeFunctionName(ScalarF);
1545 // Use '0' here because a type of the form <vscale x 1 x ElTy> is not the
1546 // same as a scalar.
1547 ScalableVF = ElementCount::getScalable(0);
1548 FixedVF = ElementCount::getFixed(1);
1549 if (ScalarF.empty())
1550 return;
1551
1552 std::vector<VecDesc>::const_iterator I =
1553 llvm::lower_bound(VectorDescs, ScalarF, compareWithScalarFnName);
1554 while (I != VectorDescs.end() && StringRef(I->getScalarFnName()) == ScalarF) {
1555 ElementCount *VF =
1556 I->getVectorizationFactor().isScalable() ? &ScalableVF : &FixedVF;
1557 if (ElementCount::isKnownGT(I->getVectorizationFactor(), *VF))
1558 *VF = I->getVectorizationFactor();
1559 ++I;
1560 }
1561}
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
#define clEnumValN(ENUMVAL, FLAGNAME, DESC)
This file contains the declarations for the subclasses of Constant, which represent the different fla...
This file defines the DenseMap class.
Module.h This file contains the declarations for the Module class.
#define F(x, y, z)
Definition MD5.cpp:55
#define I(x, y, z)
Definition MD5.cpp:58
#define T
#define INITIALIZE_PASS(passName, arg, name, cfg, analysis)
Definition PassSupport.h:56
This file defines the SmallString class.
static bool hasSinCosPiStret(const Triple &T)
static bool isCallingConvCCompatible(CallingConv::ID CC, const Triple &TT, FunctionType *FuncTy)
static StringRef sanitizeFunctionName(StringRef funcName)
static void initialize(TargetLibraryInfoImpl &TLI, const Triple &T, ArrayRef< StringLiteral > StandardNames)
Initialize the set of available library functions based on the specified target triple.
static const VecDesc VecFuncs_MASSV[]
static void initializeLibCalls(TargetLibraryInfoImpl &TLI, const Triple &T, ArrayRef< StringLiteral > StandardNames)
Initialize the set of available library functions based on the specified target triple.
static bool matchType(FuncArgTypeID ArgTy, const Type *Ty, unsigned IntBits, unsigned SizeTBits)
static bool hasBcmp(const Triple &TT)
static const VecDesc VecFuncs_SLEEFGNUABI_VF2[]
static void initializeBase(TargetLibraryInfoImpl &TLI, const Triple &T)
static bool compareByScalarFnName(const VecDesc &LHS, const VecDesc &RHS)
static const VecDesc VecFuncs_LIBMVEC_AARCH64[]
static bool compareByVectorFnName(const VecDesc &LHS, const VecDesc &RHS)
static const VecDesc VecFuncs_SLEEFGNUABI_VF4[]
static const FuncProtoTy Signatures[]
static const VecDesc VecFuncs_ArmPL[]
const VecDesc VecFuncs_AMDLIBM[]
static bool isValidProtoForSizeReturningNew(const FunctionType &FTy, LibFunc F, const Module &M, int SizeTSizeBits)
static const VecDesc VecFuncs_LIBMVEC_X86[]
static cl::opt< TargetLibraryInfoImpl::VectorLibrary > ClVectorLibrary("vector-library", cl::Hidden, cl::desc("Vector functions library"), cl::init(TargetLibraryInfoImpl::NoLibrary), cl::values(clEnumValN(TargetLibraryInfoImpl::NoLibrary, "none", "No vector functions library"), clEnumValN(TargetLibraryInfoImpl::Accelerate, "Accelerate", "Accelerate framework"), clEnumValN(TargetLibraryInfoImpl::DarwinLibSystemM, "Darwin_libsystem_m", "Darwin libsystem_m"), clEnumValN(TargetLibraryInfoImpl::LIBMVEC, "LIBMVEC", "GLIBC Vector Math library"), clEnumValN(TargetLibraryInfoImpl::MASSV, "MASSV", "IBM MASS vector library"), clEnumValN(TargetLibraryInfoImpl::SVML, "SVML", "Intel SVML library"), clEnumValN(TargetLibraryInfoImpl::SLEEFGNUABI, "sleefgnuabi", "SIMD Library for Evaluating Elementary Functions"), clEnumValN(TargetLibraryInfoImpl::ArmPL, "ArmPL", "Arm Performance Libraries"), clEnumValN(TargetLibraryInfoImpl::AMDLIBM, "AMDLIBM", "AMD vector math library")))
static const VecDesc VecFuncs_DarwinLibSystemM[]
static const VecDesc VecFuncs_SVML[]
std::array< FuncArgTypeID, 8 > FuncProtoTy
static const VecDesc VecFuncs_SLEEFGNUABI_VFScalable[]
static bool compareWithScalarFnName(const VecDesc &LHS, StringRef S)
static const VecDesc VecFuncs_Accelerate[]
static const VecDesc VecFuncs_SLEEFGNUABI_VFScalableRISCV[]
static DenseMap< StringRef, LibFunc > buildIndexMap(ArrayRef< StringLiteral > StandardNames)
Value * RHS
Value * LHS
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition ArrayRef.h:41
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
CallingConv::ID getCallingConv() const
FunctionType * getFunctionType() const
iterator find(const_arg_type_t< KeyT > Val)
Definition DenseMap.h:178
iterator end()
Definition DenseMap.h:81
void reserve(size_type NumEntries)
Grow the densemap so that it can contain at least NumEntries items before resizing again.
Definition DenseMap.h:114
static constexpr ElementCount getScalable(ScalarTy MinVal)
Definition TypeSize.h:313
static constexpr ElementCount getFixed(ScalarTy MinVal)
Definition TypeSize.h:310
Class to represent function types.
FunctionType * getFunctionType() const
Returns the FunctionType for me.
Definition Function.h:209
bool isIntrinsic() const
isIntrinsic - Returns true if the function's name starts with "llvm.".
Definition Function.h:249
static StringRef dropLLVMManglingEscape(StringRef Name)
If the given string begins with the GlobalValue name mangling escape character '\1',...
Module * getParent()
Get the module that this global value is contained inside of...
ImmutablePass(char &pid)
Definition Pass.h:287
LLVM_ABI const Module * getModule() const
Return the module owning the function this instruction belongs to or nullptr it the function does not...
A Module instance is used to store all the information related to an LLVM module.
Definition Module.h:67
const Triple & getTargetTriple() const
Get the target triple which is a string describing the target host.
Definition Module.h:281
static LLVM_ABI PointerType * get(Type *ElementType, unsigned AddressSpace)
This constructs a pointer to an object of the specified type in a numbered address space.
SmallString - A SmallString is just a SmallVector with methods and accessors that make it work better...
Definition SmallString.h:26
A wrapper around a string literal that serves as a proxy for constructing global tables of StringRefs...
Definition StringRef.h:854
StringRef - Represent a constant reference to a string, i.e.
Definition StringRef.h:55
constexpr bool empty() const
empty - Check if the string is empty.
Definition StringRef.h:143
bool contains(StringRef Other) const
Return true if the given string is a substring of *this, and false otherwise.
Definition StringRef.h:426
Class to represent struct types.
static LLVM_ABI StructType * get(LLVMContext &Context, ArrayRef< Type * > Elements, bool isPacked=false)
This static method is the primary way to create a literal StructType.
Definition Type.cpp:414
LLVM_ABI TargetLibraryInfo run(const Function &F, FunctionAnalysisManager &)
Implementation of the target library information.
void setShouldExtI32Param(bool Val)
Set to true iff i32 parameters to library functions should have signext or zeroext attributes if they...
void setShouldExtI32Return(bool Val)
Set to true iff i32 results from library functions should have signext or zeroext attributes if they ...
LLVM_ABI unsigned getWCharSize(const Module &M) const
Returns the size of the wchar_t type in bytes or 0 if the size is unknown.
LLVM_ABI bool getLibFunc(StringRef funcName, LibFunc &F) const
Searches for a particular function name.
LLVM_ABI void getWidestVF(StringRef ScalarF, ElementCount &FixedVF, ElementCount &Scalable) const
Returns the largest vectorization factor used in the list of vector functions.
bool isFunctionVectorizable(StringRef F, const ElementCount &VF) const
Return true if the function F has a vector equivalent with vectorization factor VF.
void setShouldSignExtI32Param(bool Val)
Set to true iff i32 parameters to library functions should have signext attribute if they correspond ...
void setAvailableWithName(LibFunc F, StringRef Name)
Forces a function to be marked as available and provide an alternate name that must be used.
unsigned getIntSize() const
Get size of a C-level int or unsigned int, in bits.
LLVM_ABI void addVectorizableFunctionsFromVecLib(enum VectorLibrary VecLib, const llvm::Triple &TargetTriple)
Calls addVectorizableFunctions with a known preset of functions for the given vector library.
void setIntSize(unsigned Bits)
Initialize the C-level size of an integer.
LLVM_ABI unsigned getSizeTSize(const Module &M) const
Returns the size of the size_t type in bits.
LLVM_ABI void addVectorizableFunctions(ArrayRef< VecDesc > Fns)
Add a set of scalar -> vector mappings, queryable via getVectorizedFunction and getScalarizedFunction...
LLVM_ABI const VecDesc * getVectorMappingInfo(StringRef F, const ElementCount &VF, bool Masked) const
Return a pointer to a VecDesc object holding all info for scalar to vector mappings in TLI for the eq...
static LLVM_ABI bool isCallingConvCCompatible(CallBase *CI)
Returns true if call site / callee has cdecl-compatible calling conventions.
void setShouldSignExtI32Return(bool Val)
Set to true iff i32 results from library functions should have signext attribute if they correspond t...
LLVM_ABI TargetLibraryInfoImpl & operator=(const TargetLibraryInfoImpl &TLI)
LLVM_ABI void disableAllFunctions()
Disables all builtins.
VectorLibrary
List of known vector-functions libraries.
void setUnavailable(LibFunc F)
Forces a function to be marked as unavailable.
LLVM_ABI StringRef getVectorizedFunction(StringRef F, const ElementCount &VF, bool Masked) const
Return the name of the equivalent of F, vectorized with factor VF.
void setAvailable(LibFunc F)
Forces a function to be marked as available.
TargetLibraryInfoWrapperPass()
The default constructor should not be used and is only for pass manager initialization purposes.
Provides information about what library functions are available for the current target.
static void initExtensionsForTriple(bool &ShouldExtI32Param, bool &ShouldExtI32Return, bool &ShouldSignExtI32Param, bool &ShouldSignExtI32Return, const Triple &T)
Triple - Helper class for working with autoconf configuration names.
Definition Triple.h:47
ArchType getArch() const
Get the parsed architecture type of this triple.
Definition Triple.h:413
The instances of the Type class are immutable: once they are created, they are never changed.
Definition Type.h:45
bool isArrayTy() const
True if this is an instance of ArrayType.
Definition Type.h:264
Type * getArrayElementType() const
Definition Type.h:408
LLVM_ABI uint64_t getArrayNumElements() const
bool isFloatingPointTy() const
Return true if this is one of the floating-point types.
Definition Type.h:184
static LLVM_ABI IntegerType * getIntNTy(LLVMContext &C, unsigned N)
Definition Type.cpp:301
LLVM_ABI StringRef getName() const
Return a constant reference to the value's name.
Definition Value.cpp:322
Provides info so a possible vectorization of a function can be computed.
LLVM_ABI std::string getVectorFunctionABIVariantString() const
Returns a vector function ABI variant string on the form: ZGV<isa><mask><vlen><vparams><scalarname>(<...
StringRef getVectorFnName() const
Represents a version number in the form major[.minor[.subminor[.build]]].
static constexpr bool isKnownGT(const FixedOrScalableQuantity &LHS, const FixedOrScalableQuantity &RHS)
Definition TypeSize.h:224
A raw_ostream that writes to an SmallVector or SmallString.
StringRef str() const
Return a StringRef for the vector contents.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
Definition CallingConv.h:24
@ ARM_APCS
ARM Procedure Calling Standard (obsolete, but still used on some targets).
@ ARM_AAPCS
ARM Architecture Procedure Calling Standard calling convention (aka EABI).
@ ARM_AAPCS_VFP
Same as ARM_AAPCS, but uses hard floating point ABI.
@ C
The default llvm calling convention, compatible with C.
Definition CallingConv.h:34
ValuesClass values(OptsTy... Options)
Helper to build a ValuesClass by forwarding a variable number of arguments as an initializer list to ...
initializer< Ty > init(const Ty &Val)
This is an optimization pass for GlobalISel generic memory operations.
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:643
void append_range(Container &C, Range &&R)
Wrapper function to append range R to container C.
Definition STLExtras.h:2136
auto cast_or_null(const Y &Val)
Definition Casting.h:714
void sort(IteratorTy Start, IteratorTy End)
Definition STLExtras.h:1622
auto lower_bound(R &&Range, T &&Value)
Provide wrappers to std::lower_bound which take ranges instead of having to pass begin/end explicitly...
Definition STLExtras.h:1994
OutputIt move(R &&Range, OutputIt Out)
Provide wrappers to std::move which take ranges instead of having to pass begin/end explicitly.
Definition STLExtras.h:1867
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:559
AnalysisManager< Function > FunctionAnalysisManager
Convenience typedef for the Function analysis manager.
Implement std::hash so that hash_code can be used in STL containers.
Definition BitVector.h:867
A special type used by analysis passes to provide an address that identifies that particular analysis...
Definition Analysis.h:29