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