This is an archive of the discontinued LLVM Phabricator instance.

Differential D130184

BuildLibCalls: move inference of freeing memory later
ClosedPublic

Authored by durin42 on Jul 20 2022, 9:56 AM.

Details

Reviewers
nikic
Commits
rGbd6aa67e02ef: BuildLibCalls: move inference of freeing memory later
Summary

This probably should have been part of D123089, but the effects of it
don't show up until we start removing functions from the table in
D130107. Oops.

Diff Detail

Unit TestsFailed

TimeTest
700 msx64 debian > LLVM.Examples/OrcV2Examples::lljit-with-remote-debugging.test
60,050 msx64 debian > libFuzzer.libFuzzer::fuzzer-leak.test
60,050 msx64 debian > libFuzzer.libFuzzer::out-of-process-fuzz.test

Event Timeline

durin42 created this revision.Jul 20 2022, 9:56 AM
Herald added a project: Restricted Project. · View Herald TranscriptJul 20 2022, 9:56 AM
Herald added a subscriber: hiraditya. · View Herald Transcript
durin42 requested review of this revision.Jul 20 2022, 9:56 AM
Herald added a project: Restricted Project. · View Herald TranscriptJul 20 2022, 9:56 AM
Herald added a subscriber: llvm-commits. · View Herald Transcript
durin42 removed a parent revision: D123091: MemoryBuiltins: accept non-TLI funcs with attribs as allocator funcs.Jul 20 2022, 9:57 AM
durin42 added a child revision: D123087: tests: add attributes that would normally come from inferattrs.
durin42 added a parent revision: D123091: MemoryBuiltins: accept non-TLI funcs with attribs as allocator funcs.
durin42 updated this revision to Diff 446206.Jul 20 2022, 10:35 AM
durin42 edited the summary of this revision. (Show Details)
Harbormaster completed remote builds in B176549: Diff 446206.Jul 20 2022, 11:14 AM
durin42 updated this revision to Diff 446562.Jul 21 2022, 10:24 AM
Harbormaster completed remote builds in B176812: Diff 446562.Jul 21 2022, 10:25 AM
nikic accepted this revision.Jul 21 2022, 12:16 PM
nikic added a subscriber: nikic.

LGTM

This revision is now accepted and ready to land.Jul 21 2022, 12:16 PM
This revision was landed with ongoing or failed builds.Jul 21 2022, 12:31 PM
Closed by commit rGbd6aa67e02ef: BuildLibCalls: move inference of freeing memory later (authored by durin42). · Explain Why
This revision was automatically updated to reflect the committed changes.
durin42 added a commit: rGbd6aa67e02ef: BuildLibCalls: move inference of freeing memory later.

Revision Contents

PathSize
llvm/
lib/
Transforms/
Utils/
228 lines

Diff 446206

llvm/lib/Transforms/Utils/BuildLibCalls.cpp

Show First 20 Lines • Show All 264 Lines • ▼ Show 20 Lines
bool llvm::inferNonMandatoryLibFuncAttrs(Function &F, bool llvm::inferNonMandatoryLibFuncAttrs(Function &F,
const TargetLibraryInfo &TLI) { const TargetLibraryInfo &TLI) {
LibFunc TheLibFunc; LibFunc TheLibFunc;
if (!(TLI.getLibFunc(F, TheLibFunc) && TLI.has(TheLibFunc))) if (!(TLI.getLibFunc(F, TheLibFunc) && TLI.has(TheLibFunc)))
return false; return false;
bool Changed = false; bool Changed = false;
if(!isLibFreeFunction(&F, TheLibFunc) && !isReallocLikeFn(&F, &TLI))
Changed |= setDoesNotFreeMemory(F);
if (F.getParent() != nullptr && F.getParent()->getRtLibUseGOT()) if (F.getParent() != nullptr && F.getParent()->getRtLibUseGOT())
Changed |= setNonLazyBind(F); Changed |= setNonLazyBind(F);
switch (TheLibFunc) { switch (TheLibFunc) {
case LibFunc_strlen: case LibFunc_strlen:
case LibFunc_strnlen: case LibFunc_strnlen:
case LibFunc_wcslen: case LibFunc_wcslen:
Changed |= setOnlyReadsMemory(F); Changed |= setOnlyReadsMemory(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setOnlyAccessesArgMemory(F); Changed |= setOnlyAccessesArgMemory(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
return Changed; break;
case LibFunc_strchr: case LibFunc_strchr:
case LibFunc_strrchr: case LibFunc_strrchr:
Changed |= setOnlyAccessesArgMemory(F); Changed |= setOnlyAccessesArgMemory(F);
Changed |= setOnlyReadsMemory(F); Changed |= setOnlyReadsMemory(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
return Changed; break;
case LibFunc_strtol: case LibFunc_strtol:
case LibFunc_strtod: case LibFunc_strtod:
case LibFunc_strtof: case LibFunc_strtof:
case LibFunc_strtoul: case LibFunc_strtoul:
case LibFunc_strtoll: case LibFunc_strtoll:
case LibFunc_strtold: case LibFunc_strtold:
case LibFunc_strtoull: case LibFunc_strtoull:
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_strcat: case LibFunc_strcat:
case LibFunc_strncat: case LibFunc_strncat:
Changed |= setOnlyAccessesArgMemory(F); Changed |= setOnlyAccessesArgMemory(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
Changed |= setReturnedArg(F, 0); Changed |= setReturnedArg(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
Changed |= setDoesNotAlias(F, 0); Changed |= setDoesNotAlias(F, 0);
Changed |= setDoesNotAlias(F, 1); Changed |= setDoesNotAlias(F, 1);
return Changed; break;
case LibFunc_strcpy: case LibFunc_strcpy:
case LibFunc_strncpy: case LibFunc_strncpy:
Changed |= setReturnedArg(F, 0); Changed |= setReturnedArg(F, 0);
LLVM_FALLTHROUGH; LLVM_FALLTHROUGH;
case LibFunc_stpcpy: case LibFunc_stpcpy:
case LibFunc_stpncpy: case LibFunc_stpncpy:
Changed |= setOnlyAccessesArgMemory(F); Changed |= setOnlyAccessesArgMemory(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyWritesMemory(F, 0); Changed |= setOnlyWritesMemory(F, 0);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
Changed |= setDoesNotAlias(F, 0); Changed |= setDoesNotAlias(F, 0);
Changed |= setDoesNotAlias(F, 1); Changed |= setDoesNotAlias(F, 1);
return Changed; break;
case LibFunc_strxfrm: case LibFunc_strxfrm:
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
return Changed; break;
case LibFunc_strcmp: // 0,1 case LibFunc_strcmp: // 0,1
case LibFunc_strspn: // 0,1 case LibFunc_strspn: // 0,1
case LibFunc_strncmp: // 0,1 case LibFunc_strncmp: // 0,1
case LibFunc_strcspn: // 0,1 case LibFunc_strcspn: // 0,1
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setOnlyAccessesArgMemory(F); Changed |= setOnlyAccessesArgMemory(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
Changed |= setOnlyReadsMemory(F); Changed |= setOnlyReadsMemory(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
return Changed; break;
case LibFunc_strcoll: case LibFunc_strcoll:
case LibFunc_strcasecmp: // 0,1 case LibFunc_strcasecmp: // 0,1
case LibFunc_strncasecmp: // case LibFunc_strncasecmp: //
// Those functions may depend on the locale, which may be accessed through // Those functions may depend on the locale, which may be accessed through
// global memory. // global memory.
Changed |= setOnlyReadsMemory(F); Changed |= setOnlyReadsMemory(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
return Changed; break;
case LibFunc_strstr: case LibFunc_strstr:
case LibFunc_strpbrk: case LibFunc_strpbrk:
Changed |= setOnlyAccessesArgMemory(F); Changed |= setOnlyAccessesArgMemory(F);
Changed |= setOnlyReadsMemory(F); Changed |= setOnlyReadsMemory(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
return Changed; break;
case LibFunc_strtok: case LibFunc_strtok:
case LibFunc_strtok_r: case LibFunc_strtok_r:
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
return Changed; break;
case LibFunc_scanf: case LibFunc_scanf:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_setbuf: case LibFunc_setbuf:
case LibFunc_setvbuf: case LibFunc_setvbuf:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
return Changed; break;
case LibFunc_strndup: case LibFunc_strndup:
Changed |= setArgNoUndef(F, 1); Changed |= setArgNoUndef(F, 1);
LLVM_FALLTHROUGH; LLVM_FALLTHROUGH;
case LibFunc_strdup: case LibFunc_strdup:
Changed |= setAllocFamily(F, "malloc"); Changed |= setAllocFamily(F, "malloc");
Changed |= setOnlyAccessesInaccessibleMemOrArgMem(F); Changed |= setOnlyAccessesInaccessibleMemOrArgMem(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setRetDoesNotAlias(F); Changed |= setRetDoesNotAlias(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_stat: case LibFunc_stat:
case LibFunc_statvfs: case LibFunc_statvfs:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_sscanf: case LibFunc_sscanf:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
return Changed; break;
case LibFunc_sprintf: case LibFunc_sprintf:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotAlias(F, 0); Changed |= setDoesNotAlias(F, 0);
Changed |= setOnlyWritesMemory(F, 0); Changed |= setOnlyWritesMemory(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
return Changed; break;
case LibFunc_snprintf: case LibFunc_snprintf:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotAlias(F, 0); Changed |= setDoesNotAlias(F, 0);
Changed |= setOnlyWritesMemory(F, 0); Changed |= setOnlyWritesMemory(F, 0);
Changed |= setDoesNotCapture(F, 2); Changed |= setDoesNotCapture(F, 2);
Changed |= setOnlyReadsMemory(F, 2); Changed |= setOnlyReadsMemory(F, 2);
return Changed; break;
case LibFunc_setitimer: case LibFunc_setitimer:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setDoesNotCapture(F, 2); Changed |= setDoesNotCapture(F, 2);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
return Changed; break;
case LibFunc_system: case LibFunc_system:
// May throw; "system" is a valid pthread cancellation point. // May throw; "system" is a valid pthread cancellation point.
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_aligned_alloc: case LibFunc_aligned_alloc:
Changed |= setAlignedAllocParam(F, 0); Changed |= setAlignedAllocParam(F, 0);
Changed |= setAllocSize(F, 1, None); Changed |= setAllocSize(F, 1, None);
Changed |= setAllocKind(F, AllocFnKind::Alloc | AllocFnKind::Uninitialized | AllocFnKind::Aligned); Changed |= setAllocKind(F, AllocFnKind::Alloc | AllocFnKind::Uninitialized | AllocFnKind::Aligned);
LLVM_FALLTHROUGH; LLVM_FALLTHROUGH;
case LibFunc_valloc: case LibFunc_valloc:
case LibFunc_malloc: case LibFunc_malloc:
case LibFunc_vec_malloc: case LibFunc_vec_malloc:
Changed |= setAllocFamily(F, TheLibFunc == LibFunc_vec_malloc ? "vec_malloc" Changed |= setAllocFamily(F, TheLibFunc == LibFunc_vec_malloc ? "vec_malloc"
: "malloc"); : "malloc");
Changed |= setAllocKind(F, AllocFnKind::Alloc | AllocFnKind::Uninitialized); Changed |= setAllocKind(F, AllocFnKind::Alloc | AllocFnKind::Uninitialized);
Changed |= setAllocSize(F, 0, None); Changed |= setAllocSize(F, 0, None);
Changed |= setOnlyAccessesInaccessibleMemory(F); Changed |= setOnlyAccessesInaccessibleMemory(F);
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setRetDoesNotAlias(F); Changed |= setRetDoesNotAlias(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
return Changed; break;
case LibFunc_memcmp: case LibFunc_memcmp:
Changed |= setOnlyAccessesArgMemory(F); Changed |= setOnlyAccessesArgMemory(F);
Changed |= setOnlyReadsMemory(F); Changed |= setOnlyReadsMemory(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
return Changed; break;
case LibFunc_memchr: case LibFunc_memchr:
case LibFunc_memrchr: case LibFunc_memrchr:
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setOnlyAccessesArgMemory(F); Changed |= setOnlyAccessesArgMemory(F);
Changed |= setOnlyReadsMemory(F); Changed |= setOnlyReadsMemory(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
return Changed; break;
case LibFunc_modf: case LibFunc_modf:
case LibFunc_modff: case LibFunc_modff:
case LibFunc_modfl: case LibFunc_modfl:
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
return Changed; break;
case LibFunc_memcpy: case LibFunc_memcpy:
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setOnlyAccessesArgMemory(F); Changed |= setOnlyAccessesArgMemory(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
Changed |= setDoesNotAlias(F, 0); Changed |= setDoesNotAlias(F, 0);
Changed |= setReturnedArg(F, 0); Changed |= setReturnedArg(F, 0);
Changed |= setOnlyWritesMemory(F, 0); Changed |= setOnlyWritesMemory(F, 0);
Changed |= setDoesNotAlias(F, 1); Changed |= setDoesNotAlias(F, 1);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
return Changed; break;
case LibFunc_memmove: case LibFunc_memmove:
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setOnlyAccessesArgMemory(F); Changed |= setOnlyAccessesArgMemory(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
Changed |= setReturnedArg(F, 0); Changed |= setReturnedArg(F, 0);
Changed |= setOnlyWritesMemory(F, 0); Changed |= setOnlyWritesMemory(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
return Changed; break;
case LibFunc_mempcpy: case LibFunc_mempcpy:
case LibFunc_memccpy: case LibFunc_memccpy:
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
LLVM_FALLTHROUGH; LLVM_FALLTHROUGH;
case LibFunc_memcpy_chk: case LibFunc_memcpy_chk:
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setOnlyAccessesArgMemory(F); Changed |= setOnlyAccessesArgMemory(F);
Changed |= setDoesNotAlias(F, 0); Changed |= setDoesNotAlias(F, 0);
Changed |= setOnlyWritesMemory(F, 0); Changed |= setOnlyWritesMemory(F, 0);
Changed |= setDoesNotAlias(F, 1); Changed |= setDoesNotAlias(F, 1);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
return Changed; break;
case LibFunc_memalign: case LibFunc_memalign:
Changed |= setAllocFamily(F, "malloc"); Changed |= setAllocFamily(F, "malloc");
Changed |= setAllocKind(F, AllocFnKind::Alloc | AllocFnKind::Aligned | Changed |= setAllocKind(F, AllocFnKind::Alloc | AllocFnKind::Aligned |
AllocFnKind::Uninitialized); AllocFnKind::Uninitialized);
Changed |= setAllocSize(F, 1, None); Changed |= setAllocSize(F, 1, None);
Changed |= setAlignedAllocParam(F, 0); Changed |= setAlignedAllocParam(F, 0);
Changed |= setOnlyAccessesInaccessibleMemory(F); Changed |= setOnlyAccessesInaccessibleMemory(F);
Changed |= setRetNoUndef(F); Changed |= setRetNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setRetDoesNotAlias(F); Changed |= setRetDoesNotAlias(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
return Changed; break;
case LibFunc_mkdir: case LibFunc_mkdir:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_mktime: case LibFunc_mktime:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
return Changed; break;
case LibFunc_realloc: case LibFunc_realloc:
case LibFunc_reallocf: case LibFunc_reallocf:
case LibFunc_vec_realloc: case LibFunc_vec_realloc:
Changed |= setAllocFamily( Changed |= setAllocFamily(
F, TheLibFunc == LibFunc_vec_realloc ? "vec_malloc" : "malloc"); F, TheLibFunc == LibFunc_vec_realloc ? "vec_malloc" : "malloc");
Changed |= setAllocKind(F, AllocFnKind::Realloc); Changed |= setAllocKind(F, AllocFnKind::Realloc);
Changed |= setAllocatedPointerParam(F, 0); Changed |= setAllocatedPointerParam(F, 0);
Changed |= setAllocSize(F, 1, None); Changed |= setAllocSize(F, 1, None);
Changed |= setOnlyAccessesInaccessibleMemOrArgMem(F); Changed |= setOnlyAccessesInaccessibleMemOrArgMem(F);
Changed |= setRetNoUndef(F); Changed |= setRetNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setRetDoesNotAlias(F); Changed |= setRetDoesNotAlias(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setArgNoUndef(F, 1); Changed |= setArgNoUndef(F, 1);
return Changed; break;
case LibFunc_read: case LibFunc_read:
// May throw; "read" is a valid pthread cancellation point. // May throw; "read" is a valid pthread cancellation point.
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
return Changed; break;
case LibFunc_rewind: case LibFunc_rewind:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
return Changed; break;
case LibFunc_rmdir: case LibFunc_rmdir:
case LibFunc_remove: case LibFunc_remove:
case LibFunc_realpath: case LibFunc_realpath:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_rename: case LibFunc_rename:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
return Changed; break;
case LibFunc_readlink: case LibFunc_readlink:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_write: case LibFunc_write:
// May throw; "write" is a valid pthread cancellation point. // May throw; "write" is a valid pthread cancellation point.
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
return Changed; break;
case LibFunc_bcopy: case LibFunc_bcopy:
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setOnlyAccessesArgMemory(F); Changed |= setOnlyAccessesArgMemory(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
Changed |= setOnlyWritesMemory(F, 1); Changed |= setOnlyWritesMemory(F, 1);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
return Changed; break;
case LibFunc_bcmp: case LibFunc_bcmp:
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setOnlyAccessesArgMemory(F); Changed |= setOnlyAccessesArgMemory(F);
Changed |= setOnlyReadsMemory(F); Changed |= setOnlyReadsMemory(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
return Changed; break;
case LibFunc_bzero: case LibFunc_bzero:
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setOnlyAccessesArgMemory(F); Changed |= setOnlyAccessesArgMemory(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setOnlyWritesMemory(F, 0); Changed |= setOnlyWritesMemory(F, 0);
return Changed; break;
case LibFunc_calloc: case LibFunc_calloc:
case LibFunc_vec_calloc: case LibFunc_vec_calloc:
Changed |= setAllocFamily(F, TheLibFunc == LibFunc_vec_calloc ? "vec_malloc" Changed |= setAllocFamily(F, TheLibFunc == LibFunc_vec_calloc ? "vec_malloc"
: "malloc"); : "malloc");
Changed |= setAllocKind(F, AllocFnKind::Alloc | AllocFnKind::Zeroed); Changed |= setAllocKind(F, AllocFnKind::Alloc | AllocFnKind::Zeroed);
Changed |= setAllocSize(F, 0, 1); Changed |= setAllocSize(F, 0, 1);
Changed |= setOnlyAccessesInaccessibleMemory(F); Changed |= setOnlyAccessesInaccessibleMemory(F);
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setRetDoesNotAlias(F); Changed |= setRetDoesNotAlias(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
return Changed; break;
case LibFunc_chmod: case LibFunc_chmod:
case LibFunc_chown: case LibFunc_chown:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_ctermid: case LibFunc_ctermid:
case LibFunc_clearerr: case LibFunc_clearerr:
case LibFunc_closedir: case LibFunc_closedir:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
return Changed; break;
case LibFunc_atoi: case LibFunc_atoi:
case LibFunc_atol: case LibFunc_atol:
case LibFunc_atof: case LibFunc_atof:
case LibFunc_atoll: case LibFunc_atoll:
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setOnlyReadsMemory(F); Changed |= setOnlyReadsMemory(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
return Changed; break;
case LibFunc_access: case LibFunc_access:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_fopen: case LibFunc_fopen:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setRetDoesNotAlias(F); Changed |= setRetDoesNotAlias(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
return Changed; break;
case LibFunc_fdopen: case LibFunc_fdopen:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setRetDoesNotAlias(F); Changed |= setRetDoesNotAlias(F);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
return Changed; break;
case LibFunc_feof: case LibFunc_feof:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
return Changed; break;
case LibFunc_free: case LibFunc_free:
case LibFunc_vec_free: case LibFunc_vec_free:
Changed |= setAllocFamily(F, TheLibFunc == LibFunc_vec_free ? "vec_malloc" Changed |= setAllocFamily(F, TheLibFunc == LibFunc_vec_free ? "vec_malloc"
: "malloc"); : "malloc");
Changed |= setAllocKind(F, AllocFnKind::Free); Changed |= setAllocKind(F, AllocFnKind::Free);
Changed |= setAllocatedPointerParam(F, 0); Changed |= setAllocatedPointerParam(F, 0);
Changed |= setOnlyAccessesInaccessibleMemOrArgMem(F); Changed |= setOnlyAccessesInaccessibleMemOrArgMem(F);
Changed |= setArgsNoUndef(F); Changed |= setArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
return Changed; break;
case LibFunc_fseek: case LibFunc_fseek:
case LibFunc_ftell: case LibFunc_ftell:
case LibFunc_fgetc: case LibFunc_fgetc:
case LibFunc_fgetc_unlocked: case LibFunc_fgetc_unlocked:
case LibFunc_fseeko: case LibFunc_fseeko:
case LibFunc_ftello: case LibFunc_ftello:
case LibFunc_fileno: case LibFunc_fileno:
case LibFunc_fflush: case LibFunc_fflush:
case LibFunc_fclose: case LibFunc_fclose:
case LibFunc_fsetpos: case LibFunc_fsetpos:
case LibFunc_flockfile: case LibFunc_flockfile:
case LibFunc_funlockfile: case LibFunc_funlockfile:
case LibFunc_ftrylockfile: case LibFunc_ftrylockfile:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
return Changed; break;
case LibFunc_ferror: case LibFunc_ferror:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setOnlyReadsMemory(F); Changed |= setOnlyReadsMemory(F);
return Changed; break;
case LibFunc_fputc: case LibFunc_fputc:
case LibFunc_fputc_unlocked: case LibFunc_fputc_unlocked:
case LibFunc_fstat: case LibFunc_fstat:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
return Changed; break;
case LibFunc_frexp: case LibFunc_frexp:
case LibFunc_frexpf: case LibFunc_frexpf:
case LibFunc_frexpl: case LibFunc_frexpl:
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
return Changed; break;
case LibFunc_fstatvfs: case LibFunc_fstatvfs:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
return Changed; break;
case LibFunc_fgets: case LibFunc_fgets:
case LibFunc_fgets_unlocked: case LibFunc_fgets_unlocked:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 2); Changed |= setDoesNotCapture(F, 2);
return Changed; break;
case LibFunc_fread: case LibFunc_fread:
case LibFunc_fread_unlocked: case LibFunc_fread_unlocked:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 3); Changed |= setDoesNotCapture(F, 3);
return Changed; break;
case LibFunc_fwrite: case LibFunc_fwrite:
case LibFunc_fwrite_unlocked: case LibFunc_fwrite_unlocked:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 3); Changed |= setDoesNotCapture(F, 3);
// FIXME: readonly #1? // FIXME: readonly #1?
return Changed; break;
case LibFunc_fputs: case LibFunc_fputs:
case LibFunc_fputs_unlocked: case LibFunc_fputs_unlocked:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_fscanf: case LibFunc_fscanf:
case LibFunc_fprintf: case LibFunc_fprintf:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
return Changed; break;
case LibFunc_fgetpos: case LibFunc_fgetpos:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
return Changed; break;
case LibFunc_getc: case LibFunc_getc:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
return Changed; break;
case LibFunc_getlogin_r: case LibFunc_getlogin_r:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
return Changed; break;
case LibFunc_getc_unlocked: case LibFunc_getc_unlocked:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
return Changed; break;
case LibFunc_getenv: case LibFunc_getenv:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setOnlyReadsMemory(F); Changed |= setOnlyReadsMemory(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
return Changed; break;
case LibFunc_gets: case LibFunc_gets:
case LibFunc_getchar: case LibFunc_getchar:
case LibFunc_getchar_unlocked: case LibFunc_getchar_unlocked:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
return Changed; break;
case LibFunc_getitimer: case LibFunc_getitimer:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
return Changed; break;
case LibFunc_getpwnam: case LibFunc_getpwnam:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_ungetc: case LibFunc_ungetc:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
return Changed; break;
case LibFunc_uname: case LibFunc_uname:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
return Changed; break;
case LibFunc_unlink: case LibFunc_unlink:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_unsetenv: case LibFunc_unsetenv:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_utime: case LibFunc_utime:
case LibFunc_utimes: case LibFunc_utimes:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
return Changed; break;
case LibFunc_putc: case LibFunc_putc:
case LibFunc_putc_unlocked: case LibFunc_putc_unlocked:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
return Changed; break;
case LibFunc_puts: case LibFunc_puts:
case LibFunc_printf: case LibFunc_printf:
case LibFunc_perror: case LibFunc_perror:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_pread: case LibFunc_pread:
// May throw; "pread" is a valid pthread cancellation point. // May throw; "pread" is a valid pthread cancellation point.
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
return Changed; break;
case LibFunc_pwrite: case LibFunc_pwrite:
// May throw; "pwrite" is a valid pthread cancellation point. // May throw; "pwrite" is a valid pthread cancellation point.
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
return Changed; break;
case LibFunc_putchar: case LibFunc_putchar:
case LibFunc_putchar_unlocked: case LibFunc_putchar_unlocked:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
return Changed; break;
case LibFunc_popen: case LibFunc_popen:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setRetDoesNotAlias(F); Changed |= setRetDoesNotAlias(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
return Changed; break;
case LibFunc_pclose: case LibFunc_pclose:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
return Changed; break;
case LibFunc_vscanf: case LibFunc_vscanf:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_vsscanf: case LibFunc_vsscanf:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
return Changed; break;
case LibFunc_vfscanf: case LibFunc_vfscanf:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
return Changed; break;
case LibFunc_vprintf: case LibFunc_vprintf:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_vfprintf: case LibFunc_vfprintf:
case LibFunc_vsprintf: case LibFunc_vsprintf:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
return Changed; break;
case LibFunc_vsnprintf: case LibFunc_vsnprintf:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 2); Changed |= setDoesNotCapture(F, 2);
Changed |= setOnlyReadsMemory(F, 2); Changed |= setOnlyReadsMemory(F, 2);
return Changed; break;
case LibFunc_open: case LibFunc_open:
// May throw; "open" is a valid pthread cancellation point. // May throw; "open" is a valid pthread cancellation point.
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_opendir: case LibFunc_opendir:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setRetDoesNotAlias(F); Changed |= setRetDoesNotAlias(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_tmpfile: case LibFunc_tmpfile:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setRetDoesNotAlias(F); Changed |= setRetDoesNotAlias(F);
return Changed; break;
case LibFunc_times: case LibFunc_times:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
return Changed; break;
case LibFunc_htonl: case LibFunc_htonl:
case LibFunc_htons: case LibFunc_htons:
case LibFunc_ntohl: case LibFunc_ntohl:
case LibFunc_ntohs: case LibFunc_ntohs:
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotAccessMemory(F); Changed |= setDoesNotAccessMemory(F);
return Changed; break;
case LibFunc_lstat: case LibFunc_lstat:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_lchown: case LibFunc_lchown:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_qsort: case LibFunc_qsort:
// May throw; places call through function pointer. // May throw; places call through function pointer.
// Cannot give undef pointer/size // Cannot give undef pointer/size
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotCapture(F, 3); Changed |= setDoesNotCapture(F, 3);
return Changed; break;
case LibFunc_dunder_strndup: case LibFunc_dunder_strndup:
Changed |= setArgNoUndef(F, 1); Changed |= setArgNoUndef(F, 1);
LLVM_FALLTHROUGH; LLVM_FALLTHROUGH;
case LibFunc_dunder_strdup: case LibFunc_dunder_strdup:
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setRetDoesNotAlias(F); Changed |= setRetDoesNotAlias(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_dunder_strtok_r: case LibFunc_dunder_strtok_r:
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
return Changed; break;
case LibFunc_under_IO_getc: case LibFunc_under_IO_getc:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
return Changed; break;
case LibFunc_under_IO_putc: case LibFunc_under_IO_putc:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
return Changed; break;
case LibFunc_dunder_isoc99_scanf: case LibFunc_dunder_isoc99_scanf:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_stat64: case LibFunc_stat64:
case LibFunc_lstat64: case LibFunc_lstat64:
case LibFunc_statvfs64: case LibFunc_statvfs64:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_dunder_isoc99_sscanf: case LibFunc_dunder_isoc99_sscanf:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
return Changed; break;
case LibFunc_fopen64: case LibFunc_fopen64:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setRetDoesNotAlias(F); Changed |= setRetDoesNotAlias(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
return Changed; break;
case LibFunc_fseeko64: case LibFunc_fseeko64:
case LibFunc_ftello64: case LibFunc_ftello64:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
return Changed; break;
case LibFunc_tmpfile64: case LibFunc_tmpfile64:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setRetDoesNotAlias(F); Changed |= setRetDoesNotAlias(F);
return Changed; break;
case LibFunc_fstat64: case LibFunc_fstat64:
case LibFunc_fstatvfs64: case LibFunc_fstatvfs64:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
return Changed; break;
case LibFunc_open64: case LibFunc_open64:
// May throw; "open" is a valid pthread cancellation point. // May throw; "open" is a valid pthread cancellation point.
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setOnlyReadsMemory(F, 0); Changed |= setOnlyReadsMemory(F, 0);
return Changed; break;
case LibFunc_gettimeofday: case LibFunc_gettimeofday:
// Currently some platforms have the restrict keyword on the arguments to // Currently some platforms have the restrict keyword on the arguments to
// gettimeofday. To be conservative, do not add noalias to gettimeofday's // gettimeofday. To be conservative, do not add noalias to gettimeofday's
// arguments. // arguments.
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
return Changed; break;
case LibFunc_memset_pattern4: case LibFunc_memset_pattern4:
case LibFunc_memset_pattern8: case LibFunc_memset_pattern8:
case LibFunc_memset_pattern16: case LibFunc_memset_pattern16:
Changed |= setDoesNotCapture(F, 0); Changed |= setDoesNotCapture(F, 0);
Changed |= setDoesNotCapture(F, 1); Changed |= setDoesNotCapture(F, 1);
Changed |= setOnlyReadsMemory(F, 1); Changed |= setOnlyReadsMemory(F, 1);
LLVM_FALLTHROUGH; LLVM_FALLTHROUGH;
case LibFunc_memset: case LibFunc_memset:
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
LLVM_FALLTHROUGH; LLVM_FALLTHROUGH;
case LibFunc_memset_chk: case LibFunc_memset_chk:
Changed |= setOnlyAccessesArgMemory(F); Changed |= setOnlyAccessesArgMemory(F);
Changed |= setOnlyWritesMemory(F, 0); Changed |= setOnlyWritesMemory(F, 0);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
return Changed; break;
// int __nvvm_reflect(const char *) // int __nvvm_reflect(const char *)
case LibFunc_nvvm_reflect: case LibFunc_nvvm_reflect:
Changed |= setRetAndArgsNoUndef(F); Changed |= setRetAndArgsNoUndef(F);
Changed |= setDoesNotAccessMemory(F); Changed |= setDoesNotAccessMemory(F);
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
return Changed; break;
case LibFunc_ldexp: case LibFunc_ldexp:
case LibFunc_ldexpf: case LibFunc_ldexpf:
case LibFunc_ldexpl: case LibFunc_ldexpl:
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
return Changed; break;
case LibFunc_abs: case LibFunc_abs:
case LibFunc_acos: case LibFunc_acos:
case LibFunc_acosf: case LibFunc_acosf:
case LibFunc_acosh: case LibFunc_acosh:
case LibFunc_acoshf: case LibFunc_acoshf:
case LibFunc_acoshl: case LibFunc_acoshl:
case LibFunc_acosl: case LibFunc_acosl:
case LibFunc_asin: case LibFunc_asin:
▲ Show 20 Lines • Show All 110 Lines • ▼ Show 20 Linesbool llvm::inferNonMandatoryLibFuncAttrs(Function &F,
case LibFunc_toascii: case LibFunc_toascii:
case LibFunc_trunc: case LibFunc_trunc:
case LibFunc_truncf: case LibFunc_truncf:
case LibFunc_truncl: case LibFunc_truncl:
Changed |= setDoesNotThrow(F); Changed |= setDoesNotThrow(F);
Changed |= setDoesNotFreeMemory(F); Changed |= setDoesNotFreeMemory(F);
Changed |= setOnlyWritesMemory(F); Changed |= setOnlyWritesMemory(F);
Changed |= setWillReturn(F); Changed |= setWillReturn(F);
return Changed; break;
default: default:
// FIXME: It'd be really nice to cover all the library functions we're // FIXME: It'd be really nice to cover all the library functions we're
// aware of here. // aware of here.
return false; break;
} }
// We have to do this step after AllocKind has been inferred on functions so
// we can reliably identify free-like and realloc-like functions.
if (!isLibFreeFunction(&F, TheLibFunc) && !isReallocLikeFn(&F, &TLI))
Changed |= setDoesNotFreeMemory(F);
return Changed;
} }
static void setArgExtAttr(Function &F, unsigned ArgNo, static void setArgExtAttr(Function &F, unsigned ArgNo,
const TargetLibraryInfo &TLI, bool Signed = true) { const TargetLibraryInfo &TLI, bool Signed = true) {
Attribute::AttrKind ExtAttr = TLI.getExtAttrForI32Param(Signed); Attribute::AttrKind ExtAttr = TLI.getExtAttrForI32Param(Signed);
if (ExtAttr != Attribute::None && !F.hasParamAttribute(ArgNo, ExtAttr)) if (ExtAttr != Attribute::None && !F.hasParamAttribute(ArgNo, ExtAttr))
F.addParamAttr(ArgNo, ExtAttr); F.addParamAttr(ArgNo, ExtAttr);
} }
▲ Show 20 Lines • Show All 657 Lines • Show Last 20 Lines