diff options
| -rw-r--r-- | llvm/lib/Transforms/Utils/BuildLibCalls.cpp | 1 | ||||
| -rw-r--r-- | llvm/test/Transforms/InferFunctionAttrs/annotate.ll | 7 | ||||
| -rw-r--r-- | llvm/test/Transforms/LICM/strlen.ll | 19 |
3 files changed, 24 insertions, 3 deletions
diff --git a/llvm/lib/Transforms/Utils/BuildLibCalls.cpp b/llvm/lib/Transforms/Utils/BuildLibCalls.cpp index ebde1f9a17d..b60dfb4f354 100644 --- a/llvm/lib/Transforms/Utils/BuildLibCalls.cpp +++ b/llvm/lib/Transforms/Utils/BuildLibCalls.cpp @@ -116,6 +116,7 @@ bool llvm::inferLibFuncAttributes(Function &F, const TargetLibraryInfo &TLI) { case LibFunc_wcslen: Changed |= setOnlyReadsMemory(F); Changed |= setDoesNotThrow(F); + Changed |= setOnlyAccessesArgMemory(F); Changed |= setDoesNotCapture(F, 0); return Changed; case LibFunc_strchr: diff --git a/llvm/test/Transforms/InferFunctionAttrs/annotate.ll b/llvm/test/Transforms/InferFunctionAttrs/annotate.ll index cb4b5cdd1e8..80ac8f99edc 100644 --- a/llvm/test/Transforms/InferFunctionAttrs/annotate.ll +++ b/llvm/test/Transforms/InferFunctionAttrs/annotate.ll @@ -844,7 +844,7 @@ declare i64 @strcspn(i8*, i8*) ; CHECK: declare noalias i8* @strdup(i8* nocapture readonly) [[G0]] declare i8* @strdup(i8*) -; CHECK: declare i64 @strlen(i8* nocapture) [[G1]] +; CHECK: declare i64 @strlen(i8* nocapture) [[G2:#[0-9]+]] declare i64 @strlen(i8*) ; CHECK: declare i32 @strncasecmp(i8* nocapture, i8* nocapture, i64) [[G1]] @@ -996,10 +996,11 @@ declare i64 @write(i32, i8*, i64) ; memset_pattern16 isn't available everywhere. -; CHECK-DARWIN: declare void @memset_pattern16(i8* nocapture, i8* nocapture readonly, i64) [[G2:#[0-9]+]] +; CHECK-DARWIN: declare void @memset_pattern16(i8* nocapture, i8* nocapture readonly, i64) [[G3:#[0-9]+]] declare void @memset_pattern16(i8*, i8*, i64) ; CHECK: attributes [[G0]] = { nounwind } ; CHECK: attributes [[G1]] = { nounwind readonly } -; CHECK-DARWIN: attributes [[G2]] = { argmemonly } +; CHECK: attributes [[G2]] = { argmemonly nounwind readonly } +; CHECK-DARWIN: attributes [[G3]] = { argmemonly } diff --git a/llvm/test/Transforms/LICM/strlen.ll b/llvm/test/Transforms/LICM/strlen.ll new file mode 100644 index 00000000000..27d51c8394d --- /dev/null +++ b/llvm/test/Transforms/LICM/strlen.ll @@ -0,0 +1,19 @@ +; RUN: opt -S -inferattrs -basicaa -licm < %s | FileCheck %s + +define void @test(i64* noalias %loc, i8* noalias %a) { +; CHECK-LABEL: @test +; CHECK: @strlen +; CHECK-LABEL: loop: + br label %loop + +loop: + %res = call i64 @strlen(i8* %a) + store i64 %res, i64* %loc + br label %loop +} + +; CHECK: declare i64 @strlen(i8* nocapture) #0 +; CHECK: attributes #0 = { argmemonly nounwind readonly } +declare i64 @strlen(i8*) + + |
