LLVM 18.0.0git
BuildLibCalls.cpp
Go to the documentation of this file.
1//===- BuildLibCalls.cpp - Utility builder for libcalls -------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file implements some functions that will create standard C libcalls.
10//
11//===----------------------------------------------------------------------===//
12
13#include "llvm/Transforms/Utils/BuildLibCalls.h"
14#include "llvm/ADT/SmallString.h"
15#include "llvm/ADT/Statistic.h"
16#include "llvm/Analysis/MemoryBuiltins.h"
17#include "llvm/Analysis/TargetLibraryInfo.h"
18#include "llvm/IR/Argument.h"
19#include "llvm/IR/CallingConv.h"
20#include "llvm/IR/Constants.h"
21#include "llvm/IR/DataLayout.h"
22#include "llvm/IR/Function.h"
23#include "llvm/IR/IRBuilder.h"
24#include "llvm/IR/Module.h"
25#include "llvm/IR/Type.h"
26#include "llvm/Support/TypeSize.h"
27#include <optional>
28
29using namespace llvm;
30
31#define DEBUG_TYPE "build-libcalls"
32
33//- Infer Attributes ---------------------------------------------------------//
34
35STATISTIC(NumReadNone, "Number of functions inferred as readnone");
36STATISTIC(NumInaccessibleMemOnly,
37 "Number of functions inferred as inaccessiblememonly");
38STATISTIC(NumReadOnly, "Number of functions inferred as readonly");
39STATISTIC(NumWriteOnly, "Number of functions inferred as writeonly");
40STATISTIC(NumArgMemOnly, "Number of functions inferred as argmemonly");
41STATISTIC(NumInaccessibleMemOrArgMemOnly,
42 "Number of functions inferred as inaccessiblemem_or_argmemonly");
43STATISTIC(NumNoUnwind, "Number of functions inferred as nounwind");
44STATISTIC(NumNoCapture, "Number of arguments inferred as nocapture");
45STATISTIC(NumWriteOnlyArg, "Number of arguments inferred as writeonly");
46STATISTIC(NumReadOnlyArg, "Number of arguments inferred as readonly");
47STATISTIC(NumNoAlias, "Number of function returns inferred as noalias");
48STATISTIC(NumNoUndef, "Number of function returns inferred as noundef returns");
49STATISTIC(NumReturnedArg, "Number of arguments inferred as returned");
50STATISTIC(NumWillReturn, "Number of functions inferred as willreturn");
51
52static bool setDoesNotAccessMemory(Function &F) {
53 if (F.doesNotAccessMemory())
54 return false;
55 F.setDoesNotAccessMemory();
56 ++NumReadNone;
57 return true;
58}
59
60static bool setOnlyAccessesInaccessibleMemory(Function &F) {
61 if (F.onlyAccessesInaccessibleMemory())
62 return false;
63 F.setOnlyAccessesInaccessibleMemory();
64 ++NumInaccessibleMemOnly;
65 return true;
66}
67
68static bool setOnlyReadsMemory(Function &F) {
69 if (F.onlyReadsMemory())
70 return false;
71 F.setOnlyReadsMemory();
72 ++NumReadOnly;
73 return true;
74}
75
76static bool setOnlyWritesMemory(Function &F) {
77 if (F.onlyWritesMemory()) // writeonly or readnone
78 return false;
79 ++NumWriteOnly;
80 F.setOnlyWritesMemory();
81 return true;
82}
83
84static bool setOnlyAccessesArgMemory(Function &F) {
85 if (F.onlyAccessesArgMemory())
86 return false;
87 F.setOnlyAccessesArgMemory();
88 ++NumArgMemOnly;
89 return true;
90}
91
92static bool setOnlyAccessesInaccessibleMemOrArgMem(Function &F) {
93 if (F.onlyAccessesInaccessibleMemOrArgMem())
94 return false;
95 F.setOnlyAccessesInaccessibleMemOrArgMem();
96 ++NumInaccessibleMemOrArgMemOnly;
97 return true;
98}
99
100static bool setDoesNotThrow(Function &F) {
101 if (F.doesNotThrow())
102 return false;
103 F.setDoesNotThrow();
104 ++NumNoUnwind;
105 return true;
106}
107
108static bool setRetDoesNotAlias(Function &F) {
109 if (F.hasRetAttribute(Attribute::NoAlias))
110 return false;
111 F.addRetAttr(Attribute::NoAlias);
112 ++NumNoAlias;
113 return true;
114}
115
116static bool setDoesNotCapture(Function &F, unsigned ArgNo) {
117 if (F.hasParamAttribute(ArgNo, Attribute::NoCapture))
118 return false;
119 F.addParamAttr(ArgNo, Attribute::NoCapture);
120 ++NumNoCapture;
121 return true;
122}
123
124static bool setDoesNotAlias(Function &F, unsigned ArgNo) {
125 if (F.hasParamAttribute(ArgNo, Attribute::NoAlias))
126 return false;
127 F.addParamAttr(ArgNo, Attribute::NoAlias);
128 ++NumNoAlias;
129 return true;
130}
131
132static bool setOnlyReadsMemory(Function &F, unsigned ArgNo) {
133 if (F.hasParamAttribute(ArgNo, Attribute::ReadOnly))
134 return false;
135 F.addParamAttr(ArgNo, Attribute::ReadOnly);
136 ++NumReadOnlyArg;
137 return true;
138}
139
140static bool setOnlyWritesMemory(Function &F, unsigned ArgNo) {
141 if (F.hasParamAttribute(ArgNo, Attribute::WriteOnly))
142 return false;
143 F.addParamAttr(ArgNo, Attribute::WriteOnly);
144 ++NumWriteOnlyArg;
145 return true;
146}
147
148static bool setRetNoUndef(Function &F) {
149 if (!F.getReturnType()->isVoidTy() &&
150 !F.hasRetAttribute(Attribute::NoUndef)) {
151 F.addRetAttr(Attribute::NoUndef);
152 ++NumNoUndef;
153 return true;
154 }
155 return false;
156}
157
158static bool setArgsNoUndef(Function &F) {
159 bool Changed = false;
160 for (unsigned ArgNo = 0; ArgNo < F.arg_size(); ++ArgNo) {
161 if (!F.hasParamAttribute(ArgNo, Attribute::NoUndef)) {
162 F.addParamAttr(ArgNo, Attribute::NoUndef);
163 ++NumNoUndef;
164 Changed = true;
165 }
166 }
167 return Changed;
168}
169
170static bool setArgNoUndef(Function &F, unsigned ArgNo) {
171 if (F.hasParamAttribute(ArgNo, Attribute::NoUndef))
172 return false;
173 F.addParamAttr(ArgNo, Attribute::NoUndef);
174 ++NumNoUndef;
175 return true;
176}
177
178static bool setRetAndArgsNoUndef(Function &F) {
179 bool UndefAdded = false;
180 UndefAdded |= setRetNoUndef(F);
181 UndefAdded |= setArgsNoUndef(F);
182 return UndefAdded;
183}
184
185static bool setReturnedArg(Function &F, unsigned ArgNo) {
186 if (F.hasParamAttribute(ArgNo, Attribute::Returned))
187 return false;
188 F.addParamAttr(ArgNo, Attribute::Returned);
189 ++NumReturnedArg;
190 return true;
191}
192
193static bool setNonLazyBind(Function &F) {
194 if (F.hasFnAttribute(Attribute::NonLazyBind))
195 return false;
196 F.addFnAttr(Attribute::NonLazyBind);
197 return true;
198}
199
200static bool setDoesNotFreeMemory(Function &F) {
201 if (F.hasFnAttribute(Attribute::NoFree))
202 return false;
203 F.addFnAttr(Attribute::NoFree);
204 return true;
205}
206
207static bool setWillReturn(Function &F) {
208 if (F.hasFnAttribute(Attribute::WillReturn))
209 return false;
210 F.addFnAttr(Attribute::WillReturn);
211 ++NumWillReturn;
212 return true;
213}
214
215static bool setAlignedAllocParam(Function &F, unsigned ArgNo) {
216 if (F.hasParamAttribute(ArgNo, Attribute::AllocAlign))
217 return false;
218 F.addParamAttr(ArgNo, Attribute::AllocAlign);
219 return true;
220}
221
222static bool setAllocatedPointerParam(Function &F, unsigned ArgNo) {
223 if (F.hasParamAttribute(ArgNo, Attribute::AllocatedPointer))
224 return false;
225 F.addParamAttr(ArgNo, Attribute::AllocatedPointer);
226 return true;
227}
228
229static bool setAllocSize(Function &F, unsigned ElemSizeArg,
230 std::optional<unsigned> NumElemsArg) {
231 if (F.hasFnAttribute(Attribute::AllocSize))
232 return false;
233 F.addFnAttr(Attribute::getWithAllocSizeArgs(F.getContext(), ElemSizeArg,
234 NumElemsArg));
235 return true;
236}
237
238static bool setAllocFamily(Function &F, StringRef Family) {
239 if (F.hasFnAttribute("alloc-family"))
240 return false;
241 F.addFnAttr("alloc-family", Family);
242 return true;
243}
244
245static bool setAllocKind(Function &F, AllocFnKind K) {
246 if (F.hasFnAttribute(Attribute::AllocKind))
247 return false;
248 F.addFnAttr(
249 Attribute::get(F.getContext(), Attribute::AllocKind, uint64_t(K)));
250 return true;
251}
252
253bool llvm::inferNonMandatoryLibFuncAttrs(Module *M, StringRef Name,
254 const TargetLibraryInfo &TLI) {
255 Function *F = M->getFunction(Name);
256 if (!F)
257 return false;
258 return inferNonMandatoryLibFuncAttrs(*F, TLI);
259}
260
261bool llvm::inferNonMandatoryLibFuncAttrs(Function &F,
262 const TargetLibraryInfo &TLI) {
263 LibFunc TheLibFunc;
264 if (!(TLI.getLibFunc(F, TheLibFunc) && TLI.has(TheLibFunc)))
265 return false;
266
267 bool Changed = false;
268
269 if (F.getParent() != nullptr && F.getParent()->getRtLibUseGOT())
270 Changed |= setNonLazyBind(F);
271
272 switch (TheLibFunc) {
273 case LibFunc_strlen:
274 case LibFunc_strnlen:
275 case LibFunc_wcslen:
276 Changed |= setOnlyReadsMemory(F);
277 Changed |= setDoesNotThrow(F);
278 Changed |= setOnlyAccessesArgMemory(F);
279 Changed |= setWillReturn(F);
280 Changed |= setDoesNotCapture(F, 0);
281 break;
282 case LibFunc_strchr:
283 case LibFunc_strrchr:
284 Changed |= setOnlyAccessesArgMemory(F);
285 Changed |= setOnlyReadsMemory(F);
286 Changed |= setDoesNotThrow(F);
287 Changed |= setWillReturn(F);
288 break;
289 case LibFunc_strtol:
290 case LibFunc_strtod:
291 case LibFunc_strtof:
292 case LibFunc_strtoul:
293 case LibFunc_strtoll:
294 case LibFunc_strtold:
295 case LibFunc_strtoull:
296 Changed |= setDoesNotThrow(F);
297 Changed |= setWillReturn(F);
298 Changed |= setDoesNotCapture(F, 1);
299 Changed |= setOnlyReadsMemory(F, 0);
300 break;
301 case LibFunc_strcat:
302 case LibFunc_strncat:
303 Changed |= setOnlyAccessesArgMemory(F);
304 Changed |= setDoesNotThrow(F);
305 Changed |= setWillReturn(F);
306 Changed |= setReturnedArg(F, 0);
307 Changed |= setDoesNotCapture(F, 1);
308 Changed |= setOnlyReadsMemory(F, 1);
309 Changed |= setDoesNotAlias(F, 0);
310 Changed |= setDoesNotAlias(F, 1);
311 break;
312 case LibFunc_strcpy:
313 case LibFunc_strncpy:
314 Changed |= setReturnedArg(F, 0);
315 [[fallthrough]];
316 case LibFunc_stpcpy:
317 case LibFunc_stpncpy:
318 Changed |= setOnlyAccessesArgMemory(F);
319 Changed |= setDoesNotThrow(F);
320 Changed |= setWillReturn(F);
321 Changed |= setDoesNotCapture(F, 1);
322 Changed |= setOnlyWritesMemory(F, 0);
323 Changed |= setOnlyReadsMemory(F, 1);
324 Changed |= setDoesNotAlias(F, 0);
325 Changed |= setDoesNotAlias(F, 1);
326 break;
327 case LibFunc_strxfrm:
328 Changed |= setDoesNotThrow(F);
329 Changed |= setWillReturn(F);
330 Changed |= setDoesNotCapture(F, 0);
331 Changed |= setDoesNotCapture(F, 1);
332 Changed |= setOnlyReadsMemory(F, 1);
333 break;
334 case LibFunc_strcmp: // 0,1
335 case LibFunc_strspn: // 0,1
336 case LibFunc_strncmp: // 0,1
337 case LibFunc_strcspn: // 0,1
338 Changed |= setDoesNotThrow(F);
339 Changed |= setOnlyAccessesArgMemory(F);
340 Changed |= setWillReturn(F);
341 Changed |= setOnlyReadsMemory(F);
342 Changed |= setDoesNotCapture(F, 0);
343 Changed |= setDoesNotCapture(F, 1);
344 break;
345 case LibFunc_strcoll:
346 case LibFunc_strcasecmp: // 0,1
347 case LibFunc_strncasecmp: //
348 // Those functions may depend on the locale, which may be accessed through
349 // global memory.
350 Changed |= setOnlyReadsMemory(F);
351 Changed |= setDoesNotThrow(F);
352 Changed |= setWillReturn(F);
353 Changed |= setDoesNotCapture(F, 0);
354 Changed |= setDoesNotCapture(F, 1);
355 break;
356 case LibFunc_strstr:
357 case LibFunc_strpbrk:
358 Changed |= setOnlyAccessesArgMemory(F);
359 Changed |= setOnlyReadsMemory(F);
360 Changed |= setDoesNotThrow(F);
361 Changed |= setWillReturn(F);
362 Changed |= setDoesNotCapture(F, 1);
363 break;
364 case LibFunc_strtok:
365 case LibFunc_strtok_r:
366 Changed |= setDoesNotThrow(F);
367 Changed |= setWillReturn(F);
368 Changed |= setDoesNotCapture(F, 1);
369 Changed |= setOnlyReadsMemory(F, 1);
370 break;
371 case LibFunc_scanf:
372 Changed |= setRetAndArgsNoUndef(F);
373 Changed |= setDoesNotThrow(F);
374 Changed |= setDoesNotCapture(F, 0);
375 Changed |= setOnlyReadsMemory(F, 0);
376 break;
377 case LibFunc_setbuf:
378 case LibFunc_setvbuf:
379 Changed |= setRetAndArgsNoUndef(F);
380 Changed |= setDoesNotThrow(F);
381 Changed |= setDoesNotCapture(F, 0);
382 break;
383 case LibFunc_strndup:
384 Changed |= setArgNoUndef(F, 1);
385 [[fallthrough]];
386 case LibFunc_strdup:
387 Changed |= setAllocFamily(F, "malloc");
388 Changed |= setOnlyAccessesInaccessibleMemOrArgMem(F);
389 Changed |= setDoesNotThrow(F);
390 Changed |= setRetDoesNotAlias(F);
391 Changed |= setWillReturn(F);
392 Changed |= setDoesNotCapture(F, 0);
393 Changed |= setOnlyReadsMemory(F, 0);
394 break;
395 case LibFunc_stat:
396 case LibFunc_statvfs:
397 Changed |= setRetAndArgsNoUndef(F);
398 Changed |= setDoesNotThrow(F);
399 Changed |= setDoesNotCapture(F, 0);
400 Changed |= setDoesNotCapture(F, 1);
401 Changed |= setOnlyReadsMemory(F, 0);
402 break;
403 case LibFunc_sscanf:
404 Changed |= setRetAndArgsNoUndef(F);
405 Changed |= setDoesNotThrow(F);
406 Changed |= setDoesNotCapture(F, 0);
407 Changed |= setDoesNotCapture(F, 1);
408 Changed |= setOnlyReadsMemory(F, 0);
409 Changed |= setOnlyReadsMemory(F, 1);
410 break;
411 case LibFunc_sprintf:
412 Changed |= setRetAndArgsNoUndef(F);
413 Changed |= setDoesNotThrow(F);
414 Changed |= setDoesNotCapture(F, 0);
415 Changed |= setDoesNotAlias(F, 0);
416 Changed |= setOnlyWritesMemory(F, 0);
417 Changed |= setDoesNotCapture(F, 1);
418 Changed |= setOnlyReadsMemory(F, 1);
419 break;
420 case LibFunc_snprintf:
421 Changed |= setRetAndArgsNoUndef(F);
422 Changed |= setDoesNotThrow(F);
423 Changed |= setDoesNotCapture(F, 0);
424 Changed |= setDoesNotAlias(F, 0);
425 Changed |= setOnlyWritesMemory(F, 0);
426 Changed |= setDoesNotCapture(F, 2);
427 Changed |= setOnlyReadsMemory(F, 2);
428 break;
429 case LibFunc_setitimer:
430 Changed |= setRetAndArgsNoUndef(F);
431 Changed |= setDoesNotThrow(F);
432 Changed |= setWillReturn(F);
433 Changed |= setDoesNotCapture(F, 1);
434 Changed |= setDoesNotCapture(F, 2);
435 Changed |= setOnlyReadsMemory(F, 1);
436 break;
437 case LibFunc_system:
438 // May throw; "system" is a valid pthread cancellation point.
439 Changed |= setRetAndArgsNoUndef(F);
440 Changed |= setDoesNotCapture(F, 0);
441 Changed |= setOnlyReadsMemory(F, 0);
442 break;
443 case LibFunc_aligned_alloc:
444 Changed |= setAlignedAllocParam(F, 0);
445 Changed |= setAllocSize(F, 1, std::nullopt);
446 Changed |= setAllocKind(F, AllocFnKind::Alloc | AllocFnKind::Uninitialized | AllocFnKind::Aligned);
447 [[fallthrough]];
448 case LibFunc_valloc:
449 case LibFunc_malloc:
450 case LibFunc_vec_malloc:
451 Changed |= setAllocFamily(F, TheLibFunc == LibFunc_vec_malloc ? "vec_malloc"
452 : "malloc");
453 Changed |= setAllocKind(F, AllocFnKind::Alloc | AllocFnKind::Uninitialized);
454 Changed |= setAllocSize(F, 0, std::nullopt);
455 Changed |= setOnlyAccessesInaccessibleMemory(F);
456 Changed |= setRetAndArgsNoUndef(F);
457 Changed |= setDoesNotThrow(F);
458 Changed |= setRetDoesNotAlias(F);
459 Changed |= setWillReturn(F);
460 break;
461 case LibFunc_memcmp:
462 Changed |= setOnlyAccessesArgMemory(F);
463 Changed |= setOnlyReadsMemory(F);
464 Changed |= setDoesNotThrow(F);
465 Changed |= setWillReturn(F);
466 Changed |= setDoesNotCapture(F, 0);
467 Changed |= setDoesNotCapture(F, 1);
468 break;
469 case LibFunc_memchr:
470 case LibFunc_memrchr:
471 Changed |= setDoesNotThrow(F);
472 Changed |= setOnlyAccessesArgMemory(F);
473 Changed |= setOnlyReadsMemory(F);
474 Changed |= setWillReturn(F);
475 break;
476 case LibFunc_modf:
477 case LibFunc_modff:
478 case LibFunc_modfl:
479 Changed |= setDoesNotThrow(F);
480 Changed |= setWillReturn(F);
481 Changed |= setOnlyAccessesArgMemory(F);
482 Changed |= setOnlyWritesMemory(F);
483 Changed |= setDoesNotCapture(F, 1);
484 break;
485 case LibFunc_memcpy:
486 Changed |= setDoesNotThrow(F);
487 Changed |= setOnlyAccessesArgMemory(F);
488 Changed |= setWillReturn(F);
489 Changed |= setDoesNotAlias(F, 0);
490 Changed |= setReturnedArg(F, 0);
491 Changed |= setOnlyWritesMemory(F, 0);
492 Changed |= setDoesNotAlias(F, 1);
493 Changed |= setDoesNotCapture(F, 1);
494 Changed |= setOnlyReadsMemory(F, 1);
495 break;
496 case LibFunc_memmove:
497 Changed |= setDoesNotThrow(F);
498 Changed |= setOnlyAccessesArgMemory(F);
499 Changed |= setWillReturn(F);
500 Changed |= setReturnedArg(F, 0);
501 Changed |= setOnlyWritesMemory(F, 0);
502 Changed |= setDoesNotCapture(F, 1);
503 Changed |= setOnlyReadsMemory(F, 1);
504 break;
505 case LibFunc_mempcpy:
506 case LibFunc_memccpy:
507 Changed |= setWillReturn(F);
508 [[fallthrough]];
509 case LibFunc_memcpy_chk:
510 Changed |= setDoesNotThrow(F);
511 Changed |= setOnlyAccessesArgMemory(F);
512 Changed |= setDoesNotAlias(F, 0);
513 Changed |= setOnlyWritesMemory(F, 0);
514 Changed |= setDoesNotAlias(F, 1);
515 Changed |= setDoesNotCapture(F, 1);
516 Changed |= setOnlyReadsMemory(F, 1);
517 break;
518 case LibFunc_memalign:
519 Changed |= setAllocFamily(F, "malloc");
520 Changed |= setAllocKind(F, AllocFnKind::Alloc | AllocFnKind::Aligned |
521 AllocFnKind::Uninitialized);
522 Changed |= setAllocSize(F, 1, std::nullopt);
523 Changed |= setAlignedAllocParam(F, 0);
524 Changed |= setOnlyAccessesInaccessibleMemory(F);
525 Changed |= setRetNoUndef(F);
526 Changed |= setDoesNotThrow(F);
527 Changed |= setRetDoesNotAlias(F);
528 Changed |= setWillReturn(F);
529 break;
530 case LibFunc_mkdir:
531 Changed |= setRetAndArgsNoUndef(F);
532 Changed |= setDoesNotThrow(F);
533 Changed |= setDoesNotCapture(F, 0);
534 Changed |= setOnlyReadsMemory(F, 0);
535 break;
536 case LibFunc_mktime:
537 Changed |= setRetAndArgsNoUndef(F);
538 Changed |= setDoesNotThrow(F);
539 Changed |= setWillReturn(F);
540 Changed |= setDoesNotCapture(F, 0);
541 break;
542 case LibFunc_realloc:
543 case LibFunc_reallocf:
544 case LibFunc_vec_realloc:
545 Changed |= setAllocFamily(
546 F, TheLibFunc == LibFunc_vec_realloc ? "vec_malloc" : "malloc");
547 Changed |= setAllocKind(F, AllocFnKind::Realloc);
548 Changed |= setAllocatedPointerParam(F, 0);
549 Changed |= setAllocSize(F, 1, std::nullopt);
550 Changed |= setOnlyAccessesInaccessibleMemOrArgMem(F);
551 Changed |= setRetNoUndef(F);
552 Changed |= setDoesNotThrow(F);
553 Changed |= setRetDoesNotAlias(F);
554 Changed |= setWillReturn(F);
555 Changed |= setDoesNotCapture(F, 0);
556 Changed |= setArgNoUndef(F, 1);
557 break;
558 case LibFunc_read:
559 // May throw; "read" is a valid pthread cancellation point.
560 Changed |= setRetAndArgsNoUndef(F);
561 Changed |= setDoesNotCapture(F, 1);
562 break;
563 case LibFunc_rewind:
564 Changed |= setRetAndArgsNoUndef(F);
565 Changed |= setDoesNotThrow(F);
566 Changed |= setDoesNotCapture(F, 0);
567 break;
568 case LibFunc_rmdir:
569 case LibFunc_remove:
570 case LibFunc_realpath:
571 Changed |= setRetAndArgsNoUndef(F);
572 Changed |= setDoesNotThrow(F);
573 Changed |= setDoesNotCapture(F, 0);
574 Changed |= setOnlyReadsMemory(F, 0);
575 break;
576 case LibFunc_rename:
577 Changed |= setRetAndArgsNoUndef(F);
578 Changed |= setDoesNotThrow(F);
579 Changed |= setDoesNotCapture(F, 0);
580 Changed |= setDoesNotCapture(F, 1);
581 Changed |= setOnlyReadsMemory(F, 0);
582 Changed |= setOnlyReadsMemory(F, 1);
583 break;
584 case LibFunc_readlink:
585 Changed |= setRetAndArgsNoUndef(F);
586 Changed |= setDoesNotThrow(F);
587 Changed |= setDoesNotCapture(F, 0);
588 Changed |= setDoesNotCapture(F, 1);
589 Changed |= setOnlyReadsMemory(F, 0);
590 break;
591 case LibFunc_write:
592 // May throw; "write" is a valid pthread cancellation point.
593 Changed |= setRetAndArgsNoUndef(F);
594 Changed |= setDoesNotCapture(F, 1);
595 Changed |= setOnlyReadsMemory(F, 1);
596 break;
597 case LibFunc_bcopy:
598 Changed |= setDoesNotThrow(F);
599 Changed |= setOnlyAccessesArgMemory(F);
600 Changed |= setWillReturn(F);
601 Changed |= setDoesNotCapture(F, 0);
602 Changed |= setOnlyReadsMemory(F, 0);
603 Changed |= setOnlyWritesMemory(F, 1);
604 Changed |= setDoesNotCapture(F, 1);
605 break;
606 case LibFunc_bcmp:
607 Changed |= setDoesNotThrow(F);
608 Changed |= setOnlyAccessesArgMemory(F);
609 Changed |= setOnlyReadsMemory(F);
610 Changed |= setWillReturn(F);
611 Changed |= setDoesNotCapture(F, 0);
612 Changed |= setDoesNotCapture(F, 1);
613 break;
614 case LibFunc_bzero:
615 Changed |= setDoesNotThrow(F);
616 Changed |= setOnlyAccessesArgMemory(F);
617 Changed |= setWillReturn(F);
618 Changed |= setDoesNotCapture(F, 0);
619 Changed |= setOnlyWritesMemory(F, 0);
620 break;
621 case LibFunc_calloc:
622 case LibFunc_vec_calloc:
623 Changed |= setAllocFamily(F, TheLibFunc == LibFunc_vec_calloc ? "vec_malloc"
624 : "malloc");
625 Changed |= setAllocKind(F, AllocFnKind::Alloc | AllocFnKind::Zeroed);
626 Changed |= setAllocSize(F, 0, 1);
627 Changed |= setOnlyAccessesInaccessibleMemory(F);
628 Changed |= setRetAndArgsNoUndef(F);
629 Changed |= setDoesNotThrow(F);
630 Changed |= setRetDoesNotAlias(F);
631 Changed |= setWillReturn(F);
632 break;
633 case LibFunc_chmod:
634 case LibFunc_chown:
635 Changed |= setRetAndArgsNoUndef(F);
636 Changed |= setDoesNotThrow(F);
637 Changed |= setDoesNotCapture(F, 0);
638 Changed |= setOnlyReadsMemory(F, 0);
639 break;
640 case LibFunc_ctermid:
641 case LibFunc_clearerr:
642 case LibFunc_closedir:
643 Changed |= setRetAndArgsNoUndef(F);
644 Changed |= setDoesNotThrow(F);
645 Changed |= setDoesNotCapture(F, 0);
646 break;
647 case LibFunc_atoi:
648 case LibFunc_atol:
649 case LibFunc_atof:
650 case LibFunc_atoll:
651 Changed |= setDoesNotThrow(F);
652 Changed |= setOnlyReadsMemory(F);
653 Changed |= setWillReturn(F);
654 Changed |= setDoesNotCapture(F, 0);
655 break;
656 case LibFunc_access:
657 Changed |= setRetAndArgsNoUndef(F);
658 Changed |= setDoesNotThrow(F);
659 Changed |= setDoesNotCapture(F, 0);
660 Changed |= setOnlyReadsMemory(F, 0);
661 break;
662 case LibFunc_fopen:
663 Changed |= setRetAndArgsNoUndef(F);
664 Changed |= setDoesNotThrow(F);
665 Changed |= setRetDoesNotAlias(F);
666 Changed |= setDoesNotCapture(F, 0);
667 Changed |= setDoesNotCapture(F, 1);
668 Changed |= setOnlyReadsMemory(F, 0);
669 Changed |= setOnlyReadsMemory(F, 1);
670 break;
671 case LibFunc_fdopen:
672 Changed |= setRetAndArgsNoUndef(F);
673 Changed |= setDoesNotThrow(F);
674 Changed |= setRetDoesNotAlias(F);
675 Changed |= setDoesNotCapture(F, 1);
676 Changed |= setOnlyReadsMemory(F, 1);
677 break;
678 case LibFunc_feof:
679 Changed |= setRetAndArgsNoUndef(F);
680 Changed |= setDoesNotThrow(F);
681 Changed |= setDoesNotCapture(F, 0);
682 break;
683 case LibFunc_free:
684 case LibFunc_vec_free:
685 Changed |= setAllocFamily(F, TheLibFunc == LibFunc_vec_free ? "vec_malloc"
686 : "malloc");
687 Changed |= setAllocKind(F, AllocFnKind::Free);
688 Changed |= setAllocatedPointerParam(F, 0);
689 Changed |= setOnlyAccessesInaccessibleMemOrArgMem(F);
690 Changed |= setArgsNoUndef(F);
691 Changed |= setDoesNotThrow(F);
692 Changed |= setWillReturn(F);
693 Changed |= setDoesNotCapture(F, 0);
694 break;
695 case LibFunc_fseek:
696 case LibFunc_ftell:
697 case LibFunc_fgetc:
698 case LibFunc_fgetc_unlocked:
699 case LibFunc_fseeko:
700 case LibFunc_ftello:
701 case LibFunc_fileno:
702 case LibFunc_fflush:
703 case LibFunc_fclose:
704 case LibFunc_fsetpos:
705 case LibFunc_flockfile:
706 case LibFunc_funlockfile:
707 case LibFunc_ftrylockfile:
708 Changed |= setRetAndArgsNoUndef(F);
709 Changed |= setDoesNotThrow(F);
710 Changed |= setDoesNotCapture(F, 0);
711 break;
712 case LibFunc_ferror:
713 Changed |= setRetAndArgsNoUndef(F);
714 Changed |= setDoesNotThrow(F);
715 Changed |= setDoesNotCapture(F, 0);
716 Changed |= setOnlyReadsMemory(F);
717 break;
718 case LibFunc_fputc:
719 case LibFunc_fputc_unlocked:
720 case LibFunc_fstat:
721 Changed |= setRetAndArgsNoUndef(F);
722 Changed |= setDoesNotThrow(F);
723 Changed |= setDoesNotCapture(F, 1);
724 break;
725 case LibFunc_frexp:
726 case LibFunc_frexpf:
727 case LibFunc_frexpl:
728 Changed |= setDoesNotThrow(F);
729 Changed |= setWillReturn(F);
730 Changed |= setOnlyAccessesArgMemory(F);
731 Changed |= setOnlyWritesMemory(F);
732 Changed |= setDoesNotCapture(F, 1);
733 break;
734 case LibFunc_fstatvfs:
735 Changed |= setRetAndArgsNoUndef(F);
736 Changed |= setDoesNotThrow(F);
737 Changed |= setDoesNotCapture(F, 1);
738 break;
739 case LibFunc_fgets:
740 case LibFunc_fgets_unlocked:
741 Changed |= setRetAndArgsNoUndef(F);
742 Changed |= setDoesNotThrow(F);
743 Changed |= setDoesNotCapture(F, 2);
744 break;
745 case LibFunc_fread:
746 case LibFunc_fread_unlocked:
747 Changed |= setRetAndArgsNoUndef(F);
748 Changed |= setDoesNotThrow(F);
749 Changed |= setDoesNotCapture(F, 0);
750 Changed |= setDoesNotCapture(F, 3);
751 break;
752 case LibFunc_fwrite:
753 case LibFunc_fwrite_unlocked:
754 Changed |= setRetAndArgsNoUndef(F);
755 Changed |= setDoesNotThrow(F);
756 Changed |= setDoesNotCapture(F, 0);
757 Changed |= setDoesNotCapture(F, 3);
758 // FIXME: readonly #1?
759 break;
760 case LibFunc_fputs:
761 case LibFunc_fputs_unlocked:
762 Changed |= setRetAndArgsNoUndef(F);
763 Changed |= setDoesNotThrow(F);
764 Changed |= setDoesNotCapture(F, 0);
765 Changed |= setDoesNotCapture(F, 1);
766 Changed |= setOnlyReadsMemory(F, 0);
767 break;
768 case LibFunc_fscanf:
769 case LibFunc_fprintf:
770 Changed |= setRetAndArgsNoUndef(F);
771 Changed |= setDoesNotThrow(F);
772 Changed |= setDoesNotCapture(F, 0);
773 Changed |= setDoesNotCapture(F, 1);
774 Changed |= setOnlyReadsMemory(F, 1);
775 break;
776 case LibFunc_fgetpos:
777 Changed |= setRetAndArgsNoUndef(F);
778 Changed |= setDoesNotThrow(F);
779 Changed |= setDoesNotCapture(F, 0);
780 Changed |= setDoesNotCapture(F, 1);
781 break;
782 case LibFunc_getc:
783 Changed |= setRetAndArgsNoUndef(F);
784 Changed |= setDoesNotThrow(F);
785 Changed |= setDoesNotCapture(F, 0);
786 break;
787 case LibFunc_getlogin_r:
788 Changed |= setRetAndArgsNoUndef(F);
789 Changed |= setDoesNotThrow(F);
790 Changed |= setDoesNotCapture(F, 0);
791 break;
792 case LibFunc_getc_unlocked:
793 Changed |= setRetAndArgsNoUndef(F);
794 Changed |= setDoesNotThrow(F);
795 Changed |= setDoesNotCapture(F, 0);
796 break;
797 case LibFunc_getenv:
798 Changed |= setRetAndArgsNoUndef(F);
799 Changed |= setDoesNotThrow(F);
800 Changed |= setOnlyReadsMemory(F);
801 Changed |= setDoesNotCapture(F, 0);
802 break;
803 case LibFunc_gets:
804 case LibFunc_getchar:
805 case LibFunc_getchar_unlocked:
806 Changed |= setRetAndArgsNoUndef(F);
807 Changed |= setDoesNotThrow(F);
808 break;
809 case LibFunc_getitimer:
810 Changed |= setRetAndArgsNoUndef(F);
811 Changed |= setDoesNotThrow(F);
812 Changed |= setDoesNotCapture(F, 1);
813 break;
814 case LibFunc_getpwnam:
815 Changed |= setRetAndArgsNoUndef(F);
816 Changed |= setDoesNotThrow(F);
817 Changed |= setDoesNotCapture(F, 0);
818 Changed |= setOnlyReadsMemory(F, 0);
819 break;
820 case LibFunc_ungetc:
821 Changed |= setRetAndArgsNoUndef(F);
822 Changed |= setDoesNotThrow(F);
823 Changed |= setDoesNotCapture(F, 1);
824 break;
825 case LibFunc_uname:
826 Changed |= setRetAndArgsNoUndef(F);
827 Changed |= setDoesNotThrow(F);
828 Changed |= setDoesNotCapture(F, 0);
829 break;
830 case LibFunc_unlink:
831 Changed |= setRetAndArgsNoUndef(F);
832 Changed |= setDoesNotThrow(F);
833 Changed |= setDoesNotCapture(F, 0);
834 Changed |= setOnlyReadsMemory(F, 0);
835 break;
836 case LibFunc_unsetenv:
837 Changed |= setRetAndArgsNoUndef(F);
838 Changed |= setDoesNotThrow(F);
839 Changed |= setDoesNotCapture(F, 0);
840 Changed |= setOnlyReadsMemory(F, 0);
841 break;
842 case LibFunc_utime:
843 case LibFunc_utimes:
844 Changed |= setRetAndArgsNoUndef(F);
845 Changed |= setDoesNotThrow(F);
846 Changed |= setDoesNotCapture(F, 0);
847 Changed |= setDoesNotCapture(F, 1);
848 Changed |= setOnlyReadsMemory(F, 0);
849 Changed |= setOnlyReadsMemory(F, 1);
850 break;
851 case LibFunc_putc:
852 case LibFunc_putc_unlocked:
853 Changed |= setRetAndArgsNoUndef(F);
854 Changed |= setDoesNotThrow(F);
855 Changed |= setDoesNotCapture(F, 1);
856 break;
857 case LibFunc_puts:
858 case LibFunc_printf:
859 case LibFunc_perror:
860 Changed |= setRetAndArgsNoUndef(F);
861 Changed |= setDoesNotThrow(F);
862 Changed |= setDoesNotCapture(F, 0);
863 Changed |= setOnlyReadsMemory(F, 0);
864 break;
865 case LibFunc_pread:
866 // May throw; "pread" is a valid pthread cancellation point.
867 Changed |= setRetAndArgsNoUndef(F);
868 Changed |= setDoesNotCapture(F, 1);
869 break;
870 case LibFunc_pwrite:
871 // May throw; "pwrite" is a valid pthread cancellation point.
872 Changed |= setRetAndArgsNoUndef(F);
873 Changed |= setDoesNotCapture(F, 1);
874 Changed |= setOnlyReadsMemory(F, 1);
875 break;
876 case LibFunc_putchar:
877 case LibFunc_putchar_unlocked:
878 Changed |= setRetAndArgsNoUndef(F);
879 Changed |= setDoesNotThrow(F);
880 break;
881 case LibFunc_popen:
882 Changed |= setRetAndArgsNoUndef(F);
883 Changed |= setDoesNotThrow(F);
884 Changed |= setRetDoesNotAlias(F);
885 Changed |= setDoesNotCapture(F, 0);
886 Changed |= setDoesNotCapture(F, 1);
887 Changed |= setOnlyReadsMemory(F, 0);
888 Changed |= setOnlyReadsMemory(F, 1);
889 break;
890 case LibFunc_pclose:
891 Changed |= setRetAndArgsNoUndef(F);
892 Changed |= setDoesNotThrow(F);
893 Changed |= setDoesNotCapture(F, 0);
894 break;
895 case LibFunc_vscanf:
896 Changed |= setRetAndArgsNoUndef(F);
897 Changed |= setDoesNotThrow(F);
898 Changed |= setDoesNotCapture(F, 0);
899 Changed |= setOnlyReadsMemory(F, 0);
900 break;
901 case LibFunc_vsscanf:
902 Changed |= setRetAndArgsNoUndef(F);
903 Changed |= setDoesNotThrow(F);
904 Changed |= setDoesNotCapture(F, 0);
905 Changed |= setDoesNotCapture(F, 1);
906 Changed |= setOnlyReadsMemory(F, 0);
907 Changed |= setOnlyReadsMemory(F, 1);
908 break;
909 case LibFunc_vfscanf:
910 Changed |= setRetAndArgsNoUndef(F);
911 Changed |= setDoesNotThrow(F);
912 Changed |= setDoesNotCapture(F, 0);
913 Changed |= setDoesNotCapture(F, 1);
914 Changed |= setOnlyReadsMemory(F, 1);
915 break;
916 case LibFunc_vprintf:
917 Changed |= setRetAndArgsNoUndef(F);
918 Changed |= setDoesNotThrow(F);
919 Changed |= setDoesNotCapture(F, 0);
920 Changed |= setOnlyReadsMemory(F, 0);
921 break;
922 case LibFunc_vfprintf:
923 case LibFunc_vsprintf:
924 Changed |= setRetAndArgsNoUndef(F);
925 Changed |= setDoesNotThrow(F);
926 Changed |= setDoesNotCapture(F, 0);
927 Changed |= setDoesNotCapture(F, 1);
928 Changed |= setOnlyReadsMemory(F, 1);
929 break;
930 case LibFunc_vsnprintf:
931 Changed |= setRetAndArgsNoUndef(F);
932 Changed |= setDoesNotThrow(F);
933 Changed |= setDoesNotCapture(F, 0);
934 Changed |= setDoesNotCapture(F, 2);
935 Changed |= setOnlyReadsMemory(F, 2);
936 break;
937 case LibFunc_open:
938 // May throw; "open" is a valid pthread cancellation point.
939 Changed |= setRetAndArgsNoUndef(F);
940 Changed |= setDoesNotCapture(F, 0);
941 Changed |= setOnlyReadsMemory(F, 0);
942 break;
943 case LibFunc_opendir:
944 Changed |= setRetAndArgsNoUndef(F);
945 Changed |= setDoesNotThrow(F);
946 Changed |= setRetDoesNotAlias(F);
947 Changed |= setDoesNotCapture(F, 0);
948 Changed |= setOnlyReadsMemory(F, 0);
949 break;
950 case LibFunc_tmpfile:
951 Changed |= setRetAndArgsNoUndef(F);
952 Changed |= setDoesNotThrow(F);
953 Changed |= setRetDoesNotAlias(F);
954 break;
955 case LibFunc_times:
956 Changed |= setRetAndArgsNoUndef(F);
957 Changed |= setDoesNotThrow(F);
958 Changed |= setDoesNotCapture(F, 0);
959 break;
960 case LibFunc_htonl:
961 case LibFunc_htons:
962 case LibFunc_ntohl:
963 case LibFunc_ntohs:
964 Changed |= setDoesNotThrow(F);
965 Changed |= setDoesNotAccessMemory(F);
966 break;
967 case LibFunc_lstat:
968 Changed |= setRetAndArgsNoUndef(F);
969 Changed |= setDoesNotThrow(F);
970 Changed |= setDoesNotCapture(F, 0);
971 Changed |= setDoesNotCapture(F, 1);
972 Changed |= setOnlyReadsMemory(F, 0);
973 break;
974 case LibFunc_lchown:
975 Changed |= setRetAndArgsNoUndef(F);
976 Changed |= setDoesNotThrow(F);
977 Changed |= setDoesNotCapture(F, 0);
978 Changed |= setOnlyReadsMemory(F, 0);
979 break;
980 case LibFunc_qsort:
981 // May throw; places call through function pointer.
982 // Cannot give undef pointer/size
983 Changed |= setRetAndArgsNoUndef(F);
984 Changed |= setDoesNotCapture(F, 3);
985 break;
986 case LibFunc_dunder_strndup:
987 Changed |= setArgNoUndef(F, 1);
988 [[fallthrough]];
989 case LibFunc_dunder_strdup:
990 Changed |= setDoesNotThrow(F);
991 Changed |= setRetDoesNotAlias(F);
992 Changed |= setWillReturn(F);
993 Changed |= setDoesNotCapture(F, 0);
994 Changed |= setOnlyReadsMemory(F, 0);
995 break;
996 case LibFunc_dunder_strtok_r:
997 Changed |= setDoesNotThrow(F);
998 Changed |= setDoesNotCapture(F, 1);
999 Changed |= setOnlyReadsMemory(F, 1);
1000 break;
1001 case LibFunc_under_IO_getc:
1002 Changed |= setRetAndArgsNoUndef(F);
1003 Changed |= setDoesNotThrow(F);
1004 Changed |= setDoesNotCapture(F, 0);
1005 break;
1006 case LibFunc_under_IO_putc:
1007 Changed |= setRetAndArgsNoUndef(F);
1008 Changed |= setDoesNotThrow(F);
1009 Changed |= setDoesNotCapture(F, 1);
1010 break;
1011 case LibFunc_dunder_isoc99_scanf:
1012 Changed |= setRetAndArgsNoUndef(F);
1013 Changed |= setDoesNotThrow(F);
1014 Changed |= setDoesNotCapture(F, 0);
1015 Changed |= setOnlyReadsMemory(F, 0);
1016 break;
1017 case LibFunc_stat64:
1018 case LibFunc_lstat64:
1019 case LibFunc_statvfs64:
1020 Changed |= setRetAndArgsNoUndef(F);
1021 Changed |= setDoesNotThrow(F);
1022 Changed |= setDoesNotCapture(F, 0);
1023 Changed |= setDoesNotCapture(F, 1);
1024 Changed |= setOnlyReadsMemory(F, 0);
1025 break;
1026 case LibFunc_dunder_isoc99_sscanf:
1027 Changed |= setRetAndArgsNoUndef(F);
1028 Changed |= setDoesNotThrow(F);
1029 Changed |= setDoesNotCapture(F, 0);
1030 Changed |= setDoesNotCapture(F, 1);
1031 Changed |= setOnlyReadsMemory(F, 0);
1032 Changed |= setOnlyReadsMemory(F, 1);
1033 break;
1034 case LibFunc_fopen64:
1035 Changed |= setRetAndArgsNoUndef(F);
1036 Changed |= setDoesNotThrow(F);
1037 Changed |= setRetDoesNotAlias(F);
1038 Changed |= setDoesNotCapture(F, 0);
1039 Changed |= setDoesNotCapture(F, 1);
1040 Changed |= setOnlyReadsMemory(F, 0);
1041 Changed |= setOnlyReadsMemory(F, 1);
1042 break;
1043 case LibFunc_fseeko64:
1044 case LibFunc_ftello64:
1045 Changed |= setRetAndArgsNoUndef(F);
1046 Changed |= setDoesNotThrow(F);
1047 Changed |= setDoesNotCapture(F, 0);
1048 break;
1049 case LibFunc_tmpfile64:
1050 Changed |= setRetAndArgsNoUndef(F);
1051 Changed |= setDoesNotThrow(F);
1052 Changed |= setRetDoesNotAlias(F);
1053 break;
1054 case LibFunc_fstat64:
1055 case LibFunc_fstatvfs64:
1056 Changed |= setRetAndArgsNoUndef(F);
1057 Changed |= setDoesNotThrow(F);
1058 Changed |= setDoesNotCapture(F, 1);
1059 break;
1060 case LibFunc_open64:
1061 // May throw; "open" is a valid pthread cancellation point.
1062 Changed |= setRetAndArgsNoUndef(F);
1063 Changed |= setDoesNotCapture(F, 0);
1064 Changed |= setOnlyReadsMemory(F, 0);
1065 break;
1066 case LibFunc_gettimeofday:
1067 // Currently some platforms have the restrict keyword on the arguments to
1068 // gettimeofday. To be conservative, do not add noalias to gettimeofday's
1069 // arguments.
1070 Changed |= setRetAndArgsNoUndef(F);
1071 Changed |= setDoesNotThrow(F);
1072 Changed |= setDoesNotCapture(F, 0);
1073 Changed |= setDoesNotCapture(F, 1);
1074 break;
1075 case LibFunc_memset_pattern4:
1076 case LibFunc_memset_pattern8:
1077 case LibFunc_memset_pattern16:
1078 Changed |= setDoesNotCapture(F, 0);
1079 Changed |= setDoesNotCapture(F, 1);
1080 Changed |= setOnlyReadsMemory(F, 1);
1081 [[fallthrough]];
1082 case LibFunc_memset:
1083 Changed |= setWillReturn(F);
1084 [[fallthrough]];
1085 case LibFunc_memset_chk:
1086 Changed |= setOnlyAccessesArgMemory(F);
1087 Changed |= setOnlyWritesMemory(F, 0);
1088 Changed |= setDoesNotThrow(F);
1089 break;
1090 // int __nvvm_reflect(const char *)
1091 case LibFunc_nvvm_reflect:
1092 Changed |= setRetAndArgsNoUndef(F);
1093 Changed |= setDoesNotAccessMemory(F);
1094 Changed |= setDoesNotThrow(F);
1095 break;
1096 case LibFunc_ldexp:
1097 case LibFunc_ldexpf:
1098 case LibFunc_ldexpl:
1099 Changed |= setWillReturn(F);
1100 break;
1101 case LibFunc_abs:
1102 case LibFunc_acos:
1103 case LibFunc_acosf:
1104 case LibFunc_acosh:
1105 case LibFunc_acoshf:
1106 case LibFunc_acoshl:
1107 case LibFunc_acosl:
1108 case LibFunc_asin:
1109 case LibFunc_asinf:
1110 case LibFunc_asinh:
1111 case LibFunc_asinhf:
1112 case LibFunc_asinhl:
1113 case LibFunc_asinl:
1114 case LibFunc_atan:
1115 case LibFunc_atan2:
1116 case LibFunc_atan2f:
1117 case LibFunc_atan2l:
1118 case LibFunc_atanf:
1119 case LibFunc_atanh:
1120 case LibFunc_atanhf:
1121 case LibFunc_atanhl:
1122 case LibFunc_atanl:
1123 case LibFunc_cbrt:
1124 case LibFunc_cbrtf:
1125 case LibFunc_cbrtl:
1126 case LibFunc_ceil:
1127 case LibFunc_ceilf:
1128 case LibFunc_ceill:
1129 case LibFunc_copysign:
1130 case LibFunc_copysignf:
1131 case LibFunc_copysignl:
1132 case LibFunc_cos:
1133 case LibFunc_cosh:
1134 case LibFunc_coshf:
1135 case LibFunc_coshl:
1136 case LibFunc_cosf:
1137 case LibFunc_cosl:
1138 case LibFunc_cospi:
1139 case LibFunc_cospif:
1140 case LibFunc_exp:
1141 case LibFunc_expf:
1142 case LibFunc_expl:
1143 case LibFunc_exp2:
1144 case LibFunc_exp2f:
1145 case LibFunc_exp2l:
1146 case LibFunc_expm1:
1147 case LibFunc_expm1f:
1148 case LibFunc_expm1l:
1149 case LibFunc_fabs:
1150 case LibFunc_fabsf:
1151 case LibFunc_fabsl:
1152 case LibFunc_ffs:
1153 case LibFunc_ffsl:
1154 case LibFunc_ffsll:
1155 case LibFunc_floor:
1156 case LibFunc_floorf:
1157 case LibFunc_floorl:
1158 case LibFunc_fls:
1159 case LibFunc_flsl:
1160 case LibFunc_flsll:
1161 case LibFunc_fmax:
1162 case LibFunc_fmaxf:
1163 case LibFunc_fmaxl:
1164 case LibFunc_fmin:
1165 case LibFunc_fminf:
1166 case LibFunc_fminl:
1167 case LibFunc_fmod:
1168 case LibFunc_fmodf:
1169 case LibFunc_fmodl:
1170 case LibFunc_isascii:
1171 case LibFunc_isdigit:
1172 case LibFunc_labs:
1173 case LibFunc_llabs:
1174 case LibFunc_log:
1175 case LibFunc_log10:
1176 case LibFunc_log10f:
1177 case LibFunc_log10l:
1178 case LibFunc_log1p:
1179 case LibFunc_log1pf:
1180 case LibFunc_log1pl:
1181 case LibFunc_log2:
1182 case LibFunc_log2f:
1183 case LibFunc_log2l:
1184 case LibFunc_logb:
1185 case LibFunc_logbf:
1186 case LibFunc_logbl:
1187 case LibFunc_logf:
1188 case LibFunc_logl:
1189 case LibFunc_nearbyint:
1190 case LibFunc_nearbyintf:
1191 case LibFunc_nearbyintl:
1192 case LibFunc_pow:
1193 case LibFunc_powf:
1194 case LibFunc_powl:
1195 case LibFunc_rint:
1196 case LibFunc_rintf:
1197 case LibFunc_rintl:
1198 case LibFunc_round:
1199 case LibFunc_roundf:
1200 case LibFunc_roundl:
1201 case LibFunc_sin:
1202 case LibFunc_sincospif_stret:
1203 case LibFunc_sinf:
1204 case LibFunc_sinh:
1205 case LibFunc_sinhf:
1206 case LibFunc_sinhl:
1207 case LibFunc_sinl:
1208 case LibFunc_sinpi:
1209 case LibFunc_sinpif:
1210 case LibFunc_sqrt:
1211 case LibFunc_sqrtf:
1212 case LibFunc_sqrtl:
1213 case LibFunc_tan:
1214 case LibFunc_tanf:
1215 case LibFunc_tanh:
1216 case LibFunc_tanhf:
1217 case LibFunc_tanhl:
1218 case LibFunc_tanl:
1219 case LibFunc_toascii:
1220 case LibFunc_trunc:
1221 case LibFunc_truncf:
1222 case LibFunc_truncl:
1223 Changed |= setDoesNotThrow(F);
1224 Changed |= setDoesNotFreeMemory(F);
1225 Changed |= setOnlyWritesMemory(F);
1226 Changed |= setWillReturn(F);
1227 break;
1228 default:
1229 // FIXME: It'd be really nice to cover all the library functions we're
1230 // aware of here.
1231 break;
1232 }
1233 // We have to do this step after AllocKind has been inferred on functions so
1234 // we can reliably identify free-like and realloc-like functions.
1235 if (!isLibFreeFunction(&F, TheLibFunc) && !isReallocLikeFn(&F))
1236 Changed |= setDoesNotFreeMemory(F);
1237 return Changed;
1238}
1239
1240static void setArgExtAttr(Function &F, unsigned ArgNo,
1241 const TargetLibraryInfo &TLI, bool Signed = true) {
1242 Attribute::AttrKind ExtAttr = TLI.getExtAttrForI32Param(Signed);
1243 if (ExtAttr != Attribute::None && !F.hasParamAttribute(ArgNo, ExtAttr))
1244 F.addParamAttr(ArgNo, ExtAttr);
1245}
1246
1247static void setRetExtAttr(Function &F,
1248 const TargetLibraryInfo &TLI, bool Signed = true) {
1249 Attribute::AttrKind ExtAttr = TLI.getExtAttrForI32Return(Signed);
1250 if (ExtAttr != Attribute::None && !F.hasRetAttribute(ExtAttr))
1251 F.addRetAttr(ExtAttr);
1252}
1253
1254// Modeled after X86TargetLowering::markLibCallAttributes.
1255static void markRegisterParameterAttributes(Function *F) {
1256 if (!F->arg_size() || F->isVarArg())
1257 return;
1258
1259 const CallingConv::ID CC = F->getCallingConv();
1260 if (CC != CallingConv::C && CC != CallingConv::X86_StdCall)
1261 return;
1262
1263 const Module *M = F->getParent();
1264 unsigned N = M->getNumberRegisterParameters();
1265 if (!N)
1266 return;
1267
1268 const DataLayout &DL = M->getDataLayout();
1269
1270 for (Argument &A : F->args()) {
1271 Type *T = A.getType();
1272 if (!T->isIntOrPtrTy())
1273 continue;
1274
1275 const TypeSize &TS = DL.getTypeAllocSize(T);
1276 if (TS > 8)
1277 continue;
1278
1279 assert(TS <= 4 && "Need to account for parameters larger than word size");
1280 const unsigned NumRegs = TS > 4 ? 2 : 1;
1281 if (N < NumRegs)
1282 return;
1283
1284 N -= NumRegs;
1285 F->addParamAttr(A.getArgNo(), Attribute::InReg);
1286 }
1287}
1288
1289FunctionCallee llvm::getOrInsertLibFunc(Module *M, const TargetLibraryInfo &TLI,
1290 LibFunc TheLibFunc, FunctionType *T,
1291 AttributeList AttributeList) {
1292 assert(TLI.has(TheLibFunc) &&
1293 "Creating call to non-existing library function.");
1294 StringRef Name = TLI.getName(TheLibFunc);
1295 FunctionCallee C = M->getOrInsertFunction(Name, T, AttributeList);
1296
1297 // Make sure any mandatory argument attributes are added.
1298
1299 // Any outgoing i32 argument should be handled with setArgExtAttr() which
1300 // will add an extension attribute if the target ABI requires it. Adding
1301 // argument extensions is typically done by the front end but when an
1302 // optimizer is building a library call on its own it has to take care of
1303 // this. Each such generated function must be handled here with sign or
1304 // zero extensions as needed. F is retreived with cast<> because we demand
1305 // of the caller to have called isLibFuncEmittable() first.
1306 Function *F = cast<Function>(C.getCallee());
1307 assert(F->getFunctionType() == T && "Function type does not match.");
1308 switch (TheLibFunc) {
1309 case LibFunc_fputc:
1310 case LibFunc_putchar:
1311 setArgExtAttr(*F, 0, TLI);
1312 break;
1313 case LibFunc_ldexp:
1314 case LibFunc_ldexpf:
1315 case LibFunc_ldexpl:
1316 case LibFunc_memchr:
1317 case LibFunc_memrchr:
1318 case LibFunc_strchr:
1319 setArgExtAttr(*F, 1, TLI);
1320 break;
1321 case LibFunc_memccpy:
1322 setArgExtAttr(*F, 2, TLI);
1323 break;
1324
1325 // These are functions that are known to not need any argument extension
1326 // on any target: A size_t argument (which may be an i32 on some targets)
1327 // should not trigger the assert below.
1328 case LibFunc_bcmp:
1329 setRetExtAttr(*F, TLI);
1330 break;
1331 case LibFunc_calloc:
1332 case LibFunc_fwrite:
1333 case LibFunc_malloc:
1334 case LibFunc_memcmp:
1335 case LibFunc_memcpy_chk:
1336 case LibFunc_mempcpy:
1337 case LibFunc_memset_pattern16:
1338 case LibFunc_snprintf:
1339 case LibFunc_stpncpy:
1340 case LibFunc_strlcat:
1341 case LibFunc_strlcpy:
1342 case LibFunc_strncat:
1343 case LibFunc_strncmp:
1344 case LibFunc_strncpy:
1345 case LibFunc_vsnprintf:
1346 break;
1347
1348 default:
1349#ifndef NDEBUG
1350 for (unsigned i = 0; i < T->getNumParams(); i++)
1351 assert(!isa<IntegerType>(T->getParamType(i)) &&
1352 "Unhandled integer argument.");
1353#endif
1354 break;
1355 }
1356
1357 markRegisterParameterAttributes(F);
1358
1359 return C;
1360}
1361
1362FunctionCallee llvm::getOrInsertLibFunc(Module *M, const TargetLibraryInfo &TLI,
1363 LibFunc TheLibFunc, FunctionType *T) {
1364 return getOrInsertLibFunc(M, TLI, TheLibFunc, T, AttributeList());
1365}
1366
1367bool llvm::isLibFuncEmittable(const Module *M, const TargetLibraryInfo *TLI,
1368 LibFunc TheLibFunc) {
1369 StringRef FuncName = TLI->getName(TheLibFunc);
1370 if (!TLI->has(TheLibFunc))
1371 return false;
1372
1373 // Check if the Module already has a GlobalValue with the same name, in
1374 // which case it must be a Function with the expected type.
1375 if (GlobalValue *GV = M->getNamedValue(FuncName)) {
1376 if (auto *F = dyn_cast<Function>(GV))
1377 return TLI->isValidProtoForLibFunc(*F->getFunctionType(), TheLibFunc, *M);
1378 return false;
1379 }
1380
1381 return true;
1382}
1383
1384bool llvm::isLibFuncEmittable(const Module *M, const TargetLibraryInfo *TLI,
1385 StringRef Name) {
1386 LibFunc TheLibFunc;
1387 return TLI->getLibFunc(Name, TheLibFunc) &&
1388 isLibFuncEmittable(M, TLI, TheLibFunc);
1389}
1390
1391bool llvm::hasFloatFn(const Module *M, const TargetLibraryInfo *TLI, Type *Ty,
1392 LibFunc DoubleFn, LibFunc FloatFn, LibFunc LongDoubleFn) {
1393 switch (Ty->getTypeID()) {
1394 case Type::HalfTyID:
1395 return false;
1396 case Type::FloatTyID:
1397 return isLibFuncEmittable(M, TLI, FloatFn);
1398 case Type::DoubleTyID:
1399 return isLibFuncEmittable(M, TLI, DoubleFn);
1400 default:
1401 return isLibFuncEmittable(M, TLI, LongDoubleFn);
1402 }
1403}
1404
1405StringRef llvm::getFloatFn(const Module *M, const TargetLibraryInfo *TLI,
1406 Type *Ty, LibFunc DoubleFn, LibFunc FloatFn,
1407 LibFunc LongDoubleFn, LibFunc &TheLibFunc) {
1408 assert(hasFloatFn(M, TLI, Ty, DoubleFn, FloatFn, LongDoubleFn) &&
1409 "Cannot get name for unavailable function!");
1410
1411 switch (Ty->getTypeID()) {
1412 case Type::HalfTyID:
1413 llvm_unreachable("No name for HalfTy!");
1414 case Type::FloatTyID:
1415 TheLibFunc = FloatFn;
1416 return TLI->getName(FloatFn);
1417 case Type::DoubleTyID:
1418 TheLibFunc = DoubleFn;
1419 return TLI->getName(DoubleFn);
1420 default:
1421 TheLibFunc = LongDoubleFn;
1422 return TLI->getName(LongDoubleFn);
1423 }
1424}
1425
1426//- Emit LibCalls ------------------------------------------------------------//
1427
1428static IntegerType *getIntTy(IRBuilderBase &B, const TargetLibraryInfo *TLI) {
1429 return B.getIntNTy(TLI->getIntSize());
1430}
1431
1432static IntegerType *getSizeTTy(IRBuilderBase &B, const TargetLibraryInfo *TLI) {
1433 const Module *M = B.GetInsertBlock()->getModule();
1434 return B.getIntNTy(TLI->getSizeTSize(*M));
1435}
1436
1437static Value *emitLibCall(LibFunc TheLibFunc, Type *ReturnType,
1438 ArrayRef<Type *> ParamTypes,
1439 ArrayRef<Value *> Operands, IRBuilderBase &B,
1440 const TargetLibraryInfo *TLI,
1441 bool IsVaArgs = false) {
1442 Module *M = B.GetInsertBlock()->getModule();
1443 if (!isLibFuncEmittable(M, TLI, TheLibFunc))
1444 return nullptr;
1445
1446 StringRef FuncName = TLI->getName(TheLibFunc);
1447 FunctionType *FuncType = FunctionType::get(ReturnType, ParamTypes, IsVaArgs);
1448 FunctionCallee Callee = getOrInsertLibFunc(M, *TLI, TheLibFunc, FuncType);
1449 inferNonMandatoryLibFuncAttrs(M, FuncName, *TLI);
1450 CallInst *CI = B.CreateCall(Callee, Operands, FuncName);
1451 if (const Function *F =
1452 dyn_cast<Function>(Callee.getCallee()->stripPointerCasts()))
1453 CI->setCallingConv(F->getCallingConv());
1454 return CI;
1455}
1456
1457Value *llvm::emitStrLen(Value *Ptr, IRBuilderBase &B, const DataLayout &DL,
1458 const TargetLibraryInfo *TLI) {
1459 Type *CharPtrTy = B.getPtrTy();
1460 Type *SizeTTy = getSizeTTy(B, TLI);
1461 return emitLibCall(LibFunc_strlen, SizeTTy, CharPtrTy, Ptr, B, TLI);
1462}
1463
1464Value *llvm::emitStrDup(Value *Ptr, IRBuilderBase &B,
1465 const TargetLibraryInfo *TLI) {
1466 Type *CharPtrTy = B.getPtrTy();
1467 return emitLibCall(LibFunc_strdup, CharPtrTy, CharPtrTy, Ptr, B, TLI);
1468}
1469
1470Value *llvm::emitStrChr(Value *Ptr, char C, IRBuilderBase &B,
1471 const TargetLibraryInfo *TLI) {
1472 Type *CharPtrTy = B.getPtrTy();
1473 Type *IntTy = getIntTy(B, TLI);
1474 return emitLibCall(LibFunc_strchr, CharPtrTy, {CharPtrTy, IntTy},
1475 {Ptr, ConstantInt::get(IntTy, C)}, B, TLI);
1476}
1477
1478Value *llvm::emitStrNCmp(Value *Ptr1, Value *Ptr2, Value *Len, IRBuilderBase &B,
1479 const DataLayout &DL, const TargetLibraryInfo *TLI) {
1480 Type *CharPtrTy = B.getPtrTy();
1481 Type *IntTy = getIntTy(B, TLI);
1482 Type *SizeTTy = getSizeTTy(B, TLI);
1483 return emitLibCall(
1484 LibFunc_strncmp, IntTy,
1485 {CharPtrTy, CharPtrTy, SizeTTy},
1486 {Ptr1, Ptr2, Len}, B, TLI);
1487}
1488
1489Value *llvm::emitStrCpy(Value *Dst, Value *Src, IRBuilderBase &B,
1490 const TargetLibraryInfo *TLI) {
1491 Type *CharPtrTy = Dst->getType();
1492 return emitLibCall(LibFunc_strcpy, CharPtrTy, {CharPtrTy, CharPtrTy},
1493 {Dst, Src}, B, TLI);
1494}
1495
1496Value *llvm::emitStpCpy(Value *Dst, Value *Src, IRBuilderBase &B,
1497 const TargetLibraryInfo *TLI) {
1498 Type *CharPtrTy = B.getPtrTy();
1499 return emitLibCall(LibFunc_stpcpy, CharPtrTy, {CharPtrTy, CharPtrTy},
1500 {Dst, Src}, B, TLI);
1501}
1502
1503Value *llvm::emitStrNCpy(Value *Dst, Value *Src, Value *Len, IRBuilderBase &B,
1504 const TargetLibraryInfo *TLI) {
1505 Type *CharPtrTy = B.getPtrTy();
1506 Type *SizeTTy = getSizeTTy(B, TLI);
1507 return emitLibCall(LibFunc_strncpy, CharPtrTy, {CharPtrTy, CharPtrTy, SizeTTy},
1508 {Dst, Src, Len}, B, TLI);
1509}
1510
1511Value *llvm::emitStpNCpy(Value *Dst, Value *Src, Value *Len, IRBuilderBase &B,
1512 const TargetLibraryInfo *TLI) {
1513 Type *CharPtrTy = B.getPtrTy();
1514 Type *SizeTTy = getSizeTTy(B, TLI);
1515 return emitLibCall(LibFunc_stpncpy, CharPtrTy, {CharPtrTy, CharPtrTy, SizeTTy},
1516 {Dst, Src, Len}, B, TLI);
1517}
1518
1519Value *llvm::emitMemCpyChk(Value *Dst, Value *Src, Value *Len, Value *ObjSize,
1520 IRBuilderBase &B, const DataLayout &DL,
1521 const TargetLibraryInfo *TLI) {
1522 Module *M = B.GetInsertBlock()->getModule();
1523 if (!isLibFuncEmittable(M, TLI, LibFunc_memcpy_chk))
1524 return nullptr;
1525
1526 AttributeList AS;
1527 AS = AttributeList::get(M->getContext(), AttributeList::FunctionIndex,
1528 Attribute::NoUnwind);
1529 Type *VoidPtrTy = B.getPtrTy();
1530 Type *SizeTTy = getSizeTTy(B, TLI);
1531 FunctionCallee MemCpy = getOrInsertLibFunc(M, *TLI, LibFunc_memcpy_chk,
1532 AttributeList::get(M->getContext(), AS), VoidPtrTy,
1533 VoidPtrTy, VoidPtrTy, SizeTTy, SizeTTy);
1534 CallInst *CI = B.CreateCall(MemCpy, {Dst, Src, Len, ObjSize});
1535 if (const Function *F =
1536 dyn_cast<Function>(MemCpy.getCallee()->stripPointerCasts()))
1537 CI->setCallingConv(F->getCallingConv());
1538 return CI;
1539}
1540
1541Value *llvm::emitMemPCpy(Value *Dst, Value *Src, Value *Len, IRBuilderBase &B,
1542 const DataLayout &DL, const TargetLibraryInfo *TLI) {
1543 Type *VoidPtrTy = B.getPtrTy();
1544 Type *SizeTTy = getSizeTTy(B, TLI);
1545 return emitLibCall(LibFunc_mempcpy, VoidPtrTy,
1546 {VoidPtrTy, VoidPtrTy, SizeTTy},
1547 {Dst, Src, Len}, B, TLI);
1548}
1549
1550Value *llvm::emitMemChr(Value *Ptr, Value *Val, Value *Len, IRBuilderBase &B,
1551 const DataLayout &DL, const TargetLibraryInfo *TLI) {
1552 Type *VoidPtrTy = B.getPtrTy();
1553 Type *IntTy = getIntTy(B, TLI);
1554 Type *SizeTTy = getSizeTTy(B, TLI);
1555 return emitLibCall(LibFunc_memchr, VoidPtrTy,
1556 {VoidPtrTy, IntTy, SizeTTy},
1557 {Ptr, Val, Len}, B, TLI);
1558}
1559
1560Value *llvm::emitMemRChr(Value *Ptr, Value *Val, Value *Len, IRBuilderBase &B,
1561 const DataLayout &DL, const TargetLibraryInfo *TLI) {
1562 Type *VoidPtrTy = B.getPtrTy();
1563 Type *IntTy = getIntTy(B, TLI);
1564 Type *SizeTTy = getSizeTTy(B, TLI);
1565 return emitLibCall(LibFunc_memrchr, VoidPtrTy,
1566 {VoidPtrTy, IntTy, SizeTTy},
1567 {Ptr, Val, Len}, B, TLI);
1568}
1569
1570Value *llvm::emitMemCmp(Value *Ptr1, Value *Ptr2, Value *Len, IRBuilderBase &B,
1571 const DataLayout &DL, const TargetLibraryInfo *TLI) {
1572 Type *VoidPtrTy = B.getPtrTy();
1573 Type *IntTy = getIntTy(B, TLI);
1574 Type *SizeTTy = getSizeTTy(B, TLI);
1575 return emitLibCall(LibFunc_memcmp, IntTy,
1576 {VoidPtrTy, VoidPtrTy, SizeTTy},
1577 {Ptr1, Ptr2, Len}, B, TLI);
1578}
1579
1580Value *llvm::emitBCmp(Value *Ptr1, Value *Ptr2, Value *Len, IRBuilderBase &B,
1581 const DataLayout &DL, const TargetLibraryInfo *TLI) {
1582 Type *VoidPtrTy = B.getPtrTy();
1583 Type *IntTy = getIntTy(B, TLI);
1584 Type *SizeTTy = getSizeTTy(B, TLI);
1585 return emitLibCall(LibFunc_bcmp, IntTy,
1586 {VoidPtrTy, VoidPtrTy, SizeTTy},
1587 {Ptr1, Ptr2, Len}, B, TLI);
1588}
1589
1590Value *llvm::emitMemCCpy(Value *Ptr1, Value *Ptr2, Value *Val, Value *Len,
1591 IRBuilderBase &B, const TargetLibraryInfo *TLI) {
1592 Type *VoidPtrTy = B.getPtrTy();
1593 Type *IntTy = getIntTy(B, TLI);
1594 Type *SizeTTy = getSizeTTy(B, TLI);
1595 return emitLibCall(LibFunc_memccpy, VoidPtrTy,
1596 {VoidPtrTy, VoidPtrTy, IntTy, SizeTTy},
1597 {Ptr1, Ptr2, Val, Len}, B, TLI);
1598}
1599
1600Value *llvm::emitSNPrintf(Value *Dest, Value *Size, Value *Fmt,
1601 ArrayRef<Value *> VariadicArgs, IRBuilderBase &B,
1602 const TargetLibraryInfo *TLI) {
1603 Type *CharPtrTy = B.getPtrTy();
1604 Type *IntTy = getIntTy(B, TLI);
1605 Type *SizeTTy = getSizeTTy(B, TLI);
1606 SmallVector<Value *, 8> Args{Dest, Size, Fmt};
1607 llvm::append_range(Args, VariadicArgs);
1608 return emitLibCall(LibFunc_snprintf, IntTy,
1609 {CharPtrTy, SizeTTy, CharPtrTy},
1610 Args, B, TLI, /*IsVaArgs=*/true);
1611}
1612
1613Value *llvm::emitSPrintf(Value *Dest, Value *Fmt,
1614 ArrayRef<Value *> VariadicArgs, IRBuilderBase &B,
1615 const TargetLibraryInfo *TLI) {
1616 Type *CharPtrTy = B.getPtrTy();
1617 Type *IntTy = getIntTy(B, TLI);
1618 SmallVector<Value *, 8> Args{Dest, Fmt};
1619 llvm::append_range(Args, VariadicArgs);
1620 return emitLibCall(LibFunc_sprintf, IntTy,
1621 {CharPtrTy, CharPtrTy}, Args, B, TLI,
1622 /*IsVaArgs=*/true);
1623}
1624
1625Value *llvm::emitStrCat(Value *Dest, Value *Src, IRBuilderBase &B,
1626 const TargetLibraryInfo *TLI) {
1627 Type *CharPtrTy = B.getPtrTy();
1628 return emitLibCall(LibFunc_strcat, CharPtrTy,
1629 {CharPtrTy, CharPtrTy},
1630 {Dest, Src}, B, TLI);
1631}
1632
1633Value *llvm::emitStrLCpy(Value *Dest, Value *Src, Value *Size, IRBuilderBase &B,
1634 const TargetLibraryInfo *TLI) {
1635 Type *CharPtrTy = B.getPtrTy();
1636 Type *SizeTTy = getSizeTTy(B, TLI);
1637 return emitLibCall(LibFunc_strlcpy, SizeTTy,
1638 {CharPtrTy, CharPtrTy, SizeTTy},
1639 {Dest, Src, Size}, B, TLI);
1640}
1641
1642Value *llvm::emitStrLCat(Value *Dest, Value *Src, Value *Size, IRBuilderBase &B,
1643 const TargetLibraryInfo *TLI) {
1644 Type *CharPtrTy = B.getPtrTy();
1645 Type *SizeTTy = getSizeTTy(B, TLI);
1646 return emitLibCall(LibFunc_strlcat, SizeTTy,
1647 {CharPtrTy, CharPtrTy, SizeTTy},
1648 {Dest, Src, Size}, B, TLI);
1649}
1650
1651Value *llvm::emitStrNCat(Value *Dest, Value *Src, Value *Size, IRBuilderBase &B,
1652 const TargetLibraryInfo *TLI) {
1653 Type *CharPtrTy = B.getPtrTy();
1654 Type *SizeTTy = getSizeTTy(B, TLI);
1655 return emitLibCall(LibFunc_strncat, CharPtrTy,
1656 {CharPtrTy, CharPtrTy, SizeTTy},
1657 {Dest, Src, Size}, B, TLI);
1658}
1659
1660Value *llvm::emitVSNPrintf(Value *Dest, Value *Size, Value *Fmt, Value *VAList,
1661 IRBuilderBase &B, const TargetLibraryInfo *TLI) {
1662 Type *CharPtrTy = B.getPtrTy();
1663 Type *IntTy = getIntTy(B, TLI);
1664 Type *SizeTTy = getSizeTTy(B, TLI);
1665 return emitLibCall(
1666 LibFunc_vsnprintf, IntTy,
1667 {CharPtrTy, SizeTTy, CharPtrTy, VAList->getType()},
1668 {Dest, Size, Fmt, VAList}, B, TLI);
1669}
1670
1671Value *llvm::emitVSPrintf(Value *Dest, Value *Fmt, Value *VAList,
1672 IRBuilderBase &B, const TargetLibraryInfo *TLI) {
1673 Type *CharPtrTy = B.getPtrTy();
1674 Type *IntTy = getIntTy(B, TLI);
1675 return emitLibCall(LibFunc_vsprintf, IntTy,
1676 {CharPtrTy, CharPtrTy, VAList->getType()},
1677 {Dest, Fmt, VAList}, B, TLI);
1678}
1679
1680/// Append a suffix to the function name according to the type of 'Op'.
1681static void appendTypeSuffix(Value *Op, StringRef &Name,
1682 SmallString<20> &NameBuffer) {
1683 if (!Op->getType()->isDoubleTy()) {
1684 NameBuffer += Name;
1685
1686 if (Op->getType()->isFloatTy())
1687 NameBuffer += 'f';
1688 else
1689 NameBuffer += 'l';
1690
1691 Name = NameBuffer;
1692 }
1693}
1694
1695static Value *emitUnaryFloatFnCallHelper(Value *Op, LibFunc TheLibFunc,
1696 StringRef Name, IRBuilderBase &B,
1697 const AttributeList &Attrs,
1698 const TargetLibraryInfo *TLI) {
1699 assert((Name != "") && "Must specify Name to emitUnaryFloatFnCall");
1700
1701 Module *M = B.GetInsertBlock()->getModule();
1702 FunctionCallee Callee = getOrInsertLibFunc(M, *TLI, TheLibFunc, Op->getType(),
1703 Op->getType());
1704 CallInst *CI = B.CreateCall(Callee, Op, Name);
1705
1706 // The incoming attribute set may have come from a speculatable intrinsic, but
1707 // is being replaced with a library call which is not allowed to be
1708 // speculatable.
1709 CI->setAttributes(
1710 Attrs.removeFnAttribute(B.getContext(), Attribute::Speculatable));
1711 if (const Function *F =
1712 dyn_cast<Function>(Callee.getCallee()->stripPointerCasts()))
1713 CI->setCallingConv(F->getCallingConv());
1714
1715 return CI;
1716}
1717
1718Value *llvm::emitUnaryFloatFnCall(Value *Op, const TargetLibraryInfo *TLI,
1719 StringRef Name, IRBuilderBase &B,
1720 const AttributeList &Attrs) {
1721 SmallString<20> NameBuffer;
1722 appendTypeSuffix(Op, Name, NameBuffer);
1723
1724 LibFunc TheLibFunc;
1725 TLI->getLibFunc(Name, TheLibFunc);
1726
1727 return emitUnaryFloatFnCallHelper(Op, TheLibFunc, Name, B, Attrs, TLI);
1728}
1729
1730Value *llvm::emitUnaryFloatFnCall(Value *Op, const TargetLibraryInfo *TLI,
1731 LibFunc DoubleFn, LibFunc FloatFn,
1732 LibFunc LongDoubleFn, IRBuilderBase &B,
1733 const AttributeList &Attrs) {
1734 // Get the name of the function according to TLI.
1735 Module *M = B.GetInsertBlock()->getModule();
1736 LibFunc TheLibFunc;
1737 StringRef Name = getFloatFn(M, TLI, Op->getType(), DoubleFn, FloatFn,
1738 LongDoubleFn, TheLibFunc);
1739
1740 return emitUnaryFloatFnCallHelper(Op, TheLibFunc, Name, B, Attrs, TLI);
1741}
1742
1743static Value *emitBinaryFloatFnCallHelper(Value *Op1, Value *Op2,
1744 LibFunc TheLibFunc,
1745 StringRef Name, IRBuilderBase &B,
1746 const AttributeList &Attrs,
1747 const TargetLibraryInfo *TLI) {
1748 assert((Name != "") && "Must specify Name to emitBinaryFloatFnCall");
1749
1750 Module *M = B.GetInsertBlock()->getModule();
1751 FunctionCallee Callee = getOrInsertLibFunc(M, *TLI, TheLibFunc, Op1->getType(),
1752 Op1->getType(), Op2->getType());
1753 inferNonMandatoryLibFuncAttrs(M, Name, *TLI);
1754 CallInst *CI = B.CreateCall(Callee, { Op1, Op2 }, Name);
1755
1756 // The incoming attribute set may have come from a speculatable intrinsic, but
1757 // is being replaced with a library call which is not allowed to be
1758 // speculatable.
1759 CI->setAttributes(
1760 Attrs.removeFnAttribute(B.getContext(), Attribute::Speculatable));
1761 if (const Function *F =
1762 dyn_cast<Function>(Callee.getCallee()->stripPointerCasts()))
1763 CI->setCallingConv(F->getCallingConv());
1764
1765 return CI;
1766}
1767
1768Value *llvm::emitBinaryFloatFnCall(Value *Op1, Value *Op2,
1769 const TargetLibraryInfo *TLI,
1770 StringRef Name, IRBuilderBase &B,
1771 const AttributeList &Attrs) {
1772 assert((Name != "") && "Must specify Name to emitBinaryFloatFnCall");
1773
1774 SmallString<20> NameBuffer;
1775 appendTypeSuffix(Op1, Name, NameBuffer);
1776
1777 LibFunc TheLibFunc;
1778 TLI->getLibFunc(Name, TheLibFunc);
1779
1780 return emitBinaryFloatFnCallHelper(Op1, Op2, TheLibFunc, Name, B, Attrs, TLI);
1781}
1782
1783Value *llvm::emitBinaryFloatFnCall(Value *Op1, Value *Op2,
1784 const TargetLibraryInfo *TLI,
1785 LibFunc DoubleFn, LibFunc FloatFn,
1786 LibFunc LongDoubleFn, IRBuilderBase &B,
1787 const AttributeList &Attrs) {
1788 // Get the name of the function according to TLI.
1789 Module *M = B.GetInsertBlock()->getModule();
1790 LibFunc TheLibFunc;
1791 StringRef Name = getFloatFn(M, TLI, Op1->getType(), DoubleFn, FloatFn,
1792 LongDoubleFn, TheLibFunc);
1793
1794 return emitBinaryFloatFnCallHelper(Op1, Op2, TheLibFunc, Name, B, Attrs, TLI);
1795}
1796
1797// Emit a call to putchar(int) with Char as the argument. Char must have
1798// the same precision as int, which need not be 32 bits.
1799Value *llvm::emitPutChar(Value *Char, IRBuilderBase &B,
1800 const TargetLibraryInfo *TLI) {
1801 Module *M = B.GetInsertBlock()->getModule();
1802 if (!isLibFuncEmittable(M, TLI, LibFunc_putchar))
1803 return nullptr;
1804
1805 Type *IntTy = getIntTy(B, TLI);
1806 StringRef PutCharName = TLI->getName(LibFunc_putchar);
1807 FunctionCallee PutChar = getOrInsertLibFunc(M, *TLI, LibFunc_putchar,
1808 IntTy, IntTy);
1809 inferNonMandatoryLibFuncAttrs(M, PutCharName, *TLI);
1810 CallInst *CI = B.CreateCall(PutChar, Char, PutCharName);
1811
1812 if (const Function *F =
1813 dyn_cast<Function>(PutChar.getCallee()->stripPointerCasts()))
1814 CI->setCallingConv(F->getCallingConv());
1815 return CI;
1816}
1817
1818Value *llvm::emitPutS(Value *Str, IRBuilderBase &B,
1819 const TargetLibraryInfo *TLI) {
1820 Module *M = B.GetInsertBlock()->getModule();
1821 if (!isLibFuncEmittable(M, TLI, LibFunc_puts))
1822 return nullptr;
1823
1824 Type *IntTy = getIntTy(B, TLI);
1825 StringRef PutsName = TLI->getName(LibFunc_puts);
1826 FunctionCallee PutS = getOrInsertLibFunc(M, *TLI, LibFunc_puts, IntTy,
1827 B.getPtrTy());
1828 inferNonMandatoryLibFuncAttrs(M, PutsName, *TLI);
1829 CallInst *CI = B.CreateCall(PutS, Str, PutsName);
1830 if (const Function *F =
1831 dyn_cast<Function>(PutS.getCallee()->stripPointerCasts()))
1832 CI->setCallingConv(F->getCallingConv());
1833 return CI;
1834}
1835
1836Value *llvm::emitFPutC(Value *Char, Value *File, IRBuilderBase &B,
1837 const TargetLibraryInfo *TLI) {
1838 Module *M = B.GetInsertBlock()->getModule();
1839 if (!isLibFuncEmittable(M, TLI, LibFunc_fputc))
1840 return nullptr;
1841
1842 Type *IntTy = getIntTy(B, TLI);
1843 StringRef FPutcName = TLI->getName(LibFunc_fputc);
1844 FunctionCallee F = getOrInsertLibFunc(M, *TLI, LibFunc_fputc, IntTy,
1845 IntTy, File->getType());
1846 if (File->getType()->isPointerTy())
1847 inferNonMandatoryLibFuncAttrs(M, FPutcName, *TLI);
1848 CallInst *CI = B.CreateCall(F, {Char, File}, FPutcName);
1849
1850 if (const Function *Fn =
1851 dyn_cast<Function>(F.getCallee()->stripPointerCasts()))
1852 CI->setCallingConv(Fn->getCallingConv());
1853 return CI;
1854}
1855
1856Value *llvm::emitFPutS(Value *Str, Value *File, IRBuilderBase &B,
1857 const TargetLibraryInfo *TLI) {
1858 Module *M = B.GetInsertBlock()->getModule();
1859 if (!isLibFuncEmittable(M, TLI, LibFunc_fputs))
1860 return nullptr;
1861
1862 Type *IntTy = getIntTy(B, TLI);
1863 StringRef FPutsName = TLI->getName(LibFunc_fputs);
1864 FunctionCallee F = getOrInsertLibFunc(M, *TLI, LibFunc_fputs, IntTy,
1865 B.getPtrTy(), File->getType());
1866 if (File->getType()->isPointerTy())
1867 inferNonMandatoryLibFuncAttrs(M, FPutsName, *TLI);
1868 CallInst *CI = B.CreateCall(F, {Str, File}, FPutsName);
1869
1870 if (const Function *Fn =
1871 dyn_cast<Function>(F.getCallee()->stripPointerCasts()))
1872 CI->setCallingConv(Fn->getCallingConv());
1873 return CI;
1874}
1875
1876Value *llvm::emitFWrite(Value *Ptr, Value *Size, Value *File, IRBuilderBase &B,
1877 const DataLayout &DL, const TargetLibraryInfo *TLI) {
1878 Module *M = B.GetInsertBlock()->getModule();
1879 if (!isLibFuncEmittable(M, TLI, LibFunc_fwrite))
1880 return nullptr;
1881
1882 Type *SizeTTy = getSizeTTy(B, TLI);
1883 StringRef FWriteName = TLI->getName(LibFunc_fwrite);
1884 FunctionCallee F = getOrInsertLibFunc(M, *TLI, LibFunc_fwrite,
1885 SizeTTy, B.getPtrTy(), SizeTTy,
1886 SizeTTy, File->getType());
1887
1888 if (File->getType()->isPointerTy())
1889 inferNonMandatoryLibFuncAttrs(M, FWriteName, *TLI);
1890 CallInst *CI =
1891 B.CreateCall(F, {Ptr, Size,
1892 ConstantInt::get(SizeTTy, 1), File});
1893
1894 if (const Function *Fn =
1895 dyn_cast<Function>(F.getCallee()->stripPointerCasts()))
1896 CI->setCallingConv(Fn->getCallingConv());
1897 return CI;
1898}
1899
1900Value *llvm::emitMalloc(Value *Num, IRBuilderBase &B, const DataLayout &DL,
1901 const TargetLibraryInfo *TLI) {
1902 Module *M = B.GetInsertBlock()->getModule();
1903 if (!isLibFuncEmittable(M, TLI, LibFunc_malloc))
1904 return nullptr;
1905
1906 StringRef MallocName = TLI->getName(LibFunc_malloc);
1907 Type *SizeTTy = getSizeTTy(B, TLI);
1908 FunctionCallee Malloc = getOrInsertLibFunc(M, *TLI, LibFunc_malloc,
1909 B.getPtrTy(), SizeTTy);
1910 inferNonMandatoryLibFuncAttrs(M, MallocName, *TLI);
1911 CallInst *CI = B.CreateCall(Malloc, Num, MallocName);
1912
1913 if (const Function *F =
1914 dyn_cast<Function>(Malloc.getCallee()->stripPointerCasts()))
1915 CI->setCallingConv(F->getCallingConv());
1916
1917 return CI;
1918}
1919
1920Value *llvm::emitCalloc(Value *Num, Value *Size, IRBuilderBase &B,
1921 const TargetLibraryInfo &TLI) {
1922 Module *M = B.GetInsertBlock()->getModule();
1923 if (!isLibFuncEmittable(M, &TLI, LibFunc_calloc))
1924 return nullptr;
1925
1926 StringRef CallocName = TLI.getName(LibFunc_calloc);
1927 Type *SizeTTy = getSizeTTy(B, &TLI);
1928 FunctionCallee Calloc = getOrInsertLibFunc(M, TLI, LibFunc_calloc,
1929 B.getPtrTy(), SizeTTy, SizeTTy);
1930 inferNonMandatoryLibFuncAttrs(M, CallocName, TLI);
1931 CallInst *CI = B.CreateCall(Calloc, {Num, Size}, CallocName);
1932
1933 if (const auto *F =
1934 dyn_cast<Function>(Calloc.getCallee()->stripPointerCasts()))
1935 CI->setCallingConv(F->getCallingConv());
1936
1937 return CI;
1938}
1939
1940Value *llvm::emitHotColdNew(Value *Num, IRBuilderBase &B,
1941 const TargetLibraryInfo *TLI, LibFunc NewFunc,
1942 uint8_t HotCold) {
1943 Module *M = B.GetInsertBlock()->getModule();
1944 if (!isLibFuncEmittable(M, TLI, NewFunc))
1945 return nullptr;
1946
1947 StringRef Name = TLI->getName(NewFunc);
1948 FunctionCallee Func = M->getOrInsertFunction(Name, B.getPtrTy(),
1949 Num->getType(), B.getInt8Ty());
1950 inferNonMandatoryLibFuncAttrs(M, Name, *TLI);
1951 CallInst *CI = B.CreateCall(Func, {Num, B.getInt8(HotCold)}, Name);
1952
1953 if (const Function *F =
1954 dyn_cast<Function>(Func.getCallee()->stripPointerCasts()))
1955 CI->setCallingConv(F->getCallingConv());
1956
1957 return CI;
1958}
1959
1960Value *llvm::emitHotColdNewNoThrow(Value *Num, Value *NoThrow, IRBuilderBase &B,
1961 const TargetLibraryInfo *TLI,
1962 LibFunc NewFunc, uint8_t HotCold) {
1963 Module *M = B.GetInsertBlock()->getModule();
1964 if (!isLibFuncEmittable(M, TLI, NewFunc))
1965 return nullptr;
1966
1967 StringRef Name = TLI->getName(NewFunc);
1968 FunctionCallee Func =
1969 M->getOrInsertFunction(Name, B.getPtrTy(), Num->getType(),
1970 NoThrow->getType(), B.getInt8Ty());
1971 inferNonMandatoryLibFuncAttrs(M, Name, *TLI);
1972 CallInst *CI = B.CreateCall(Func, {Num, NoThrow, B.getInt8(HotCold)}, Name);
1973
1974 if (const Function *F =
1975 dyn_cast<Function>(Func.getCallee()->stripPointerCasts()))
1976 CI->setCallingConv(F->getCallingConv());
1977
1978 return CI;
1979}
1980
1981Value *llvm::emitHotColdNewAligned(Value *Num, Value *Align, IRBuilderBase &B,
1982 const TargetLibraryInfo *TLI,
1983 LibFunc NewFunc, uint8_t HotCold) {
1984 Module *M = B.GetInsertBlock()->getModule();
1985 if (!isLibFuncEmittable(M, TLI, NewFunc))
1986 return nullptr;
1987
1988 StringRef Name = TLI->getName(NewFunc);
1989 FunctionCallee Func = M->getOrInsertFunction(
1990 Name, B.getPtrTy(), Num->getType(), Align->getType(), B.getInt8Ty());
1991 inferNonMandatoryLibFuncAttrs(M, Name, *TLI);
1992 CallInst *CI = B.CreateCall(Func, {Num, Align, B.getInt8(HotCold)}, Name);
1993
1994 if (const Function *F =
1995 dyn_cast<Function>(Func.getCallee()->stripPointerCasts()))
1996 CI->setCallingConv(F->getCallingConv());
1997
1998 return CI;
1999}
2000
2001Value *llvm::emitHotColdNewAlignedNoThrow(Value *Num, Value *Align,
2002 Value *NoThrow, IRBuilderBase &B,
2003 const TargetLibraryInfo *TLI,
2004 LibFunc NewFunc, uint8_t HotCold) {
2005 Module *M = B.GetInsertBlock()->getModule();
2006 if (!isLibFuncEmittable(M, TLI, NewFunc))
2007 return nullptr;
2008
2009 StringRef Name = TLI->getName(NewFunc);
2010 FunctionCallee Func = M->getOrInsertFunction(
2011 Name, B.getPtrTy(), Num->getType(), Align->getType(),
2012 NoThrow->getType(), B.getInt8Ty());
2013 inferNonMandatoryLibFuncAttrs(M, Name, *TLI);
2014 CallInst *CI =
2015 B.CreateCall(Func, {Num, Align, NoThrow, B.getInt8(HotCold)}, Name);
2016
2017 if (const Function *F =
2018 dyn_cast<Function>(Func.getCallee()->stripPointerCasts()))
2019 CI->setCallingConv(F->getCallingConv());
2020
2021 return CI;
2022}
DL
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
Definition: AArch64SLSHardening.cpp:75
setRetNoUndef
static bool setRetNoUndef(Function &F)
Definition: BuildLibCalls.cpp:148
appendTypeSuffix
static void appendTypeSuffix(Value *Op, StringRef &Name, SmallString< 20 > &NameBuffer)
Append a suffix to the function name according to the type of 'Op'.
Definition: BuildLibCalls.cpp:1681
setDoesNotAlias
static bool setDoesNotAlias(Function &F, unsigned ArgNo)
Definition: BuildLibCalls.cpp:124
setDoesNotAccessMemory
static bool setDoesNotAccessMemory(Function &F)
Definition: BuildLibCalls.cpp:52
setArgsNoUndef
static bool setArgsNoUndef(Function &F)
Definition: BuildLibCalls.cpp:158
getSizeTTy
static IntegerType * getSizeTTy(IRBuilderBase &B, const TargetLibraryInfo *TLI)
Definition: BuildLibCalls.cpp:1432
emitUnaryFloatFnCallHelper
static Value * emitUnaryFloatFnCallHelper(Value *Op, LibFunc TheLibFunc, StringRef Name, IRBuilderBase &B, const AttributeList &Attrs, const TargetLibraryInfo *TLI)
Definition: BuildLibCalls.cpp:1695
setAllocatedPointerParam
static bool setAllocatedPointerParam(Function &F, unsigned ArgNo)
Definition: BuildLibCalls.cpp:222
setRetExtAttr
static void setRetExtAttr(Function &F, const TargetLibraryInfo &TLI, bool Signed=true)
Definition: BuildLibCalls.cpp:1247
emitLibCall
static Value * emitLibCall(LibFunc TheLibFunc, Type *ReturnType, ArrayRef< Type * > ParamTypes, ArrayRef< Value * > Operands, IRBuilderBase &B, const TargetLibraryInfo *TLI, bool IsVaArgs=false)
Definition: BuildLibCalls.cpp:1437
setNonLazyBind
static bool setNonLazyBind(Function &F)
Definition: BuildLibCalls.cpp:193
setOnlyAccessesInaccessibleMemOrArgMem
static bool setOnlyAccessesInaccessibleMemOrArgMem(Function &F)
Definition: BuildLibCalls.cpp:92
setAllocSize
static bool setAllocSize(Function &F, unsigned ElemSizeArg, std::optional< unsigned > NumElemsArg)
Definition: BuildLibCalls.cpp:229
setAlignedAllocParam
static bool setAlignedAllocParam(Function &F, unsigned ArgNo)
Definition: BuildLibCalls.cpp:215
setRetAndArgsNoUndef
static bool setRetAndArgsNoUndef(Function &F)
Definition: BuildLibCalls.cpp:178
markRegisterParameterAttributes
static void markRegisterParameterAttributes(Function *F)
Definition: BuildLibCalls.cpp:1255
setRetDoesNotAlias
static bool setRetDoesNotAlias(Function &F)
Definition: BuildLibCalls.cpp:108
setReturnedArg
static bool setReturnedArg(Function &F, unsigned ArgNo)
Definition: BuildLibCalls.cpp:185
emitBinaryFloatFnCallHelper
static Value * emitBinaryFloatFnCallHelper(Value *Op1, Value *Op2, LibFunc TheLibFunc, StringRef Name, IRBuilderBase &B, const AttributeList &Attrs, const TargetLibraryInfo *TLI)
Definition: BuildLibCalls.cpp:1743
setDoesNotCapture
static bool setDoesNotCapture(Function &F, unsigned ArgNo)
Definition: BuildLibCalls.cpp:116
setDoesNotThrow
static bool setDoesNotThrow(Function &F)
Definition: BuildLibCalls.cpp:100
setWillReturn
static bool setWillReturn(Function &F)
Definition: BuildLibCalls.cpp:207
setAllocKind
static bool setAllocKind(Function &F, AllocFnKind K)
Definition: BuildLibCalls.cpp:245
setOnlyAccessesInaccessibleMemory
static bool setOnlyAccessesInaccessibleMemory(Function &F)
Definition: BuildLibCalls.cpp:60
getIntTy
static IntegerType * getIntTy(IRBuilderBase &B, const TargetLibraryInfo *TLI)
Definition: BuildLibCalls.cpp:1428
setAllocFamily
static bool setAllocFamily(Function &F, StringRef Family)
Definition: BuildLibCalls.cpp:238
setArgNoUndef
static bool setArgNoUndef(Function &F, unsigned ArgNo)
Definition: BuildLibCalls.cpp:170
setArgExtAttr
static void setArgExtAttr(Function &F, unsigned ArgNo, const TargetLibraryInfo &TLI, bool Signed=true)
Definition: BuildLibCalls.cpp:1240
setOnlyAccessesArgMemory
static bool setOnlyAccessesArgMemory(Function &F)
Definition: BuildLibCalls.cpp:84
setOnlyWritesMemory
static bool setOnlyWritesMemory(Function &F)
Definition: BuildLibCalls.cpp:76
setOnlyReadsMemory
static bool setOnlyReadsMemory(Function &F)
Definition: BuildLibCalls.cpp:68
setDoesNotFreeMemory
static bool setDoesNotFreeMemory(Function &F)
Definition: BuildLibCalls.cpp:200
B
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
A
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
Constants.h
This file contains the declarations for the subclasses of Constant, which represent the different fla...
Name
std::string Name
Definition: ELFObjHandler.cpp:77
Size
uint64_t Size
Definition: ELFObjHandler.cpp:81
F
#define F(x, y, z)
Definition: MD5.cpp:55
Operands
mir Rename Register Operands
Definition: MIRNamerPass.cpp:74
Module.h
Module.h This file contains the declarations for the Module class.
assert
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
SmallString.h
This file defines the SmallString class.
Statistic.h
This file defines the 'Statistic' class, which is designed to be an easy way to expose various metric...
STATISTIC
#define STATISTIC(VARNAME, DESC)
Definition: Statistic.h:167
llvm::Argument
This class represents an incoming formal argument to a Function.
Definition: Argument.h:28
llvm::ArrayRef
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition: ArrayRef.h:41
llvm::AttributeList::get
static AttributeList get(LLVMContext &C, ArrayRef< std::pair< unsigned, Attribute > > Attrs)
Create an AttributeList with the specified parameters in it.
Definition: Attributes.cpp:1161
llvm::Attribute::get
static Attribute get(LLVMContext &Context, AttrKind Kind, uint64_t Val=0)
Return a uniquified Attribute object.
Definition: Attributes.cpp:92
llvm::Attribute::getWithAllocSizeArgs
static Attribute getWithAllocSizeArgs(LLVMContext &Context, unsigned ElemSizeArg, const std::optional< unsigned > &NumElemsArg)
Definition: Attributes.cpp:226
llvm::Attribute::AttrKind
AttrKind
This enumeration lists the attributes that can be associated with parameters, function results,...
Definition: Attributes.h:84
llvm::Attribute::None
@ None
No attributes have been set.
Definition: Attributes.h:86
llvm::CallBase::setCallingConv
void setCallingConv(CallingConv::ID CC)
Definition: InstrTypes.h:1511
llvm::CallBase::setAttributes
void setAttributes(AttributeList A)
Set the parameter attributes for this call.
Definition: InstrTypes.h:1530
llvm::CallInst
This class represents a function call, abstracting a target machine's calling convention.
Definition: Instructions.h:1476
llvm::ConstantInt::get
static Constant * get(Type *Ty, uint64_t V, bool IsSigned=false)
If Ty is a vector type, return a Constant with a splat of the given value.
Definition: Constants.cpp:888
llvm::DWARFExpression::Operation
This class represents an Operation in the Expression.
Definition: DWARFExpression.h:32
llvm::DataLayout
A parsed version of the target data layout string in and methods for querying it.
Definition: DataLayout.h:110
llvm::FunctionCallee
A handy container for a FunctionType+Callee-pointer pair, which can be passed around as a single enti...
Definition: DerivedTypes.h:168
llvm::FunctionType
Class to represent function types.
Definition: DerivedTypes.h:103
llvm::IRBuilderBase
Common base class shared among various IRBuilders.
Definition: IRBuilder.h:94
llvm::IntegerType
Class to represent integer types.
Definition: DerivedTypes.h:40
llvm::Module
A Module instance is used to store all the information related to an LLVM module.
Definition: Module.h:65
llvm::SmallString
SmallString - A SmallString is just a SmallVector with methods and accessors that make it work better...
Definition: SmallString.h:26
llvm::SmallVector
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
Definition: SmallVector.h:1200
llvm::StringRef
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:50
llvm::TargetLibraryInfo
Provides information about what library functions are available for the current target.
Definition: TargetLibraryInfo.h:276
llvm::TargetLibraryInfo::isValidProtoForLibFunc
bool isValidProtoForLibFunc(const FunctionType &FTy, LibFunc F, const Module &M) const
Return true if the function type FTy is valid for the library function F, regardless of whether the f...
Definition: TargetLibraryInfo.h:339
llvm::TargetLibraryInfo::has
bool has(LibFunc F) const
Tests whether a library function is available.
Definition: TargetLibraryInfo.h:382
llvm::TargetLibraryInfo::getSizeTSize
unsigned getSizeTSize(const Module &M) const
Returns the size of the size_t type in bits.
Definition: TargetLibraryInfo.h:552
llvm::TargetLibraryInfo::getLibFunc
bool getLibFunc(StringRef funcName, LibFunc &F) const
Searches for a particular function name.
Definition: TargetLibraryInfo.h:348
llvm::TargetLibraryInfo::getName
StringRef getName(LibFunc F) const
Definition: TargetLibraryInfo.h:434
llvm::TargetLibraryInfo::getIntSize
unsigned getIntSize() const
Get size of a C-level int or unsigned int, in bits.
Definition: TargetLibraryInfo.h:555
llvm::Type
The instances of the Type class are immutable: once they are created, they are never changed.
Definition: Type.h:45
llvm::Type::HalfTyID
@ HalfTyID
16-bit floating point type
Definition: Type.h:56
llvm::Type::FloatTyID
@ FloatTyID
32-bit floating point type
Definition: Type.h:58
llvm::Type::DoubleTyID
@ DoubleTyID
64-bit floating point type
Definition: Type.h:59
llvm::Type::getTypeID
TypeID getTypeID() const
Return the type id for the type.
Definition: Type.h:137
llvm::Value
LLVM Value Representation.
Definition: Value.h:74
llvm::Value::getType
Type * getType() const
All values are typed, get the type of this value.
Definition: Value.h:255
llvm::Value::stripPointerCasts
const Value * stripPointerCasts() const
Strip off pointer casts, all-zero GEPs and address space casts.
Definition: Value.cpp:693
uint64_t
llvm_unreachable
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
Definition: ErrorHandling.h:143
llvm::CallingConv::X86_StdCall
@ X86_StdCall
stdcall is mostly used by the Win32 API.
Definition: CallingConv.h:96
llvm::CallingConv::C
@ C
The default llvm calling convention, compatible with C.
Definition: CallingConv.h:34
llvm
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
llvm::emitUnaryFloatFnCall
Value * emitUnaryFloatFnCall(Value *Op, const TargetLibraryInfo *TLI, StringRef Name, IRBuilderBase &B, const AttributeList &Attrs)
Emit a call to the unary function named 'Name' (e.g.
Definition: BuildLibCalls.cpp:1718
llvm::emitStrChr
Value * emitStrChr(Value *Ptr, char C, IRBuilderBase &B, const TargetLibraryInfo *TLI)
Emit a call to the strchr function to the builder, for the specified pointer and character.
Definition: BuildLibCalls.cpp:1470
llvm::emitPutChar
Value * emitPutChar(Value *Char, IRBuilderBase &B, const TargetLibraryInfo *TLI)
Emit a call to the putchar function. This assumes that Char is an 'int'.
Definition: BuildLibCalls.cpp:1799
llvm::emitMemCpyChk
Value * emitMemCpyChk(Value *Dst, Value *Src, Value *Len, Value *ObjSize, IRBuilderBase &B, const DataLayout &DL, const TargetLibraryInfo *TLI)
Emit a call to the __memcpy_chk function to the builder.
Definition: BuildLibCalls.cpp:1519
llvm::emitStrNCpy
Value * emitStrNCpy(Value *Dst, Value *Src, Value *Len, IRBuilderBase &B, const TargetLibraryInfo *TLI)
Emit a call to the strncpy function to the builder, for the specified pointer arguments and length.
Definition: BuildLibCalls.cpp:1503
llvm::emitHotColdNewAlignedNoThrow
Value * emitHotColdNewAlignedNoThrow(Value *Num, Value *Align, Value *NoThrow, IRBuilderBase &B, const TargetLibraryInfo *TLI, LibFunc NewFunc, uint8_t HotCold)
Definition: BuildLibCalls.cpp:2001
llvm::AllocFnKind
AllocFnKind
Definition: Attributes.h:47
llvm::emitCalloc
Value * emitCalloc(Value *Num, Value *Size, IRBuilderBase &B, const TargetLibraryInfo &TLI)
Emit a call to the calloc function.
Definition: BuildLibCalls.cpp:1920
llvm::emitSPrintf
Value * emitSPrintf(Value *Dest, Value *Fmt, ArrayRef< Value * > VariadicArgs, IRBuilderBase &B, const TargetLibraryInfo *TLI)
Emit a call to the sprintf function.
Definition: BuildLibCalls.cpp:1613
llvm::emitMemRChr
Value * emitMemRChr(Value *Ptr, Value *Val, Value *Len, IRBuilderBase &B, const DataLayout &DL, const TargetLibraryInfo *TLI)
Emit a call to the memrchr function, analogously to emitMemChr.
Definition: BuildLibCalls.cpp:1560
llvm::emitStrLCat
Value * emitStrLCat(Value *Dest, Value *Src, Value *Size, IRBuilderBase &B, const TargetLibraryInfo *TLI)
Emit a call to the strlcat function.
Definition: BuildLibCalls.cpp:1642
llvm::append_range
void append_range(Container &C, Range &&R)
Wrapper function to append range R to container C.
Definition: STLExtras.h:2042
llvm::hasFloatFn
bool hasFloatFn(const Module *M, const TargetLibraryInfo *TLI, Type *Ty, LibFunc DoubleFn, LibFunc FloatFn, LibFunc LongDoubleFn)
Check whether the overloaded floating point function corresponding to Ty is available.
Definition: BuildLibCalls.cpp:1391
llvm::inferNonMandatoryLibFuncAttrs
bool inferNonMandatoryLibFuncAttrs(Module *M, StringRef Name, const TargetLibraryInfo &TLI)
Analyze the name and prototype of the given function and set any applicable attributes.
Definition: BuildLibCalls.cpp:253
llvm::isLibFreeFunction
bool isLibFreeFunction(const Function *F, const LibFunc TLIFn)
isLibFreeFunction - Returns true if the function is a builtin free()
Definition: MemoryBuiltins.cpp:539
llvm::emitStrNCat
Value * emitStrNCat(Value *Dest, Value *Src, Value *Size, IRBuilderBase &B, const TargetLibraryInfo *TLI)
Emit a call to the strncat function.
Definition: BuildLibCalls.cpp:1651
llvm::isLibFuncEmittable
bool isLibFuncEmittable(const Module *M, const TargetLibraryInfo *TLI, LibFunc TheLibFunc)
Check whether the library function is available on target and also that it in the current Module is a...
Definition: BuildLibCalls.cpp:1367
llvm::emitVSNPrintf
Value * emitVSNPrintf(Value *Dest, Value *Size, Value *Fmt, Value *VAList, IRBuilderBase &B, const TargetLibraryInfo *TLI)
Emit a call to the vsnprintf function.
Definition: BuildLibCalls.cpp:1660
llvm::emitStrNCmp
Value * emitStrNCmp(Value *Ptr1, Value *Ptr2, Value *Len, IRBuilderBase &B, const DataLayout &DL, const TargetLibraryInfo *TLI)
Emit a call to the strncmp function to the builder.
Definition: BuildLibCalls.cpp:1478
llvm::emitMemCmp
Value * emitMemCmp(Value *Ptr1, Value *Ptr2, Value *Len, IRBuilderBase &B, const DataLayout &DL, const TargetLibraryInfo *TLI)
Emit a call to the memcmp function.
Definition: BuildLibCalls.cpp:1570
llvm::emitBinaryFloatFnCall
Value * emitBinaryFloatFnCall(Value *Op1, Value *Op2, const TargetLibraryInfo *TLI, StringRef Name, IRBuilderBase &B, const AttributeList &Attrs)
Emit a call to the binary function named 'Name' (e.g.
Definition: BuildLibCalls.cpp:1768
llvm::emitFPutS
Value * emitFPutS(Value *Str, Value *File, IRBuilderBase &B, const TargetLibraryInfo *TLI)
Emit a call to the fputs function.
Definition: BuildLibCalls.cpp:1856
llvm::emitStrDup
Value * emitStrDup(Value *Ptr, IRBuilderBase &B, const TargetLibraryInfo *TLI)
Emit a call to the strdup function to the builder, for the specified pointer.
Definition: BuildLibCalls.cpp:1464
llvm::emitBCmp
Value * emitBCmp(Value *Ptr1, Value *Ptr2, Value *Len, IRBuilderBase &B, const DataLayout &DL, const TargetLibraryInfo *TLI)
Emit a call to the bcmp function.
Definition: BuildLibCalls.cpp:1580
llvm::getFloatFn
StringRef getFloatFn(const Module *M, const TargetLibraryInfo *TLI, Type *Ty, LibFunc DoubleFn, LibFunc FloatFn, LibFunc LongDoubleFn, LibFunc &TheLibFunc)
Get the name of the overloaded floating point function corresponding to Ty.
Definition: BuildLibCalls.cpp:1405
llvm::getOrInsertLibFunc
FunctionCallee getOrInsertLibFunc(Module *M, const TargetLibraryInfo &TLI, LibFunc TheLibFunc, FunctionType *T, AttributeList AttributeList)
Calls getOrInsertFunction() and then makes sure to add mandatory argument attributes.
Definition: BuildLibCalls.cpp:1289
llvm::emitStrLen
Value * emitStrLen(Value *Ptr, IRBuilderBase &B, const DataLayout &DL, const TargetLibraryInfo *TLI)
Emit a call to the strlen function to the builder, for the specified pointer.
Definition: BuildLibCalls.cpp:1457
llvm::emitFPutC
Value * emitFPutC(Value *Char, Value *File, IRBuilderBase &B, const TargetLibraryInfo *TLI)
Emit a call to the fputc function.
Definition: BuildLibCalls.cpp:1836
llvm::emitStpNCpy
Value * emitStpNCpy(Value *Dst, Value *Src, Value *Len, IRBuilderBase &B, const TargetLibraryInfo *TLI)
Emit a call to the stpncpy function to the builder, for the specified pointer arguments and length.
Definition: BuildLibCalls.cpp:1511
llvm::emitStrCat
Value * emitStrCat(Value *Dest, Value *Src, IRBuilderBase &B, const TargetLibraryInfo *TLI)
Emit a call to the strcat function.
Definition: BuildLibCalls.cpp:1625
llvm::emitVSPrintf
Value * emitVSPrintf(Value *Dest, Value *Fmt, Value *VAList, IRBuilderBase &B, const TargetLibraryInfo *TLI)
Emit a call to the vsprintf function.
Definition: BuildLibCalls.cpp:1671
llvm::isReallocLikeFn
bool isReallocLikeFn(const Function *F)
Tests if a function is a call or invoke to a library function that reallocates memory (e....
Definition: MemoryBuiltins.cpp:332
llvm::emitFWrite
Value * emitFWrite(Value *Ptr, Value *Size, Value *File, IRBuilderBase &B, const DataLayout &DL, const TargetLibraryInfo *TLI)
Emit a call to the fwrite function.
Definition: BuildLibCalls.cpp:1876
llvm::emitSNPrintf
Value * emitSNPrintf(Value *Dest, Value *Size, Value *Fmt, ArrayRef< Value * > Args, IRBuilderBase &B, const TargetLibraryInfo *TLI)
Emit a call to the snprintf function.
Definition: BuildLibCalls.cpp:1600
llvm::emitStpCpy
Value * emitStpCpy(Value *Dst, Value *Src, IRBuilderBase &B, const TargetLibraryInfo *TLI)
Emit a call to the stpcpy function to the builder, for the specified pointer arguments.
Definition: BuildLibCalls.cpp:1496
llvm::emitHotColdNewNoThrow
Value * emitHotColdNewNoThrow(Value *Num, Value *NoThrow, IRBuilderBase &B, const TargetLibraryInfo *TLI, LibFunc NewFunc, uint8_t HotCold)
Definition: BuildLibCalls.cpp:1960
llvm::emitMalloc
Value * emitMalloc(Value *Num, IRBuilderBase &B, const DataLayout &DL, const TargetLibraryInfo *TLI)
Emit a call to the malloc function.
Definition: BuildLibCalls.cpp:1900
llvm::emitMemChr
Value * emitMemChr(Value *Ptr, Value *Val, Value *Len, IRBuilderBase &B, const DataLayout &DL, const TargetLibraryInfo *TLI)
Emit a call to the memchr function.
Definition: BuildLibCalls.cpp:1550
llvm::emitHotColdNewAligned
Value * emitHotColdNewAligned(Value *Num, Value *Align, IRBuilderBase &B, const TargetLibraryInfo *TLI, LibFunc NewFunc, uint8_t HotCold)
Definition: BuildLibCalls.cpp:1981
llvm::emitPutS
Value * emitPutS(Value *Str, IRBuilderBase &B, const TargetLibraryInfo *TLI)
Emit a call to the puts function. This assumes that Str is some pointer.
Definition: BuildLibCalls.cpp:1818
llvm::emitMemCCpy
Value * emitMemCCpy(Value *Ptr1, Value *Ptr2, Value *Val, Value *Len, IRBuilderBase &B, const TargetLibraryInfo *TLI)
Emit a call to the memccpy function.
Definition: BuildLibCalls.cpp:1590
llvm::emitHotColdNew
Value * emitHotColdNew(Value *Num, IRBuilderBase &B, const TargetLibraryInfo *TLI, LibFunc NewFunc, uint8_t HotCold)
Emit a call to the hot/cold operator new function.
Definition: BuildLibCalls.cpp:1940
llvm::emitStrLCpy
Value * emitStrLCpy(Value *Dest, Value *Src, Value *Size, IRBuilderBase &B, const TargetLibraryInfo *TLI)
Emit a call to the strlcpy function.
Definition: BuildLibCalls.cpp:1633
llvm::emitStrCpy
Value * emitStrCpy(Value *Dst, Value *Src, IRBuilderBase &B, const TargetLibraryInfo *TLI)
Emit a call to the strcpy function to the builder, for the specified pointer arguments.
Definition: BuildLibCalls.cpp:1489
llvm::emitMemPCpy
Value * emitMemPCpy(Value *Dst, Value *Src, Value *Len, IRBuilderBase &B, const DataLayout &DL, const TargetLibraryInfo *TLI)
Emit a call to the mempcpy function.
Definition: BuildLibCalls.cpp:1541
N
#define N
llvm::Align
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition: Alignment.h:39
Generated on Mon Dec 4 2023 09:39:38 for LLVM by doxygen 1.9.6