blob: b223662bed168b0da8c4ca44b1f87c6a870a98e6 [file] [log] [blame]
Chris Lattner0e125bb2011-02-18 21:50:34 +00001//===-- TargetLibraryInfo.cpp - Runtime library information ----------------==//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the TargetLibraryInfo class.
11//
12//===----------------------------------------------------------------------===//
13
Chandler Carruth62d42152015-01-15 02:16:27 +000014#include "llvm/Analysis/TargetLibraryInfo.h"
Chris Lattner0e125bb2011-02-18 21:50:34 +000015#include "llvm/ADT/Triple.h"
Matthias Braun50ec0b52017-05-19 22:37:09 +000016#include "llvm/IR/Constants.h"
Michael Zolotukhin6d8a2aa2015-03-17 19:50:55 +000017#include "llvm/Support/CommandLine.h"
Chris Lattner0e125bb2011-02-18 21:50:34 +000018using namespace llvm;
19
Michael Zolotukhin6d8a2aa2015-03-17 19:50:55 +000020static 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"),
Matt Mastena6669a12016-07-29 16:42:44 +000027 clEnumValN(TargetLibraryInfoImpl::SVML, "SVML",
Mehdi Amini732afdd2016-10-08 19:41:06 +000028 "Intel SVML library")));
Michael Zolotukhin6d8a2aa2015-03-17 19:50:55 +000029
Mehdi Amini9a72cd72016-10-01 03:10:48 +000030StringRef const TargetLibraryInfoImpl::StandardNames[LibFunc::NumLibFuncs] = {
Jan Wen Voungcd3d25a2015-03-03 23:41:58 +000031#define TLI_DEFINE_STRING
32#include "llvm/Analysis/TargetLibraryInfo.def"
Benjamin Kramer57a3d082015-03-08 16:07:39 +000033};
Eli Friedman489c0ff2011-11-17 01:27:36 +000034
Bob Wilsond8d92d92013-11-03 06:48:38 +000035static bool hasSinCosPiStret(const Triple &T) {
36 // Only Darwin variants have _stret versions of combined trig functions.
Bob Wilson9868d712014-10-09 05:43:30 +000037 if (!T.isOSDarwin())
Bob Wilsond8d92d92013-11-03 06:48:38 +000038 return false;
39
40 // The ABI is rather complicated on x86, so don't do anything special there.
41 if (T.getArch() == Triple::x86)
42 return false;
43
44 if (T.isMacOSX() && T.isMacOSXVersionLT(10, 9))
45 return false;
46
Bob Wilson9868d712014-10-09 05:43:30 +000047 if (T.isiOS() && T.isOSVersionLT(7, 0))
Bob Wilsond8d92d92013-11-03 06:48:38 +000048 return false;
49
50 return true;
51}
52
Sanjay Patel600d24b2017-12-15 18:54:29 +000053/// Initialize the set of available library functions based on the specified
54/// target triple. This should be carefully written so that a missing target
55/// triple gets a sane set of defaults.
Chandler Carruthc0291862015-01-24 02:06:09 +000056static void initialize(TargetLibraryInfoImpl &TLI, const Triple &T,
Mehdi Amini9a72cd72016-10-01 03:10:48 +000057 ArrayRef<StringRef> StandardNames) {
Bob Wilsonc740e3f2012-08-03 04:06:22 +000058 // Verify that the StandardNames array is in alphabetical order.
Craig Toppere30b8ca2016-01-03 19:43:40 +000059 assert(std::is_sorted(StandardNames.begin(), StandardNames.end(),
Mehdi Amini9a72cd72016-10-01 03:10:48 +000060 [](StringRef LHS, StringRef RHS) {
61 return LHS < RHS;
Craig Toppere30b8ca2016-01-03 19:43:40 +000062 }) &&
63 "TargetLibraryInfoImpl function names must be sorted");
Tom Stellard36a03182014-04-02 19:53:29 +000064
David Bolvanskyca22d422018-05-16 11:39:52 +000065 // Set IO unlocked variants as unavailable
66 // Set them as available per system below
67 TLI.setUnavailable(LibFunc_getchar_unlocked);
68 TLI.setUnavailable(LibFunc_putc_unlocked);
69 TLI.setUnavailable(LibFunc_putchar_unlocked);
70 TLI.setUnavailable(LibFunc_fputc_unlocked);
71 TLI.setUnavailable(LibFunc_fgetc_unlocked);
72 TLI.setUnavailable(LibFunc_fread_unlocked);
73 TLI.setUnavailable(LibFunc_fwrite_unlocked);
74 TLI.setUnavailable(LibFunc_fputs_unlocked);
75 TLI.setUnavailable(LibFunc_fgets_unlocked);
76
Marcin Koscielnicki6af8e6c2016-11-21 20:20:39 +000077 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.getArch() == Triple::ppc64 || T.getArch() == Triple::ppc64le ||
82 T.getArch() == Triple::sparcv9 || 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.getArch() == Triple::mips || T.getArch() == Triple::mipsel ||
89 T.getArch() == Triple::mips64 || T.getArch() == Triple::mips64el) {
90 ShouldSignExtI32Param = true;
91 }
92 TLI.setShouldExtI32Param(ShouldExtI32Param);
93 TLI.setShouldExtI32Return(ShouldExtI32Return);
94 TLI.setShouldSignExtI32Param(ShouldSignExtI32Param);
95
Nicolai Hahnle78fd4f02015-12-15 17:24:15 +000096 if (T.getArch() == Triple::r600 ||
97 T.getArch() == Triple::amdgcn) {
David L. Jonesd21529f2017-01-23 23:16:46 +000098 TLI.setUnavailable(LibFunc_ldexp);
99 TLI.setUnavailable(LibFunc_ldexpf);
100 TLI.setUnavailable(LibFunc_ldexpl);
101 TLI.setUnavailable(LibFunc_exp10);
102 TLI.setUnavailable(LibFunc_exp10f);
103 TLI.setUnavailable(LibFunc_exp10l);
104 TLI.setUnavailable(LibFunc_log10);
105 TLI.setUnavailable(LibFunc_log10f);
106 TLI.setUnavailable(LibFunc_log10l);
Nicolai Hahnle78fd4f02015-12-15 17:24:15 +0000107 }
108
Tom Stellardd00a9232015-01-07 01:17:37 +0000109 // There are no library implementations of mempcy and memset for AMD gpus and
Tom Stellard36a03182014-04-02 19:53:29 +0000110 // these can be difficult to lower in the backend.
Tom Stellardd00a9232015-01-07 01:17:37 +0000111 if (T.getArch() == Triple::r600 ||
Dan Gohman05532992016-01-19 14:49:23 +0000112 T.getArch() == Triple::amdgcn) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000113 TLI.setUnavailable(LibFunc_memcpy);
114 TLI.setUnavailable(LibFunc_memset);
115 TLI.setUnavailable(LibFunc_memset_pattern16);
Tom Stellard36a03182014-04-02 19:53:29 +0000116 return;
117 }
118
Nico Weberad156922014-03-07 18:08:54 +0000119 // memset_pattern16 is only available on iOS 3.0 and Mac OS X 10.5 and later.
Tim Northover8b403662015-10-28 22:51:16 +0000120 // All versions of watchOS support it.
Daniel Dunbarcd01ed52011-04-20 00:14:25 +0000121 if (T.isMacOSX()) {
David Bolvanskyca22d422018-05-16 11:39:52 +0000122 // available IO unlocked variants on Mac OS X
123 TLI.setAvailable(LibFunc_getc_unlocked);
124 TLI.setAvailable(LibFunc_getchar_unlocked);
125 TLI.setAvailable(LibFunc_putc_unlocked);
126 TLI.setAvailable(LibFunc_putchar_unlocked);
127
Daniel Dunbarcd01ed52011-04-20 00:14:25 +0000128 if (T.isMacOSXVersionLT(10, 5))
David L. Jonesd21529f2017-01-23 23:16:46 +0000129 TLI.setUnavailable(LibFunc_memset_pattern16);
Cameron Esfahani943908b2013-08-29 20:23:14 +0000130 } else if (T.isiOS()) {
Daniel Dunbar9483bb62011-04-19 20:44:08 +0000131 if (T.isOSVersionLT(3, 0))
David L. Jonesd21529f2017-01-23 23:16:46 +0000132 TLI.setUnavailable(LibFunc_memset_pattern16);
Tim Northover8b403662015-10-28 22:51:16 +0000133 } else if (!T.isWatchOS()) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000134 TLI.setUnavailable(LibFunc_memset_pattern16);
Daniel Dunbar9483bb62011-04-19 20:44:08 +0000135 }
Richard Osborne815de532011-03-03 13:17:51 +0000136
Bob Wilsond8d92d92013-11-03 06:48:38 +0000137 if (!hasSinCosPiStret(T)) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000138 TLI.setUnavailable(LibFunc_sinpi);
139 TLI.setUnavailable(LibFunc_sinpif);
140 TLI.setUnavailable(LibFunc_cospi);
141 TLI.setUnavailable(LibFunc_cospif);
142 TLI.setUnavailable(LibFunc_sincospi_stret);
143 TLI.setUnavailable(LibFunc_sincospif_stret);
Bob Wilsond8d92d92013-11-03 06:48:38 +0000144 }
145
Eli Friedman489c0ff2011-11-17 01:27:36 +0000146 if (T.isMacOSX() && T.getArch() == Triple::x86 &&
147 !T.isMacOSXVersionLT(10, 7)) {
148 // x86-32 OSX has a scheme where fwrite and fputs (and some other functions
149 // we don't care about) have two versions; on recent OSX, the one we want
150 // has a $UNIX2003 suffix. The two implementations are identical except
151 // for the return value in some edge cases. However, we don't want to
152 // generate code that depends on the old symbols.
David L. Jonesd21529f2017-01-23 23:16:46 +0000153 TLI.setAvailableWithName(LibFunc_fwrite, "fwrite$UNIX2003");
154 TLI.setAvailableWithName(LibFunc_fputs, "fputs$UNIX2003");
Eli Friedman489c0ff2011-11-17 01:27:36 +0000155 }
156
Duncan Sandseeb50c82011-06-09 11:11:45 +0000157 // iprintf and friends are only available on XCore and TCE.
158 if (T.getArch() != Triple::xcore && T.getArch() != Triple::tce) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000159 TLI.setUnavailable(LibFunc_iprintf);
160 TLI.setUnavailable(LibFunc_siprintf);
161 TLI.setUnavailable(LibFunc_fiprintf);
Richard Osborne2dfb8882011-03-03 14:09:28 +0000162 }
Joe Groffa81bcbb2012-04-17 23:05:54 +0000163
Saleem Abdulrasool8dc8fb12014-07-24 22:09:06 +0000164 if (T.isOSWindows() && !T.isOSCygMing()) {
Joe Groffa81bcbb2012-04-17 23:05:54 +0000165 // Win32 does not support long double
David L. Jonesd21529f2017-01-23 23:16:46 +0000166 TLI.setUnavailable(LibFunc_acosl);
167 TLI.setUnavailable(LibFunc_asinl);
168 TLI.setUnavailable(LibFunc_atanl);
169 TLI.setUnavailable(LibFunc_atan2l);
170 TLI.setUnavailable(LibFunc_ceill);
171 TLI.setUnavailable(LibFunc_copysignl);
172 TLI.setUnavailable(LibFunc_cosl);
173 TLI.setUnavailable(LibFunc_coshl);
174 TLI.setUnavailable(LibFunc_expl);
175 TLI.setUnavailable(LibFunc_fabsf); // Win32 and Win64 both lack fabsf
176 TLI.setUnavailable(LibFunc_fabsl);
177 TLI.setUnavailable(LibFunc_floorl);
178 TLI.setUnavailable(LibFunc_fmaxl);
179 TLI.setUnavailable(LibFunc_fminl);
180 TLI.setUnavailable(LibFunc_fmodl);
181 TLI.setUnavailable(LibFunc_frexpl);
182 TLI.setUnavailable(LibFunc_ldexpf);
183 TLI.setUnavailable(LibFunc_ldexpl);
184 TLI.setUnavailable(LibFunc_logl);
185 TLI.setUnavailable(LibFunc_modfl);
186 TLI.setUnavailable(LibFunc_powl);
187 TLI.setUnavailable(LibFunc_sinl);
188 TLI.setUnavailable(LibFunc_sinhl);
189 TLI.setUnavailable(LibFunc_sqrtl);
190 TLI.setUnavailable(LibFunc_tanl);
191 TLI.setUnavailable(LibFunc_tanhl);
Joe Groffa81bcbb2012-04-17 23:05:54 +0000192
193 // Win32 only has C89 math
David L. Jonesd21529f2017-01-23 23:16:46 +0000194 TLI.setUnavailable(LibFunc_acosh);
195 TLI.setUnavailable(LibFunc_acoshf);
196 TLI.setUnavailable(LibFunc_acoshl);
197 TLI.setUnavailable(LibFunc_asinh);
198 TLI.setUnavailable(LibFunc_asinhf);
199 TLI.setUnavailable(LibFunc_asinhl);
200 TLI.setUnavailable(LibFunc_atanh);
201 TLI.setUnavailable(LibFunc_atanhf);
202 TLI.setUnavailable(LibFunc_atanhl);
Hal Finkel2ff24732017-12-16 01:26:25 +0000203 TLI.setUnavailable(LibFunc_cabs);
204 TLI.setUnavailable(LibFunc_cabsf);
205 TLI.setUnavailable(LibFunc_cabsl);
David L. Jonesd21529f2017-01-23 23:16:46 +0000206 TLI.setUnavailable(LibFunc_cbrt);
207 TLI.setUnavailable(LibFunc_cbrtf);
208 TLI.setUnavailable(LibFunc_cbrtl);
209 TLI.setUnavailable(LibFunc_exp2);
210 TLI.setUnavailable(LibFunc_exp2f);
211 TLI.setUnavailable(LibFunc_exp2l);
212 TLI.setUnavailable(LibFunc_expm1);
213 TLI.setUnavailable(LibFunc_expm1f);
214 TLI.setUnavailable(LibFunc_expm1l);
215 TLI.setUnavailable(LibFunc_log2);
216 TLI.setUnavailable(LibFunc_log2f);
217 TLI.setUnavailable(LibFunc_log2l);
218 TLI.setUnavailable(LibFunc_log1p);
219 TLI.setUnavailable(LibFunc_log1pf);
220 TLI.setUnavailable(LibFunc_log1pl);
221 TLI.setUnavailable(LibFunc_logb);
222 TLI.setUnavailable(LibFunc_logbf);
223 TLI.setUnavailable(LibFunc_logbl);
224 TLI.setUnavailable(LibFunc_nearbyint);
225 TLI.setUnavailable(LibFunc_nearbyintf);
226 TLI.setUnavailable(LibFunc_nearbyintl);
227 TLI.setUnavailable(LibFunc_rint);
228 TLI.setUnavailable(LibFunc_rintf);
229 TLI.setUnavailable(LibFunc_rintl);
230 TLI.setUnavailable(LibFunc_round);
231 TLI.setUnavailable(LibFunc_roundf);
232 TLI.setUnavailable(LibFunc_roundl);
233 TLI.setUnavailable(LibFunc_trunc);
234 TLI.setUnavailable(LibFunc_truncf);
235 TLI.setUnavailable(LibFunc_truncl);
Joe Groffa81bcbb2012-04-17 23:05:54 +0000236
237 // Win32 provides some C99 math with mangled names
David L. Jonesd21529f2017-01-23 23:16:46 +0000238 TLI.setAvailableWithName(LibFunc_copysign, "_copysign");
Joe Groffa81bcbb2012-04-17 23:05:54 +0000239
240 if (T.getArch() == Triple::x86) {
241 // Win32 on x86 implements single-precision math functions as macros
David L. Jonesd21529f2017-01-23 23:16:46 +0000242 TLI.setUnavailable(LibFunc_acosf);
243 TLI.setUnavailable(LibFunc_asinf);
244 TLI.setUnavailable(LibFunc_atanf);
245 TLI.setUnavailable(LibFunc_atan2f);
246 TLI.setUnavailable(LibFunc_ceilf);
247 TLI.setUnavailable(LibFunc_copysignf);
248 TLI.setUnavailable(LibFunc_cosf);
249 TLI.setUnavailable(LibFunc_coshf);
250 TLI.setUnavailable(LibFunc_expf);
251 TLI.setUnavailable(LibFunc_floorf);
252 TLI.setUnavailable(LibFunc_fminf);
253 TLI.setUnavailable(LibFunc_fmaxf);
254 TLI.setUnavailable(LibFunc_fmodf);
255 TLI.setUnavailable(LibFunc_logf);
256 TLI.setUnavailable(LibFunc_log10f);
257 TLI.setUnavailable(LibFunc_modff);
258 TLI.setUnavailable(LibFunc_powf);
259 TLI.setUnavailable(LibFunc_sinf);
260 TLI.setUnavailable(LibFunc_sinhf);
261 TLI.setUnavailable(LibFunc_sqrtf);
262 TLI.setUnavailable(LibFunc_tanf);
263 TLI.setUnavailable(LibFunc_tanhf);
Joe Groffa81bcbb2012-04-17 23:05:54 +0000264 }
Meador Inge2526a422012-11-10 03:11:06 +0000265
Fangrui Song956ee792018-03-30 22:22:31 +0000266 // Win32 does *not* provide these functions, but they are
Meador Ingeb904e6e2013-03-05 21:47:40 +0000267 // generally available on POSIX-compliant systems:
David L. Jonesd21529f2017-01-23 23:16:46 +0000268 TLI.setUnavailable(LibFunc_access);
269 TLI.setUnavailable(LibFunc_bcmp);
270 TLI.setUnavailable(LibFunc_bcopy);
271 TLI.setUnavailable(LibFunc_bzero);
272 TLI.setUnavailable(LibFunc_chmod);
273 TLI.setUnavailable(LibFunc_chown);
274 TLI.setUnavailable(LibFunc_closedir);
275 TLI.setUnavailable(LibFunc_ctermid);
276 TLI.setUnavailable(LibFunc_fdopen);
277 TLI.setUnavailable(LibFunc_ffs);
278 TLI.setUnavailable(LibFunc_fileno);
279 TLI.setUnavailable(LibFunc_flockfile);
280 TLI.setUnavailable(LibFunc_fseeko);
281 TLI.setUnavailable(LibFunc_fstat);
282 TLI.setUnavailable(LibFunc_fstatvfs);
283 TLI.setUnavailable(LibFunc_ftello);
284 TLI.setUnavailable(LibFunc_ftrylockfile);
285 TLI.setUnavailable(LibFunc_funlockfile);
David L. Jonesd21529f2017-01-23 23:16:46 +0000286 TLI.setUnavailable(LibFunc_getitimer);
287 TLI.setUnavailable(LibFunc_getlogin_r);
288 TLI.setUnavailable(LibFunc_getpwnam);
289 TLI.setUnavailable(LibFunc_gettimeofday);
290 TLI.setUnavailable(LibFunc_htonl);
291 TLI.setUnavailable(LibFunc_htons);
292 TLI.setUnavailable(LibFunc_lchown);
293 TLI.setUnavailable(LibFunc_lstat);
294 TLI.setUnavailable(LibFunc_memccpy);
295 TLI.setUnavailable(LibFunc_mkdir);
296 TLI.setUnavailable(LibFunc_ntohl);
297 TLI.setUnavailable(LibFunc_ntohs);
298 TLI.setUnavailable(LibFunc_open);
299 TLI.setUnavailable(LibFunc_opendir);
300 TLI.setUnavailable(LibFunc_pclose);
301 TLI.setUnavailable(LibFunc_popen);
302 TLI.setUnavailable(LibFunc_pread);
303 TLI.setUnavailable(LibFunc_pwrite);
304 TLI.setUnavailable(LibFunc_read);
305 TLI.setUnavailable(LibFunc_readlink);
306 TLI.setUnavailable(LibFunc_realpath);
307 TLI.setUnavailable(LibFunc_rmdir);
308 TLI.setUnavailable(LibFunc_setitimer);
309 TLI.setUnavailable(LibFunc_stat);
310 TLI.setUnavailable(LibFunc_statvfs);
311 TLI.setUnavailable(LibFunc_stpcpy);
312 TLI.setUnavailable(LibFunc_stpncpy);
313 TLI.setUnavailable(LibFunc_strcasecmp);
314 TLI.setUnavailable(LibFunc_strncasecmp);
315 TLI.setUnavailable(LibFunc_times);
316 TLI.setUnavailable(LibFunc_uname);
317 TLI.setUnavailable(LibFunc_unlink);
318 TLI.setUnavailable(LibFunc_unsetenv);
319 TLI.setUnavailable(LibFunc_utime);
320 TLI.setUnavailable(LibFunc_utimes);
321 TLI.setUnavailable(LibFunc_write);
Meador Inge780a1862012-11-22 15:36:42 +0000322
Meador Ingeb904e6e2013-03-05 21:47:40 +0000323 // Win32 does *not* provide provide these functions, but they are
324 // specified by C99:
David L. Jonesd21529f2017-01-23 23:16:46 +0000325 TLI.setUnavailable(LibFunc_atoll);
326 TLI.setUnavailable(LibFunc_frexpf);
327 TLI.setUnavailable(LibFunc_llabs);
Meador Inge780a1862012-11-22 15:36:42 +0000328 }
329
Reid Klecknerf4355ee2013-12-26 19:17:04 +0000330 switch (T.getOS()) {
Reid Klecknerf4355ee2013-12-26 19:17:04 +0000331 case Triple::MacOSX:
Chandler Carruthf5689f82013-12-28 02:40:19 +0000332 // exp10 and exp10f are not available on OS X until 10.9 and iOS until 7.0
333 // and their names are __exp10 and __exp10f. exp10l is not available on
334 // OS X or iOS.
David L. Jonesd21529f2017-01-23 23:16:46 +0000335 TLI.setUnavailable(LibFunc_exp10l);
Reid Klecknerf4355ee2013-12-26 19:17:04 +0000336 if (T.isMacOSXVersionLT(10, 9)) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000337 TLI.setUnavailable(LibFunc_exp10);
338 TLI.setUnavailable(LibFunc_exp10f);
Reid Klecknerf4355ee2013-12-26 19:17:04 +0000339 } else {
David L. Jonesd21529f2017-01-23 23:16:46 +0000340 TLI.setAvailableWithName(LibFunc_exp10, "__exp10");
341 TLI.setAvailableWithName(LibFunc_exp10f, "__exp10f");
Reid Klecknerf4355ee2013-12-26 19:17:04 +0000342 }
343 break;
344 case Triple::IOS:
Tim Northover89a6eef2015-11-02 18:00:00 +0000345 case Triple::TvOS:
Tim Northover8b403662015-10-28 22:51:16 +0000346 case Triple::WatchOS:
David L. Jonesd21529f2017-01-23 23:16:46 +0000347 TLI.setUnavailable(LibFunc_exp10l);
Tim Northover8b403662015-10-28 22:51:16 +0000348 if (!T.isWatchOS() && (T.isOSVersionLT(7, 0) ||
349 (T.isOSVersionLT(9, 0) &&
350 (T.getArch() == Triple::x86 ||
351 T.getArch() == Triple::x86_64)))) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000352 TLI.setUnavailable(LibFunc_exp10);
353 TLI.setUnavailable(LibFunc_exp10f);
Reid Klecknerf4355ee2013-12-26 19:17:04 +0000354 } else {
David L. Jonesd21529f2017-01-23 23:16:46 +0000355 TLI.setAvailableWithName(LibFunc_exp10, "__exp10");
356 TLI.setAvailableWithName(LibFunc_exp10f, "__exp10f");
Reid Klecknerf4355ee2013-12-26 19:17:04 +0000357 }
358 break;
Chandler Carruthf5689f82013-12-28 02:40:19 +0000359 case Triple::Linux:
360 // exp10, exp10f, exp10l is available on Linux (GLIBC) but are extremely
361 // buggy prior to glibc version 2.18. Until this version is widely deployed
362 // or we have a reasonable detection strategy, we cannot use exp10 reliably
363 // on Linux.
364 //
365 // Fall through to disable all of them.
Justin Bognercd1d5aa2016-08-17 20:30:52 +0000366 LLVM_FALLTHROUGH;
Reid Klecknerf4355ee2013-12-26 19:17:04 +0000367 default:
David L. Jonesd21529f2017-01-23 23:16:46 +0000368 TLI.setUnavailable(LibFunc_exp10);
369 TLI.setUnavailable(LibFunc_exp10f);
370 TLI.setUnavailable(LibFunc_exp10l);
Reid Klecknerf4355ee2013-12-26 19:17:04 +0000371 }
372
Meador Inge780a1862012-11-22 15:36:42 +0000373 // ffsl is available on at least Darwin, Mac OS X, iOS, FreeBSD, and
374 // Linux (GLIBC):
375 // http://developer.apple.com/library/mac/#documentation/Darwin/Reference/ManPages/man3/ffsl.3.html
Davide Italiano83b34812015-11-01 17:00:13 +0000376 // http://svn.freebsd.org/base/head/lib/libc/string/ffsl.c
Meador Inge780a1862012-11-22 15:36:42 +0000377 // http://www.gnu.org/software/gnulib/manual/html_node/ffsl.html
378 switch (T.getOS()) {
379 case Triple::Darwin:
380 case Triple::MacOSX:
381 case Triple::IOS:
Tim Northover89a6eef2015-11-02 18:00:00 +0000382 case Triple::TvOS:
Tim Northover8b403662015-10-28 22:51:16 +0000383 case Triple::WatchOS:
Meador Inge780a1862012-11-22 15:36:42 +0000384 case Triple::FreeBSD:
385 case Triple::Linux:
386 break;
387 default:
David L. Jonesd21529f2017-01-23 23:16:46 +0000388 TLI.setUnavailable(LibFunc_ffsl);
Meador Inge780a1862012-11-22 15:36:42 +0000389 }
390
391 // ffsll is available on at least FreeBSD and Linux (GLIBC):
Davide Italiano83b34812015-11-01 17:00:13 +0000392 // http://svn.freebsd.org/base/head/lib/libc/string/ffsll.c
Meador Inge780a1862012-11-22 15:36:42 +0000393 // http://www.gnu.org/software/gnulib/manual/html_node/ffsll.html
394 switch (T.getOS()) {
Tim Northover89a6eef2015-11-02 18:00:00 +0000395 case Triple::Darwin:
396 case Triple::MacOSX:
397 case Triple::IOS:
398 case Triple::TvOS:
399 case Triple::WatchOS:
Meador Inge780a1862012-11-22 15:36:42 +0000400 case Triple::FreeBSD:
401 case Triple::Linux:
402 break;
403 default:
David L. Jonesd21529f2017-01-23 23:16:46 +0000404 TLI.setUnavailable(LibFunc_ffsll);
Joe Groffa81bcbb2012-04-17 23:05:54 +0000405 }
Meador Ingeb904e6e2013-03-05 21:47:40 +0000406
Davide Italianobfd30822015-11-09 23:23:20 +0000407 // The following functions are available on at least FreeBSD:
408 // http://svn.freebsd.org/base/head/lib/libc/string/fls.c
409 // http://svn.freebsd.org/base/head/lib/libc/string/flsl.c
410 // http://svn.freebsd.org/base/head/lib/libc/string/flsll.c
411 if (!T.isOSFreeBSD()) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000412 TLI.setUnavailable(LibFunc_fls);
413 TLI.setUnavailable(LibFunc_flsl);
414 TLI.setUnavailable(LibFunc_flsll);
Davide Italianobfd30822015-11-09 23:23:20 +0000415 }
416
Chih-Hung Hsieh60d1e792018-01-31 19:12:50 +0000417 // The following functions are available on Linux,
418 // but Android uses bionic instead of glibc.
419 if (!T.isOSLinux() || T.isAndroid()) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000420 TLI.setUnavailable(LibFunc_dunder_strdup);
421 TLI.setUnavailable(LibFunc_dunder_strtok_r);
422 TLI.setUnavailable(LibFunc_dunder_isoc99_scanf);
423 TLI.setUnavailable(LibFunc_dunder_isoc99_sscanf);
424 TLI.setUnavailable(LibFunc_under_IO_getc);
425 TLI.setUnavailable(LibFunc_under_IO_putc);
Chih-Hung Hsieh60d1e792018-01-31 19:12:50 +0000426 // But, Android has memalign.
427 if (!T.isAndroid())
428 TLI.setUnavailable(LibFunc_memalign);
David L. Jonesd21529f2017-01-23 23:16:46 +0000429 TLI.setUnavailable(LibFunc_fopen64);
430 TLI.setUnavailable(LibFunc_fseeko64);
431 TLI.setUnavailable(LibFunc_fstat64);
432 TLI.setUnavailable(LibFunc_fstatvfs64);
433 TLI.setUnavailable(LibFunc_ftello64);
434 TLI.setUnavailable(LibFunc_lstat64);
435 TLI.setUnavailable(LibFunc_open64);
436 TLI.setUnavailable(LibFunc_stat64);
437 TLI.setUnavailable(LibFunc_statvfs64);
438 TLI.setUnavailable(LibFunc_tmpfile64);
Sanjay Patel52149f02018-01-08 17:38:09 +0000439
440 // Relaxed math functions are included in math-finite.h on Linux (GLIBC).
441 TLI.setUnavailable(LibFunc_acos_finite);
442 TLI.setUnavailable(LibFunc_acosf_finite);
443 TLI.setUnavailable(LibFunc_acosl_finite);
444 TLI.setUnavailable(LibFunc_acosh_finite);
445 TLI.setUnavailable(LibFunc_acoshf_finite);
446 TLI.setUnavailable(LibFunc_acoshl_finite);
447 TLI.setUnavailable(LibFunc_asin_finite);
448 TLI.setUnavailable(LibFunc_asinf_finite);
449 TLI.setUnavailable(LibFunc_asinl_finite);
450 TLI.setUnavailable(LibFunc_atan2_finite);
451 TLI.setUnavailable(LibFunc_atan2f_finite);
452 TLI.setUnavailable(LibFunc_atan2l_finite);
453 TLI.setUnavailable(LibFunc_atanh_finite);
454 TLI.setUnavailable(LibFunc_atanhf_finite);
455 TLI.setUnavailable(LibFunc_atanhl_finite);
456 TLI.setUnavailable(LibFunc_cosh_finite);
457 TLI.setUnavailable(LibFunc_coshf_finite);
458 TLI.setUnavailable(LibFunc_coshl_finite);
459 TLI.setUnavailable(LibFunc_exp10_finite);
460 TLI.setUnavailable(LibFunc_exp10f_finite);
461 TLI.setUnavailable(LibFunc_exp10l_finite);
462 TLI.setUnavailable(LibFunc_exp2_finite);
463 TLI.setUnavailable(LibFunc_exp2f_finite);
464 TLI.setUnavailable(LibFunc_exp2l_finite);
465 TLI.setUnavailable(LibFunc_exp_finite);
466 TLI.setUnavailable(LibFunc_expf_finite);
467 TLI.setUnavailable(LibFunc_expl_finite);
468 TLI.setUnavailable(LibFunc_log10_finite);
469 TLI.setUnavailable(LibFunc_log10f_finite);
470 TLI.setUnavailable(LibFunc_log10l_finite);
471 TLI.setUnavailable(LibFunc_log2_finite);
472 TLI.setUnavailable(LibFunc_log2f_finite);
473 TLI.setUnavailable(LibFunc_log2l_finite);
474 TLI.setUnavailable(LibFunc_log_finite);
475 TLI.setUnavailable(LibFunc_logf_finite);
476 TLI.setUnavailable(LibFunc_logl_finite);
477 TLI.setUnavailable(LibFunc_pow_finite);
478 TLI.setUnavailable(LibFunc_powf_finite);
479 TLI.setUnavailable(LibFunc_powl_finite);
480 TLI.setUnavailable(LibFunc_sinh_finite);
481 TLI.setUnavailable(LibFunc_sinhf_finite);
482 TLI.setUnavailable(LibFunc_sinhl_finite);
Meador Ingeb904e6e2013-03-05 21:47:40 +0000483 }
Michael Zolotukhin6d8a2aa2015-03-17 19:50:55 +0000484
Martin Storsjoc1078872018-05-17 08:16:08 +0000485 if ((T.isOSLinux() && T.isGNUEnvironment()) ||
486 (T.isAndroid() && !T.isAndroidVersionLT(28))) {
David Bolvanskyca22d422018-05-16 11:39:52 +0000487 // available IO unlocked variants on GNU/Linux and Android P or later
488 TLI.setAvailable(LibFunc_getc_unlocked);
489 TLI.setAvailable(LibFunc_getchar_unlocked);
490 TLI.setAvailable(LibFunc_putc_unlocked);
491 TLI.setAvailable(LibFunc_putchar_unlocked);
492 TLI.setAvailable(LibFunc_fputc_unlocked);
493 TLI.setAvailable(LibFunc_fgetc_unlocked);
494 TLI.setAvailable(LibFunc_fread_unlocked);
495 TLI.setAvailable(LibFunc_fwrite_unlocked);
496 TLI.setAvailable(LibFunc_fputs_unlocked);
497 TLI.setAvailable(LibFunc_fgets_unlocked);
498 }
499
Justin Lebar51132882016-01-26 23:51:06 +0000500 // As currently implemented in clang, NVPTX code has no standard library to
501 // speak of. Headers provide a standard-ish library implementation, but many
502 // of the signatures are wrong -- for example, many libm functions are not
503 // extern "C".
504 //
505 // libdevice, an IR library provided by nvidia, is linked in by the front-end,
506 // but only used functions are provided to llvm. Moreover, most of the
507 // functions in libdevice don't map precisely to standard library functions.
508 //
509 // FIXME: Having no standard library prevents e.g. many fastmath
510 // optimizations, so this situation should be fixed.
David Majnemerae272d72016-03-31 21:29:57 +0000511 if (T.isNVPTX()) {
Justin Lebar51132882016-01-26 23:51:06 +0000512 TLI.disableAllFunctions();
David L. Jonesd21529f2017-01-23 23:16:46 +0000513 TLI.setAvailable(LibFunc_nvvm_reflect);
David Majnemerae272d72016-03-31 21:29:57 +0000514 } else {
David L. Jonesd21529f2017-01-23 23:16:46 +0000515 TLI.setUnavailable(LibFunc_nvvm_reflect);
David Majnemerae272d72016-03-31 21:29:57 +0000516 }
Justin Lebar51132882016-01-26 23:51:06 +0000517
Michael Zolotukhin6d8a2aa2015-03-17 19:50:55 +0000518 TLI.addVectorizableFunctionsFromVecLib(ClVectorLibrary);
Chris Lattner0e125bb2011-02-18 21:50:34 +0000519}
520
Chandler Carruthc0291862015-01-24 02:06:09 +0000521TargetLibraryInfoImpl::TargetLibraryInfoImpl() {
Chris Lattner0e125bb2011-02-18 21:50:34 +0000522 // Default to everything being available.
523 memset(AvailableArray, -1, sizeof(AvailableArray));
524
Bob Wilsonc740e3f2012-08-03 04:06:22 +0000525 initialize(*this, Triple(), StandardNames);
Chris Lattner0e125bb2011-02-18 21:50:34 +0000526}
527
Chandler Carruthc0291862015-01-24 02:06:09 +0000528TargetLibraryInfoImpl::TargetLibraryInfoImpl(const Triple &T) {
Chris Lattner0e125bb2011-02-18 21:50:34 +0000529 // Default to everything being available.
530 memset(AvailableArray, -1, sizeof(AvailableArray));
Chandler Carruthb98f63d2015-01-15 10:41:28 +0000531
Bob Wilsonc740e3f2012-08-03 04:06:22 +0000532 initialize(*this, T, StandardNames);
Chris Lattner0e125bb2011-02-18 21:50:34 +0000533}
Chris Lattner1341df92011-02-18 22:34:03 +0000534
Chandler Carruthc0291862015-01-24 02:06:09 +0000535TargetLibraryInfoImpl::TargetLibraryInfoImpl(const TargetLibraryInfoImpl &TLI)
Marcin Koscielnicki5ae2c522016-11-21 11:57:11 +0000536 : CustomNames(TLI.CustomNames), ShouldExtI32Param(TLI.ShouldExtI32Param),
537 ShouldExtI32Return(TLI.ShouldExtI32Return),
538 ShouldSignExtI32Param(TLI.ShouldSignExtI32Param) {
Chris Lattner4c0d9e22011-05-21 20:09:13 +0000539 memcpy(AvailableArray, TLI.AvailableArray, sizeof(AvailableArray));
Michael Zolotukhine8f25512015-03-17 19:22:30 +0000540 VectorDescs = TLI.VectorDescs;
541 ScalarDescs = TLI.ScalarDescs;
Chandler Carruth8ca43222015-01-15 11:39:46 +0000542}
543
Chandler Carruthc0291862015-01-24 02:06:09 +0000544TargetLibraryInfoImpl::TargetLibraryInfoImpl(TargetLibraryInfoImpl &&TLI)
Marcin Koscielnicki5ae2c522016-11-21 11:57:11 +0000545 : CustomNames(std::move(TLI.CustomNames)),
546 ShouldExtI32Param(TLI.ShouldExtI32Param),
547 ShouldExtI32Return(TLI.ShouldExtI32Return),
548 ShouldSignExtI32Param(TLI.ShouldSignExtI32Param) {
Chandler Carruth8ca43222015-01-15 11:39:46 +0000549 std::move(std::begin(TLI.AvailableArray), std::end(TLI.AvailableArray),
550 AvailableArray);
Michael Zolotukhine8f25512015-03-17 19:22:30 +0000551 VectorDescs = TLI.VectorDescs;
552 ScalarDescs = TLI.ScalarDescs;
Chandler Carruth8ca43222015-01-15 11:39:46 +0000553}
554
Chandler Carruthc0291862015-01-24 02:06:09 +0000555TargetLibraryInfoImpl &TargetLibraryInfoImpl::operator=(const TargetLibraryInfoImpl &TLI) {
Eli Friedman489c0ff2011-11-17 01:27:36 +0000556 CustomNames = TLI.CustomNames;
Marcin Koscielnicki5ae2c522016-11-21 11:57:11 +0000557 ShouldExtI32Param = TLI.ShouldExtI32Param;
558 ShouldExtI32Return = TLI.ShouldExtI32Return;
559 ShouldSignExtI32Param = TLI.ShouldSignExtI32Param;
Chandler Carruth8ca43222015-01-15 11:39:46 +0000560 memcpy(AvailableArray, TLI.AvailableArray, sizeof(AvailableArray));
561 return *this;
562}
563
Chandler Carruthc0291862015-01-24 02:06:09 +0000564TargetLibraryInfoImpl &TargetLibraryInfoImpl::operator=(TargetLibraryInfoImpl &&TLI) {
Chandler Carruth8ca43222015-01-15 11:39:46 +0000565 CustomNames = std::move(TLI.CustomNames);
Marcin Koscielnicki5ae2c522016-11-21 11:57:11 +0000566 ShouldExtI32Param = TLI.ShouldExtI32Param;
567 ShouldExtI32Return = TLI.ShouldExtI32Return;
568 ShouldSignExtI32Param = TLI.ShouldSignExtI32Param;
Chandler Carruth8ca43222015-01-15 11:39:46 +0000569 std::move(std::begin(TLI.AvailableArray), std::end(TLI.AvailableArray),
570 AvailableArray);
571 return *this;
Chris Lattner4c0d9e22011-05-21 20:09:13 +0000572}
573
Michael Zolotukhin21abdf92015-03-02 23:24:40 +0000574static StringRef sanitizeFunctionName(StringRef funcName) {
Benjamin Kramer160f72d2013-03-09 13:48:23 +0000575 // Filter out empty names and names containing null bytes, those can't be in
576 // our table.
577 if (funcName.empty() || funcName.find('\0') != StringRef::npos)
Michael Zolotukhin21abdf92015-03-02 23:24:40 +0000578 return StringRef();
Benjamin Kramer160f72d2013-03-09 13:48:23 +0000579
Meador Ingeb904e6e2013-03-05 21:47:40 +0000580 // Check for \01 prefix that is used to mangle __asm declarations and
581 // strip it if present.
Peter Collingbourne6f0ecca2017-05-16 00:39:01 +0000582 return GlobalValue::dropLLVMManglingEscape(funcName);
Michael Zolotukhin21abdf92015-03-02 23:24:40 +0000583}
584
585bool TargetLibraryInfoImpl::getLibFunc(StringRef funcName,
David L. Jonesd21529f2017-01-23 23:16:46 +0000586 LibFunc &F) const {
Mehdi Amini9a72cd72016-10-01 03:10:48 +0000587 StringRef const *Start = &StandardNames[0];
David L. Jonesd21529f2017-01-23 23:16:46 +0000588 StringRef const *End = &StandardNames[NumLibFuncs];
Michael Zolotukhin21abdf92015-03-02 23:24:40 +0000589
590 funcName = sanitizeFunctionName(funcName);
591 if (funcName.empty())
592 return false;
593
Mehdi Amini9a72cd72016-10-01 03:10:48 +0000594 StringRef const *I = std::lower_bound(
595 Start, End, funcName, [](StringRef LHS, StringRef RHS) {
596 return LHS < RHS;
Michael Zolotukhind3b76a32015-03-02 20:50:08 +0000597 });
Bob Wilsonc740e3f2012-08-03 04:06:22 +0000598 if (I != End && *I == funcName) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000599 F = (LibFunc)(I - Start);
Bob Wilsonc740e3f2012-08-03 04:06:22 +0000600 return true;
601 }
602 return false;
603}
Chris Lattner4c0d9e22011-05-21 20:09:13 +0000604
Ahmed Bougachad765a822016-04-27 19:04:35 +0000605bool TargetLibraryInfoImpl::isValidProtoForLibFunc(const FunctionType &FTy,
David L. Jonesd21529f2017-01-23 23:16:46 +0000606 LibFunc F,
Ahmed Bougachad765a822016-04-27 19:04:35 +0000607 const DataLayout *DL) const {
608 LLVMContext &Ctx = FTy.getContext();
609 Type *PCharTy = Type::getInt8PtrTy(Ctx);
610 Type *SizeTTy = DL ? DL->getIntPtrType(Ctx, /*AS=*/0) : nullptr;
611 auto IsSizeTTy = [SizeTTy](Type *Ty) {
612 return SizeTTy ? Ty == SizeTTy : Ty->isIntegerTy();
613 };
614 unsigned NumParams = FTy.getNumParams();
615
616 switch (F) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000617 case LibFunc_strlen:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000618 return (NumParams == 1 && FTy.getParamType(0)->isPointerTy() &&
619 FTy.getReturnType()->isIntegerTy());
620
David L. Jonesd21529f2017-01-23 23:16:46 +0000621 case LibFunc_strchr:
622 case LibFunc_strrchr:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000623 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
624 FTy.getParamType(0) == FTy.getReturnType() &&
625 FTy.getParamType(1)->isIntegerTy());
626
David L. Jonesd21529f2017-01-23 23:16:46 +0000627 case LibFunc_strtol:
628 case LibFunc_strtod:
629 case LibFunc_strtof:
630 case LibFunc_strtoul:
631 case LibFunc_strtoll:
632 case LibFunc_strtold:
633 case LibFunc_strtoull:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000634 return ((NumParams == 2 || NumParams == 3) &&
635 FTy.getParamType(0)->isPointerTy() &&
636 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000637 case LibFunc_strcat:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000638 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
639 FTy.getParamType(0) == FTy.getReturnType() &&
640 FTy.getParamType(1) == FTy.getReturnType());
641
David L. Jonesd21529f2017-01-23 23:16:46 +0000642 case LibFunc_strncat:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000643 return (NumParams == 3 && FTy.getReturnType()->isPointerTy() &&
644 FTy.getParamType(0) == FTy.getReturnType() &&
645 FTy.getParamType(1) == FTy.getReturnType() &&
Igor Laevsky7bd3fb12017-12-18 10:31:58 +0000646 IsSizeTTy(FTy.getParamType(2)));
Ahmed Bougachad765a822016-04-27 19:04:35 +0000647
David L. Jonesd21529f2017-01-23 23:16:46 +0000648 case LibFunc_strcpy_chk:
649 case LibFunc_stpcpy_chk:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000650 --NumParams;
651 if (!IsSizeTTy(FTy.getParamType(NumParams)))
652 return false;
Justin Bognerb03fd122016-08-17 05:10:15 +0000653 LLVM_FALLTHROUGH;
David L. Jonesd21529f2017-01-23 23:16:46 +0000654 case LibFunc_strcpy:
655 case LibFunc_stpcpy:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000656 return (NumParams == 2 && FTy.getReturnType() == FTy.getParamType(0) &&
657 FTy.getParamType(0) == FTy.getParamType(1) &&
658 FTy.getParamType(0) == PCharTy);
659
David L. Jonesd21529f2017-01-23 23:16:46 +0000660 case LibFunc_strncpy_chk:
661 case LibFunc_stpncpy_chk:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000662 --NumParams;
663 if (!IsSizeTTy(FTy.getParamType(NumParams)))
664 return false;
Justin Bognerb03fd122016-08-17 05:10:15 +0000665 LLVM_FALLTHROUGH;
David L. Jonesd21529f2017-01-23 23:16:46 +0000666 case LibFunc_strncpy:
667 case LibFunc_stpncpy:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000668 return (NumParams == 3 && FTy.getReturnType() == FTy.getParamType(0) &&
669 FTy.getParamType(0) == FTy.getParamType(1) &&
670 FTy.getParamType(0) == PCharTy &&
Igor Laevsky7bd3fb12017-12-18 10:31:58 +0000671 IsSizeTTy(FTy.getParamType(2)));
Ahmed Bougachad765a822016-04-27 19:04:35 +0000672
David L. Jonesd21529f2017-01-23 23:16:46 +0000673 case LibFunc_strxfrm:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000674 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy() &&
675 FTy.getParamType(1)->isPointerTy());
676
David L. Jonesd21529f2017-01-23 23:16:46 +0000677 case LibFunc_strcmp:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000678 return (NumParams == 2 && FTy.getReturnType()->isIntegerTy(32) &&
679 FTy.getParamType(0)->isPointerTy() &&
680 FTy.getParamType(0) == FTy.getParamType(1));
681
David L. Jonesd21529f2017-01-23 23:16:46 +0000682 case LibFunc_strncmp:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000683 return (NumParams == 3 && FTy.getReturnType()->isIntegerTy(32) &&
684 FTy.getParamType(0)->isPointerTy() &&
685 FTy.getParamType(0) == FTy.getParamType(1) &&
Igor Laevsky7bd3fb12017-12-18 10:31:58 +0000686 IsSizeTTy(FTy.getParamType(2)));
Ahmed Bougachad765a822016-04-27 19:04:35 +0000687
David L. Jonesd21529f2017-01-23 23:16:46 +0000688 case LibFunc_strspn:
689 case LibFunc_strcspn:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000690 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
691 FTy.getParamType(0) == FTy.getParamType(1) &&
692 FTy.getReturnType()->isIntegerTy());
693
David L. Jonesd21529f2017-01-23 23:16:46 +0000694 case LibFunc_strcoll:
695 case LibFunc_strcasecmp:
696 case LibFunc_strncasecmp:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000697 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
698 FTy.getParamType(1)->isPointerTy());
699
David L. Jonesd21529f2017-01-23 23:16:46 +0000700 case LibFunc_strstr:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000701 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
702 FTy.getParamType(0)->isPointerTy() &&
703 FTy.getParamType(1)->isPointerTy());
704
David L. Jonesd21529f2017-01-23 23:16:46 +0000705 case LibFunc_strpbrk:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000706 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
707 FTy.getReturnType() == FTy.getParamType(0) &&
708 FTy.getParamType(0) == FTy.getParamType(1));
709
David L. Jonesd21529f2017-01-23 23:16:46 +0000710 case LibFunc_strtok:
711 case LibFunc_strtok_r:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000712 return (NumParams >= 2 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000713 case LibFunc_scanf:
714 case LibFunc_setbuf:
715 case LibFunc_setvbuf:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000716 return (NumParams >= 1 && FTy.getParamType(0)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000717 case LibFunc_strdup:
718 case LibFunc_strndup:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000719 return (NumParams >= 1 && FTy.getReturnType()->isPointerTy() &&
720 FTy.getParamType(0)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000721 case LibFunc_sscanf:
722 case LibFunc_stat:
723 case LibFunc_statvfs:
724 case LibFunc_siprintf:
725 case LibFunc_sprintf:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000726 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
Martin Storsjo0d7c3772018-05-11 16:53:56 +0000727 FTy.getParamType(1)->isPointerTy() &&
728 FTy.getReturnType()->isIntegerTy(32));
David L. Jonesd21529f2017-01-23 23:16:46 +0000729 case LibFunc_snprintf:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000730 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy() &&
Martin Storsjo0d7c3772018-05-11 16:53:56 +0000731 FTy.getParamType(2)->isPointerTy() &&
732 FTy.getReturnType()->isIntegerTy(32));
David L. Jonesd21529f2017-01-23 23:16:46 +0000733 case LibFunc_setitimer:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000734 return (NumParams == 3 && FTy.getParamType(1)->isPointerTy() &&
735 FTy.getParamType(2)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000736 case LibFunc_system:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000737 return (NumParams == 1 && FTy.getParamType(0)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000738 case LibFunc_malloc:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000739 return (NumParams == 1 && FTy.getReturnType()->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000740 case LibFunc_memcmp:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000741 return (NumParams == 3 && FTy.getReturnType()->isIntegerTy(32) &&
742 FTy.getParamType(0)->isPointerTy() &&
743 FTy.getParamType(1)->isPointerTy());
Ahmed Bougachad765a822016-04-27 19:04:35 +0000744
David L. Jonesd21529f2017-01-23 23:16:46 +0000745 case LibFunc_memchr:
746 case LibFunc_memrchr:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000747 return (NumParams == 3 && FTy.getReturnType()->isPointerTy() &&
748 FTy.getReturnType() == FTy.getParamType(0) &&
Ahmed Bougachad765a822016-04-27 19:04:35 +0000749 FTy.getParamType(1)->isIntegerTy(32) &&
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000750 IsSizeTTy(FTy.getParamType(2)));
David L. Jonesd21529f2017-01-23 23:16:46 +0000751 case LibFunc_modf:
752 case LibFunc_modff:
753 case LibFunc_modfl:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000754 return (NumParams >= 2 && FTy.getParamType(1)->isPointerTy());
755
David L. Jonesd21529f2017-01-23 23:16:46 +0000756 case LibFunc_memcpy_chk:
757 case LibFunc_memmove_chk:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000758 --NumParams;
759 if (!IsSizeTTy(FTy.getParamType(NumParams)))
760 return false;
Justin Bognerb03fd122016-08-17 05:10:15 +0000761 LLVM_FALLTHROUGH;
David L. Jonesd21529f2017-01-23 23:16:46 +0000762 case LibFunc_memcpy:
763 case LibFunc_mempcpy:
764 case LibFunc_memmove:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000765 return (NumParams == 3 && FTy.getReturnType() == FTy.getParamType(0) &&
766 FTy.getParamType(0)->isPointerTy() &&
767 FTy.getParamType(1)->isPointerTy() &&
768 IsSizeTTy(FTy.getParamType(2)));
769
David L. Jonesd21529f2017-01-23 23:16:46 +0000770 case LibFunc_memset_chk:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000771 --NumParams;
772 if (!IsSizeTTy(FTy.getParamType(NumParams)))
773 return false;
Justin Bognerb03fd122016-08-17 05:10:15 +0000774 LLVM_FALLTHROUGH;
David L. Jonesd21529f2017-01-23 23:16:46 +0000775 case LibFunc_memset:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000776 return (NumParams == 3 && FTy.getReturnType() == FTy.getParamType(0) &&
777 FTy.getParamType(0)->isPointerTy() &&
778 FTy.getParamType(1)->isIntegerTy() &&
779 IsSizeTTy(FTy.getParamType(2)));
780
David L. Jonesd21529f2017-01-23 23:16:46 +0000781 case LibFunc_memccpy:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000782 return (NumParams >= 2 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000783 case LibFunc_memalign:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000784 return (FTy.getReturnType()->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000785 case LibFunc_realloc:
786 case LibFunc_reallocf:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000787 return (NumParams == 2 && FTy.getReturnType() == PCharTy &&
788 FTy.getParamType(0) == FTy.getReturnType() &&
789 IsSizeTTy(FTy.getParamType(1)));
David L. Jonesd21529f2017-01-23 23:16:46 +0000790 case LibFunc_read:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000791 return (NumParams == 3 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000792 case LibFunc_rewind:
793 case LibFunc_rmdir:
794 case LibFunc_remove:
795 case LibFunc_realpath:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000796 return (NumParams >= 1 && FTy.getParamType(0)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000797 case LibFunc_rename:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000798 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
799 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000800 case LibFunc_readlink:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000801 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
802 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000803 case LibFunc_write:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000804 return (NumParams == 3 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000805 case LibFunc_bcopy:
806 case LibFunc_bcmp:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000807 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy() &&
808 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000809 case LibFunc_bzero:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000810 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000811 case LibFunc_calloc:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000812 return (NumParams == 2 && FTy.getReturnType()->isPointerTy());
Ahmed Bougacha1fe3f1c2016-05-25 20:22:45 +0000813
David L. Jonesd21529f2017-01-23 23:16:46 +0000814 case LibFunc_atof:
815 case LibFunc_atoi:
816 case LibFunc_atol:
817 case LibFunc_atoll:
818 case LibFunc_ferror:
819 case LibFunc_getenv:
820 case LibFunc_getpwnam:
821 case LibFunc_iprintf:
822 case LibFunc_pclose:
823 case LibFunc_perror:
824 case LibFunc_printf:
825 case LibFunc_puts:
826 case LibFunc_uname:
827 case LibFunc_under_IO_getc:
828 case LibFunc_unlink:
829 case LibFunc_unsetenv:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000830 return (NumParams == 1 && FTy.getParamType(0)->isPointerTy());
Ahmed Bougacha1fe3f1c2016-05-25 20:22:45 +0000831
David L. Jonesd21529f2017-01-23 23:16:46 +0000832 case LibFunc_access:
833 case LibFunc_chmod:
834 case LibFunc_chown:
835 case LibFunc_clearerr:
836 case LibFunc_closedir:
837 case LibFunc_ctermid:
838 case LibFunc_fclose:
839 case LibFunc_feof:
840 case LibFunc_fflush:
841 case LibFunc_fgetc:
David Bolvanskyca22d422018-05-16 11:39:52 +0000842 case LibFunc_fgetc_unlocked:
David L. Jonesd21529f2017-01-23 23:16:46 +0000843 case LibFunc_fileno:
844 case LibFunc_flockfile:
845 case LibFunc_free:
846 case LibFunc_fseek:
847 case LibFunc_fseeko64:
848 case LibFunc_fseeko:
849 case LibFunc_fsetpos:
850 case LibFunc_ftell:
851 case LibFunc_ftello64:
852 case LibFunc_ftello:
853 case LibFunc_ftrylockfile:
854 case LibFunc_funlockfile:
855 case LibFunc_getc:
856 case LibFunc_getc_unlocked:
857 case LibFunc_getlogin_r:
858 case LibFunc_mkdir:
859 case LibFunc_mktime:
860 case LibFunc_times:
Ahmed Bougacha1fe3f1c2016-05-25 20:22:45 +0000861 return (NumParams != 0 && FTy.getParamType(0)->isPointerTy());
862
David L. Jonesd21529f2017-01-23 23:16:46 +0000863 case LibFunc_fopen:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000864 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
865 FTy.getParamType(0)->isPointerTy() &&
866 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000867 case LibFunc_fdopen:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000868 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
869 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000870 case LibFunc_fputc:
David Bolvanskyca22d422018-05-16 11:39:52 +0000871 case LibFunc_fputc_unlocked:
David L. Jonesd21529f2017-01-23 23:16:46 +0000872 case LibFunc_fstat:
873 case LibFunc_frexp:
874 case LibFunc_frexpf:
875 case LibFunc_frexpl:
876 case LibFunc_fstatvfs:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000877 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000878 case LibFunc_fgets:
David Bolvanskyca22d422018-05-16 11:39:52 +0000879 case LibFunc_fgets_unlocked:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000880 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy() &&
881 FTy.getParamType(2)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000882 case LibFunc_fread:
David Bolvanskyca22d422018-05-16 11:39:52 +0000883 case LibFunc_fread_unlocked:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000884 return (NumParams == 4 && FTy.getParamType(0)->isPointerTy() &&
885 FTy.getParamType(3)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000886 case LibFunc_fwrite:
David Bolvanskyca22d422018-05-16 11:39:52 +0000887 case LibFunc_fwrite_unlocked:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000888 return (NumParams == 4 && FTy.getReturnType()->isIntegerTy() &&
889 FTy.getParamType(0)->isPointerTy() &&
890 FTy.getParamType(1)->isIntegerTy() &&
891 FTy.getParamType(2)->isIntegerTy() &&
892 FTy.getParamType(3)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000893 case LibFunc_fputs:
David Bolvanskyca22d422018-05-16 11:39:52 +0000894 case LibFunc_fputs_unlocked:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000895 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
896 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000897 case LibFunc_fscanf:
898 case LibFunc_fiprintf:
899 case LibFunc_fprintf:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000900 return (NumParams >= 2 && FTy.getReturnType()->isIntegerTy() &&
901 FTy.getParamType(0)->isPointerTy() &&
Ahmed Bougachad765a822016-04-27 19:04:35 +0000902 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000903 case LibFunc_fgetpos:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000904 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
905 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000906 case LibFunc_getchar:
David Bolvanskyca22d422018-05-16 11:39:52 +0000907 case LibFunc_getchar_unlocked:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000908 return (NumParams == 0 && FTy.getReturnType()->isIntegerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000909 case LibFunc_gets:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000910 return (NumParams == 1 && FTy.getParamType(0) == PCharTy);
David L. Jonesd21529f2017-01-23 23:16:46 +0000911 case LibFunc_getitimer:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000912 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000913 case LibFunc_ungetc:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000914 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000915 case LibFunc_utime:
916 case LibFunc_utimes:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000917 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
918 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000919 case LibFunc_putc:
David Bolvanskyca22d422018-05-16 11:39:52 +0000920 case LibFunc_putc_unlocked:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000921 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000922 case LibFunc_pread:
923 case LibFunc_pwrite:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000924 return (NumParams == 4 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000925 case LibFunc_popen:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000926 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
927 FTy.getParamType(0)->isPointerTy() &&
928 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000929 case LibFunc_vscanf:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000930 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000931 case LibFunc_vsscanf:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000932 return (NumParams == 3 && FTy.getParamType(1)->isPointerTy() &&
933 FTy.getParamType(2)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000934 case LibFunc_vfscanf:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000935 return (NumParams == 3 && FTy.getParamType(1)->isPointerTy() &&
936 FTy.getParamType(2)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000937 case LibFunc_valloc:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000938 return (FTy.getReturnType()->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000939 case LibFunc_vprintf:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000940 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000941 case LibFunc_vfprintf:
942 case LibFunc_vsprintf:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000943 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy() &&
944 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000945 case LibFunc_vsnprintf:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000946 return (NumParams == 4 && FTy.getParamType(0)->isPointerTy() &&
947 FTy.getParamType(2)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000948 case LibFunc_open:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000949 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000950 case LibFunc_opendir:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000951 return (NumParams == 1 && FTy.getReturnType()->isPointerTy() &&
952 FTy.getParamType(0)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000953 case LibFunc_tmpfile:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000954 return (FTy.getReturnType()->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000955 case LibFunc_htonl:
956 case LibFunc_ntohl:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000957 return (NumParams == 1 && FTy.getReturnType()->isIntegerTy(32) &&
958 FTy.getReturnType() == FTy.getParamType(0));
David L. Jonesd21529f2017-01-23 23:16:46 +0000959 case LibFunc_htons:
960 case LibFunc_ntohs:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000961 return (NumParams == 1 && FTy.getReturnType()->isIntegerTy(16) &&
962 FTy.getReturnType() == FTy.getParamType(0));
David L. Jonesd21529f2017-01-23 23:16:46 +0000963 case LibFunc_lstat:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000964 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
965 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000966 case LibFunc_lchown:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000967 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000968 case LibFunc_qsort:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000969 return (NumParams == 4 && FTy.getParamType(3)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000970 case LibFunc_dunder_strdup:
971 case LibFunc_dunder_strndup:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000972 return (NumParams >= 1 && FTy.getReturnType()->isPointerTy() &&
973 FTy.getParamType(0)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000974 case LibFunc_dunder_strtok_r:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000975 return (NumParams == 3 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000976 case LibFunc_under_IO_putc:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000977 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000978 case LibFunc_dunder_isoc99_scanf:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000979 return (NumParams >= 1 && FTy.getParamType(0)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000980 case LibFunc_stat64:
981 case LibFunc_lstat64:
982 case LibFunc_statvfs64:
Michael Kuperstein79dcc272016-09-20 23:10:31 +0000983 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
Ahmed Bougachad765a822016-04-27 19:04:35 +0000984 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000985 case LibFunc_dunder_isoc99_sscanf:
Michael Kuperstein79dcc272016-09-20 23:10:31 +0000986 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
Ahmed Bougachad765a822016-04-27 19:04:35 +0000987 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000988 case LibFunc_fopen64:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000989 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
990 FTy.getParamType(0)->isPointerTy() &&
991 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000992 case LibFunc_tmpfile64:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000993 return (FTy.getReturnType()->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000994 case LibFunc_fstat64:
995 case LibFunc_fstatvfs64:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000996 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000997 case LibFunc_open64:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000998 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000999 case LibFunc_gettimeofday:
Ahmed Bougachad765a822016-04-27 19:04:35 +00001000 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
1001 FTy.getParamType(1)->isPointerTy());
1002
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001003 // new(unsigned int);
David L. Jonesd21529f2017-01-23 23:16:46 +00001004 case LibFunc_Znwj:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001005 // new(unsigned long);
David L. Jonesd21529f2017-01-23 23:16:46 +00001006 case LibFunc_Znwm:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001007 // new[](unsigned int);
David L. Jonesd21529f2017-01-23 23:16:46 +00001008 case LibFunc_Znaj:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001009 // new[](unsigned long);
David L. Jonesd21529f2017-01-23 23:16:46 +00001010 case LibFunc_Znam:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001011 // new(unsigned int);
David L. Jonesd21529f2017-01-23 23:16:46 +00001012 case LibFunc_msvc_new_int:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001013 // new(unsigned long long);
David L. Jonesd21529f2017-01-23 23:16:46 +00001014 case LibFunc_msvc_new_longlong:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001015 // new[](unsigned int);
David L. Jonesd21529f2017-01-23 23:16:46 +00001016 case LibFunc_msvc_new_array_int:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001017 // new[](unsigned long long);
David L. Jonesd21529f2017-01-23 23:16:46 +00001018 case LibFunc_msvc_new_array_longlong:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001019 return (NumParams == 1 && FTy.getReturnType()->isPointerTy());
1020
1021 // new(unsigned int, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +00001022 case LibFunc_ZnwjRKSt9nothrow_t:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001023 // new(unsigned long, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +00001024 case LibFunc_ZnwmRKSt9nothrow_t:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001025 // new[](unsigned int, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +00001026 case LibFunc_ZnajRKSt9nothrow_t:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001027 // new[](unsigned long, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +00001028 case LibFunc_ZnamRKSt9nothrow_t:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001029 // new(unsigned int, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +00001030 case LibFunc_msvc_new_int_nothrow:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001031 // new(unsigned long long, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +00001032 case LibFunc_msvc_new_longlong_nothrow:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001033 // new[](unsigned int, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +00001034 case LibFunc_msvc_new_array_int_nothrow:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001035 // new[](unsigned long long, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +00001036 case LibFunc_msvc_new_array_longlong_nothrow:
Eric Fiselier96bbec72018-04-04 19:01:51 +00001037 // new(unsigned int, align_val_t)
1038 case LibFunc_ZnwjSt11align_val_t:
1039 // new(unsigned long, align_val_t)
1040 case LibFunc_ZnwmSt11align_val_t:
1041 // new[](unsigned int, align_val_t)
1042 case LibFunc_ZnajSt11align_val_t:
1043 // new[](unsigned long, align_val_t)
1044 case LibFunc_ZnamSt11align_val_t:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001045 return (NumParams == 2 && FTy.getReturnType()->isPointerTy());
1046
Eric Fiselier96bbec72018-04-04 19:01:51 +00001047 // new(unsigned int, align_val_t, nothrow)
1048 case LibFunc_ZnwjSt11align_val_tRKSt9nothrow_t:
1049 // new(unsigned long, align_val_t, nothrow)
1050 case LibFunc_ZnwmSt11align_val_tRKSt9nothrow_t:
1051 // new[](unsigned int, align_val_t, nothrow)
1052 case LibFunc_ZnajSt11align_val_tRKSt9nothrow_t:
1053 // new[](unsigned long, align_val_t, nothrow)
1054 case LibFunc_ZnamSt11align_val_tRKSt9nothrow_t:
1055 return (NumParams == 3 && FTy.getReturnType()->isPointerTy());
1056
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001057 // void operator delete[](void*);
David L. Jonesd21529f2017-01-23 23:16:46 +00001058 case LibFunc_ZdaPv:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001059 // void operator delete(void*);
David L. Jonesd21529f2017-01-23 23:16:46 +00001060 case LibFunc_ZdlPv:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001061 // void operator delete[](void*);
David L. Jonesd21529f2017-01-23 23:16:46 +00001062 case LibFunc_msvc_delete_array_ptr32:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001063 // void operator delete[](void*);
David L. Jonesd21529f2017-01-23 23:16:46 +00001064 case LibFunc_msvc_delete_array_ptr64:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001065 // void operator delete(void*);
David L. Jonesd21529f2017-01-23 23:16:46 +00001066 case LibFunc_msvc_delete_ptr32:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001067 // void operator delete(void*);
David L. Jonesd21529f2017-01-23 23:16:46 +00001068 case LibFunc_msvc_delete_ptr64:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001069 return (NumParams == 1 && FTy.getParamType(0)->isPointerTy());
1070
1071 // void operator delete[](void*, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +00001072 case LibFunc_ZdaPvRKSt9nothrow_t:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001073 // void operator delete[](void*, unsigned int);
David L. Jonesd21529f2017-01-23 23:16:46 +00001074 case LibFunc_ZdaPvj:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001075 // void operator delete[](void*, unsigned long);
David L. Jonesd21529f2017-01-23 23:16:46 +00001076 case LibFunc_ZdaPvm:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001077 // void operator delete(void*, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +00001078 case LibFunc_ZdlPvRKSt9nothrow_t:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001079 // void operator delete(void*, unsigned int);
David L. Jonesd21529f2017-01-23 23:16:46 +00001080 case LibFunc_ZdlPvj:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001081 // void operator delete(void*, unsigned long);
David L. Jonesd21529f2017-01-23 23:16:46 +00001082 case LibFunc_ZdlPvm:
Eric Fiselier96bbec72018-04-04 19:01:51 +00001083 // void operator delete(void*, align_val_t)
1084 case LibFunc_ZdlPvSt11align_val_t:
1085 // void operator delete[](void*, align_val_t)
1086 case LibFunc_ZdaPvSt11align_val_t:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001087 // void operator delete[](void*, unsigned int);
David L. Jonesd21529f2017-01-23 23:16:46 +00001088 case LibFunc_msvc_delete_array_ptr32_int:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001089 // void operator delete[](void*, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +00001090 case LibFunc_msvc_delete_array_ptr32_nothrow:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001091 // void operator delete[](void*, unsigned long long);
David L. Jonesd21529f2017-01-23 23:16:46 +00001092 case LibFunc_msvc_delete_array_ptr64_longlong:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001093 // void operator delete[](void*, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +00001094 case LibFunc_msvc_delete_array_ptr64_nothrow:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001095 // void operator delete(void*, unsigned int);
David L. Jonesd21529f2017-01-23 23:16:46 +00001096 case LibFunc_msvc_delete_ptr32_int:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001097 // void operator delete(void*, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +00001098 case LibFunc_msvc_delete_ptr32_nothrow:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001099 // void operator delete(void*, unsigned long long);
David L. Jonesd21529f2017-01-23 23:16:46 +00001100 case LibFunc_msvc_delete_ptr64_longlong:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001101 // void operator delete(void*, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +00001102 case LibFunc_msvc_delete_ptr64_nothrow:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001103 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy());
Ahmed Bougachad765a822016-04-27 19:04:35 +00001104
Eric Fiselier96bbec72018-04-04 19:01:51 +00001105 // void operator delete(void*, align_val_t, nothrow)
1106 case LibFunc_ZdlPvSt11align_val_tRKSt9nothrow_t:
1107 // void operator delete[](void*, align_val_t, nothrow)
1108 case LibFunc_ZdaPvSt11align_val_tRKSt9nothrow_t:
1109 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy());
1110
David L. Jonesd21529f2017-01-23 23:16:46 +00001111 case LibFunc_memset_pattern16:
Ahmed Bougachad765a822016-04-27 19:04:35 +00001112 return (!FTy.isVarArg() && NumParams == 3 &&
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001113 FTy.getParamType(0)->isPointerTy() &&
1114 FTy.getParamType(1)->isPointerTy() &&
1115 FTy.getParamType(2)->isIntegerTy());
Ahmed Bougachad765a822016-04-27 19:04:35 +00001116
David L. Jonesd21529f2017-01-23 23:16:46 +00001117 case LibFunc_cxa_guard_abort:
1118 case LibFunc_cxa_guard_acquire:
1119 case LibFunc_cxa_guard_release:
1120 case LibFunc_nvvm_reflect:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001121 return (NumParams == 1 && FTy.getParamType(0)->isPointerTy());
Ahmed Bougachad765a822016-04-27 19:04:35 +00001122
David L. Jonesd21529f2017-01-23 23:16:46 +00001123 case LibFunc_sincospi_stret:
1124 case LibFunc_sincospif_stret:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001125 return (NumParams == 1 && FTy.getParamType(0)->isFloatingPointTy());
1126
David L. Jonesd21529f2017-01-23 23:16:46 +00001127 case LibFunc_acos:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001128 case LibFunc_acos_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001129 case LibFunc_acosf:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001130 case LibFunc_acosf_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001131 case LibFunc_acosh:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001132 case LibFunc_acosh_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001133 case LibFunc_acoshf:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001134 case LibFunc_acoshf_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001135 case LibFunc_acoshl:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001136 case LibFunc_acoshl_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001137 case LibFunc_acosl:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001138 case LibFunc_acosl_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001139 case LibFunc_asin:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001140 case LibFunc_asin_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001141 case LibFunc_asinf:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001142 case LibFunc_asinf_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001143 case LibFunc_asinh:
1144 case LibFunc_asinhf:
1145 case LibFunc_asinhl:
1146 case LibFunc_asinl:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001147 case LibFunc_asinl_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001148 case LibFunc_atan:
1149 case LibFunc_atanf:
1150 case LibFunc_atanh:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001151 case LibFunc_atanh_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001152 case LibFunc_atanhf:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001153 case LibFunc_atanhf_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001154 case LibFunc_atanhl:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001155 case LibFunc_atanhl_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001156 case LibFunc_atanl:
1157 case LibFunc_cbrt:
1158 case LibFunc_cbrtf:
1159 case LibFunc_cbrtl:
1160 case LibFunc_ceil:
1161 case LibFunc_ceilf:
1162 case LibFunc_ceill:
1163 case LibFunc_cos:
1164 case LibFunc_cosf:
1165 case LibFunc_cosh:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001166 case LibFunc_cosh_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001167 case LibFunc_coshf:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001168 case LibFunc_coshf_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001169 case LibFunc_coshl:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001170 case LibFunc_coshl_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001171 case LibFunc_cosl:
1172 case LibFunc_exp10:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001173 case LibFunc_exp10_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001174 case LibFunc_exp10f:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001175 case LibFunc_exp10f_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001176 case LibFunc_exp10l:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001177 case LibFunc_exp10l_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001178 case LibFunc_exp2:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001179 case LibFunc_exp2_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001180 case LibFunc_exp2f:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001181 case LibFunc_exp2f_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001182 case LibFunc_exp2l:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001183 case LibFunc_exp2l_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001184 case LibFunc_exp:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001185 case LibFunc_exp_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001186 case LibFunc_expf:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001187 case LibFunc_expf_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001188 case LibFunc_expl:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001189 case LibFunc_expl_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001190 case LibFunc_expm1:
1191 case LibFunc_expm1f:
1192 case LibFunc_expm1l:
1193 case LibFunc_fabs:
1194 case LibFunc_fabsf:
1195 case LibFunc_fabsl:
1196 case LibFunc_floor:
1197 case LibFunc_floorf:
1198 case LibFunc_floorl:
1199 case LibFunc_log10:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001200 case LibFunc_log10_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001201 case LibFunc_log10f:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001202 case LibFunc_log10f_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001203 case LibFunc_log10l:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001204 case LibFunc_log10l_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001205 case LibFunc_log1p:
1206 case LibFunc_log1pf:
1207 case LibFunc_log1pl:
1208 case LibFunc_log2:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001209 case LibFunc_log2_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001210 case LibFunc_log2f:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001211 case LibFunc_log2f_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001212 case LibFunc_log2l:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001213 case LibFunc_log2l_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001214 case LibFunc_log:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001215 case LibFunc_log_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001216 case LibFunc_logb:
1217 case LibFunc_logbf:
1218 case LibFunc_logbl:
1219 case LibFunc_logf:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001220 case LibFunc_logf_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001221 case LibFunc_logl:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001222 case LibFunc_logl_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001223 case LibFunc_nearbyint:
1224 case LibFunc_nearbyintf:
1225 case LibFunc_nearbyintl:
1226 case LibFunc_rint:
1227 case LibFunc_rintf:
1228 case LibFunc_rintl:
1229 case LibFunc_round:
1230 case LibFunc_roundf:
1231 case LibFunc_roundl:
1232 case LibFunc_sin:
1233 case LibFunc_sinf:
1234 case LibFunc_sinh:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001235 case LibFunc_sinh_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001236 case LibFunc_sinhf:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001237 case LibFunc_sinhf_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001238 case LibFunc_sinhl:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001239 case LibFunc_sinhl_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001240 case LibFunc_sinl:
1241 case LibFunc_sqrt:
1242 case LibFunc_sqrt_finite:
1243 case LibFunc_sqrtf:
1244 case LibFunc_sqrtf_finite:
1245 case LibFunc_sqrtl:
1246 case LibFunc_sqrtl_finite:
1247 case LibFunc_tan:
1248 case LibFunc_tanf:
1249 case LibFunc_tanh:
1250 case LibFunc_tanhf:
1251 case LibFunc_tanhl:
1252 case LibFunc_tanl:
1253 case LibFunc_trunc:
1254 case LibFunc_truncf:
1255 case LibFunc_truncl:
Ahmed Bougachad765a822016-04-27 19:04:35 +00001256 return (NumParams == 1 && FTy.getReturnType()->isFloatingPointTy() &&
1257 FTy.getReturnType() == FTy.getParamType(0));
1258
David L. Jonesd21529f2017-01-23 23:16:46 +00001259 case LibFunc_atan2:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001260 case LibFunc_atan2_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001261 case LibFunc_atan2f:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001262 case LibFunc_atan2f_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001263 case LibFunc_atan2l:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001264 case LibFunc_atan2l_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001265 case LibFunc_fmin:
1266 case LibFunc_fminf:
1267 case LibFunc_fminl:
1268 case LibFunc_fmax:
1269 case LibFunc_fmaxf:
1270 case LibFunc_fmaxl:
1271 case LibFunc_fmod:
1272 case LibFunc_fmodf:
1273 case LibFunc_fmodl:
1274 case LibFunc_copysign:
1275 case LibFunc_copysignf:
1276 case LibFunc_copysignl:
1277 case LibFunc_pow:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001278 case LibFunc_pow_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001279 case LibFunc_powf:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001280 case LibFunc_powf_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001281 case LibFunc_powl:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001282 case LibFunc_powl_finite:
Ahmed Bougachad765a822016-04-27 19:04:35 +00001283 return (NumParams == 2 && FTy.getReturnType()->isFloatingPointTy() &&
1284 FTy.getReturnType() == FTy.getParamType(0) &&
1285 FTy.getReturnType() == FTy.getParamType(1));
1286
David L. Jonesd21529f2017-01-23 23:16:46 +00001287 case LibFunc_ldexp:
1288 case LibFunc_ldexpf:
1289 case LibFunc_ldexpl:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001290 return (NumParams == 2 && FTy.getReturnType()->isFloatingPointTy() &&
1291 FTy.getReturnType() == FTy.getParamType(0) &&
1292 FTy.getParamType(1)->isIntegerTy(32));
1293
David L. Jonesd21529f2017-01-23 23:16:46 +00001294 case LibFunc_ffs:
1295 case LibFunc_ffsl:
1296 case LibFunc_ffsll:
1297 case LibFunc_fls:
1298 case LibFunc_flsl:
1299 case LibFunc_flsll:
Sanjay Patel04949faf2016-09-23 18:44:09 +00001300 return (NumParams == 1 && FTy.getReturnType()->isIntegerTy(32) &&
1301 FTy.getParamType(0)->isIntegerTy());
1302
David L. Jonesd21529f2017-01-23 23:16:46 +00001303 case LibFunc_isdigit:
1304 case LibFunc_isascii:
1305 case LibFunc_toascii:
1306 case LibFunc_putchar:
David Bolvanskyca22d422018-05-16 11:39:52 +00001307 case LibFunc_putchar_unlocked:
Ahmed Bougachad765a822016-04-27 19:04:35 +00001308 return (NumParams == 1 && FTy.getReturnType()->isIntegerTy(32) &&
Sanjay Patel04949faf2016-09-23 18:44:09 +00001309 FTy.getReturnType() == FTy.getParamType(0));
Ahmed Bougachad765a822016-04-27 19:04:35 +00001310
David L. Jonesd21529f2017-01-23 23:16:46 +00001311 case LibFunc_abs:
1312 case LibFunc_labs:
1313 case LibFunc_llabs:
Ahmed Bougachad765a822016-04-27 19:04:35 +00001314 return (NumParams == 1 && FTy.getReturnType()->isIntegerTy() &&
1315 FTy.getReturnType() == FTy.getParamType(0));
1316
David L. Jonesd21529f2017-01-23 23:16:46 +00001317 case LibFunc_cxa_atexit:
Ahmed Bougachad765a822016-04-27 19:04:35 +00001318 return (NumParams == 3 && FTy.getReturnType()->isIntegerTy() &&
1319 FTy.getParamType(0)->isPointerTy() &&
1320 FTy.getParamType(1)->isPointerTy() &&
1321 FTy.getParamType(2)->isPointerTy());
1322
David L. Jonesd21529f2017-01-23 23:16:46 +00001323 case LibFunc_sinpi:
1324 case LibFunc_cospi:
Ahmed Bougachad765a822016-04-27 19:04:35 +00001325 return (NumParams == 1 && FTy.getReturnType()->isDoubleTy() &&
1326 FTy.getReturnType() == FTy.getParamType(0));
1327
David L. Jonesd21529f2017-01-23 23:16:46 +00001328 case LibFunc_sinpif:
1329 case LibFunc_cospif:
Ahmed Bougachad765a822016-04-27 19:04:35 +00001330 return (NumParams == 1 && FTy.getReturnType()->isFloatTy() &&
1331 FTy.getReturnType() == FTy.getParamType(0));
1332
David L. Jonesd21529f2017-01-23 23:16:46 +00001333 case LibFunc_strnlen:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001334 return (NumParams == 2 && FTy.getReturnType() == FTy.getParamType(1) &&
1335 FTy.getParamType(0) == PCharTy &&
1336 FTy.getParamType(1) == SizeTTy);
1337
David L. Jonesd21529f2017-01-23 23:16:46 +00001338 case LibFunc_posix_memalign:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001339 return (NumParams == 3 && FTy.getReturnType()->isIntegerTy(32) &&
1340 FTy.getParamType(0)->isPointerTy() &&
1341 FTy.getParamType(1) == SizeTTy && FTy.getParamType(2) == SizeTTy);
1342
Matthias Braun60b40b82017-05-05 20:25:50 +00001343 case LibFunc_wcslen:
1344 return (NumParams == 1 && FTy.getParamType(0)->isPointerTy() &&
1345 FTy.getReturnType()->isIntegerTy());
1346
Hal Finkel2ff24732017-12-16 01:26:25 +00001347 case LibFunc_cabs:
1348 case LibFunc_cabsf:
1349 case LibFunc_cabsl: {
1350 Type* RetTy = FTy.getReturnType();
1351 if (!RetTy->isFloatingPointTy())
1352 return false;
1353
1354 // NOTE: These prototypes are target specific and currently support
1355 // "complex" passed as an array or discrete real & imaginary parameters.
1356 // Add other calling conventions to enable libcall optimizations.
1357 if (NumParams == 1)
1358 return (FTy.getParamType(0)->isArrayTy() &&
1359 FTy.getParamType(0)->getArrayNumElements() == 2 &&
1360 FTy.getParamType(0)->getArrayElementType() == RetTy);
1361 else if (NumParams == 2)
1362 return (FTy.getParamType(0) == RetTy && FTy.getParamType(1) == RetTy);
1363 else
1364 return false;
1365 }
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001366 case LibFunc::NumLibFuncs:
Ahmed Bougacha86b680a2017-01-17 19:54:18 +00001367 break;
Ahmed Bougachad765a822016-04-27 19:04:35 +00001368 }
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001369
Ahmed Bougacha86b680a2017-01-17 19:54:18 +00001370 llvm_unreachable("Invalid libfunc");
Ahmed Bougachad765a822016-04-27 19:04:35 +00001371}
1372
1373bool TargetLibraryInfoImpl::getLibFunc(const Function &FDecl,
David L. Jonesd21529f2017-01-23 23:16:46 +00001374 LibFunc &F) const {
Ahmed Bougachad765a822016-04-27 19:04:35 +00001375 const DataLayout *DL =
1376 FDecl.getParent() ? &FDecl.getParent()->getDataLayout() : nullptr;
1377 return getLibFunc(FDecl.getName(), F) &&
1378 isValidProtoForLibFunc(*FDecl.getFunctionType(), F, DL);
1379}
1380
Chandler Carruthc0291862015-01-24 02:06:09 +00001381void TargetLibraryInfoImpl::disableAllFunctions() {
Chris Lattner1341df92011-02-18 22:34:03 +00001382 memset(AvailableArray, 0, sizeof(AvailableArray));
1383}
Chandler Carruthb98f63d2015-01-15 10:41:28 +00001384
Michael Zolotukhine8f25512015-03-17 19:22:30 +00001385static bool compareByScalarFnName(const VecDesc &LHS, const VecDesc &RHS) {
Mehdi Amini9a72cd72016-10-01 03:10:48 +00001386 return LHS.ScalarFnName < RHS.ScalarFnName;
Michael Zolotukhine8f25512015-03-17 19:22:30 +00001387}
1388
1389static bool compareByVectorFnName(const VecDesc &LHS, const VecDesc &RHS) {
Mehdi Amini9a72cd72016-10-01 03:10:48 +00001390 return LHS.VectorFnName < RHS.VectorFnName;
Michael Zolotukhine8f25512015-03-17 19:22:30 +00001391}
1392
1393static bool compareWithScalarFnName(const VecDesc &LHS, StringRef S) {
Mehdi Amini9a72cd72016-10-01 03:10:48 +00001394 return LHS.ScalarFnName < S;
Michael Zolotukhine8f25512015-03-17 19:22:30 +00001395}
1396
1397static bool compareWithVectorFnName(const VecDesc &LHS, StringRef S) {
Mehdi Amini9a72cd72016-10-01 03:10:48 +00001398 return LHS.VectorFnName < S;
Michael Zolotukhine8f25512015-03-17 19:22:30 +00001399}
1400
1401void TargetLibraryInfoImpl::addVectorizableFunctions(ArrayRef<VecDesc> Fns) {
1402 VectorDescs.insert(VectorDescs.end(), Fns.begin(), Fns.end());
Mandeep Singh Grang97bcade2018-04-01 01:46:51 +00001403 llvm::sort(VectorDescs.begin(), VectorDescs.end(), compareByScalarFnName);
Michael Zolotukhine8f25512015-03-17 19:22:30 +00001404
1405 ScalarDescs.insert(ScalarDescs.end(), Fns.begin(), Fns.end());
Mandeep Singh Grang97bcade2018-04-01 01:46:51 +00001406 llvm::sort(ScalarDescs.begin(), ScalarDescs.end(), compareByVectorFnName);
Michael Zolotukhine8f25512015-03-17 19:22:30 +00001407}
1408
Michael Zolotukhin6d8a2aa2015-03-17 19:50:55 +00001409void TargetLibraryInfoImpl::addVectorizableFunctionsFromVecLib(
1410 enum VectorLibrary VecLib) {
1411 switch (VecLib) {
1412 case Accelerate: {
1413 const VecDesc VecFuncs[] = {
Michael Zolotukhinde63aac2015-05-07 17:11:51 +00001414 // Floating-Point Arithmetic and Auxiliary Functions
1415 {"ceilf", "vceilf", 4},
Michael Zolotukhin6d8a2aa2015-03-17 19:50:55 +00001416 {"fabsf", "vfabsf", 4},
1417 {"llvm.fabs.f32", "vfabsf", 4},
Michael Zolotukhinde63aac2015-05-07 17:11:51 +00001418 {"floorf", "vfloorf", 4},
1419 {"sqrtf", "vsqrtf", 4},
1420 {"llvm.sqrt.f32", "vsqrtf", 4},
1421
1422 // Exponential and Logarithmic Functions
1423 {"expf", "vexpf", 4},
1424 {"llvm.exp.f32", "vexpf", 4},
1425 {"expm1f", "vexpm1f", 4},
1426 {"logf", "vlogf", 4},
1427 {"llvm.log.f32", "vlogf", 4},
1428 {"log1pf", "vlog1pf", 4},
1429 {"log10f", "vlog10f", 4},
1430 {"llvm.log10.f32", "vlog10f", 4},
1431 {"logbf", "vlogbf", 4},
1432
1433 // Trigonometric Functions
1434 {"sinf", "vsinf", 4},
1435 {"llvm.sin.f32", "vsinf", 4},
1436 {"cosf", "vcosf", 4},
1437 {"llvm.cos.f32", "vcosf", 4},
1438 {"tanf", "vtanf", 4},
1439 {"asinf", "vasinf", 4},
1440 {"acosf", "vacosf", 4},
1441 {"atanf", "vatanf", 4},
1442
1443 // Hyperbolic Functions
1444 {"sinhf", "vsinhf", 4},
1445 {"coshf", "vcoshf", 4},
1446 {"tanhf", "vtanhf", 4},
1447 {"asinhf", "vasinhf", 4},
1448 {"acoshf", "vacoshf", 4},
1449 {"atanhf", "vatanhf", 4},
Michael Zolotukhin6d8a2aa2015-03-17 19:50:55 +00001450 };
1451 addVectorizableFunctions(VecFuncs);
1452 break;
1453 }
Matt Mastena6669a12016-07-29 16:42:44 +00001454 case SVML: {
1455 const VecDesc VecFuncs[] = {
1456 {"sin", "__svml_sin2", 2},
1457 {"sin", "__svml_sin4", 4},
1458 {"sin", "__svml_sin8", 8},
1459
1460 {"sinf", "__svml_sinf4", 4},
1461 {"sinf", "__svml_sinf8", 8},
1462 {"sinf", "__svml_sinf16", 16},
1463
1464 {"cos", "__svml_cos2", 2},
1465 {"cos", "__svml_cos4", 4},
1466 {"cos", "__svml_cos8", 8},
1467
1468 {"cosf", "__svml_cosf4", 4},
1469 {"cosf", "__svml_cosf8", 8},
1470 {"cosf", "__svml_cosf16", 16},
1471
1472 {"pow", "__svml_pow2", 2},
1473 {"pow", "__svml_pow4", 4},
1474 {"pow", "__svml_pow8", 8},
1475
1476 {"powf", "__svml_powf4", 4},
1477 {"powf", "__svml_powf8", 8},
1478 {"powf", "__svml_powf16", 16},
1479
Andrew Kaylorb01e94e2017-05-12 22:11:26 +00001480 { "__pow_finite", "__svml_pow2", 2 },
1481 { "__pow_finite", "__svml_pow4", 4 },
1482 { "__pow_finite", "__svml_pow8", 8 },
1483
1484 { "__powf_finite", "__svml_powf4", 4 },
1485 { "__powf_finite", "__svml_powf8", 8 },
1486 { "__powf_finite", "__svml_powf16", 16 },
1487
Matt Mastena6669a12016-07-29 16:42:44 +00001488 {"llvm.pow.f64", "__svml_pow2", 2},
1489 {"llvm.pow.f64", "__svml_pow4", 4},
1490 {"llvm.pow.f64", "__svml_pow8", 8},
1491
1492 {"llvm.pow.f32", "__svml_powf4", 4},
1493 {"llvm.pow.f32", "__svml_powf8", 8},
1494 {"llvm.pow.f32", "__svml_powf16", 16},
1495
1496 {"exp", "__svml_exp2", 2},
1497 {"exp", "__svml_exp4", 4},
1498 {"exp", "__svml_exp8", 8},
1499
1500 {"expf", "__svml_expf4", 4},
1501 {"expf", "__svml_expf8", 8},
1502 {"expf", "__svml_expf16", 16},
1503
Andrew Kaylorb01e94e2017-05-12 22:11:26 +00001504 { "__exp_finite", "__svml_exp2", 2 },
1505 { "__exp_finite", "__svml_exp4", 4 },
1506 { "__exp_finite", "__svml_exp8", 8 },
1507
1508 { "__expf_finite", "__svml_expf4", 4 },
1509 { "__expf_finite", "__svml_expf8", 8 },
1510 { "__expf_finite", "__svml_expf16", 16 },
1511
Matt Mastena6669a12016-07-29 16:42:44 +00001512 {"llvm.exp.f64", "__svml_exp2", 2},
1513 {"llvm.exp.f64", "__svml_exp4", 4},
1514 {"llvm.exp.f64", "__svml_exp8", 8},
1515
1516 {"llvm.exp.f32", "__svml_expf4", 4},
1517 {"llvm.exp.f32", "__svml_expf8", 8},
1518 {"llvm.exp.f32", "__svml_expf16", 16},
1519
1520 {"log", "__svml_log2", 2},
1521 {"log", "__svml_log4", 4},
1522 {"log", "__svml_log8", 8},
1523
1524 {"logf", "__svml_logf4", 4},
1525 {"logf", "__svml_logf8", 8},
1526 {"logf", "__svml_logf16", 16},
1527
Andrew Kaylorb01e94e2017-05-12 22:11:26 +00001528 { "__log_finite", "__svml_log2", 2 },
1529 { "__log_finite", "__svml_log4", 4 },
1530 { "__log_finite", "__svml_log8", 8 },
1531
1532 { "__logf_finite", "__svml_logf4", 4 },
1533 { "__logf_finite", "__svml_logf8", 8 },
1534 { "__logf_finite", "__svml_logf16", 16 },
1535
Matt Mastena6669a12016-07-29 16:42:44 +00001536 {"llvm.log.f64", "__svml_log2", 2},
1537 {"llvm.log.f64", "__svml_log4", 4},
1538 {"llvm.log.f64", "__svml_log8", 8},
1539
1540 {"llvm.log.f32", "__svml_logf4", 4},
1541 {"llvm.log.f32", "__svml_logf8", 8},
1542 {"llvm.log.f32", "__svml_logf16", 16},
1543 };
1544 addVectorizableFunctions(VecFuncs);
1545 break;
1546 }
Michael Zolotukhin6d8a2aa2015-03-17 19:50:55 +00001547 case NoLibrary:
1548 break;
1549 }
1550}
1551
Michael Zolotukhine8f25512015-03-17 19:22:30 +00001552bool TargetLibraryInfoImpl::isFunctionVectorizable(StringRef funcName) const {
1553 funcName = sanitizeFunctionName(funcName);
1554 if (funcName.empty())
1555 return false;
1556
1557 std::vector<VecDesc>::const_iterator I = std::lower_bound(
1558 VectorDescs.begin(), VectorDescs.end(), funcName,
1559 compareWithScalarFnName);
1560 return I != VectorDescs.end() && StringRef(I->ScalarFnName) == funcName;
1561}
1562
1563StringRef TargetLibraryInfoImpl::getVectorizedFunction(StringRef F,
1564 unsigned VF) const {
1565 F = sanitizeFunctionName(F);
1566 if (F.empty())
1567 return F;
1568 std::vector<VecDesc>::const_iterator I = std::lower_bound(
1569 VectorDescs.begin(), VectorDescs.end(), F, compareWithScalarFnName);
1570 while (I != VectorDescs.end() && StringRef(I->ScalarFnName) == F) {
1571 if (I->VectorizationFactor == VF)
1572 return I->VectorFnName;
1573 ++I;
1574 }
1575 return StringRef();
1576}
1577
1578StringRef TargetLibraryInfoImpl::getScalarizedFunction(StringRef F,
1579 unsigned &VF) const {
1580 F = sanitizeFunctionName(F);
1581 if (F.empty())
1582 return F;
1583
1584 std::vector<VecDesc>::const_iterator I = std::lower_bound(
1585 ScalarDescs.begin(), ScalarDescs.end(), F, compareWithVectorFnName);
1586 if (I == VectorDescs.end() || StringRef(I->VectorFnName) != F)
1587 return StringRef();
1588 VF = I->VectorizationFactor;
1589 return I->ScalarFnName;
1590}
1591
Chandler Carruth164a2aa62016-06-17 00:11:01 +00001592TargetLibraryInfo TargetLibraryAnalysis::run(Module &M,
1593 ModuleAnalysisManager &) {
Chandler Carruthc0291862015-01-24 02:06:09 +00001594 if (PresetInfoImpl)
1595 return TargetLibraryInfo(*PresetInfoImpl);
1596
1597 return TargetLibraryInfo(lookupInfoImpl(Triple(M.getTargetTriple())));
1598}
1599
Chandler Carruth164a2aa62016-06-17 00:11:01 +00001600TargetLibraryInfo TargetLibraryAnalysis::run(Function &F,
1601 FunctionAnalysisManager &) {
Chandler Carruthc0291862015-01-24 02:06:09 +00001602 if (PresetInfoImpl)
1603 return TargetLibraryInfo(*PresetInfoImpl);
1604
1605 return TargetLibraryInfo(
1606 lookupInfoImpl(Triple(F.getParent()->getTargetTriple())));
1607}
1608
Benjamin Kramerc321e532016-06-08 19:09:22 +00001609TargetLibraryInfoImpl &TargetLibraryAnalysis::lookupInfoImpl(const Triple &T) {
Chandler Carruthc0291862015-01-24 02:06:09 +00001610 std::unique_ptr<TargetLibraryInfoImpl> &Impl =
1611 Impls[T.normalize()];
1612 if (!Impl)
1613 Impl.reset(new TargetLibraryInfoImpl(T));
1614
1615 return *Impl;
1616}
1617
Matthias Braun50ec0b52017-05-19 22:37:09 +00001618unsigned TargetLibraryInfoImpl::getWCharSize(const Module &M) const {
1619 if (auto *ShortWChar = cast_or_null<ConstantAsMetadata>(
1620 M.getModuleFlag("wchar_size")))
1621 return cast<ConstantInt>(ShortWChar->getValue())->getZExtValue();
Matthias Brauncc603ee2017-09-26 02:36:57 +00001622 return 0;
Matthias Braun50ec0b52017-05-19 22:37:09 +00001623}
Chandler Carruthc0291862015-01-24 02:06:09 +00001624
Chandler Carruthb98f63d2015-01-15 10:41:28 +00001625TargetLibraryInfoWrapperPass::TargetLibraryInfoWrapperPass()
Chandler Carruthc0291862015-01-24 02:06:09 +00001626 : ImmutablePass(ID), TLIImpl(), TLI(TLIImpl) {
Chandler Carruthb98f63d2015-01-15 10:41:28 +00001627 initializeTargetLibraryInfoWrapperPassPass(*PassRegistry::getPassRegistry());
1628}
1629
1630TargetLibraryInfoWrapperPass::TargetLibraryInfoWrapperPass(const Triple &T)
Chandler Carruthc0291862015-01-24 02:06:09 +00001631 : ImmutablePass(ID), TLIImpl(T), TLI(TLIImpl) {
Chandler Carruthb98f63d2015-01-15 10:41:28 +00001632 initializeTargetLibraryInfoWrapperPassPass(*PassRegistry::getPassRegistry());
1633}
1634
1635TargetLibraryInfoWrapperPass::TargetLibraryInfoWrapperPass(
Chandler Carruthc0291862015-01-24 02:06:09 +00001636 const TargetLibraryInfoImpl &TLIImpl)
1637 : ImmutablePass(ID), TLIImpl(TLIImpl), TLI(this->TLIImpl) {
Chandler Carruthb98f63d2015-01-15 10:41:28 +00001638 initializeTargetLibraryInfoWrapperPassPass(*PassRegistry::getPassRegistry());
1639}
1640
Chandler Carruthdab4eae2016-11-23 17:53:26 +00001641AnalysisKey TargetLibraryAnalysis::Key;
NAKAMURA Takumidf0cd722016-02-28 17:17:00 +00001642
Chandler Carruthb98f63d2015-01-15 10:41:28 +00001643// Register the basic pass.
1644INITIALIZE_PASS(TargetLibraryInfoWrapperPass, "targetlibinfo",
1645 "Target Library Information", false, true)
1646char TargetLibraryInfoWrapperPass::ID = 0;
1647
1648void TargetLibraryInfoWrapperPass::anchor() {}