1 //===-- TargetLibraryInfo.cpp - Runtime library information ----------------==//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file implements the TargetLibraryInfo class.
12 //===----------------------------------------------------------------------===//
14 #include "llvm/Analysis/TargetLibraryInfo.h"
15 #include "llvm/ADT/Triple.h"
16 #include "llvm/IR/Constants.h"
17 #include "llvm/Support/CommandLine.h"
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::SVML, "SVML",
28 "Intel SVML library")));
30 StringRef const TargetLibraryInfoImpl::StandardNames[LibFunc::NumLibFuncs] = {
31 #define TLI_DEFINE_STRING
32 #include "llvm/Analysis/TargetLibraryInfo.def"
35 static bool hasSinCosPiStret(const Triple &T) {
36 // Only Darwin variants have _stret versions of combined trig functions.
40 // The ABI is rather complicated on x86, so don't do anything special there.
41 if (T.getArch() == Triple::x86)
44 if (T.isMacOSX() && T.isMacOSXVersionLT(10, 9))
47 if (T.isiOS() && T.isOSVersionLT(7, 0))
53 /// Initialize the set of available library functions based on the specified
54 /// target triple. This should be carefully written so that a missing target
55 /// triple gets a sane set of defaults.
56 static void initialize(TargetLibraryInfoImpl &TLI, const Triple &T,
57 ArrayRef<StringRef> StandardNames) {
58 // Verify that the StandardNames array is in alphabetical order.
59 assert(std::is_sorted(StandardNames.begin(), StandardNames.end(),
60 [](StringRef LHS, StringRef RHS) {
63 "TargetLibraryInfoImpl function names must be sorted");
65 bool ShouldExtI32Param = false, ShouldExtI32Return = false,
66 ShouldSignExtI32Param = false;
67 // PowerPC64, Sparc64, SystemZ need signext/zeroext on i32 parameters and
68 // returns corresponding to C-level ints and unsigned ints.
69 if (T.getArch() == Triple::ppc64 || T.getArch() == Triple::ppc64le ||
70 T.getArch() == Triple::sparcv9 || T.getArch() == Triple::systemz) {
71 ShouldExtI32Param = true;
72 ShouldExtI32Return = true;
74 // Mips, on the other hand, needs signext on i32 parameters corresponding
75 // to both signed and unsigned ints.
76 if (T.getArch() == Triple::mips || T.getArch() == Triple::mipsel ||
77 T.getArch() == Triple::mips64 || T.getArch() == Triple::mips64el) {
78 ShouldSignExtI32Param = true;
80 TLI.setShouldExtI32Param(ShouldExtI32Param);
81 TLI.setShouldExtI32Return(ShouldExtI32Return);
82 TLI.setShouldSignExtI32Param(ShouldSignExtI32Param);
84 if (T.getArch() == Triple::r600 ||
85 T.getArch() == Triple::amdgcn) {
86 TLI.setUnavailable(LibFunc_ldexp);
87 TLI.setUnavailable(LibFunc_ldexpf);
88 TLI.setUnavailable(LibFunc_ldexpl);
89 TLI.setUnavailable(LibFunc_exp10);
90 TLI.setUnavailable(LibFunc_exp10f);
91 TLI.setUnavailable(LibFunc_exp10l);
92 TLI.setUnavailable(LibFunc_log10);
93 TLI.setUnavailable(LibFunc_log10f);
94 TLI.setUnavailable(LibFunc_log10l);
97 // There are no library implementations of mempcy and memset for AMD gpus and
98 // these can be difficult to lower in the backend.
99 if (T.getArch() == Triple::r600 ||
100 T.getArch() == Triple::amdgcn) {
101 TLI.setUnavailable(LibFunc_memcpy);
102 TLI.setUnavailable(LibFunc_memset);
103 TLI.setUnavailable(LibFunc_memset_pattern16);
107 // memset_pattern16 is only available on iOS 3.0 and Mac OS X 10.5 and later.
108 // All versions of watchOS support it.
110 if (T.isMacOSXVersionLT(10, 5))
111 TLI.setUnavailable(LibFunc_memset_pattern16);
112 } else if (T.isiOS()) {
113 if (T.isOSVersionLT(3, 0))
114 TLI.setUnavailable(LibFunc_memset_pattern16);
115 } else if (!T.isWatchOS()) {
116 TLI.setUnavailable(LibFunc_memset_pattern16);
119 if (!hasSinCosPiStret(T)) {
120 TLI.setUnavailable(LibFunc_sinpi);
121 TLI.setUnavailable(LibFunc_sinpif);
122 TLI.setUnavailable(LibFunc_cospi);
123 TLI.setUnavailable(LibFunc_cospif);
124 TLI.setUnavailable(LibFunc_sincospi_stret);
125 TLI.setUnavailable(LibFunc_sincospif_stret);
128 if (T.isMacOSX() && T.getArch() == Triple::x86 &&
129 !T.isMacOSXVersionLT(10, 7)) {
130 // x86-32 OSX has a scheme where fwrite and fputs (and some other functions
131 // we don't care about) have two versions; on recent OSX, the one we want
132 // has a $UNIX2003 suffix. The two implementations are identical except
133 // for the return value in some edge cases. However, we don't want to
134 // generate code that depends on the old symbols.
135 TLI.setAvailableWithName(LibFunc_fwrite, "fwrite$UNIX2003");
136 TLI.setAvailableWithName(LibFunc_fputs, "fputs$UNIX2003");
139 // iprintf and friends are only available on XCore and TCE.
140 if (T.getArch() != Triple::xcore && T.getArch() != Triple::tce) {
141 TLI.setUnavailable(LibFunc_iprintf);
142 TLI.setUnavailable(LibFunc_siprintf);
143 TLI.setUnavailable(LibFunc_fiprintf);
146 if (T.isOSWindows() && !T.isOSCygMing()) {
147 // Win32 does not support long double
148 TLI.setUnavailable(LibFunc_acosl);
149 TLI.setUnavailable(LibFunc_asinl);
150 TLI.setUnavailable(LibFunc_atanl);
151 TLI.setUnavailable(LibFunc_atan2l);
152 TLI.setUnavailable(LibFunc_ceill);
153 TLI.setUnavailable(LibFunc_copysignl);
154 TLI.setUnavailable(LibFunc_cosl);
155 TLI.setUnavailable(LibFunc_coshl);
156 TLI.setUnavailable(LibFunc_expl);
157 TLI.setUnavailable(LibFunc_fabsf); // Win32 and Win64 both lack fabsf
158 TLI.setUnavailable(LibFunc_fabsl);
159 TLI.setUnavailable(LibFunc_floorl);
160 TLI.setUnavailable(LibFunc_fmaxl);
161 TLI.setUnavailable(LibFunc_fminl);
162 TLI.setUnavailable(LibFunc_fmodl);
163 TLI.setUnavailable(LibFunc_frexpl);
164 TLI.setUnavailable(LibFunc_ldexpf);
165 TLI.setUnavailable(LibFunc_ldexpl);
166 TLI.setUnavailable(LibFunc_logl);
167 TLI.setUnavailable(LibFunc_modfl);
168 TLI.setUnavailable(LibFunc_powl);
169 TLI.setUnavailable(LibFunc_sinl);
170 TLI.setUnavailable(LibFunc_sinhl);
171 TLI.setUnavailable(LibFunc_sqrtl);
172 TLI.setUnavailable(LibFunc_tanl);
173 TLI.setUnavailable(LibFunc_tanhl);
175 // Win32 only has C89 math
176 TLI.setUnavailable(LibFunc_acosh);
177 TLI.setUnavailable(LibFunc_acoshf);
178 TLI.setUnavailable(LibFunc_acoshl);
179 TLI.setUnavailable(LibFunc_asinh);
180 TLI.setUnavailable(LibFunc_asinhf);
181 TLI.setUnavailable(LibFunc_asinhl);
182 TLI.setUnavailable(LibFunc_atanh);
183 TLI.setUnavailable(LibFunc_atanhf);
184 TLI.setUnavailable(LibFunc_atanhl);
185 TLI.setUnavailable(LibFunc_cabs);
186 TLI.setUnavailable(LibFunc_cabsf);
187 TLI.setUnavailable(LibFunc_cabsl);
188 TLI.setUnavailable(LibFunc_cbrt);
189 TLI.setUnavailable(LibFunc_cbrtf);
190 TLI.setUnavailable(LibFunc_cbrtl);
191 TLI.setUnavailable(LibFunc_exp2);
192 TLI.setUnavailable(LibFunc_exp2f);
193 TLI.setUnavailable(LibFunc_exp2l);
194 TLI.setUnavailable(LibFunc_expm1);
195 TLI.setUnavailable(LibFunc_expm1f);
196 TLI.setUnavailable(LibFunc_expm1l);
197 TLI.setUnavailable(LibFunc_log2);
198 TLI.setUnavailable(LibFunc_log2f);
199 TLI.setUnavailable(LibFunc_log2l);
200 TLI.setUnavailable(LibFunc_log1p);
201 TLI.setUnavailable(LibFunc_log1pf);
202 TLI.setUnavailable(LibFunc_log1pl);
203 TLI.setUnavailable(LibFunc_logb);
204 TLI.setUnavailable(LibFunc_logbf);
205 TLI.setUnavailable(LibFunc_logbl);
206 TLI.setUnavailable(LibFunc_nearbyint);
207 TLI.setUnavailable(LibFunc_nearbyintf);
208 TLI.setUnavailable(LibFunc_nearbyintl);
209 TLI.setUnavailable(LibFunc_rint);
210 TLI.setUnavailable(LibFunc_rintf);
211 TLI.setUnavailable(LibFunc_rintl);
212 TLI.setUnavailable(LibFunc_round);
213 TLI.setUnavailable(LibFunc_roundf);
214 TLI.setUnavailable(LibFunc_roundl);
215 TLI.setUnavailable(LibFunc_trunc);
216 TLI.setUnavailable(LibFunc_truncf);
217 TLI.setUnavailable(LibFunc_truncl);
219 // Win32 provides some C99 math with mangled names
220 TLI.setAvailableWithName(LibFunc_copysign, "_copysign");
222 if (T.getArch() == Triple::x86) {
223 // Win32 on x86 implements single-precision math functions as macros
224 TLI.setUnavailable(LibFunc_acosf);
225 TLI.setUnavailable(LibFunc_asinf);
226 TLI.setUnavailable(LibFunc_atanf);
227 TLI.setUnavailable(LibFunc_atan2f);
228 TLI.setUnavailable(LibFunc_ceilf);
229 TLI.setUnavailable(LibFunc_copysignf);
230 TLI.setUnavailable(LibFunc_cosf);
231 TLI.setUnavailable(LibFunc_coshf);
232 TLI.setUnavailable(LibFunc_expf);
233 TLI.setUnavailable(LibFunc_floorf);
234 TLI.setUnavailable(LibFunc_fminf);
235 TLI.setUnavailable(LibFunc_fmaxf);
236 TLI.setUnavailable(LibFunc_fmodf);
237 TLI.setUnavailable(LibFunc_logf);
238 TLI.setUnavailable(LibFunc_log10f);
239 TLI.setUnavailable(LibFunc_modff);
240 TLI.setUnavailable(LibFunc_powf);
241 TLI.setUnavailable(LibFunc_sinf);
242 TLI.setUnavailable(LibFunc_sinhf);
243 TLI.setUnavailable(LibFunc_sqrtf);
244 TLI.setUnavailable(LibFunc_tanf);
245 TLI.setUnavailable(LibFunc_tanhf);
248 // These definitions are due to math-finite.h header on Linux
249 TLI.setUnavailable(LibFunc_acos_finite);
250 TLI.setUnavailable(LibFunc_acosf_finite);
251 TLI.setUnavailable(LibFunc_acosl_finite);
252 TLI.setUnavailable(LibFunc_acosh_finite);
253 TLI.setUnavailable(LibFunc_acoshf_finite);
254 TLI.setUnavailable(LibFunc_acoshl_finite);
255 TLI.setUnavailable(LibFunc_asin_finite);
256 TLI.setUnavailable(LibFunc_asinf_finite);
257 TLI.setUnavailable(LibFunc_asinl_finite);
258 TLI.setUnavailable(LibFunc_atan2_finite);
259 TLI.setUnavailable(LibFunc_atan2f_finite);
260 TLI.setUnavailable(LibFunc_atan2l_finite);
261 TLI.setUnavailable(LibFunc_atanh_finite);
262 TLI.setUnavailable(LibFunc_atanhf_finite);
263 TLI.setUnavailable(LibFunc_atanhl_finite);
264 TLI.setUnavailable(LibFunc_cosh_finite);
265 TLI.setUnavailable(LibFunc_coshf_finite);
266 TLI.setUnavailable(LibFunc_coshl_finite);
267 TLI.setUnavailable(LibFunc_exp10_finite);
268 TLI.setUnavailable(LibFunc_exp10f_finite);
269 TLI.setUnavailable(LibFunc_exp10l_finite);
270 TLI.setUnavailable(LibFunc_exp2_finite);
271 TLI.setUnavailable(LibFunc_exp2f_finite);
272 TLI.setUnavailable(LibFunc_exp2l_finite);
273 TLI.setUnavailable(LibFunc_exp_finite);
274 TLI.setUnavailable(LibFunc_expf_finite);
275 TLI.setUnavailable(LibFunc_expl_finite);
276 TLI.setUnavailable(LibFunc_log10_finite);
277 TLI.setUnavailable(LibFunc_log10f_finite);
278 TLI.setUnavailable(LibFunc_log10l_finite);
279 TLI.setUnavailable(LibFunc_log2_finite);
280 TLI.setUnavailable(LibFunc_log2f_finite);
281 TLI.setUnavailable(LibFunc_log2l_finite);
282 TLI.setUnavailable(LibFunc_log_finite);
283 TLI.setUnavailable(LibFunc_logf_finite);
284 TLI.setUnavailable(LibFunc_logl_finite);
285 TLI.setUnavailable(LibFunc_pow_finite);
286 TLI.setUnavailable(LibFunc_powf_finite);
287 TLI.setUnavailable(LibFunc_powl_finite);
288 TLI.setUnavailable(LibFunc_sinh_finite);
289 TLI.setUnavailable(LibFunc_sinhf_finite);
290 TLI.setUnavailable(LibFunc_sinhl_finite);
292 // Win32 does *not* provide provide these functions, but they are
293 // generally available on POSIX-compliant systems:
294 TLI.setUnavailable(LibFunc_access);
295 TLI.setUnavailable(LibFunc_bcmp);
296 TLI.setUnavailable(LibFunc_bcopy);
297 TLI.setUnavailable(LibFunc_bzero);
298 TLI.setUnavailable(LibFunc_chmod);
299 TLI.setUnavailable(LibFunc_chown);
300 TLI.setUnavailable(LibFunc_closedir);
301 TLI.setUnavailable(LibFunc_ctermid);
302 TLI.setUnavailable(LibFunc_fdopen);
303 TLI.setUnavailable(LibFunc_ffs);
304 TLI.setUnavailable(LibFunc_fileno);
305 TLI.setUnavailable(LibFunc_flockfile);
306 TLI.setUnavailable(LibFunc_fseeko);
307 TLI.setUnavailable(LibFunc_fstat);
308 TLI.setUnavailable(LibFunc_fstatvfs);
309 TLI.setUnavailable(LibFunc_ftello);
310 TLI.setUnavailable(LibFunc_ftrylockfile);
311 TLI.setUnavailable(LibFunc_funlockfile);
312 TLI.setUnavailable(LibFunc_getc_unlocked);
313 TLI.setUnavailable(LibFunc_getitimer);
314 TLI.setUnavailable(LibFunc_getlogin_r);
315 TLI.setUnavailable(LibFunc_getpwnam);
316 TLI.setUnavailable(LibFunc_gettimeofday);
317 TLI.setUnavailable(LibFunc_htonl);
318 TLI.setUnavailable(LibFunc_htons);
319 TLI.setUnavailable(LibFunc_lchown);
320 TLI.setUnavailable(LibFunc_lstat);
321 TLI.setUnavailable(LibFunc_memccpy);
322 TLI.setUnavailable(LibFunc_mkdir);
323 TLI.setUnavailable(LibFunc_ntohl);
324 TLI.setUnavailable(LibFunc_ntohs);
325 TLI.setUnavailable(LibFunc_open);
326 TLI.setUnavailable(LibFunc_opendir);
327 TLI.setUnavailable(LibFunc_pclose);
328 TLI.setUnavailable(LibFunc_popen);
329 TLI.setUnavailable(LibFunc_pread);
330 TLI.setUnavailable(LibFunc_pwrite);
331 TLI.setUnavailable(LibFunc_read);
332 TLI.setUnavailable(LibFunc_readlink);
333 TLI.setUnavailable(LibFunc_realpath);
334 TLI.setUnavailable(LibFunc_rmdir);
335 TLI.setUnavailable(LibFunc_setitimer);
336 TLI.setUnavailable(LibFunc_stat);
337 TLI.setUnavailable(LibFunc_statvfs);
338 TLI.setUnavailable(LibFunc_stpcpy);
339 TLI.setUnavailable(LibFunc_stpncpy);
340 TLI.setUnavailable(LibFunc_strcasecmp);
341 TLI.setUnavailable(LibFunc_strncasecmp);
342 TLI.setUnavailable(LibFunc_times);
343 TLI.setUnavailable(LibFunc_uname);
344 TLI.setUnavailable(LibFunc_unlink);
345 TLI.setUnavailable(LibFunc_unsetenv);
346 TLI.setUnavailable(LibFunc_utime);
347 TLI.setUnavailable(LibFunc_utimes);
348 TLI.setUnavailable(LibFunc_write);
350 // Win32 does *not* provide provide these functions, but they are
352 TLI.setUnavailable(LibFunc_atoll);
353 TLI.setUnavailable(LibFunc_frexpf);
354 TLI.setUnavailable(LibFunc_llabs);
359 // exp10 and exp10f are not available on OS X until 10.9 and iOS until 7.0
360 // and their names are __exp10 and __exp10f. exp10l is not available on
362 TLI.setUnavailable(LibFunc_exp10l);
363 if (T.isMacOSXVersionLT(10, 9)) {
364 TLI.setUnavailable(LibFunc_exp10);
365 TLI.setUnavailable(LibFunc_exp10f);
367 TLI.setAvailableWithName(LibFunc_exp10, "__exp10");
368 TLI.setAvailableWithName(LibFunc_exp10f, "__exp10f");
373 case Triple::WatchOS:
374 TLI.setUnavailable(LibFunc_exp10l);
375 if (!T.isWatchOS() && (T.isOSVersionLT(7, 0) ||
376 (T.isOSVersionLT(9, 0) &&
377 (T.getArch() == Triple::x86 ||
378 T.getArch() == Triple::x86_64)))) {
379 TLI.setUnavailable(LibFunc_exp10);
380 TLI.setUnavailable(LibFunc_exp10f);
382 TLI.setAvailableWithName(LibFunc_exp10, "__exp10");
383 TLI.setAvailableWithName(LibFunc_exp10f, "__exp10f");
387 // exp10, exp10f, exp10l is available on Linux (GLIBC) but are extremely
388 // buggy prior to glibc version 2.18. Until this version is widely deployed
389 // or we have a reasonable detection strategy, we cannot use exp10 reliably
392 // Fall through to disable all of them.
395 TLI.setUnavailable(LibFunc_exp10);
396 TLI.setUnavailable(LibFunc_exp10f);
397 TLI.setUnavailable(LibFunc_exp10l);
400 // ffsl is available on at least Darwin, Mac OS X, iOS, FreeBSD, and
402 // http://developer.apple.com/library/mac/#documentation/Darwin/Reference/ManPages/man3/ffsl.3.html
403 // http://svn.freebsd.org/base/head/lib/libc/string/ffsl.c
404 // http://www.gnu.org/software/gnulib/manual/html_node/ffsl.html
410 case Triple::WatchOS:
411 case Triple::FreeBSD:
415 TLI.setUnavailable(LibFunc_ffsl);
418 // ffsll is available on at least FreeBSD and Linux (GLIBC):
419 // http://svn.freebsd.org/base/head/lib/libc/string/ffsll.c
420 // http://www.gnu.org/software/gnulib/manual/html_node/ffsll.html
426 case Triple::WatchOS:
427 case Triple::FreeBSD:
431 TLI.setUnavailable(LibFunc_ffsll);
434 // The following functions are available on at least FreeBSD:
435 // http://svn.freebsd.org/base/head/lib/libc/string/fls.c
436 // http://svn.freebsd.org/base/head/lib/libc/string/flsl.c
437 // http://svn.freebsd.org/base/head/lib/libc/string/flsll.c
438 if (!T.isOSFreeBSD()) {
439 TLI.setUnavailable(LibFunc_fls);
440 TLI.setUnavailable(LibFunc_flsl);
441 TLI.setUnavailable(LibFunc_flsll);
444 // The following functions are available on at least Linux:
445 if (!T.isOSLinux()) {
446 TLI.setUnavailable(LibFunc_dunder_strdup);
447 TLI.setUnavailable(LibFunc_dunder_strtok_r);
448 TLI.setUnavailable(LibFunc_dunder_isoc99_scanf);
449 TLI.setUnavailable(LibFunc_dunder_isoc99_sscanf);
450 TLI.setUnavailable(LibFunc_under_IO_getc);
451 TLI.setUnavailable(LibFunc_under_IO_putc);
452 TLI.setUnavailable(LibFunc_memalign);
453 TLI.setUnavailable(LibFunc_fopen64);
454 TLI.setUnavailable(LibFunc_fseeko64);
455 TLI.setUnavailable(LibFunc_fstat64);
456 TLI.setUnavailable(LibFunc_fstatvfs64);
457 TLI.setUnavailable(LibFunc_ftello64);
458 TLI.setUnavailable(LibFunc_lstat64);
459 TLI.setUnavailable(LibFunc_open64);
460 TLI.setUnavailable(LibFunc_stat64);
461 TLI.setUnavailable(LibFunc_statvfs64);
462 TLI.setUnavailable(LibFunc_tmpfile64);
465 // As currently implemented in clang, NVPTX code has no standard library to
466 // speak of. Headers provide a standard-ish library implementation, but many
467 // of the signatures are wrong -- for example, many libm functions are not
470 // libdevice, an IR library provided by nvidia, is linked in by the front-end,
471 // but only used functions are provided to llvm. Moreover, most of the
472 // functions in libdevice don't map precisely to standard library functions.
474 // FIXME: Having no standard library prevents e.g. many fastmath
475 // optimizations, so this situation should be fixed.
477 TLI.disableAllFunctions();
478 TLI.setAvailable(LibFunc_nvvm_reflect);
480 TLI.setUnavailable(LibFunc_nvvm_reflect);
483 TLI.addVectorizableFunctionsFromVecLib(ClVectorLibrary);
486 TargetLibraryInfoImpl::TargetLibraryInfoImpl() {
487 // Default to everything being available.
488 memset(AvailableArray, -1, sizeof(AvailableArray));
490 initialize(*this, Triple(), StandardNames);
493 TargetLibraryInfoImpl::TargetLibraryInfoImpl(const Triple &T) {
494 // Default to everything being available.
495 memset(AvailableArray, -1, sizeof(AvailableArray));
497 initialize(*this, T, StandardNames);
500 TargetLibraryInfoImpl::TargetLibraryInfoImpl(const TargetLibraryInfoImpl &TLI)
501 : CustomNames(TLI.CustomNames), ShouldExtI32Param(TLI.ShouldExtI32Param),
502 ShouldExtI32Return(TLI.ShouldExtI32Return),
503 ShouldSignExtI32Param(TLI.ShouldSignExtI32Param) {
504 memcpy(AvailableArray, TLI.AvailableArray, sizeof(AvailableArray));
505 VectorDescs = TLI.VectorDescs;
506 ScalarDescs = TLI.ScalarDescs;
509 TargetLibraryInfoImpl::TargetLibraryInfoImpl(TargetLibraryInfoImpl &&TLI)
510 : CustomNames(std::move(TLI.CustomNames)),
511 ShouldExtI32Param(TLI.ShouldExtI32Param),
512 ShouldExtI32Return(TLI.ShouldExtI32Return),
513 ShouldSignExtI32Param(TLI.ShouldSignExtI32Param) {
514 std::move(std::begin(TLI.AvailableArray), std::end(TLI.AvailableArray),
516 VectorDescs = TLI.VectorDescs;
517 ScalarDescs = TLI.ScalarDescs;
520 TargetLibraryInfoImpl &TargetLibraryInfoImpl::operator=(const TargetLibraryInfoImpl &TLI) {
521 CustomNames = TLI.CustomNames;
522 ShouldExtI32Param = TLI.ShouldExtI32Param;
523 ShouldExtI32Return = TLI.ShouldExtI32Return;
524 ShouldSignExtI32Param = TLI.ShouldSignExtI32Param;
525 memcpy(AvailableArray, TLI.AvailableArray, sizeof(AvailableArray));
529 TargetLibraryInfoImpl &TargetLibraryInfoImpl::operator=(TargetLibraryInfoImpl &&TLI) {
530 CustomNames = std::move(TLI.CustomNames);
531 ShouldExtI32Param = TLI.ShouldExtI32Param;
532 ShouldExtI32Return = TLI.ShouldExtI32Return;
533 ShouldSignExtI32Param = TLI.ShouldSignExtI32Param;
534 std::move(std::begin(TLI.AvailableArray), std::end(TLI.AvailableArray),
539 static StringRef sanitizeFunctionName(StringRef funcName) {
540 // Filter out empty names and names containing null bytes, those can't be in
542 if (funcName.empty() || funcName.find('\0') != StringRef::npos)
545 // Check for \01 prefix that is used to mangle __asm declarations and
546 // strip it if present.
547 return GlobalValue::dropLLVMManglingEscape(funcName);
550 bool TargetLibraryInfoImpl::getLibFunc(StringRef funcName,
552 StringRef const *Start = &StandardNames[0];
553 StringRef const *End = &StandardNames[NumLibFuncs];
555 funcName = sanitizeFunctionName(funcName);
556 if (funcName.empty())
559 StringRef const *I = std::lower_bound(
560 Start, End, funcName, [](StringRef LHS, StringRef RHS) {
563 if (I != End && *I == funcName) {
564 F = (LibFunc)(I - Start);
570 bool TargetLibraryInfoImpl::isValidProtoForLibFunc(const FunctionType &FTy,
572 const DataLayout *DL) const {
573 LLVMContext &Ctx = FTy.getContext();
574 Type *PCharTy = Type::getInt8PtrTy(Ctx);
575 Type *SizeTTy = DL ? DL->getIntPtrType(Ctx, /*AS=*/0) : nullptr;
576 auto IsSizeTTy = [SizeTTy](Type *Ty) {
577 return SizeTTy ? Ty == SizeTTy : Ty->isIntegerTy();
579 unsigned NumParams = FTy.getNumParams();
583 return (NumParams == 1 && FTy.getParamType(0)->isPointerTy() &&
584 FTy.getReturnType()->isIntegerTy());
587 case LibFunc_strrchr:
588 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
589 FTy.getParamType(0) == FTy.getReturnType() &&
590 FTy.getParamType(1)->isIntegerTy());
595 case LibFunc_strtoul:
596 case LibFunc_strtoll:
597 case LibFunc_strtold:
598 case LibFunc_strtoull:
599 return ((NumParams == 2 || NumParams == 3) &&
600 FTy.getParamType(0)->isPointerTy() &&
601 FTy.getParamType(1)->isPointerTy());
603 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
604 FTy.getParamType(0) == FTy.getReturnType() &&
605 FTy.getParamType(1) == FTy.getReturnType());
607 case LibFunc_strncat:
608 return (NumParams == 3 && FTy.getReturnType()->isPointerTy() &&
609 FTy.getParamType(0) == FTy.getReturnType() &&
610 FTy.getParamType(1) == FTy.getReturnType() &&
611 IsSizeTTy(FTy.getParamType(2)));
613 case LibFunc_strcpy_chk:
614 case LibFunc_stpcpy_chk:
616 if (!IsSizeTTy(FTy.getParamType(NumParams)))
621 return (NumParams == 2 && FTy.getReturnType() == FTy.getParamType(0) &&
622 FTy.getParamType(0) == FTy.getParamType(1) &&
623 FTy.getParamType(0) == PCharTy);
625 case LibFunc_strncpy_chk:
626 case LibFunc_stpncpy_chk:
628 if (!IsSizeTTy(FTy.getParamType(NumParams)))
631 case LibFunc_strncpy:
632 case LibFunc_stpncpy:
633 return (NumParams == 3 && FTy.getReturnType() == FTy.getParamType(0) &&
634 FTy.getParamType(0) == FTy.getParamType(1) &&
635 FTy.getParamType(0) == PCharTy &&
636 IsSizeTTy(FTy.getParamType(2)));
638 case LibFunc_strxfrm:
639 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy() &&
640 FTy.getParamType(1)->isPointerTy());
643 return (NumParams == 2 && FTy.getReturnType()->isIntegerTy(32) &&
644 FTy.getParamType(0)->isPointerTy() &&
645 FTy.getParamType(0) == FTy.getParamType(1));
647 case LibFunc_strncmp:
648 return (NumParams == 3 && FTy.getReturnType()->isIntegerTy(32) &&
649 FTy.getParamType(0)->isPointerTy() &&
650 FTy.getParamType(0) == FTy.getParamType(1) &&
651 IsSizeTTy(FTy.getParamType(2)));
654 case LibFunc_strcspn:
655 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
656 FTy.getParamType(0) == FTy.getParamType(1) &&
657 FTy.getReturnType()->isIntegerTy());
659 case LibFunc_strcoll:
660 case LibFunc_strcasecmp:
661 case LibFunc_strncasecmp:
662 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
663 FTy.getParamType(1)->isPointerTy());
666 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
667 FTy.getParamType(0)->isPointerTy() &&
668 FTy.getParamType(1)->isPointerTy());
670 case LibFunc_strpbrk:
671 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
672 FTy.getReturnType() == FTy.getParamType(0) &&
673 FTy.getParamType(0) == FTy.getParamType(1));
676 case LibFunc_strtok_r:
677 return (NumParams >= 2 && FTy.getParamType(1)->isPointerTy());
680 case LibFunc_setvbuf:
681 return (NumParams >= 1 && FTy.getParamType(0)->isPointerTy());
683 case LibFunc_strndup:
684 return (NumParams >= 1 && FTy.getReturnType()->isPointerTy() &&
685 FTy.getParamType(0)->isPointerTy());
688 case LibFunc_statvfs:
689 case LibFunc_siprintf:
690 case LibFunc_sprintf:
691 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
692 FTy.getParamType(1)->isPointerTy());
693 case LibFunc_snprintf:
694 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy() &&
695 FTy.getParamType(2)->isPointerTy());
696 case LibFunc_setitimer:
697 return (NumParams == 3 && FTy.getParamType(1)->isPointerTy() &&
698 FTy.getParamType(2)->isPointerTy());
700 return (NumParams == 1 && FTy.getParamType(0)->isPointerTy());
702 return (NumParams == 1 && FTy.getReturnType()->isPointerTy());
704 return (NumParams == 3 && FTy.getReturnType()->isIntegerTy(32) &&
705 FTy.getParamType(0)->isPointerTy() &&
706 FTy.getParamType(1)->isPointerTy());
709 case LibFunc_memrchr:
710 return (NumParams == 3 && FTy.getReturnType()->isPointerTy() &&
711 FTy.getReturnType() == FTy.getParamType(0) &&
712 FTy.getParamType(1)->isIntegerTy(32) &&
713 IsSizeTTy(FTy.getParamType(2)));
717 return (NumParams >= 2 && FTy.getParamType(1)->isPointerTy());
719 case LibFunc_memcpy_chk:
720 case LibFunc_memmove_chk:
722 if (!IsSizeTTy(FTy.getParamType(NumParams)))
726 case LibFunc_mempcpy:
727 case LibFunc_memmove:
728 return (NumParams == 3 && FTy.getReturnType() == FTy.getParamType(0) &&
729 FTy.getParamType(0)->isPointerTy() &&
730 FTy.getParamType(1)->isPointerTy() &&
731 IsSizeTTy(FTy.getParamType(2)));
733 case LibFunc_memset_chk:
735 if (!IsSizeTTy(FTy.getParamType(NumParams)))
739 return (NumParams == 3 && FTy.getReturnType() == FTy.getParamType(0) &&
740 FTy.getParamType(0)->isPointerTy() &&
741 FTy.getParamType(1)->isIntegerTy() &&
742 IsSizeTTy(FTy.getParamType(2)));
744 case LibFunc_memccpy:
745 return (NumParams >= 2 && FTy.getParamType(1)->isPointerTy());
746 case LibFunc_memalign:
747 return (FTy.getReturnType()->isPointerTy());
748 case LibFunc_realloc:
749 case LibFunc_reallocf:
750 return (NumParams == 2 && FTy.getReturnType() == PCharTy &&
751 FTy.getParamType(0) == FTy.getReturnType() &&
752 IsSizeTTy(FTy.getParamType(1)));
754 return (NumParams == 3 && FTy.getParamType(1)->isPointerTy());
758 case LibFunc_realpath:
759 return (NumParams >= 1 && FTy.getParamType(0)->isPointerTy());
761 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
762 FTy.getParamType(1)->isPointerTy());
763 case LibFunc_readlink:
764 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
765 FTy.getParamType(1)->isPointerTy());
767 return (NumParams == 3 && FTy.getParamType(1)->isPointerTy());
770 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy() &&
771 FTy.getParamType(1)->isPointerTy());
773 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy());
775 return (NumParams == 2 && FTy.getReturnType()->isPointerTy());
783 case LibFunc_getpwnam:
784 case LibFunc_iprintf:
790 case LibFunc_under_IO_getc:
792 case LibFunc_unsetenv:
793 return (NumParams == 1 && FTy.getParamType(0)->isPointerTy());
798 case LibFunc_clearerr:
799 case LibFunc_closedir:
800 case LibFunc_ctermid:
806 case LibFunc_flockfile:
809 case LibFunc_fseeko64:
811 case LibFunc_fsetpos:
813 case LibFunc_ftello64:
815 case LibFunc_ftrylockfile:
816 case LibFunc_funlockfile:
818 case LibFunc_getc_unlocked:
819 case LibFunc_getlogin_r:
823 return (NumParams != 0 && FTy.getParamType(0)->isPointerTy());
826 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
827 FTy.getParamType(0)->isPointerTy() &&
828 FTy.getParamType(1)->isPointerTy());
830 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
831 FTy.getParamType(1)->isPointerTy());
837 case LibFunc_fstatvfs:
838 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
840 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy() &&
841 FTy.getParamType(2)->isPointerTy());
843 return (NumParams == 4 && FTy.getParamType(0)->isPointerTy() &&
844 FTy.getParamType(3)->isPointerTy());
846 return (NumParams == 4 && FTy.getReturnType()->isIntegerTy() &&
847 FTy.getParamType(0)->isPointerTy() &&
848 FTy.getParamType(1)->isIntegerTy() &&
849 FTy.getParamType(2)->isIntegerTy() &&
850 FTy.getParamType(3)->isPointerTy());
852 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
853 FTy.getParamType(1)->isPointerTy());
855 case LibFunc_fiprintf:
856 case LibFunc_fprintf:
857 return (NumParams >= 2 && FTy.getReturnType()->isIntegerTy() &&
858 FTy.getParamType(0)->isPointerTy() &&
859 FTy.getParamType(1)->isPointerTy());
860 case LibFunc_fgetpos:
861 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
862 FTy.getParamType(1)->isPointerTy());
863 case LibFunc_getchar:
864 return (NumParams == 0 && FTy.getReturnType()->isIntegerTy());
866 return (NumParams == 1 && FTy.getParamType(0) == PCharTy);
867 case LibFunc_getitimer:
868 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
870 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
873 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
874 FTy.getParamType(1)->isPointerTy());
876 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
879 return (NumParams == 4 && FTy.getParamType(1)->isPointerTy());
881 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
882 FTy.getParamType(0)->isPointerTy() &&
883 FTy.getParamType(1)->isPointerTy());
885 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
886 case LibFunc_vsscanf:
887 return (NumParams == 3 && FTy.getParamType(1)->isPointerTy() &&
888 FTy.getParamType(2)->isPointerTy());
889 case LibFunc_vfscanf:
890 return (NumParams == 3 && FTy.getParamType(1)->isPointerTy() &&
891 FTy.getParamType(2)->isPointerTy());
893 return (FTy.getReturnType()->isPointerTy());
894 case LibFunc_vprintf:
895 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy());
896 case LibFunc_vfprintf:
897 case LibFunc_vsprintf:
898 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy() &&
899 FTy.getParamType(1)->isPointerTy());
900 case LibFunc_vsnprintf:
901 return (NumParams == 4 && FTy.getParamType(0)->isPointerTy() &&
902 FTy.getParamType(2)->isPointerTy());
904 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy());
905 case LibFunc_opendir:
906 return (NumParams == 1 && FTy.getReturnType()->isPointerTy() &&
907 FTy.getParamType(0)->isPointerTy());
908 case LibFunc_tmpfile:
909 return (FTy.getReturnType()->isPointerTy());
912 return (NumParams == 1 && FTy.getReturnType()->isIntegerTy(32) &&
913 FTy.getReturnType() == FTy.getParamType(0));
916 return (NumParams == 1 && FTy.getReturnType()->isIntegerTy(16) &&
917 FTy.getReturnType() == FTy.getParamType(0));
919 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
920 FTy.getParamType(1)->isPointerTy());
922 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy());
924 return (NumParams == 4 && FTy.getParamType(3)->isPointerTy());
925 case LibFunc_dunder_strdup:
926 case LibFunc_dunder_strndup:
927 return (NumParams >= 1 && FTy.getReturnType()->isPointerTy() &&
928 FTy.getParamType(0)->isPointerTy());
929 case LibFunc_dunder_strtok_r:
930 return (NumParams == 3 && FTy.getParamType(1)->isPointerTy());
931 case LibFunc_under_IO_putc:
932 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
933 case LibFunc_dunder_isoc99_scanf:
934 return (NumParams >= 1 && FTy.getParamType(0)->isPointerTy());
936 case LibFunc_lstat64:
937 case LibFunc_statvfs64:
938 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
939 FTy.getParamType(1)->isPointerTy());
940 case LibFunc_dunder_isoc99_sscanf:
941 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
942 FTy.getParamType(1)->isPointerTy());
943 case LibFunc_fopen64:
944 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
945 FTy.getParamType(0)->isPointerTy() &&
946 FTy.getParamType(1)->isPointerTy());
947 case LibFunc_tmpfile64:
948 return (FTy.getReturnType()->isPointerTy());
949 case LibFunc_fstat64:
950 case LibFunc_fstatvfs64:
951 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
953 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy());
954 case LibFunc_gettimeofday:
955 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
956 FTy.getParamType(1)->isPointerTy());
958 // new(unsigned int);
960 // new(unsigned long);
962 // new[](unsigned int);
964 // new[](unsigned long);
966 // new(unsigned int);
967 case LibFunc_msvc_new_int:
968 // new(unsigned long long);
969 case LibFunc_msvc_new_longlong:
970 // new[](unsigned int);
971 case LibFunc_msvc_new_array_int:
972 // new[](unsigned long long);
973 case LibFunc_msvc_new_array_longlong:
974 return (NumParams == 1 && FTy.getReturnType()->isPointerTy());
976 // new(unsigned int, nothrow);
977 case LibFunc_ZnwjRKSt9nothrow_t:
978 // new(unsigned long, nothrow);
979 case LibFunc_ZnwmRKSt9nothrow_t:
980 // new[](unsigned int, nothrow);
981 case LibFunc_ZnajRKSt9nothrow_t:
982 // new[](unsigned long, nothrow);
983 case LibFunc_ZnamRKSt9nothrow_t:
984 // new(unsigned int, nothrow);
985 case LibFunc_msvc_new_int_nothrow:
986 // new(unsigned long long, nothrow);
987 case LibFunc_msvc_new_longlong_nothrow:
988 // new[](unsigned int, nothrow);
989 case LibFunc_msvc_new_array_int_nothrow:
990 // new[](unsigned long long, nothrow);
991 case LibFunc_msvc_new_array_longlong_nothrow:
992 return (NumParams == 2 && FTy.getReturnType()->isPointerTy());
994 // void operator delete[](void*);
996 // void operator delete(void*);
998 // void operator delete[](void*);
999 case LibFunc_msvc_delete_array_ptr32:
1000 // void operator delete[](void*);
1001 case LibFunc_msvc_delete_array_ptr64:
1002 // void operator delete(void*);
1003 case LibFunc_msvc_delete_ptr32:
1004 // void operator delete(void*);
1005 case LibFunc_msvc_delete_ptr64:
1006 return (NumParams == 1 && FTy.getParamType(0)->isPointerTy());
1008 // void operator delete[](void*, nothrow);
1009 case LibFunc_ZdaPvRKSt9nothrow_t:
1010 // void operator delete[](void*, unsigned int);
1011 case LibFunc_ZdaPvj:
1012 // void operator delete[](void*, unsigned long);
1013 case LibFunc_ZdaPvm:
1014 // void operator delete(void*, nothrow);
1015 case LibFunc_ZdlPvRKSt9nothrow_t:
1016 // void operator delete(void*, unsigned int);
1017 case LibFunc_ZdlPvj:
1018 // void operator delete(void*, unsigned long);
1019 case LibFunc_ZdlPvm:
1020 // void operator delete[](void*, unsigned int);
1021 case LibFunc_msvc_delete_array_ptr32_int:
1022 // void operator delete[](void*, nothrow);
1023 case LibFunc_msvc_delete_array_ptr32_nothrow:
1024 // void operator delete[](void*, unsigned long long);
1025 case LibFunc_msvc_delete_array_ptr64_longlong:
1026 // void operator delete[](void*, nothrow);
1027 case LibFunc_msvc_delete_array_ptr64_nothrow:
1028 // void operator delete(void*, unsigned int);
1029 case LibFunc_msvc_delete_ptr32_int:
1030 // void operator delete(void*, nothrow);
1031 case LibFunc_msvc_delete_ptr32_nothrow:
1032 // void operator delete(void*, unsigned long long);
1033 case LibFunc_msvc_delete_ptr64_longlong:
1034 // void operator delete(void*, nothrow);
1035 case LibFunc_msvc_delete_ptr64_nothrow:
1036 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy());
1038 case LibFunc_memset_pattern16:
1039 return (!FTy.isVarArg() && NumParams == 3 &&
1040 FTy.getParamType(0)->isPointerTy() &&
1041 FTy.getParamType(1)->isPointerTy() &&
1042 FTy.getParamType(2)->isIntegerTy());
1044 case LibFunc_cxa_guard_abort:
1045 case LibFunc_cxa_guard_acquire:
1046 case LibFunc_cxa_guard_release:
1047 case LibFunc_nvvm_reflect:
1048 return (NumParams == 1 && FTy.getParamType(0)->isPointerTy());
1050 case LibFunc_sincospi_stret:
1051 case LibFunc_sincospif_stret:
1052 return (NumParams == 1 && FTy.getParamType(0)->isFloatingPointTy());
1055 case LibFunc_acos_finite:
1057 case LibFunc_acosf_finite:
1059 case LibFunc_acosh_finite:
1060 case LibFunc_acoshf:
1061 case LibFunc_acoshf_finite:
1062 case LibFunc_acoshl:
1063 case LibFunc_acoshl_finite:
1065 case LibFunc_acosl_finite:
1067 case LibFunc_asin_finite:
1069 case LibFunc_asinf_finite:
1071 case LibFunc_asinhf:
1072 case LibFunc_asinhl:
1074 case LibFunc_asinl_finite:
1078 case LibFunc_atanh_finite:
1079 case LibFunc_atanhf:
1080 case LibFunc_atanhf_finite:
1081 case LibFunc_atanhl:
1082 case LibFunc_atanhl_finite:
1093 case LibFunc_cosh_finite:
1095 case LibFunc_coshf_finite:
1097 case LibFunc_coshl_finite:
1100 case LibFunc_exp10_finite:
1101 case LibFunc_exp10f:
1102 case LibFunc_exp10f_finite:
1103 case LibFunc_exp10l:
1104 case LibFunc_exp10l_finite:
1106 case LibFunc_exp2_finite:
1108 case LibFunc_exp2f_finite:
1110 case LibFunc_exp2l_finite:
1112 case LibFunc_exp_finite:
1114 case LibFunc_expf_finite:
1116 case LibFunc_expl_finite:
1118 case LibFunc_expm1f:
1119 case LibFunc_expm1l:
1124 case LibFunc_floorf:
1125 case LibFunc_floorl:
1127 case LibFunc_log10_finite:
1128 case LibFunc_log10f:
1129 case LibFunc_log10f_finite:
1130 case LibFunc_log10l:
1131 case LibFunc_log10l_finite:
1133 case LibFunc_log1pf:
1134 case LibFunc_log1pl:
1136 case LibFunc_log2_finite:
1138 case LibFunc_log2f_finite:
1140 case LibFunc_log2l_finite:
1142 case LibFunc_log_finite:
1147 case LibFunc_logf_finite:
1149 case LibFunc_logl_finite:
1150 case LibFunc_nearbyint:
1151 case LibFunc_nearbyintf:
1152 case LibFunc_nearbyintl:
1157 case LibFunc_roundf:
1158 case LibFunc_roundl:
1162 case LibFunc_sinh_finite:
1164 case LibFunc_sinhf_finite:
1166 case LibFunc_sinhl_finite:
1169 case LibFunc_sqrt_finite:
1171 case LibFunc_sqrtf_finite:
1173 case LibFunc_sqrtl_finite:
1181 case LibFunc_truncf:
1182 case LibFunc_truncl:
1183 return (NumParams == 1 && FTy.getReturnType()->isFloatingPointTy() &&
1184 FTy.getReturnType() == FTy.getParamType(0));
1187 case LibFunc_atan2_finite:
1188 case LibFunc_atan2f:
1189 case LibFunc_atan2f_finite:
1190 case LibFunc_atan2l:
1191 case LibFunc_atan2l_finite:
1201 case LibFunc_copysign:
1202 case LibFunc_copysignf:
1203 case LibFunc_copysignl:
1205 case LibFunc_pow_finite:
1207 case LibFunc_powf_finite:
1209 case LibFunc_powl_finite:
1210 return (NumParams == 2 && FTy.getReturnType()->isFloatingPointTy() &&
1211 FTy.getReturnType() == FTy.getParamType(0) &&
1212 FTy.getReturnType() == FTy.getParamType(1));
1215 case LibFunc_ldexpf:
1216 case LibFunc_ldexpl:
1217 return (NumParams == 2 && FTy.getReturnType()->isFloatingPointTy() &&
1218 FTy.getReturnType() == FTy.getParamType(0) &&
1219 FTy.getParamType(1)->isIntegerTy(32));
1227 return (NumParams == 1 && FTy.getReturnType()->isIntegerTy(32) &&
1228 FTy.getParamType(0)->isIntegerTy());
1230 case LibFunc_isdigit:
1231 case LibFunc_isascii:
1232 case LibFunc_toascii:
1233 case LibFunc_putchar:
1234 return (NumParams == 1 && FTy.getReturnType()->isIntegerTy(32) &&
1235 FTy.getReturnType() == FTy.getParamType(0));
1240 return (NumParams == 1 && FTy.getReturnType()->isIntegerTy() &&
1241 FTy.getReturnType() == FTy.getParamType(0));
1243 case LibFunc_cxa_atexit:
1244 return (NumParams == 3 && FTy.getReturnType()->isIntegerTy() &&
1245 FTy.getParamType(0)->isPointerTy() &&
1246 FTy.getParamType(1)->isPointerTy() &&
1247 FTy.getParamType(2)->isPointerTy());
1251 return (NumParams == 1 && FTy.getReturnType()->isDoubleTy() &&
1252 FTy.getReturnType() == FTy.getParamType(0));
1254 case LibFunc_sinpif:
1255 case LibFunc_cospif:
1256 return (NumParams == 1 && FTy.getReturnType()->isFloatTy() &&
1257 FTy.getReturnType() == FTy.getParamType(0));
1259 case LibFunc_strnlen:
1260 return (NumParams == 2 && FTy.getReturnType() == FTy.getParamType(1) &&
1261 FTy.getParamType(0) == PCharTy &&
1262 FTy.getParamType(1) == SizeTTy);
1264 case LibFunc_posix_memalign:
1265 return (NumParams == 3 && FTy.getReturnType()->isIntegerTy(32) &&
1266 FTy.getParamType(0)->isPointerTy() &&
1267 FTy.getParamType(1) == SizeTTy && FTy.getParamType(2) == SizeTTy);
1269 case LibFunc_wcslen:
1270 return (NumParams == 1 && FTy.getParamType(0)->isPointerTy() &&
1271 FTy.getReturnType()->isIntegerTy());
1275 case LibFunc_cabsl: {
1276 Type* RetTy = FTy.getReturnType();
1277 if (!RetTy->isFloatingPointTy())
1280 // NOTE: These prototypes are target specific and currently support
1281 // "complex" passed as an array or discrete real & imaginary parameters.
1282 // Add other calling conventions to enable libcall optimizations.
1284 return (FTy.getParamType(0)->isArrayTy() &&
1285 FTy.getParamType(0)->getArrayNumElements() == 2 &&
1286 FTy.getParamType(0)->getArrayElementType() == RetTy);
1287 else if (NumParams == 2)
1288 return (FTy.getParamType(0) == RetTy && FTy.getParamType(1) == RetTy);
1292 case LibFunc::NumLibFuncs:
1296 llvm_unreachable("Invalid libfunc");
1299 bool TargetLibraryInfoImpl::getLibFunc(const Function &FDecl,
1301 const DataLayout *DL =
1302 FDecl.getParent() ? &FDecl.getParent()->getDataLayout() : nullptr;
1303 return getLibFunc(FDecl.getName(), F) &&
1304 isValidProtoForLibFunc(*FDecl.getFunctionType(), F, DL);
1307 void TargetLibraryInfoImpl::disableAllFunctions() {
1308 memset(AvailableArray, 0, sizeof(AvailableArray));
1311 static bool compareByScalarFnName(const VecDesc &LHS, const VecDesc &RHS) {
1312 return LHS.ScalarFnName < RHS.ScalarFnName;
1315 static bool compareByVectorFnName(const VecDesc &LHS, const VecDesc &RHS) {
1316 return LHS.VectorFnName < RHS.VectorFnName;
1319 static bool compareWithScalarFnName(const VecDesc &LHS, StringRef S) {
1320 return LHS.ScalarFnName < S;
1323 static bool compareWithVectorFnName(const VecDesc &LHS, StringRef S) {
1324 return LHS.VectorFnName < S;
1327 void TargetLibraryInfoImpl::addVectorizableFunctions(ArrayRef<VecDesc> Fns) {
1328 VectorDescs.insert(VectorDescs.end(), Fns.begin(), Fns.end());
1329 std::sort(VectorDescs.begin(), VectorDescs.end(), compareByScalarFnName);
1331 ScalarDescs.insert(ScalarDescs.end(), Fns.begin(), Fns.end());
1332 std::sort(ScalarDescs.begin(), ScalarDescs.end(), compareByVectorFnName);
1335 void TargetLibraryInfoImpl::addVectorizableFunctionsFromVecLib(
1336 enum VectorLibrary VecLib) {
1339 const VecDesc VecFuncs[] = {
1340 // Floating-Point Arithmetic and Auxiliary Functions
1341 {"ceilf", "vceilf", 4},
1342 {"fabsf", "vfabsf", 4},
1343 {"llvm.fabs.f32", "vfabsf", 4},
1344 {"floorf", "vfloorf", 4},
1345 {"sqrtf", "vsqrtf", 4},
1346 {"llvm.sqrt.f32", "vsqrtf", 4},
1348 // Exponential and Logarithmic Functions
1349 {"expf", "vexpf", 4},
1350 {"llvm.exp.f32", "vexpf", 4},
1351 {"expm1f", "vexpm1f", 4},
1352 {"logf", "vlogf", 4},
1353 {"llvm.log.f32", "vlogf", 4},
1354 {"log1pf", "vlog1pf", 4},
1355 {"log10f", "vlog10f", 4},
1356 {"llvm.log10.f32", "vlog10f", 4},
1357 {"logbf", "vlogbf", 4},
1359 // Trigonometric Functions
1360 {"sinf", "vsinf", 4},
1361 {"llvm.sin.f32", "vsinf", 4},
1362 {"cosf", "vcosf", 4},
1363 {"llvm.cos.f32", "vcosf", 4},
1364 {"tanf", "vtanf", 4},
1365 {"asinf", "vasinf", 4},
1366 {"acosf", "vacosf", 4},
1367 {"atanf", "vatanf", 4},
1369 // Hyperbolic Functions
1370 {"sinhf", "vsinhf", 4},
1371 {"coshf", "vcoshf", 4},
1372 {"tanhf", "vtanhf", 4},
1373 {"asinhf", "vasinhf", 4},
1374 {"acoshf", "vacoshf", 4},
1375 {"atanhf", "vatanhf", 4},
1377 addVectorizableFunctions(VecFuncs);
1381 const VecDesc VecFuncs[] = {
1382 {"sin", "__svml_sin2", 2},
1383 {"sin", "__svml_sin4", 4},
1384 {"sin", "__svml_sin8", 8},
1386 {"sinf", "__svml_sinf4", 4},
1387 {"sinf", "__svml_sinf8", 8},
1388 {"sinf", "__svml_sinf16", 16},
1390 {"cos", "__svml_cos2", 2},
1391 {"cos", "__svml_cos4", 4},
1392 {"cos", "__svml_cos8", 8},
1394 {"cosf", "__svml_cosf4", 4},
1395 {"cosf", "__svml_cosf8", 8},
1396 {"cosf", "__svml_cosf16", 16},
1398 {"pow", "__svml_pow2", 2},
1399 {"pow", "__svml_pow4", 4},
1400 {"pow", "__svml_pow8", 8},
1402 {"powf", "__svml_powf4", 4},
1403 {"powf", "__svml_powf8", 8},
1404 {"powf", "__svml_powf16", 16},
1406 { "__pow_finite", "__svml_pow2", 2 },
1407 { "__pow_finite", "__svml_pow4", 4 },
1408 { "__pow_finite", "__svml_pow8", 8 },
1410 { "__powf_finite", "__svml_powf4", 4 },
1411 { "__powf_finite", "__svml_powf8", 8 },
1412 { "__powf_finite", "__svml_powf16", 16 },
1414 {"llvm.pow.f64", "__svml_pow2", 2},
1415 {"llvm.pow.f64", "__svml_pow4", 4},
1416 {"llvm.pow.f64", "__svml_pow8", 8},
1418 {"llvm.pow.f32", "__svml_powf4", 4},
1419 {"llvm.pow.f32", "__svml_powf8", 8},
1420 {"llvm.pow.f32", "__svml_powf16", 16},
1422 {"exp", "__svml_exp2", 2},
1423 {"exp", "__svml_exp4", 4},
1424 {"exp", "__svml_exp8", 8},
1426 {"expf", "__svml_expf4", 4},
1427 {"expf", "__svml_expf8", 8},
1428 {"expf", "__svml_expf16", 16},
1430 { "__exp_finite", "__svml_exp2", 2 },
1431 { "__exp_finite", "__svml_exp4", 4 },
1432 { "__exp_finite", "__svml_exp8", 8 },
1434 { "__expf_finite", "__svml_expf4", 4 },
1435 { "__expf_finite", "__svml_expf8", 8 },
1436 { "__expf_finite", "__svml_expf16", 16 },
1438 {"llvm.exp.f64", "__svml_exp2", 2},
1439 {"llvm.exp.f64", "__svml_exp4", 4},
1440 {"llvm.exp.f64", "__svml_exp8", 8},
1442 {"llvm.exp.f32", "__svml_expf4", 4},
1443 {"llvm.exp.f32", "__svml_expf8", 8},
1444 {"llvm.exp.f32", "__svml_expf16", 16},
1446 {"log", "__svml_log2", 2},
1447 {"log", "__svml_log4", 4},
1448 {"log", "__svml_log8", 8},
1450 {"logf", "__svml_logf4", 4},
1451 {"logf", "__svml_logf8", 8},
1452 {"logf", "__svml_logf16", 16},
1454 { "__log_finite", "__svml_log2", 2 },
1455 { "__log_finite", "__svml_log4", 4 },
1456 { "__log_finite", "__svml_log8", 8 },
1458 { "__logf_finite", "__svml_logf4", 4 },
1459 { "__logf_finite", "__svml_logf8", 8 },
1460 { "__logf_finite", "__svml_logf16", 16 },
1462 {"llvm.log.f64", "__svml_log2", 2},
1463 {"llvm.log.f64", "__svml_log4", 4},
1464 {"llvm.log.f64", "__svml_log8", 8},
1466 {"llvm.log.f32", "__svml_logf4", 4},
1467 {"llvm.log.f32", "__svml_logf8", 8},
1468 {"llvm.log.f32", "__svml_logf16", 16},
1470 addVectorizableFunctions(VecFuncs);
1478 bool TargetLibraryInfoImpl::isFunctionVectorizable(StringRef funcName) const {
1479 funcName = sanitizeFunctionName(funcName);
1480 if (funcName.empty())
1483 std::vector<VecDesc>::const_iterator I = std::lower_bound(
1484 VectorDescs.begin(), VectorDescs.end(), funcName,
1485 compareWithScalarFnName);
1486 return I != VectorDescs.end() && StringRef(I->ScalarFnName) == funcName;
1489 StringRef TargetLibraryInfoImpl::getVectorizedFunction(StringRef F,
1490 unsigned VF) const {
1491 F = sanitizeFunctionName(F);
1494 std::vector<VecDesc>::const_iterator I = std::lower_bound(
1495 VectorDescs.begin(), VectorDescs.end(), F, compareWithScalarFnName);
1496 while (I != VectorDescs.end() && StringRef(I->ScalarFnName) == F) {
1497 if (I->VectorizationFactor == VF)
1498 return I->VectorFnName;
1504 StringRef TargetLibraryInfoImpl::getScalarizedFunction(StringRef F,
1505 unsigned &VF) const {
1506 F = sanitizeFunctionName(F);
1510 std::vector<VecDesc>::const_iterator I = std::lower_bound(
1511 ScalarDescs.begin(), ScalarDescs.end(), F, compareWithVectorFnName);
1512 if (I == VectorDescs.end() || StringRef(I->VectorFnName) != F)
1514 VF = I->VectorizationFactor;
1515 return I->ScalarFnName;
1518 TargetLibraryInfo TargetLibraryAnalysis::run(Module &M,
1519 ModuleAnalysisManager &) {
1521 return TargetLibraryInfo(*PresetInfoImpl);
1523 return TargetLibraryInfo(lookupInfoImpl(Triple(M.getTargetTriple())));
1526 TargetLibraryInfo TargetLibraryAnalysis::run(Function &F,
1527 FunctionAnalysisManager &) {
1529 return TargetLibraryInfo(*PresetInfoImpl);
1531 return TargetLibraryInfo(
1532 lookupInfoImpl(Triple(F.getParent()->getTargetTriple())));
1535 TargetLibraryInfoImpl &TargetLibraryAnalysis::lookupInfoImpl(const Triple &T) {
1536 std::unique_ptr<TargetLibraryInfoImpl> &Impl =
1537 Impls[T.normalize()];
1539 Impl.reset(new TargetLibraryInfoImpl(T));
1544 unsigned TargetLibraryInfoImpl::getWCharSize(const Module &M) const {
1545 if (auto *ShortWChar = cast_or_null<ConstantAsMetadata>(
1546 M.getModuleFlag("wchar_size")))
1547 return cast<ConstantInt>(ShortWChar->getValue())->getZExtValue();
1551 TargetLibraryInfoWrapperPass::TargetLibraryInfoWrapperPass()
1552 : ImmutablePass(ID), TLIImpl(), TLI(TLIImpl) {
1553 initializeTargetLibraryInfoWrapperPassPass(*PassRegistry::getPassRegistry());
1556 TargetLibraryInfoWrapperPass::TargetLibraryInfoWrapperPass(const Triple &T)
1557 : ImmutablePass(ID), TLIImpl(T), TLI(TLIImpl) {
1558 initializeTargetLibraryInfoWrapperPassPass(*PassRegistry::getPassRegistry());
1561 TargetLibraryInfoWrapperPass::TargetLibraryInfoWrapperPass(
1562 const TargetLibraryInfoImpl &TLIImpl)
1563 : ImmutablePass(ID), TLIImpl(TLIImpl), TLI(this->TLIImpl) {
1564 initializeTargetLibraryInfoWrapperPassPass(*PassRegistry::getPassRegistry());
1567 AnalysisKey TargetLibraryAnalysis::Key;
1569 // Register the basic pass.
1570 INITIALIZE_PASS(TargetLibraryInfoWrapperPass, "targetlibinfo",
1571 "Target Library Information", false, true)
1572 char TargetLibraryInfoWrapperPass::ID = 0;
1574 void TargetLibraryInfoWrapperPass::anchor() {}