From a05e671c7e70e5e80565ad053b53e5da579f3712 Mon Sep 17 00:00:00 2001 From: David Bolvansky Date: Mon, 30 Sep 2019 19:43:48 +0000 Subject: [FunctionAttrs] Added noalias for memccpy/mempcpy arguments llvm-svn: 373251 --- llvm/lib/Transforms/Utils/BuildLibCalls.cpp | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) (limited to 'llvm/lib/Transforms/Utils/BuildLibCalls.cpp') diff --git a/llvm/lib/Transforms/Utils/BuildLibCalls.cpp b/llvm/lib/Transforms/Utils/BuildLibCalls.cpp index e8ce3f92749..71316ce8f75 100644 --- a/llvm/lib/Transforms/Utils/BuildLibCalls.cpp +++ b/llvm/lib/Transforms/Utils/BuildLibCalls.cpp @@ -306,12 +306,21 @@ bool llvm::inferLibFuncAttributes(Function &F, const TargetLibraryInfo &TLI) { case LibFunc_memcpy: Changed |= setDoesNotAlias(F, 0); Changed |= setDoesNotAlias(F, 1); - LLVM_FALLTHROUGH; + Changed |= setReturnedArg(F, 0); + Changed |= setDoesNotThrow(F); + Changed |= setDoesNotCapture(F, 1); + Changed |= setOnlyReadsMemory(F, 1); + return Changed; case LibFunc_memmove: Changed |= setReturnedArg(F, 0); - LLVM_FALLTHROUGH; + Changed |= setDoesNotThrow(F); + Changed |= setDoesNotCapture(F, 1); + Changed |= setOnlyReadsMemory(F, 1); + return Changed; case LibFunc_mempcpy: case LibFunc_memccpy: + Changed |= setDoesNotAlias(F, 0); + Changed |= setDoesNotAlias(F, 1); Changed |= setDoesNotThrow(F); Changed |= setDoesNotCapture(F, 1); Changed |= setOnlyReadsMemory(F, 1); -- cgit v1.2.3