TargetLibraryInfo.cpp 58 KB

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