blob: 3cf1bbc5daa59b9bc6ec82271b962fe5cac26f64 [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"
Michael Zolotukhin6d8a2aa2015-03-17 19:50:55 +000016#include "llvm/Support/CommandLine.h"
Chris Lattner0e125bb2011-02-18 21:50:34 +000017using namespace llvm;
18
Michael Zolotukhin6d8a2aa2015-03-17 19:50:55 +000019static cl::opt<TargetLibraryInfoImpl::VectorLibrary> ClVectorLibrary(
20 "vector-library", cl::Hidden, cl::desc("Vector functions library"),
21 cl::init(TargetLibraryInfoImpl::NoLibrary),
22 cl::values(clEnumValN(TargetLibraryInfoImpl::NoLibrary, "none",
23 "No vector functions library"),
24 clEnumValN(TargetLibraryInfoImpl::Accelerate, "Accelerate",
25 "Accelerate framework"),
Matt Mastena6669a12016-07-29 16:42:44 +000026 clEnumValN(TargetLibraryInfoImpl::SVML, "SVML",
Mehdi Amini732afdd2016-10-08 19:41:06 +000027 "Intel SVML library")));
Michael Zolotukhin6d8a2aa2015-03-17 19:50:55 +000028
Mehdi Amini9a72cd72016-10-01 03:10:48 +000029StringRef const TargetLibraryInfoImpl::StandardNames[LibFunc::NumLibFuncs] = {
Jan Wen Voungcd3d25a2015-03-03 23:41:58 +000030#define TLI_DEFINE_STRING
31#include "llvm/Analysis/TargetLibraryInfo.def"
Benjamin Kramer57a3d082015-03-08 16:07:39 +000032};
Eli Friedman489c0ff2011-11-17 01:27:36 +000033
Bob Wilsond8d92d92013-11-03 06:48:38 +000034static bool hasSinCosPiStret(const Triple &T) {
35 // Only Darwin variants have _stret versions of combined trig functions.
Bob Wilson9868d712014-10-09 05:43:30 +000036 if (!T.isOSDarwin())
Bob Wilsond8d92d92013-11-03 06:48:38 +000037 return false;
38
39 // The ABI is rather complicated on x86, so don't do anything special there.
40 if (T.getArch() == Triple::x86)
41 return false;
42
43 if (T.isMacOSX() && T.isMacOSXVersionLT(10, 9))
44 return false;
45
Bob Wilson9868d712014-10-09 05:43:30 +000046 if (T.isiOS() && T.isOSVersionLT(7, 0))
Bob Wilsond8d92d92013-11-03 06:48:38 +000047 return false;
48
49 return true;
50}
51
Chris Lattner0e125bb2011-02-18 21:50:34 +000052/// initialize - Initialize the set of available library functions based on the
53/// specified target triple. This should be carefully written so that a missing
54/// target triple gets a sane set of defaults.
Chandler Carruthc0291862015-01-24 02:06:09 +000055static void initialize(TargetLibraryInfoImpl &TLI, const Triple &T,
Mehdi Amini9a72cd72016-10-01 03:10:48 +000056 ArrayRef<StringRef> StandardNames) {
Bob Wilsonc740e3f2012-08-03 04:06:22 +000057 // Verify that the StandardNames array is in alphabetical order.
Craig Toppere30b8ca2016-01-03 19:43:40 +000058 assert(std::is_sorted(StandardNames.begin(), StandardNames.end(),
Mehdi Amini9a72cd72016-10-01 03:10:48 +000059 [](StringRef LHS, StringRef RHS) {
60 return LHS < RHS;
Craig Toppere30b8ca2016-01-03 19:43:40 +000061 }) &&
62 "TargetLibraryInfoImpl function names must be sorted");
Tom Stellard36a03182014-04-02 19:53:29 +000063
Marcin Koscielnicki6af8e6c2016-11-21 20:20:39 +000064 bool ShouldExtI32Param = false, ShouldExtI32Return = false,
65 ShouldSignExtI32Param = false;
66 // PowerPC64, Sparc64, SystemZ need signext/zeroext on i32 parameters and
67 // returns corresponding to C-level ints and unsigned ints.
68 if (T.getArch() == Triple::ppc64 || T.getArch() == Triple::ppc64le ||
69 T.getArch() == Triple::sparcv9 || T.getArch() == Triple::systemz) {
70 ShouldExtI32Param = true;
71 ShouldExtI32Return = true;
72 }
73 // Mips, on the other hand, needs signext on i32 parameters corresponding
74 // to both signed and unsigned ints.
75 if (T.getArch() == Triple::mips || T.getArch() == Triple::mipsel ||
76 T.getArch() == Triple::mips64 || T.getArch() == Triple::mips64el) {
77 ShouldSignExtI32Param = true;
78 }
79 TLI.setShouldExtI32Param(ShouldExtI32Param);
80 TLI.setShouldExtI32Return(ShouldExtI32Return);
81 TLI.setShouldSignExtI32Param(ShouldSignExtI32Param);
82
Nicolai Hahnle78fd4f02015-12-15 17:24:15 +000083 if (T.getArch() == Triple::r600 ||
84 T.getArch() == Triple::amdgcn) {
David L. Jonesd21529f2017-01-23 23:16:46 +000085 TLI.setUnavailable(LibFunc_ldexp);
86 TLI.setUnavailable(LibFunc_ldexpf);
87 TLI.setUnavailable(LibFunc_ldexpl);
88 TLI.setUnavailable(LibFunc_exp10);
89 TLI.setUnavailable(LibFunc_exp10f);
90 TLI.setUnavailable(LibFunc_exp10l);
91 TLI.setUnavailable(LibFunc_log10);
92 TLI.setUnavailable(LibFunc_log10f);
93 TLI.setUnavailable(LibFunc_log10l);
Nicolai Hahnle78fd4f02015-12-15 17:24:15 +000094 }
95
Tom Stellardd00a9232015-01-07 01:17:37 +000096 // There are no library implementations of mempcy and memset for AMD gpus and
Tom Stellard36a03182014-04-02 19:53:29 +000097 // these can be difficult to lower in the backend.
Tom Stellardd00a9232015-01-07 01:17:37 +000098 if (T.getArch() == Triple::r600 ||
Dan Gohman05532992016-01-19 14:49:23 +000099 T.getArch() == Triple::amdgcn) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000100 TLI.setUnavailable(LibFunc_memcpy);
101 TLI.setUnavailable(LibFunc_memset);
102 TLI.setUnavailable(LibFunc_memset_pattern16);
Tom Stellard36a03182014-04-02 19:53:29 +0000103 return;
104 }
105
Nico Weberad156922014-03-07 18:08:54 +0000106 // memset_pattern16 is only available on iOS 3.0 and Mac OS X 10.5 and later.
Tim Northover8b403662015-10-28 22:51:16 +0000107 // All versions of watchOS support it.
Daniel Dunbarcd01ed52011-04-20 00:14:25 +0000108 if (T.isMacOSX()) {
109 if (T.isMacOSXVersionLT(10, 5))
David L. Jonesd21529f2017-01-23 23:16:46 +0000110 TLI.setUnavailable(LibFunc_memset_pattern16);
Cameron Esfahani943908b2013-08-29 20:23:14 +0000111 } else if (T.isiOS()) {
Daniel Dunbar9483bb62011-04-19 20:44:08 +0000112 if (T.isOSVersionLT(3, 0))
David L. Jonesd21529f2017-01-23 23:16:46 +0000113 TLI.setUnavailable(LibFunc_memset_pattern16);
Tim Northover8b403662015-10-28 22:51:16 +0000114 } else if (!T.isWatchOS()) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000115 TLI.setUnavailable(LibFunc_memset_pattern16);
Daniel Dunbar9483bb62011-04-19 20:44:08 +0000116 }
Richard Osborne815de532011-03-03 13:17:51 +0000117
Bob Wilsond8d92d92013-11-03 06:48:38 +0000118 if (!hasSinCosPiStret(T)) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000119 TLI.setUnavailable(LibFunc_sinpi);
120 TLI.setUnavailable(LibFunc_sinpif);
121 TLI.setUnavailable(LibFunc_cospi);
122 TLI.setUnavailable(LibFunc_cospif);
123 TLI.setUnavailable(LibFunc_sincospi_stret);
124 TLI.setUnavailable(LibFunc_sincospif_stret);
Bob Wilsond8d92d92013-11-03 06:48:38 +0000125 }
126
Eli Friedman489c0ff2011-11-17 01:27:36 +0000127 if (T.isMacOSX() && T.getArch() == Triple::x86 &&
128 !T.isMacOSXVersionLT(10, 7)) {
129 // x86-32 OSX has a scheme where fwrite and fputs (and some other functions
130 // we don't care about) have two versions; on recent OSX, the one we want
131 // has a $UNIX2003 suffix. The two implementations are identical except
132 // for the return value in some edge cases. However, we don't want to
133 // generate code that depends on the old symbols.
David L. Jonesd21529f2017-01-23 23:16:46 +0000134 TLI.setAvailableWithName(LibFunc_fwrite, "fwrite$UNIX2003");
135 TLI.setAvailableWithName(LibFunc_fputs, "fputs$UNIX2003");
Eli Friedman489c0ff2011-11-17 01:27:36 +0000136 }
137
Duncan Sandseeb50c82011-06-09 11:11:45 +0000138 // iprintf and friends are only available on XCore and TCE.
139 if (T.getArch() != Triple::xcore && T.getArch() != Triple::tce) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000140 TLI.setUnavailable(LibFunc_iprintf);
141 TLI.setUnavailable(LibFunc_siprintf);
142 TLI.setUnavailable(LibFunc_fiprintf);
Richard Osborne2dfb8882011-03-03 14:09:28 +0000143 }
Joe Groffa81bcbb2012-04-17 23:05:54 +0000144
Saleem Abdulrasool8dc8fb12014-07-24 22:09:06 +0000145 if (T.isOSWindows() && !T.isOSCygMing()) {
Joe Groffa81bcbb2012-04-17 23:05:54 +0000146 // Win32 does not support long double
David L. Jonesd21529f2017-01-23 23:16:46 +0000147 TLI.setUnavailable(LibFunc_acosl);
148 TLI.setUnavailable(LibFunc_asinl);
149 TLI.setUnavailable(LibFunc_atanl);
150 TLI.setUnavailable(LibFunc_atan2l);
151 TLI.setUnavailable(LibFunc_ceill);
152 TLI.setUnavailable(LibFunc_copysignl);
153 TLI.setUnavailable(LibFunc_cosl);
154 TLI.setUnavailable(LibFunc_coshl);
155 TLI.setUnavailable(LibFunc_expl);
156 TLI.setUnavailable(LibFunc_fabsf); // Win32 and Win64 both lack fabsf
157 TLI.setUnavailable(LibFunc_fabsl);
158 TLI.setUnavailable(LibFunc_floorl);
159 TLI.setUnavailable(LibFunc_fmaxl);
160 TLI.setUnavailable(LibFunc_fminl);
161 TLI.setUnavailable(LibFunc_fmodl);
162 TLI.setUnavailable(LibFunc_frexpl);
163 TLI.setUnavailable(LibFunc_ldexpf);
164 TLI.setUnavailable(LibFunc_ldexpl);
165 TLI.setUnavailable(LibFunc_logl);
166 TLI.setUnavailable(LibFunc_modfl);
167 TLI.setUnavailable(LibFunc_powl);
168 TLI.setUnavailable(LibFunc_sinl);
169 TLI.setUnavailable(LibFunc_sinhl);
170 TLI.setUnavailable(LibFunc_sqrtl);
171 TLI.setUnavailable(LibFunc_tanl);
172 TLI.setUnavailable(LibFunc_tanhl);
Joe Groffa81bcbb2012-04-17 23:05:54 +0000173
174 // Win32 only has C89 math
David L. Jonesd21529f2017-01-23 23:16:46 +0000175 TLI.setUnavailable(LibFunc_acosh);
176 TLI.setUnavailable(LibFunc_acoshf);
177 TLI.setUnavailable(LibFunc_acoshl);
178 TLI.setUnavailable(LibFunc_asinh);
179 TLI.setUnavailable(LibFunc_asinhf);
180 TLI.setUnavailable(LibFunc_asinhl);
181 TLI.setUnavailable(LibFunc_atanh);
182 TLI.setUnavailable(LibFunc_atanhf);
183 TLI.setUnavailable(LibFunc_atanhl);
184 TLI.setUnavailable(LibFunc_cbrt);
185 TLI.setUnavailable(LibFunc_cbrtf);
186 TLI.setUnavailable(LibFunc_cbrtl);
187 TLI.setUnavailable(LibFunc_exp2);
188 TLI.setUnavailable(LibFunc_exp2f);
189 TLI.setUnavailable(LibFunc_exp2l);
190 TLI.setUnavailable(LibFunc_expm1);
191 TLI.setUnavailable(LibFunc_expm1f);
192 TLI.setUnavailable(LibFunc_expm1l);
193 TLI.setUnavailable(LibFunc_log2);
194 TLI.setUnavailable(LibFunc_log2f);
195 TLI.setUnavailable(LibFunc_log2l);
196 TLI.setUnavailable(LibFunc_log1p);
197 TLI.setUnavailable(LibFunc_log1pf);
198 TLI.setUnavailable(LibFunc_log1pl);
199 TLI.setUnavailable(LibFunc_logb);
200 TLI.setUnavailable(LibFunc_logbf);
201 TLI.setUnavailable(LibFunc_logbl);
202 TLI.setUnavailable(LibFunc_nearbyint);
203 TLI.setUnavailable(LibFunc_nearbyintf);
204 TLI.setUnavailable(LibFunc_nearbyintl);
205 TLI.setUnavailable(LibFunc_rint);
206 TLI.setUnavailable(LibFunc_rintf);
207 TLI.setUnavailable(LibFunc_rintl);
208 TLI.setUnavailable(LibFunc_round);
209 TLI.setUnavailable(LibFunc_roundf);
210 TLI.setUnavailable(LibFunc_roundl);
211 TLI.setUnavailable(LibFunc_trunc);
212 TLI.setUnavailable(LibFunc_truncf);
213 TLI.setUnavailable(LibFunc_truncl);
Joe Groffa81bcbb2012-04-17 23:05:54 +0000214
215 // Win32 provides some C99 math with mangled names
David L. Jonesd21529f2017-01-23 23:16:46 +0000216 TLI.setAvailableWithName(LibFunc_copysign, "_copysign");
Joe Groffa81bcbb2012-04-17 23:05:54 +0000217
218 if (T.getArch() == Triple::x86) {
219 // Win32 on x86 implements single-precision math functions as macros
David L. Jonesd21529f2017-01-23 23:16:46 +0000220 TLI.setUnavailable(LibFunc_acosf);
221 TLI.setUnavailable(LibFunc_asinf);
222 TLI.setUnavailable(LibFunc_atanf);
223 TLI.setUnavailable(LibFunc_atan2f);
224 TLI.setUnavailable(LibFunc_ceilf);
225 TLI.setUnavailable(LibFunc_copysignf);
226 TLI.setUnavailable(LibFunc_cosf);
227 TLI.setUnavailable(LibFunc_coshf);
228 TLI.setUnavailable(LibFunc_expf);
229 TLI.setUnavailable(LibFunc_floorf);
230 TLI.setUnavailable(LibFunc_fminf);
231 TLI.setUnavailable(LibFunc_fmaxf);
232 TLI.setUnavailable(LibFunc_fmodf);
233 TLI.setUnavailable(LibFunc_logf);
234 TLI.setUnavailable(LibFunc_log10f);
235 TLI.setUnavailable(LibFunc_modff);
236 TLI.setUnavailable(LibFunc_powf);
237 TLI.setUnavailable(LibFunc_sinf);
238 TLI.setUnavailable(LibFunc_sinhf);
239 TLI.setUnavailable(LibFunc_sqrtf);
240 TLI.setUnavailable(LibFunc_tanf);
241 TLI.setUnavailable(LibFunc_tanhf);
Joe Groffa81bcbb2012-04-17 23:05:54 +0000242 }
Meador Inge2526a422012-11-10 03:11:06 +0000243
Andrew Kaylor3cd8c162017-05-12 22:11:12 +0000244 // These definitions are due to math-finite.h header on Linux
245 TLI.setUnavailable(LibFunc_acos_finite);
246 TLI.setUnavailable(LibFunc_acosf_finite);
247 TLI.setUnavailable(LibFunc_acosl_finite);
248 TLI.setUnavailable(LibFunc_acosh_finite);
249 TLI.setUnavailable(LibFunc_acoshf_finite);
250 TLI.setUnavailable(LibFunc_acoshl_finite);
251 TLI.setUnavailable(LibFunc_asin_finite);
252 TLI.setUnavailable(LibFunc_asinf_finite);
253 TLI.setUnavailable(LibFunc_asinl_finite);
254 TLI.setUnavailable(LibFunc_atan2_finite);
255 TLI.setUnavailable(LibFunc_atan2f_finite);
256 TLI.setUnavailable(LibFunc_atan2l_finite);
257 TLI.setUnavailable(LibFunc_atanh_finite);
258 TLI.setUnavailable(LibFunc_atanhf_finite);
259 TLI.setUnavailable(LibFunc_atanhl_finite);
260 TLI.setUnavailable(LibFunc_cosh_finite);
261 TLI.setUnavailable(LibFunc_coshf_finite);
262 TLI.setUnavailable(LibFunc_coshl_finite);
263 TLI.setUnavailable(LibFunc_exp10_finite);
264 TLI.setUnavailable(LibFunc_exp10f_finite);
265 TLI.setUnavailable(LibFunc_exp10l_finite);
266 TLI.setUnavailable(LibFunc_exp2_finite);
267 TLI.setUnavailable(LibFunc_exp2f_finite);
268 TLI.setUnavailable(LibFunc_exp2l_finite);
269 TLI.setUnavailable(LibFunc_exp_finite);
270 TLI.setUnavailable(LibFunc_expf_finite);
271 TLI.setUnavailable(LibFunc_expl_finite);
272 TLI.setUnavailable(LibFunc_log10_finite);
273 TLI.setUnavailable(LibFunc_log10f_finite);
274 TLI.setUnavailable(LibFunc_log10l_finite);
275 TLI.setUnavailable(LibFunc_log2_finite);
276 TLI.setUnavailable(LibFunc_log2f_finite);
277 TLI.setUnavailable(LibFunc_log2l_finite);
278 TLI.setUnavailable(LibFunc_log_finite);
279 TLI.setUnavailable(LibFunc_logf_finite);
280 TLI.setUnavailable(LibFunc_logl_finite);
281 TLI.setUnavailable(LibFunc_pow_finite);
282 TLI.setUnavailable(LibFunc_powf_finite);
283 TLI.setUnavailable(LibFunc_powl_finite);
284 TLI.setUnavailable(LibFunc_sinh_finite);
285 TLI.setUnavailable(LibFunc_sinhf_finite);
286 TLI.setUnavailable(LibFunc_sinhl_finite);
287
Meador Ingeb904e6e2013-03-05 21:47:40 +0000288 // Win32 does *not* provide provide these functions, but they are
289 // generally available on POSIX-compliant systems:
David L. Jonesd21529f2017-01-23 23:16:46 +0000290 TLI.setUnavailable(LibFunc_access);
291 TLI.setUnavailable(LibFunc_bcmp);
292 TLI.setUnavailable(LibFunc_bcopy);
293 TLI.setUnavailable(LibFunc_bzero);
294 TLI.setUnavailable(LibFunc_chmod);
295 TLI.setUnavailable(LibFunc_chown);
296 TLI.setUnavailable(LibFunc_closedir);
297 TLI.setUnavailable(LibFunc_ctermid);
298 TLI.setUnavailable(LibFunc_fdopen);
299 TLI.setUnavailable(LibFunc_ffs);
300 TLI.setUnavailable(LibFunc_fileno);
301 TLI.setUnavailable(LibFunc_flockfile);
302 TLI.setUnavailable(LibFunc_fseeko);
303 TLI.setUnavailable(LibFunc_fstat);
304 TLI.setUnavailable(LibFunc_fstatvfs);
305 TLI.setUnavailable(LibFunc_ftello);
306 TLI.setUnavailable(LibFunc_ftrylockfile);
307 TLI.setUnavailable(LibFunc_funlockfile);
308 TLI.setUnavailable(LibFunc_getc_unlocked);
309 TLI.setUnavailable(LibFunc_getitimer);
310 TLI.setUnavailable(LibFunc_getlogin_r);
311 TLI.setUnavailable(LibFunc_getpwnam);
312 TLI.setUnavailable(LibFunc_gettimeofday);
313 TLI.setUnavailable(LibFunc_htonl);
314 TLI.setUnavailable(LibFunc_htons);
315 TLI.setUnavailable(LibFunc_lchown);
316 TLI.setUnavailable(LibFunc_lstat);
317 TLI.setUnavailable(LibFunc_memccpy);
318 TLI.setUnavailable(LibFunc_mkdir);
319 TLI.setUnavailable(LibFunc_ntohl);
320 TLI.setUnavailable(LibFunc_ntohs);
321 TLI.setUnavailable(LibFunc_open);
322 TLI.setUnavailable(LibFunc_opendir);
323 TLI.setUnavailable(LibFunc_pclose);
324 TLI.setUnavailable(LibFunc_popen);
325 TLI.setUnavailable(LibFunc_pread);
326 TLI.setUnavailable(LibFunc_pwrite);
327 TLI.setUnavailable(LibFunc_read);
328 TLI.setUnavailable(LibFunc_readlink);
329 TLI.setUnavailable(LibFunc_realpath);
330 TLI.setUnavailable(LibFunc_rmdir);
331 TLI.setUnavailable(LibFunc_setitimer);
332 TLI.setUnavailable(LibFunc_stat);
333 TLI.setUnavailable(LibFunc_statvfs);
334 TLI.setUnavailable(LibFunc_stpcpy);
335 TLI.setUnavailable(LibFunc_stpncpy);
336 TLI.setUnavailable(LibFunc_strcasecmp);
337 TLI.setUnavailable(LibFunc_strncasecmp);
338 TLI.setUnavailable(LibFunc_times);
339 TLI.setUnavailable(LibFunc_uname);
340 TLI.setUnavailable(LibFunc_unlink);
341 TLI.setUnavailable(LibFunc_unsetenv);
342 TLI.setUnavailable(LibFunc_utime);
343 TLI.setUnavailable(LibFunc_utimes);
344 TLI.setUnavailable(LibFunc_write);
Meador Inge780a1862012-11-22 15:36:42 +0000345
Meador Ingeb904e6e2013-03-05 21:47:40 +0000346 // Win32 does *not* provide provide these functions, but they are
347 // specified by C99:
David L. Jonesd21529f2017-01-23 23:16:46 +0000348 TLI.setUnavailable(LibFunc_atoll);
349 TLI.setUnavailable(LibFunc_frexpf);
350 TLI.setUnavailable(LibFunc_llabs);
Meador Inge780a1862012-11-22 15:36:42 +0000351 }
352
Reid Klecknerf4355ee2013-12-26 19:17:04 +0000353 switch (T.getOS()) {
Reid Klecknerf4355ee2013-12-26 19:17:04 +0000354 case Triple::MacOSX:
Chandler Carruthf5689f82013-12-28 02:40:19 +0000355 // exp10 and exp10f are not available on OS X until 10.9 and iOS until 7.0
356 // and their names are __exp10 and __exp10f. exp10l is not available on
357 // OS X or iOS.
David L. Jonesd21529f2017-01-23 23:16:46 +0000358 TLI.setUnavailable(LibFunc_exp10l);
Reid Klecknerf4355ee2013-12-26 19:17:04 +0000359 if (T.isMacOSXVersionLT(10, 9)) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000360 TLI.setUnavailable(LibFunc_exp10);
361 TLI.setUnavailable(LibFunc_exp10f);
Reid Klecknerf4355ee2013-12-26 19:17:04 +0000362 } else {
David L. Jonesd21529f2017-01-23 23:16:46 +0000363 TLI.setAvailableWithName(LibFunc_exp10, "__exp10");
364 TLI.setAvailableWithName(LibFunc_exp10f, "__exp10f");
Reid Klecknerf4355ee2013-12-26 19:17:04 +0000365 }
366 break;
367 case Triple::IOS:
Tim Northover89a6eef2015-11-02 18:00:00 +0000368 case Triple::TvOS:
Tim Northover8b403662015-10-28 22:51:16 +0000369 case Triple::WatchOS:
David L. Jonesd21529f2017-01-23 23:16:46 +0000370 TLI.setUnavailable(LibFunc_exp10l);
Tim Northover8b403662015-10-28 22:51:16 +0000371 if (!T.isWatchOS() && (T.isOSVersionLT(7, 0) ||
372 (T.isOSVersionLT(9, 0) &&
373 (T.getArch() == Triple::x86 ||
374 T.getArch() == Triple::x86_64)))) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000375 TLI.setUnavailable(LibFunc_exp10);
376 TLI.setUnavailable(LibFunc_exp10f);
Reid Klecknerf4355ee2013-12-26 19:17:04 +0000377 } else {
David L. Jonesd21529f2017-01-23 23:16:46 +0000378 TLI.setAvailableWithName(LibFunc_exp10, "__exp10");
379 TLI.setAvailableWithName(LibFunc_exp10f, "__exp10f");
Reid Klecknerf4355ee2013-12-26 19:17:04 +0000380 }
381 break;
Chandler Carruthf5689f82013-12-28 02:40:19 +0000382 case Triple::Linux:
383 // exp10, exp10f, exp10l is available on Linux (GLIBC) but are extremely
384 // buggy prior to glibc version 2.18. Until this version is widely deployed
385 // or we have a reasonable detection strategy, we cannot use exp10 reliably
386 // on Linux.
387 //
388 // Fall through to disable all of them.
Justin Bognercd1d5aa2016-08-17 20:30:52 +0000389 LLVM_FALLTHROUGH;
Reid Klecknerf4355ee2013-12-26 19:17:04 +0000390 default:
David L. Jonesd21529f2017-01-23 23:16:46 +0000391 TLI.setUnavailable(LibFunc_exp10);
392 TLI.setUnavailable(LibFunc_exp10f);
393 TLI.setUnavailable(LibFunc_exp10l);
Reid Klecknerf4355ee2013-12-26 19:17:04 +0000394 }
395
Meador Inge780a1862012-11-22 15:36:42 +0000396 // ffsl is available on at least Darwin, Mac OS X, iOS, FreeBSD, and
397 // Linux (GLIBC):
398 // http://developer.apple.com/library/mac/#documentation/Darwin/Reference/ManPages/man3/ffsl.3.html
Davide Italiano83b34812015-11-01 17:00:13 +0000399 // http://svn.freebsd.org/base/head/lib/libc/string/ffsl.c
Meador Inge780a1862012-11-22 15:36:42 +0000400 // http://www.gnu.org/software/gnulib/manual/html_node/ffsl.html
401 switch (T.getOS()) {
402 case Triple::Darwin:
403 case Triple::MacOSX:
404 case Triple::IOS:
Tim Northover89a6eef2015-11-02 18:00:00 +0000405 case Triple::TvOS:
Tim Northover8b403662015-10-28 22:51:16 +0000406 case Triple::WatchOS:
Meador Inge780a1862012-11-22 15:36:42 +0000407 case Triple::FreeBSD:
408 case Triple::Linux:
409 break;
410 default:
David L. Jonesd21529f2017-01-23 23:16:46 +0000411 TLI.setUnavailable(LibFunc_ffsl);
Meador Inge780a1862012-11-22 15:36:42 +0000412 }
413
414 // ffsll is available on at least FreeBSD and Linux (GLIBC):
Davide Italiano83b34812015-11-01 17:00:13 +0000415 // http://svn.freebsd.org/base/head/lib/libc/string/ffsll.c
Meador Inge780a1862012-11-22 15:36:42 +0000416 // http://www.gnu.org/software/gnulib/manual/html_node/ffsll.html
417 switch (T.getOS()) {
Tim Northover89a6eef2015-11-02 18:00:00 +0000418 case Triple::Darwin:
419 case Triple::MacOSX:
420 case Triple::IOS:
421 case Triple::TvOS:
422 case Triple::WatchOS:
Meador Inge780a1862012-11-22 15:36:42 +0000423 case Triple::FreeBSD:
424 case Triple::Linux:
425 break;
426 default:
David L. Jonesd21529f2017-01-23 23:16:46 +0000427 TLI.setUnavailable(LibFunc_ffsll);
Joe Groffa81bcbb2012-04-17 23:05:54 +0000428 }
Meador Ingeb904e6e2013-03-05 21:47:40 +0000429
Davide Italianobfd30822015-11-09 23:23:20 +0000430 // The following functions are available on at least FreeBSD:
431 // http://svn.freebsd.org/base/head/lib/libc/string/fls.c
432 // http://svn.freebsd.org/base/head/lib/libc/string/flsl.c
433 // http://svn.freebsd.org/base/head/lib/libc/string/flsll.c
434 if (!T.isOSFreeBSD()) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000435 TLI.setUnavailable(LibFunc_fls);
436 TLI.setUnavailable(LibFunc_flsl);
437 TLI.setUnavailable(LibFunc_flsll);
Davide Italianobfd30822015-11-09 23:23:20 +0000438 }
439
Meador Ingeb904e6e2013-03-05 21:47:40 +0000440 // The following functions are available on at least Linux:
Cameron Esfahani943908b2013-08-29 20:23:14 +0000441 if (!T.isOSLinux()) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000442 TLI.setUnavailable(LibFunc_dunder_strdup);
443 TLI.setUnavailable(LibFunc_dunder_strtok_r);
444 TLI.setUnavailable(LibFunc_dunder_isoc99_scanf);
445 TLI.setUnavailable(LibFunc_dunder_isoc99_sscanf);
446 TLI.setUnavailable(LibFunc_under_IO_getc);
447 TLI.setUnavailable(LibFunc_under_IO_putc);
448 TLI.setUnavailable(LibFunc_memalign);
449 TLI.setUnavailable(LibFunc_fopen64);
450 TLI.setUnavailable(LibFunc_fseeko64);
451 TLI.setUnavailable(LibFunc_fstat64);
452 TLI.setUnavailable(LibFunc_fstatvfs64);
453 TLI.setUnavailable(LibFunc_ftello64);
454 TLI.setUnavailable(LibFunc_lstat64);
455 TLI.setUnavailable(LibFunc_open64);
456 TLI.setUnavailable(LibFunc_stat64);
457 TLI.setUnavailable(LibFunc_statvfs64);
458 TLI.setUnavailable(LibFunc_tmpfile64);
Meador Ingeb904e6e2013-03-05 21:47:40 +0000459 }
Michael Zolotukhin6d8a2aa2015-03-17 19:50:55 +0000460
Justin Lebar51132882016-01-26 23:51:06 +0000461 // As currently implemented in clang, NVPTX code has no standard library to
462 // speak of. Headers provide a standard-ish library implementation, but many
463 // of the signatures are wrong -- for example, many libm functions are not
464 // extern "C".
465 //
466 // libdevice, an IR library provided by nvidia, is linked in by the front-end,
467 // but only used functions are provided to llvm. Moreover, most of the
468 // functions in libdevice don't map precisely to standard library functions.
469 //
470 // FIXME: Having no standard library prevents e.g. many fastmath
471 // optimizations, so this situation should be fixed.
David Majnemerae272d72016-03-31 21:29:57 +0000472 if (T.isNVPTX()) {
Justin Lebar51132882016-01-26 23:51:06 +0000473 TLI.disableAllFunctions();
David L. Jonesd21529f2017-01-23 23:16:46 +0000474 TLI.setAvailable(LibFunc_nvvm_reflect);
David Majnemerae272d72016-03-31 21:29:57 +0000475 } else {
David L. Jonesd21529f2017-01-23 23:16:46 +0000476 TLI.setUnavailable(LibFunc_nvvm_reflect);
David Majnemerae272d72016-03-31 21:29:57 +0000477 }
Justin Lebar51132882016-01-26 23:51:06 +0000478
Michael Zolotukhin6d8a2aa2015-03-17 19:50:55 +0000479 TLI.addVectorizableFunctionsFromVecLib(ClVectorLibrary);
Chris Lattner0e125bb2011-02-18 21:50:34 +0000480}
481
Chandler Carruthc0291862015-01-24 02:06:09 +0000482TargetLibraryInfoImpl::TargetLibraryInfoImpl() {
Chris Lattner0e125bb2011-02-18 21:50:34 +0000483 // Default to everything being available.
484 memset(AvailableArray, -1, sizeof(AvailableArray));
485
Bob Wilsonc740e3f2012-08-03 04:06:22 +0000486 initialize(*this, Triple(), StandardNames);
Chris Lattner0e125bb2011-02-18 21:50:34 +0000487}
488
Chandler Carruthc0291862015-01-24 02:06:09 +0000489TargetLibraryInfoImpl::TargetLibraryInfoImpl(const Triple &T) {
Chris Lattner0e125bb2011-02-18 21:50:34 +0000490 // Default to everything being available.
491 memset(AvailableArray, -1, sizeof(AvailableArray));
Chandler Carruthb98f63d2015-01-15 10:41:28 +0000492
Bob Wilsonc740e3f2012-08-03 04:06:22 +0000493 initialize(*this, T, StandardNames);
Chris Lattner0e125bb2011-02-18 21:50:34 +0000494}
Chris Lattner1341df92011-02-18 22:34:03 +0000495
Chandler Carruthc0291862015-01-24 02:06:09 +0000496TargetLibraryInfoImpl::TargetLibraryInfoImpl(const TargetLibraryInfoImpl &TLI)
Marcin Koscielnicki5ae2c522016-11-21 11:57:11 +0000497 : CustomNames(TLI.CustomNames), ShouldExtI32Param(TLI.ShouldExtI32Param),
498 ShouldExtI32Return(TLI.ShouldExtI32Return),
499 ShouldSignExtI32Param(TLI.ShouldSignExtI32Param) {
Chris Lattner4c0d9e22011-05-21 20:09:13 +0000500 memcpy(AvailableArray, TLI.AvailableArray, sizeof(AvailableArray));
Michael Zolotukhine8f25512015-03-17 19:22:30 +0000501 VectorDescs = TLI.VectorDescs;
502 ScalarDescs = TLI.ScalarDescs;
Chandler Carruth8ca43222015-01-15 11:39:46 +0000503}
504
Chandler Carruthc0291862015-01-24 02:06:09 +0000505TargetLibraryInfoImpl::TargetLibraryInfoImpl(TargetLibraryInfoImpl &&TLI)
Marcin Koscielnicki5ae2c522016-11-21 11:57:11 +0000506 : CustomNames(std::move(TLI.CustomNames)),
507 ShouldExtI32Param(TLI.ShouldExtI32Param),
508 ShouldExtI32Return(TLI.ShouldExtI32Return),
509 ShouldSignExtI32Param(TLI.ShouldSignExtI32Param) {
Chandler Carruth8ca43222015-01-15 11:39:46 +0000510 std::move(std::begin(TLI.AvailableArray), std::end(TLI.AvailableArray),
511 AvailableArray);
Michael Zolotukhine8f25512015-03-17 19:22:30 +0000512 VectorDescs = TLI.VectorDescs;
513 ScalarDescs = TLI.ScalarDescs;
Chandler Carruth8ca43222015-01-15 11:39:46 +0000514}
515
Chandler Carruthc0291862015-01-24 02:06:09 +0000516TargetLibraryInfoImpl &TargetLibraryInfoImpl::operator=(const TargetLibraryInfoImpl &TLI) {
Eli Friedman489c0ff2011-11-17 01:27:36 +0000517 CustomNames = TLI.CustomNames;
Marcin Koscielnicki5ae2c522016-11-21 11:57:11 +0000518 ShouldExtI32Param = TLI.ShouldExtI32Param;
519 ShouldExtI32Return = TLI.ShouldExtI32Return;
520 ShouldSignExtI32Param = TLI.ShouldSignExtI32Param;
Chandler Carruth8ca43222015-01-15 11:39:46 +0000521 memcpy(AvailableArray, TLI.AvailableArray, sizeof(AvailableArray));
522 return *this;
523}
524
Chandler Carruthc0291862015-01-24 02:06:09 +0000525TargetLibraryInfoImpl &TargetLibraryInfoImpl::operator=(TargetLibraryInfoImpl &&TLI) {
Chandler Carruth8ca43222015-01-15 11:39:46 +0000526 CustomNames = std::move(TLI.CustomNames);
Marcin Koscielnicki5ae2c522016-11-21 11:57:11 +0000527 ShouldExtI32Param = TLI.ShouldExtI32Param;
528 ShouldExtI32Return = TLI.ShouldExtI32Return;
529 ShouldSignExtI32Param = TLI.ShouldSignExtI32Param;
Chandler Carruth8ca43222015-01-15 11:39:46 +0000530 std::move(std::begin(TLI.AvailableArray), std::end(TLI.AvailableArray),
531 AvailableArray);
532 return *this;
Chris Lattner4c0d9e22011-05-21 20:09:13 +0000533}
534
Michael Zolotukhin21abdf92015-03-02 23:24:40 +0000535static StringRef sanitizeFunctionName(StringRef funcName) {
Benjamin Kramer160f72d2013-03-09 13:48:23 +0000536 // Filter out empty names and names containing null bytes, those can't be in
537 // our table.
538 if (funcName.empty() || funcName.find('\0') != StringRef::npos)
Michael Zolotukhin21abdf92015-03-02 23:24:40 +0000539 return StringRef();
Benjamin Kramer160f72d2013-03-09 13:48:23 +0000540
Meador Ingeb904e6e2013-03-05 21:47:40 +0000541 // Check for \01 prefix that is used to mangle __asm declarations and
542 // strip it if present.
Peter Collingbourne6f0ecca2017-05-16 00:39:01 +0000543 return GlobalValue::dropLLVMManglingEscape(funcName);
Michael Zolotukhin21abdf92015-03-02 23:24:40 +0000544}
545
546bool TargetLibraryInfoImpl::getLibFunc(StringRef funcName,
David L. Jonesd21529f2017-01-23 23:16:46 +0000547 LibFunc &F) const {
Mehdi Amini9a72cd72016-10-01 03:10:48 +0000548 StringRef const *Start = &StandardNames[0];
David L. Jonesd21529f2017-01-23 23:16:46 +0000549 StringRef const *End = &StandardNames[NumLibFuncs];
Michael Zolotukhin21abdf92015-03-02 23:24:40 +0000550
551 funcName = sanitizeFunctionName(funcName);
552 if (funcName.empty())
553 return false;
554
Mehdi Amini9a72cd72016-10-01 03:10:48 +0000555 StringRef const *I = std::lower_bound(
556 Start, End, funcName, [](StringRef LHS, StringRef RHS) {
557 return LHS < RHS;
Michael Zolotukhind3b76a32015-03-02 20:50:08 +0000558 });
Bob Wilsonc740e3f2012-08-03 04:06:22 +0000559 if (I != End && *I == funcName) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000560 F = (LibFunc)(I - Start);
Bob Wilsonc740e3f2012-08-03 04:06:22 +0000561 return true;
562 }
563 return false;
564}
Chris Lattner4c0d9e22011-05-21 20:09:13 +0000565
Ahmed Bougachad765a822016-04-27 19:04:35 +0000566bool TargetLibraryInfoImpl::isValidProtoForLibFunc(const FunctionType &FTy,
David L. Jonesd21529f2017-01-23 23:16:46 +0000567 LibFunc F,
Ahmed Bougachad765a822016-04-27 19:04:35 +0000568 const DataLayout *DL) const {
569 LLVMContext &Ctx = FTy.getContext();
570 Type *PCharTy = Type::getInt8PtrTy(Ctx);
571 Type *SizeTTy = DL ? DL->getIntPtrType(Ctx, /*AS=*/0) : nullptr;
572 auto IsSizeTTy = [SizeTTy](Type *Ty) {
573 return SizeTTy ? Ty == SizeTTy : Ty->isIntegerTy();
574 };
575 unsigned NumParams = FTy.getNumParams();
576
577 switch (F) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000578 case LibFunc_strlen:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000579 return (NumParams == 1 && FTy.getParamType(0)->isPointerTy() &&
580 FTy.getReturnType()->isIntegerTy());
581
David L. Jonesd21529f2017-01-23 23:16:46 +0000582 case LibFunc_strchr:
583 case LibFunc_strrchr:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000584 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
585 FTy.getParamType(0) == FTy.getReturnType() &&
586 FTy.getParamType(1)->isIntegerTy());
587
David L. Jonesd21529f2017-01-23 23:16:46 +0000588 case LibFunc_strtol:
589 case LibFunc_strtod:
590 case LibFunc_strtof:
591 case LibFunc_strtoul:
592 case LibFunc_strtoll:
593 case LibFunc_strtold:
594 case LibFunc_strtoull:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000595 return ((NumParams == 2 || NumParams == 3) &&
596 FTy.getParamType(0)->isPointerTy() &&
597 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000598 case LibFunc_strcat:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000599 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
600 FTy.getParamType(0) == FTy.getReturnType() &&
601 FTy.getParamType(1) == FTy.getReturnType());
602
David L. Jonesd21529f2017-01-23 23:16:46 +0000603 case LibFunc_strncat:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000604 return (NumParams == 3 && FTy.getReturnType()->isPointerTy() &&
605 FTy.getParamType(0) == FTy.getReturnType() &&
606 FTy.getParamType(1) == FTy.getReturnType() &&
607 FTy.getParamType(2)->isIntegerTy());
608
David L. Jonesd21529f2017-01-23 23:16:46 +0000609 case LibFunc_strcpy_chk:
610 case LibFunc_stpcpy_chk:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000611 --NumParams;
612 if (!IsSizeTTy(FTy.getParamType(NumParams)))
613 return false;
Justin Bognerb03fd122016-08-17 05:10:15 +0000614 LLVM_FALLTHROUGH;
David L. Jonesd21529f2017-01-23 23:16:46 +0000615 case LibFunc_strcpy:
616 case LibFunc_stpcpy:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000617 return (NumParams == 2 && FTy.getReturnType() == FTy.getParamType(0) &&
618 FTy.getParamType(0) == FTy.getParamType(1) &&
619 FTy.getParamType(0) == PCharTy);
620
David L. Jonesd21529f2017-01-23 23:16:46 +0000621 case LibFunc_strncpy_chk:
622 case LibFunc_stpncpy_chk:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000623 --NumParams;
624 if (!IsSizeTTy(FTy.getParamType(NumParams)))
625 return false;
Justin Bognerb03fd122016-08-17 05:10:15 +0000626 LLVM_FALLTHROUGH;
David L. Jonesd21529f2017-01-23 23:16:46 +0000627 case LibFunc_strncpy:
628 case LibFunc_stpncpy:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000629 return (NumParams == 3 && FTy.getReturnType() == FTy.getParamType(0) &&
630 FTy.getParamType(0) == FTy.getParamType(1) &&
631 FTy.getParamType(0) == PCharTy &&
632 FTy.getParamType(2)->isIntegerTy());
633
David L. Jonesd21529f2017-01-23 23:16:46 +0000634 case LibFunc_strxfrm:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000635 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy() &&
636 FTy.getParamType(1)->isPointerTy());
637
David L. Jonesd21529f2017-01-23 23:16:46 +0000638 case LibFunc_strcmp:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000639 return (NumParams == 2 && FTy.getReturnType()->isIntegerTy(32) &&
640 FTy.getParamType(0)->isPointerTy() &&
641 FTy.getParamType(0) == FTy.getParamType(1));
642
David L. Jonesd21529f2017-01-23 23:16:46 +0000643 case LibFunc_strncmp:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000644 return (NumParams == 3 && FTy.getReturnType()->isIntegerTy(32) &&
645 FTy.getParamType(0)->isPointerTy() &&
646 FTy.getParamType(0) == FTy.getParamType(1) &&
647 FTy.getParamType(2)->isIntegerTy());
648
David L. Jonesd21529f2017-01-23 23:16:46 +0000649 case LibFunc_strspn:
650 case LibFunc_strcspn:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000651 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
652 FTy.getParamType(0) == FTy.getParamType(1) &&
653 FTy.getReturnType()->isIntegerTy());
654
David L. Jonesd21529f2017-01-23 23:16:46 +0000655 case LibFunc_strcoll:
656 case LibFunc_strcasecmp:
657 case LibFunc_strncasecmp:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000658 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
659 FTy.getParamType(1)->isPointerTy());
660
David L. Jonesd21529f2017-01-23 23:16:46 +0000661 case LibFunc_strstr:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000662 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
663 FTy.getParamType(0)->isPointerTy() &&
664 FTy.getParamType(1)->isPointerTy());
665
David L. Jonesd21529f2017-01-23 23:16:46 +0000666 case LibFunc_strpbrk:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000667 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
668 FTy.getReturnType() == FTy.getParamType(0) &&
669 FTy.getParamType(0) == FTy.getParamType(1));
670
David L. Jonesd21529f2017-01-23 23:16:46 +0000671 case LibFunc_strtok:
672 case LibFunc_strtok_r:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000673 return (NumParams >= 2 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000674 case LibFunc_scanf:
675 case LibFunc_setbuf:
676 case LibFunc_setvbuf:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000677 return (NumParams >= 1 && FTy.getParamType(0)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000678 case LibFunc_strdup:
679 case LibFunc_strndup:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000680 return (NumParams >= 1 && FTy.getReturnType()->isPointerTy() &&
681 FTy.getParamType(0)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000682 case LibFunc_sscanf:
683 case LibFunc_stat:
684 case LibFunc_statvfs:
685 case LibFunc_siprintf:
686 case LibFunc_sprintf:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000687 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
688 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000689 case LibFunc_snprintf:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000690 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy() &&
691 FTy.getParamType(2)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000692 case LibFunc_setitimer:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000693 return (NumParams == 3 && FTy.getParamType(1)->isPointerTy() &&
694 FTy.getParamType(2)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000695 case LibFunc_system:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000696 return (NumParams == 1 && FTy.getParamType(0)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000697 case LibFunc_malloc:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000698 return (NumParams == 1 && FTy.getReturnType()->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000699 case LibFunc_memcmp:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000700 return (NumParams == 3 && FTy.getReturnType()->isIntegerTy(32) &&
701 FTy.getParamType(0)->isPointerTy() &&
702 FTy.getParamType(1)->isPointerTy());
Ahmed Bougachad765a822016-04-27 19:04:35 +0000703
David L. Jonesd21529f2017-01-23 23:16:46 +0000704 case LibFunc_memchr:
705 case LibFunc_memrchr:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000706 return (NumParams == 3 && FTy.getReturnType()->isPointerTy() &&
707 FTy.getReturnType() == FTy.getParamType(0) &&
Ahmed Bougachad765a822016-04-27 19:04:35 +0000708 FTy.getParamType(1)->isIntegerTy(32) &&
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000709 IsSizeTTy(FTy.getParamType(2)));
David L. Jonesd21529f2017-01-23 23:16:46 +0000710 case LibFunc_modf:
711 case LibFunc_modff:
712 case LibFunc_modfl:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000713 return (NumParams >= 2 && FTy.getParamType(1)->isPointerTy());
714
David L. Jonesd21529f2017-01-23 23:16:46 +0000715 case LibFunc_memcpy_chk:
716 case LibFunc_memmove_chk:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000717 --NumParams;
718 if (!IsSizeTTy(FTy.getParamType(NumParams)))
719 return false;
Justin Bognerb03fd122016-08-17 05:10:15 +0000720 LLVM_FALLTHROUGH;
David L. Jonesd21529f2017-01-23 23:16:46 +0000721 case LibFunc_memcpy:
722 case LibFunc_mempcpy:
723 case LibFunc_memmove:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000724 return (NumParams == 3 && FTy.getReturnType() == FTy.getParamType(0) &&
725 FTy.getParamType(0)->isPointerTy() &&
726 FTy.getParamType(1)->isPointerTy() &&
727 IsSizeTTy(FTy.getParamType(2)));
728
David L. Jonesd21529f2017-01-23 23:16:46 +0000729 case LibFunc_memset_chk:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000730 --NumParams;
731 if (!IsSizeTTy(FTy.getParamType(NumParams)))
732 return false;
Justin Bognerb03fd122016-08-17 05:10:15 +0000733 LLVM_FALLTHROUGH;
David L. Jonesd21529f2017-01-23 23:16:46 +0000734 case LibFunc_memset:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000735 return (NumParams == 3 && FTy.getReturnType() == FTy.getParamType(0) &&
736 FTy.getParamType(0)->isPointerTy() &&
737 FTy.getParamType(1)->isIntegerTy() &&
738 IsSizeTTy(FTy.getParamType(2)));
739
David L. Jonesd21529f2017-01-23 23:16:46 +0000740 case LibFunc_memccpy:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000741 return (NumParams >= 2 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000742 case LibFunc_memalign:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000743 return (FTy.getReturnType()->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000744 case LibFunc_realloc:
745 case LibFunc_reallocf:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000746 return (NumParams == 2 && FTy.getReturnType() == PCharTy &&
747 FTy.getParamType(0) == FTy.getReturnType() &&
748 IsSizeTTy(FTy.getParamType(1)));
David L. Jonesd21529f2017-01-23 23:16:46 +0000749 case LibFunc_read:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000750 return (NumParams == 3 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000751 case LibFunc_rewind:
752 case LibFunc_rmdir:
753 case LibFunc_remove:
754 case LibFunc_realpath:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000755 return (NumParams >= 1 && FTy.getParamType(0)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000756 case LibFunc_rename:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000757 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
758 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000759 case LibFunc_readlink:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000760 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
761 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000762 case LibFunc_write:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000763 return (NumParams == 3 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000764 case LibFunc_bcopy:
765 case LibFunc_bcmp:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000766 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy() &&
767 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000768 case LibFunc_bzero:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000769 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000770 case LibFunc_calloc:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000771 return (NumParams == 2 && FTy.getReturnType()->isPointerTy());
Ahmed Bougacha1fe3f1c2016-05-25 20:22:45 +0000772
David L. Jonesd21529f2017-01-23 23:16:46 +0000773 case LibFunc_atof:
774 case LibFunc_atoi:
775 case LibFunc_atol:
776 case LibFunc_atoll:
777 case LibFunc_ferror:
778 case LibFunc_getenv:
779 case LibFunc_getpwnam:
780 case LibFunc_iprintf:
781 case LibFunc_pclose:
782 case LibFunc_perror:
783 case LibFunc_printf:
784 case LibFunc_puts:
785 case LibFunc_uname:
786 case LibFunc_under_IO_getc:
787 case LibFunc_unlink:
788 case LibFunc_unsetenv:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000789 return (NumParams == 1 && FTy.getParamType(0)->isPointerTy());
Ahmed Bougacha1fe3f1c2016-05-25 20:22:45 +0000790
David L. Jonesd21529f2017-01-23 23:16:46 +0000791 case LibFunc_access:
792 case LibFunc_chmod:
793 case LibFunc_chown:
794 case LibFunc_clearerr:
795 case LibFunc_closedir:
796 case LibFunc_ctermid:
797 case LibFunc_fclose:
798 case LibFunc_feof:
799 case LibFunc_fflush:
800 case LibFunc_fgetc:
801 case LibFunc_fileno:
802 case LibFunc_flockfile:
803 case LibFunc_free:
804 case LibFunc_fseek:
805 case LibFunc_fseeko64:
806 case LibFunc_fseeko:
807 case LibFunc_fsetpos:
808 case LibFunc_ftell:
809 case LibFunc_ftello64:
810 case LibFunc_ftello:
811 case LibFunc_ftrylockfile:
812 case LibFunc_funlockfile:
813 case LibFunc_getc:
814 case LibFunc_getc_unlocked:
815 case LibFunc_getlogin_r:
816 case LibFunc_mkdir:
817 case LibFunc_mktime:
818 case LibFunc_times:
Ahmed Bougacha1fe3f1c2016-05-25 20:22:45 +0000819 return (NumParams != 0 && FTy.getParamType(0)->isPointerTy());
820
David L. Jonesd21529f2017-01-23 23:16:46 +0000821 case LibFunc_fopen:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000822 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
823 FTy.getParamType(0)->isPointerTy() &&
824 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000825 case LibFunc_fdopen:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000826 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
827 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000828 case LibFunc_fputc:
829 case LibFunc_fstat:
830 case LibFunc_frexp:
831 case LibFunc_frexpf:
832 case LibFunc_frexpl:
833 case LibFunc_fstatvfs:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000834 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000835 case LibFunc_fgets:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000836 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy() &&
837 FTy.getParamType(2)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000838 case LibFunc_fread:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000839 return (NumParams == 4 && FTy.getParamType(0)->isPointerTy() &&
840 FTy.getParamType(3)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000841 case LibFunc_fwrite:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000842 return (NumParams == 4 && FTy.getReturnType()->isIntegerTy() &&
843 FTy.getParamType(0)->isPointerTy() &&
844 FTy.getParamType(1)->isIntegerTy() &&
845 FTy.getParamType(2)->isIntegerTy() &&
846 FTy.getParamType(3)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000847 case LibFunc_fputs:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000848 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
849 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000850 case LibFunc_fscanf:
851 case LibFunc_fiprintf:
852 case LibFunc_fprintf:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000853 return (NumParams >= 2 && FTy.getReturnType()->isIntegerTy() &&
854 FTy.getParamType(0)->isPointerTy() &&
Ahmed Bougachad765a822016-04-27 19:04:35 +0000855 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000856 case LibFunc_fgetpos:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000857 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
858 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000859 case LibFunc_getchar:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000860 return (NumParams == 0 && FTy.getReturnType()->isIntegerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000861 case LibFunc_gets:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000862 return (NumParams == 1 && FTy.getParamType(0) == PCharTy);
David L. Jonesd21529f2017-01-23 23:16:46 +0000863 case LibFunc_getitimer:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000864 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000865 case LibFunc_ungetc:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000866 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000867 case LibFunc_utime:
868 case LibFunc_utimes:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000869 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
870 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000871 case LibFunc_putc:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000872 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000873 case LibFunc_pread:
874 case LibFunc_pwrite:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000875 return (NumParams == 4 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000876 case LibFunc_popen:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000877 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
878 FTy.getParamType(0)->isPointerTy() &&
879 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000880 case LibFunc_vscanf:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000881 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000882 case LibFunc_vsscanf:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000883 return (NumParams == 3 && FTy.getParamType(1)->isPointerTy() &&
884 FTy.getParamType(2)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000885 case LibFunc_vfscanf:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000886 return (NumParams == 3 && FTy.getParamType(1)->isPointerTy() &&
887 FTy.getParamType(2)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000888 case LibFunc_valloc:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000889 return (FTy.getReturnType()->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000890 case LibFunc_vprintf:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000891 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000892 case LibFunc_vfprintf:
893 case LibFunc_vsprintf:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000894 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy() &&
895 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000896 case LibFunc_vsnprintf:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000897 return (NumParams == 4 && FTy.getParamType(0)->isPointerTy() &&
898 FTy.getParamType(2)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000899 case LibFunc_open:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000900 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000901 case LibFunc_opendir:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000902 return (NumParams == 1 && FTy.getReturnType()->isPointerTy() &&
903 FTy.getParamType(0)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000904 case LibFunc_tmpfile:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000905 return (FTy.getReturnType()->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000906 case LibFunc_htonl:
907 case LibFunc_ntohl:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000908 return (NumParams == 1 && FTy.getReturnType()->isIntegerTy(32) &&
909 FTy.getReturnType() == FTy.getParamType(0));
David L. Jonesd21529f2017-01-23 23:16:46 +0000910 case LibFunc_htons:
911 case LibFunc_ntohs:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000912 return (NumParams == 1 && FTy.getReturnType()->isIntegerTy(16) &&
913 FTy.getReturnType() == FTy.getParamType(0));
David L. Jonesd21529f2017-01-23 23:16:46 +0000914 case LibFunc_lstat:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000915 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
916 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000917 case LibFunc_lchown:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000918 return (NumParams == 3 && FTy.getParamType(0)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000919 case LibFunc_qsort:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000920 return (NumParams == 4 && FTy.getParamType(3)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000921 case LibFunc_dunder_strdup:
922 case LibFunc_dunder_strndup:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000923 return (NumParams >= 1 && FTy.getReturnType()->isPointerTy() &&
924 FTy.getParamType(0)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000925 case LibFunc_dunder_strtok_r:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000926 return (NumParams == 3 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000927 case LibFunc_under_IO_putc:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000928 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000929 case LibFunc_dunder_isoc99_scanf:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000930 return (NumParams >= 1 && FTy.getParamType(0)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000931 case LibFunc_stat64:
932 case LibFunc_lstat64:
933 case LibFunc_statvfs64:
Michael Kuperstein79dcc272016-09-20 23:10:31 +0000934 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
Ahmed Bougachad765a822016-04-27 19:04:35 +0000935 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000936 case LibFunc_dunder_isoc99_sscanf:
Michael Kuperstein79dcc272016-09-20 23:10:31 +0000937 return (NumParams >= 2 && FTy.getParamType(0)->isPointerTy() &&
Ahmed Bougachad765a822016-04-27 19:04:35 +0000938 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000939 case LibFunc_fopen64:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000940 return (NumParams == 2 && FTy.getReturnType()->isPointerTy() &&
941 FTy.getParamType(0)->isPointerTy() &&
942 FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000943 case LibFunc_tmpfile64:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000944 return (FTy.getReturnType()->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000945 case LibFunc_fstat64:
946 case LibFunc_fstatvfs64:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000947 return (NumParams == 2 && FTy.getParamType(1)->isPointerTy());
David L. Jonesd21529f2017-01-23 23:16:46 +0000948 case LibFunc_open64:
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_gettimeofday:
Ahmed Bougachad765a822016-04-27 19:04:35 +0000951 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy() &&
952 FTy.getParamType(1)->isPointerTy());
953
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000954 // new(unsigned int);
David L. Jonesd21529f2017-01-23 23:16:46 +0000955 case LibFunc_Znwj:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000956 // new(unsigned long);
David L. Jonesd21529f2017-01-23 23:16:46 +0000957 case LibFunc_Znwm:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000958 // new[](unsigned int);
David L. Jonesd21529f2017-01-23 23:16:46 +0000959 case LibFunc_Znaj:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000960 // new[](unsigned long);
David L. Jonesd21529f2017-01-23 23:16:46 +0000961 case LibFunc_Znam:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000962 // new(unsigned int);
David L. Jonesd21529f2017-01-23 23:16:46 +0000963 case LibFunc_msvc_new_int:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000964 // new(unsigned long long);
David L. Jonesd21529f2017-01-23 23:16:46 +0000965 case LibFunc_msvc_new_longlong:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000966 // new[](unsigned int);
David L. Jonesd21529f2017-01-23 23:16:46 +0000967 case LibFunc_msvc_new_array_int:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000968 // new[](unsigned long long);
David L. Jonesd21529f2017-01-23 23:16:46 +0000969 case LibFunc_msvc_new_array_longlong:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000970 return (NumParams == 1 && FTy.getReturnType()->isPointerTy());
971
972 // new(unsigned int, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +0000973 case LibFunc_ZnwjRKSt9nothrow_t:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000974 // new(unsigned long, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +0000975 case LibFunc_ZnwmRKSt9nothrow_t:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000976 // new[](unsigned int, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +0000977 case LibFunc_ZnajRKSt9nothrow_t:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000978 // new[](unsigned long, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +0000979 case LibFunc_ZnamRKSt9nothrow_t:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000980 // new(unsigned int, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +0000981 case LibFunc_msvc_new_int_nothrow:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000982 // new(unsigned long long, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +0000983 case LibFunc_msvc_new_longlong_nothrow:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000984 // new[](unsigned int, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +0000985 case LibFunc_msvc_new_array_int_nothrow:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000986 // new[](unsigned long long, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +0000987 case LibFunc_msvc_new_array_longlong_nothrow:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000988 return (NumParams == 2 && FTy.getReturnType()->isPointerTy());
989
990 // void operator delete[](void*);
David L. Jonesd21529f2017-01-23 23:16:46 +0000991 case LibFunc_ZdaPv:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000992 // void operator delete(void*);
David L. Jonesd21529f2017-01-23 23:16:46 +0000993 case LibFunc_ZdlPv:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000994 // void operator delete[](void*);
David L. Jonesd21529f2017-01-23 23:16:46 +0000995 case LibFunc_msvc_delete_array_ptr32:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000996 // void operator delete[](void*);
David L. Jonesd21529f2017-01-23 23:16:46 +0000997 case LibFunc_msvc_delete_array_ptr64:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +0000998 // void operator delete(void*);
David L. Jonesd21529f2017-01-23 23:16:46 +0000999 case LibFunc_msvc_delete_ptr32:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001000 // void operator delete(void*);
David L. Jonesd21529f2017-01-23 23:16:46 +00001001 case LibFunc_msvc_delete_ptr64:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001002 return (NumParams == 1 && FTy.getParamType(0)->isPointerTy());
1003
1004 // void operator delete[](void*, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +00001005 case LibFunc_ZdaPvRKSt9nothrow_t:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001006 // void operator delete[](void*, unsigned int);
David L. Jonesd21529f2017-01-23 23:16:46 +00001007 case LibFunc_ZdaPvj:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001008 // void operator delete[](void*, unsigned long);
David L. Jonesd21529f2017-01-23 23:16:46 +00001009 case LibFunc_ZdaPvm:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001010 // void operator delete(void*, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +00001011 case LibFunc_ZdlPvRKSt9nothrow_t:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001012 // void operator delete(void*, unsigned int);
David L. Jonesd21529f2017-01-23 23:16:46 +00001013 case LibFunc_ZdlPvj:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001014 // void operator delete(void*, unsigned long);
David L. Jonesd21529f2017-01-23 23:16:46 +00001015 case LibFunc_ZdlPvm:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001016 // void operator delete[](void*, unsigned int);
David L. Jonesd21529f2017-01-23 23:16:46 +00001017 case LibFunc_msvc_delete_array_ptr32_int:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001018 // void operator delete[](void*, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +00001019 case LibFunc_msvc_delete_array_ptr32_nothrow:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001020 // void operator delete[](void*, unsigned long long);
David L. Jonesd21529f2017-01-23 23:16:46 +00001021 case LibFunc_msvc_delete_array_ptr64_longlong:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001022 // void operator delete[](void*, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +00001023 case LibFunc_msvc_delete_array_ptr64_nothrow:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001024 // void operator delete(void*, unsigned int);
David L. Jonesd21529f2017-01-23 23:16:46 +00001025 case LibFunc_msvc_delete_ptr32_int:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001026 // void operator delete(void*, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +00001027 case LibFunc_msvc_delete_ptr32_nothrow:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001028 // void operator delete(void*, unsigned long long);
David L. Jonesd21529f2017-01-23 23:16:46 +00001029 case LibFunc_msvc_delete_ptr64_longlong:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001030 // void operator delete(void*, nothrow);
David L. Jonesd21529f2017-01-23 23:16:46 +00001031 case LibFunc_msvc_delete_ptr64_nothrow:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001032 return (NumParams == 2 && FTy.getParamType(0)->isPointerTy());
Ahmed Bougachad765a822016-04-27 19:04:35 +00001033
David L. Jonesd21529f2017-01-23 23:16:46 +00001034 case LibFunc_memset_pattern16:
Ahmed Bougachad765a822016-04-27 19:04:35 +00001035 return (!FTy.isVarArg() && NumParams == 3 &&
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001036 FTy.getParamType(0)->isPointerTy() &&
1037 FTy.getParamType(1)->isPointerTy() &&
1038 FTy.getParamType(2)->isIntegerTy());
Ahmed Bougachad765a822016-04-27 19:04:35 +00001039
David L. Jonesd21529f2017-01-23 23:16:46 +00001040 case LibFunc_cxa_guard_abort:
1041 case LibFunc_cxa_guard_acquire:
1042 case LibFunc_cxa_guard_release:
1043 case LibFunc_nvvm_reflect:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001044 return (NumParams == 1 && FTy.getParamType(0)->isPointerTy());
Ahmed Bougachad765a822016-04-27 19:04:35 +00001045
David L. Jonesd21529f2017-01-23 23:16:46 +00001046 case LibFunc_sincospi_stret:
1047 case LibFunc_sincospif_stret:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001048 return (NumParams == 1 && FTy.getParamType(0)->isFloatingPointTy());
1049
David L. Jonesd21529f2017-01-23 23:16:46 +00001050 case LibFunc_acos:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001051 case LibFunc_acos_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001052 case LibFunc_acosf:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001053 case LibFunc_acosf_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001054 case LibFunc_acosh:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001055 case LibFunc_acosh_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001056 case LibFunc_acoshf:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001057 case LibFunc_acoshf_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001058 case LibFunc_acoshl:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001059 case LibFunc_acoshl_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001060 case LibFunc_acosl:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001061 case LibFunc_acosl_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001062 case LibFunc_asin:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001063 case LibFunc_asin_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001064 case LibFunc_asinf:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001065 case LibFunc_asinf_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001066 case LibFunc_asinh:
1067 case LibFunc_asinhf:
1068 case LibFunc_asinhl:
1069 case LibFunc_asinl:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001070 case LibFunc_asinl_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001071 case LibFunc_atan:
1072 case LibFunc_atanf:
1073 case LibFunc_atanh:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001074 case LibFunc_atanh_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001075 case LibFunc_atanhf:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001076 case LibFunc_atanhf_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001077 case LibFunc_atanhl:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001078 case LibFunc_atanhl_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001079 case LibFunc_atanl:
1080 case LibFunc_cbrt:
1081 case LibFunc_cbrtf:
1082 case LibFunc_cbrtl:
1083 case LibFunc_ceil:
1084 case LibFunc_ceilf:
1085 case LibFunc_ceill:
1086 case LibFunc_cos:
1087 case LibFunc_cosf:
1088 case LibFunc_cosh:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001089 case LibFunc_cosh_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001090 case LibFunc_coshf:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001091 case LibFunc_coshf_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001092 case LibFunc_coshl:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001093 case LibFunc_coshl_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001094 case LibFunc_cosl:
1095 case LibFunc_exp10:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001096 case LibFunc_exp10_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001097 case LibFunc_exp10f:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001098 case LibFunc_exp10f_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001099 case LibFunc_exp10l:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001100 case LibFunc_exp10l_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001101 case LibFunc_exp2:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001102 case LibFunc_exp2_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001103 case LibFunc_exp2f:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001104 case LibFunc_exp2f_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001105 case LibFunc_exp2l:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001106 case LibFunc_exp2l_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001107 case LibFunc_exp:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001108 case LibFunc_exp_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001109 case LibFunc_expf:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001110 case LibFunc_expf_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001111 case LibFunc_expl:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001112 case LibFunc_expl_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001113 case LibFunc_expm1:
1114 case LibFunc_expm1f:
1115 case LibFunc_expm1l:
1116 case LibFunc_fabs:
1117 case LibFunc_fabsf:
1118 case LibFunc_fabsl:
1119 case LibFunc_floor:
1120 case LibFunc_floorf:
1121 case LibFunc_floorl:
1122 case LibFunc_log10:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001123 case LibFunc_log10_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001124 case LibFunc_log10f:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001125 case LibFunc_log10f_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001126 case LibFunc_log10l:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001127 case LibFunc_log10l_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001128 case LibFunc_log1p:
1129 case LibFunc_log1pf:
1130 case LibFunc_log1pl:
1131 case LibFunc_log2:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001132 case LibFunc_log2_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001133 case LibFunc_log2f:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001134 case LibFunc_log2f_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001135 case LibFunc_log2l:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001136 case LibFunc_log2l_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001137 case LibFunc_log:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001138 case LibFunc_log_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001139 case LibFunc_logb:
1140 case LibFunc_logbf:
1141 case LibFunc_logbl:
1142 case LibFunc_logf:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001143 case LibFunc_logf_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001144 case LibFunc_logl:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001145 case LibFunc_logl_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001146 case LibFunc_nearbyint:
1147 case LibFunc_nearbyintf:
1148 case LibFunc_nearbyintl:
1149 case LibFunc_rint:
1150 case LibFunc_rintf:
1151 case LibFunc_rintl:
1152 case LibFunc_round:
1153 case LibFunc_roundf:
1154 case LibFunc_roundl:
1155 case LibFunc_sin:
1156 case LibFunc_sinf:
1157 case LibFunc_sinh:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001158 case LibFunc_sinh_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001159 case LibFunc_sinhf:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001160 case LibFunc_sinhf_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001161 case LibFunc_sinhl:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001162 case LibFunc_sinhl_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001163 case LibFunc_sinl:
1164 case LibFunc_sqrt:
1165 case LibFunc_sqrt_finite:
1166 case LibFunc_sqrtf:
1167 case LibFunc_sqrtf_finite:
1168 case LibFunc_sqrtl:
1169 case LibFunc_sqrtl_finite:
1170 case LibFunc_tan:
1171 case LibFunc_tanf:
1172 case LibFunc_tanh:
1173 case LibFunc_tanhf:
1174 case LibFunc_tanhl:
1175 case LibFunc_tanl:
1176 case LibFunc_trunc:
1177 case LibFunc_truncf:
1178 case LibFunc_truncl:
Ahmed Bougachad765a822016-04-27 19:04:35 +00001179 return (NumParams == 1 && FTy.getReturnType()->isFloatingPointTy() &&
1180 FTy.getReturnType() == FTy.getParamType(0));
1181
David L. Jonesd21529f2017-01-23 23:16:46 +00001182 case LibFunc_atan2:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001183 case LibFunc_atan2_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001184 case LibFunc_atan2f:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001185 case LibFunc_atan2f_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001186 case LibFunc_atan2l:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001187 case LibFunc_atan2l_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001188 case LibFunc_fmin:
1189 case LibFunc_fminf:
1190 case LibFunc_fminl:
1191 case LibFunc_fmax:
1192 case LibFunc_fmaxf:
1193 case LibFunc_fmaxl:
1194 case LibFunc_fmod:
1195 case LibFunc_fmodf:
1196 case LibFunc_fmodl:
1197 case LibFunc_copysign:
1198 case LibFunc_copysignf:
1199 case LibFunc_copysignl:
1200 case LibFunc_pow:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001201 case LibFunc_pow_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001202 case LibFunc_powf:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001203 case LibFunc_powf_finite:
David L. Jonesd21529f2017-01-23 23:16:46 +00001204 case LibFunc_powl:
Andrew Kaylor3cd8c162017-05-12 22:11:12 +00001205 case LibFunc_powl_finite:
Ahmed Bougachad765a822016-04-27 19:04:35 +00001206 return (NumParams == 2 && FTy.getReturnType()->isFloatingPointTy() &&
1207 FTy.getReturnType() == FTy.getParamType(0) &&
1208 FTy.getReturnType() == FTy.getParamType(1));
1209
David L. Jonesd21529f2017-01-23 23:16:46 +00001210 case LibFunc_ldexp:
1211 case LibFunc_ldexpf:
1212 case LibFunc_ldexpl:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001213 return (NumParams == 2 && FTy.getReturnType()->isFloatingPointTy() &&
1214 FTy.getReturnType() == FTy.getParamType(0) &&
1215 FTy.getParamType(1)->isIntegerTy(32));
1216
David L. Jonesd21529f2017-01-23 23:16:46 +00001217 case LibFunc_ffs:
1218 case LibFunc_ffsl:
1219 case LibFunc_ffsll:
1220 case LibFunc_fls:
1221 case LibFunc_flsl:
1222 case LibFunc_flsll:
Sanjay Patel04949faf2016-09-23 18:44:09 +00001223 return (NumParams == 1 && FTy.getReturnType()->isIntegerTy(32) &&
1224 FTy.getParamType(0)->isIntegerTy());
1225
David L. Jonesd21529f2017-01-23 23:16:46 +00001226 case LibFunc_isdigit:
1227 case LibFunc_isascii:
1228 case LibFunc_toascii:
1229 case LibFunc_putchar:
Ahmed Bougachad765a822016-04-27 19:04:35 +00001230 return (NumParams == 1 && FTy.getReturnType()->isIntegerTy(32) &&
Sanjay Patel04949faf2016-09-23 18:44:09 +00001231 FTy.getReturnType() == FTy.getParamType(0));
Ahmed Bougachad765a822016-04-27 19:04:35 +00001232
David L. Jonesd21529f2017-01-23 23:16:46 +00001233 case LibFunc_abs:
1234 case LibFunc_labs:
1235 case LibFunc_llabs:
Ahmed Bougachad765a822016-04-27 19:04:35 +00001236 return (NumParams == 1 && FTy.getReturnType()->isIntegerTy() &&
1237 FTy.getReturnType() == FTy.getParamType(0));
1238
David L. Jonesd21529f2017-01-23 23:16:46 +00001239 case LibFunc_cxa_atexit:
Ahmed Bougachad765a822016-04-27 19:04:35 +00001240 return (NumParams == 3 && FTy.getReturnType()->isIntegerTy() &&
1241 FTy.getParamType(0)->isPointerTy() &&
1242 FTy.getParamType(1)->isPointerTy() &&
1243 FTy.getParamType(2)->isPointerTy());
1244
David L. Jonesd21529f2017-01-23 23:16:46 +00001245 case LibFunc_sinpi:
1246 case LibFunc_cospi:
Ahmed Bougachad765a822016-04-27 19:04:35 +00001247 return (NumParams == 1 && FTy.getReturnType()->isDoubleTy() &&
1248 FTy.getReturnType() == FTy.getParamType(0));
1249
David L. Jonesd21529f2017-01-23 23:16:46 +00001250 case LibFunc_sinpif:
1251 case LibFunc_cospif:
Ahmed Bougachad765a822016-04-27 19:04:35 +00001252 return (NumParams == 1 && FTy.getReturnType()->isFloatTy() &&
1253 FTy.getReturnType() == FTy.getParamType(0));
1254
David L. Jonesd21529f2017-01-23 23:16:46 +00001255 case LibFunc_strnlen:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001256 return (NumParams == 2 && FTy.getReturnType() == FTy.getParamType(1) &&
1257 FTy.getParamType(0) == PCharTy &&
1258 FTy.getParamType(1) == SizeTTy);
1259
David L. Jonesd21529f2017-01-23 23:16:46 +00001260 case LibFunc_posix_memalign:
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001261 return (NumParams == 3 && FTy.getReturnType()->isIntegerTy(32) &&
1262 FTy.getParamType(0)->isPointerTy() &&
1263 FTy.getParamType(1) == SizeTTy && FTy.getParamType(2) == SizeTTy);
1264
Matthias Braun60b40b82017-05-05 20:25:50 +00001265 case LibFunc_wcslen:
1266 return (NumParams == 1 && FTy.getParamType(0)->isPointerTy() &&
1267 FTy.getReturnType()->isIntegerTy());
1268
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001269 case LibFunc::NumLibFuncs:
Ahmed Bougacha86b680a2017-01-17 19:54:18 +00001270 break;
Ahmed Bougachad765a822016-04-27 19:04:35 +00001271 }
Ahmed Bougacha6b9be1d2017-01-17 03:10:02 +00001272
Ahmed Bougacha86b680a2017-01-17 19:54:18 +00001273 llvm_unreachable("Invalid libfunc");
Ahmed Bougachad765a822016-04-27 19:04:35 +00001274}
1275
1276bool TargetLibraryInfoImpl::getLibFunc(const Function &FDecl,
David L. Jonesd21529f2017-01-23 23:16:46 +00001277 LibFunc &F) const {
Ahmed Bougachad765a822016-04-27 19:04:35 +00001278 const DataLayout *DL =
1279 FDecl.getParent() ? &FDecl.getParent()->getDataLayout() : nullptr;
1280 return getLibFunc(FDecl.getName(), F) &&
1281 isValidProtoForLibFunc(*FDecl.getFunctionType(), F, DL);
1282}
1283
Chandler Carruthc0291862015-01-24 02:06:09 +00001284void TargetLibraryInfoImpl::disableAllFunctions() {
Chris Lattner1341df92011-02-18 22:34:03 +00001285 memset(AvailableArray, 0, sizeof(AvailableArray));
1286}
Chandler Carruthb98f63d2015-01-15 10:41:28 +00001287
Michael Zolotukhine8f25512015-03-17 19:22:30 +00001288static bool compareByScalarFnName(const VecDesc &LHS, const VecDesc &RHS) {
Mehdi Amini9a72cd72016-10-01 03:10:48 +00001289 return LHS.ScalarFnName < RHS.ScalarFnName;
Michael Zolotukhine8f25512015-03-17 19:22:30 +00001290}
1291
1292static bool compareByVectorFnName(const VecDesc &LHS, const VecDesc &RHS) {
Mehdi Amini9a72cd72016-10-01 03:10:48 +00001293 return LHS.VectorFnName < RHS.VectorFnName;
Michael Zolotukhine8f25512015-03-17 19:22:30 +00001294}
1295
1296static bool compareWithScalarFnName(const VecDesc &LHS, StringRef S) {
Mehdi Amini9a72cd72016-10-01 03:10:48 +00001297 return LHS.ScalarFnName < S;
Michael Zolotukhine8f25512015-03-17 19:22:30 +00001298}
1299
1300static bool compareWithVectorFnName(const VecDesc &LHS, StringRef S) {
Mehdi Amini9a72cd72016-10-01 03:10:48 +00001301 return LHS.VectorFnName < S;
Michael Zolotukhine8f25512015-03-17 19:22:30 +00001302}
1303
1304void TargetLibraryInfoImpl::addVectorizableFunctions(ArrayRef<VecDesc> Fns) {
1305 VectorDescs.insert(VectorDescs.end(), Fns.begin(), Fns.end());
1306 std::sort(VectorDescs.begin(), VectorDescs.end(), compareByScalarFnName);
1307
1308 ScalarDescs.insert(ScalarDescs.end(), Fns.begin(), Fns.end());
1309 std::sort(ScalarDescs.begin(), ScalarDescs.end(), compareByVectorFnName);
1310}
1311
Michael Zolotukhin6d8a2aa2015-03-17 19:50:55 +00001312void TargetLibraryInfoImpl::addVectorizableFunctionsFromVecLib(
1313 enum VectorLibrary VecLib) {
1314 switch (VecLib) {
1315 case Accelerate: {
1316 const VecDesc VecFuncs[] = {
Michael Zolotukhinde63aac2015-05-07 17:11:51 +00001317 // Floating-Point Arithmetic and Auxiliary Functions
1318 {"ceilf", "vceilf", 4},
Michael Zolotukhin6d8a2aa2015-03-17 19:50:55 +00001319 {"fabsf", "vfabsf", 4},
1320 {"llvm.fabs.f32", "vfabsf", 4},
Michael Zolotukhinde63aac2015-05-07 17:11:51 +00001321 {"floorf", "vfloorf", 4},
1322 {"sqrtf", "vsqrtf", 4},
1323 {"llvm.sqrt.f32", "vsqrtf", 4},
1324
1325 // Exponential and Logarithmic Functions
1326 {"expf", "vexpf", 4},
1327 {"llvm.exp.f32", "vexpf", 4},
1328 {"expm1f", "vexpm1f", 4},
1329 {"logf", "vlogf", 4},
1330 {"llvm.log.f32", "vlogf", 4},
1331 {"log1pf", "vlog1pf", 4},
1332 {"log10f", "vlog10f", 4},
1333 {"llvm.log10.f32", "vlog10f", 4},
1334 {"logbf", "vlogbf", 4},
1335
1336 // Trigonometric Functions
1337 {"sinf", "vsinf", 4},
1338 {"llvm.sin.f32", "vsinf", 4},
1339 {"cosf", "vcosf", 4},
1340 {"llvm.cos.f32", "vcosf", 4},
1341 {"tanf", "vtanf", 4},
1342 {"asinf", "vasinf", 4},
1343 {"acosf", "vacosf", 4},
1344 {"atanf", "vatanf", 4},
1345
1346 // Hyperbolic Functions
1347 {"sinhf", "vsinhf", 4},
1348 {"coshf", "vcoshf", 4},
1349 {"tanhf", "vtanhf", 4},
1350 {"asinhf", "vasinhf", 4},
1351 {"acoshf", "vacoshf", 4},
1352 {"atanhf", "vatanhf", 4},
Michael Zolotukhin6d8a2aa2015-03-17 19:50:55 +00001353 };
1354 addVectorizableFunctions(VecFuncs);
1355 break;
1356 }
Matt Mastena6669a12016-07-29 16:42:44 +00001357 case SVML: {
1358 const VecDesc VecFuncs[] = {
1359 {"sin", "__svml_sin2", 2},
1360 {"sin", "__svml_sin4", 4},
1361 {"sin", "__svml_sin8", 8},
1362
1363 {"sinf", "__svml_sinf4", 4},
1364 {"sinf", "__svml_sinf8", 8},
1365 {"sinf", "__svml_sinf16", 16},
1366
1367 {"cos", "__svml_cos2", 2},
1368 {"cos", "__svml_cos4", 4},
1369 {"cos", "__svml_cos8", 8},
1370
1371 {"cosf", "__svml_cosf4", 4},
1372 {"cosf", "__svml_cosf8", 8},
1373 {"cosf", "__svml_cosf16", 16},
1374
1375 {"pow", "__svml_pow2", 2},
1376 {"pow", "__svml_pow4", 4},
1377 {"pow", "__svml_pow8", 8},
1378
1379 {"powf", "__svml_powf4", 4},
1380 {"powf", "__svml_powf8", 8},
1381 {"powf", "__svml_powf16", 16},
1382
Andrew Kaylorb01e94e2017-05-12 22:11:26 +00001383 { "__pow_finite", "__svml_pow2", 2 },
1384 { "__pow_finite", "__svml_pow4", 4 },
1385 { "__pow_finite", "__svml_pow8", 8 },
1386
1387 { "__powf_finite", "__svml_powf4", 4 },
1388 { "__powf_finite", "__svml_powf8", 8 },
1389 { "__powf_finite", "__svml_powf16", 16 },
1390
Matt Mastena6669a12016-07-29 16:42:44 +00001391 {"llvm.pow.f64", "__svml_pow2", 2},
1392 {"llvm.pow.f64", "__svml_pow4", 4},
1393 {"llvm.pow.f64", "__svml_pow8", 8},
1394
1395 {"llvm.pow.f32", "__svml_powf4", 4},
1396 {"llvm.pow.f32", "__svml_powf8", 8},
1397 {"llvm.pow.f32", "__svml_powf16", 16},
1398
1399 {"exp", "__svml_exp2", 2},
1400 {"exp", "__svml_exp4", 4},
1401 {"exp", "__svml_exp8", 8},
1402
1403 {"expf", "__svml_expf4", 4},
1404 {"expf", "__svml_expf8", 8},
1405 {"expf", "__svml_expf16", 16},
1406
Andrew Kaylorb01e94e2017-05-12 22:11:26 +00001407 { "__exp_finite", "__svml_exp2", 2 },
1408 { "__exp_finite", "__svml_exp4", 4 },
1409 { "__exp_finite", "__svml_exp8", 8 },
1410
1411 { "__expf_finite", "__svml_expf4", 4 },
1412 { "__expf_finite", "__svml_expf8", 8 },
1413 { "__expf_finite", "__svml_expf16", 16 },
1414
Matt Mastena6669a12016-07-29 16:42:44 +00001415 {"llvm.exp.f64", "__svml_exp2", 2},
1416 {"llvm.exp.f64", "__svml_exp4", 4},
1417 {"llvm.exp.f64", "__svml_exp8", 8},
1418
1419 {"llvm.exp.f32", "__svml_expf4", 4},
1420 {"llvm.exp.f32", "__svml_expf8", 8},
1421 {"llvm.exp.f32", "__svml_expf16", 16},
1422
1423 {"log", "__svml_log2", 2},
1424 {"log", "__svml_log4", 4},
1425 {"log", "__svml_log8", 8},
1426
1427 {"logf", "__svml_logf4", 4},
1428 {"logf", "__svml_logf8", 8},
1429 {"logf", "__svml_logf16", 16},
1430
Andrew Kaylorb01e94e2017-05-12 22:11:26 +00001431 { "__log_finite", "__svml_log2", 2 },
1432 { "__log_finite", "__svml_log4", 4 },
1433 { "__log_finite", "__svml_log8", 8 },
1434
1435 { "__logf_finite", "__svml_logf4", 4 },
1436 { "__logf_finite", "__svml_logf8", 8 },
1437 { "__logf_finite", "__svml_logf16", 16 },
1438
Matt Mastena6669a12016-07-29 16:42:44 +00001439 {"llvm.log.f64", "__svml_log2", 2},
1440 {"llvm.log.f64", "__svml_log4", 4},
1441 {"llvm.log.f64", "__svml_log8", 8},
1442
1443 {"llvm.log.f32", "__svml_logf4", 4},
1444 {"llvm.log.f32", "__svml_logf8", 8},
1445 {"llvm.log.f32", "__svml_logf16", 16},
1446 };
1447 addVectorizableFunctions(VecFuncs);
1448 break;
1449 }
Michael Zolotukhin6d8a2aa2015-03-17 19:50:55 +00001450 case NoLibrary:
1451 break;
1452 }
1453}
1454
Michael Zolotukhine8f25512015-03-17 19:22:30 +00001455bool TargetLibraryInfoImpl::isFunctionVectorizable(StringRef funcName) const {
1456 funcName = sanitizeFunctionName(funcName);
1457 if (funcName.empty())
1458 return false;
1459
1460 std::vector<VecDesc>::const_iterator I = std::lower_bound(
1461 VectorDescs.begin(), VectorDescs.end(), funcName,
1462 compareWithScalarFnName);
1463 return I != VectorDescs.end() && StringRef(I->ScalarFnName) == funcName;
1464}
1465
1466StringRef TargetLibraryInfoImpl::getVectorizedFunction(StringRef F,
1467 unsigned VF) const {
1468 F = sanitizeFunctionName(F);
1469 if (F.empty())
1470 return F;
1471 std::vector<VecDesc>::const_iterator I = std::lower_bound(
1472 VectorDescs.begin(), VectorDescs.end(), F, compareWithScalarFnName);
1473 while (I != VectorDescs.end() && StringRef(I->ScalarFnName) == F) {
1474 if (I->VectorizationFactor == VF)
1475 return I->VectorFnName;
1476 ++I;
1477 }
1478 return StringRef();
1479}
1480
1481StringRef TargetLibraryInfoImpl::getScalarizedFunction(StringRef F,
1482 unsigned &VF) const {
1483 F = sanitizeFunctionName(F);
1484 if (F.empty())
1485 return F;
1486
1487 std::vector<VecDesc>::const_iterator I = std::lower_bound(
1488 ScalarDescs.begin(), ScalarDescs.end(), F, compareWithVectorFnName);
1489 if (I == VectorDescs.end() || StringRef(I->VectorFnName) != F)
1490 return StringRef();
1491 VF = I->VectorizationFactor;
1492 return I->ScalarFnName;
1493}
1494
Chandler Carruth164a2aa62016-06-17 00:11:01 +00001495TargetLibraryInfo TargetLibraryAnalysis::run(Module &M,
1496 ModuleAnalysisManager &) {
Chandler Carruthc0291862015-01-24 02:06:09 +00001497 if (PresetInfoImpl)
1498 return TargetLibraryInfo(*PresetInfoImpl);
1499
1500 return TargetLibraryInfo(lookupInfoImpl(Triple(M.getTargetTriple())));
1501}
1502
Chandler Carruth164a2aa62016-06-17 00:11:01 +00001503TargetLibraryInfo TargetLibraryAnalysis::run(Function &F,
1504 FunctionAnalysisManager &) {
Chandler Carruthc0291862015-01-24 02:06:09 +00001505 if (PresetInfoImpl)
1506 return TargetLibraryInfo(*PresetInfoImpl);
1507
1508 return TargetLibraryInfo(
1509 lookupInfoImpl(Triple(F.getParent()->getTargetTriple())));
1510}
1511
Benjamin Kramerc321e532016-06-08 19:09:22 +00001512TargetLibraryInfoImpl &TargetLibraryAnalysis::lookupInfoImpl(const Triple &T) {
Chandler Carruthc0291862015-01-24 02:06:09 +00001513 std::unique_ptr<TargetLibraryInfoImpl> &Impl =
1514 Impls[T.normalize()];
1515 if (!Impl)
1516 Impl.reset(new TargetLibraryInfoImpl(T));
1517
1518 return *Impl;
1519}
1520
1521
Chandler Carruthb98f63d2015-01-15 10:41:28 +00001522TargetLibraryInfoWrapperPass::TargetLibraryInfoWrapperPass()
Chandler Carruthc0291862015-01-24 02:06:09 +00001523 : ImmutablePass(ID), TLIImpl(), TLI(TLIImpl) {
Chandler Carruthb98f63d2015-01-15 10:41:28 +00001524 initializeTargetLibraryInfoWrapperPassPass(*PassRegistry::getPassRegistry());
1525}
1526
1527TargetLibraryInfoWrapperPass::TargetLibraryInfoWrapperPass(const Triple &T)
Chandler Carruthc0291862015-01-24 02:06:09 +00001528 : ImmutablePass(ID), TLIImpl(T), TLI(TLIImpl) {
Chandler Carruthb98f63d2015-01-15 10:41:28 +00001529 initializeTargetLibraryInfoWrapperPassPass(*PassRegistry::getPassRegistry());
1530}
1531
1532TargetLibraryInfoWrapperPass::TargetLibraryInfoWrapperPass(
Chandler Carruthc0291862015-01-24 02:06:09 +00001533 const TargetLibraryInfoImpl &TLIImpl)
1534 : ImmutablePass(ID), TLIImpl(TLIImpl), TLI(this->TLIImpl) {
Chandler Carruthb98f63d2015-01-15 10:41:28 +00001535 initializeTargetLibraryInfoWrapperPassPass(*PassRegistry::getPassRegistry());
1536}
1537
Chandler Carruthdab4eae2016-11-23 17:53:26 +00001538AnalysisKey TargetLibraryAnalysis::Key;
NAKAMURA Takumidf0cd722016-02-28 17:17:00 +00001539
Chandler Carruthb98f63d2015-01-15 10:41:28 +00001540// Register the basic pass.
1541INITIALIZE_PASS(TargetLibraryInfoWrapperPass, "targetlibinfo",
1542 "Target Library Information", false, true)
1543char TargetLibraryInfoWrapperPass::ID = 0;
1544
1545void TargetLibraryInfoWrapperPass::anchor() {}