diff options
| author | Xin Tong <trent.xin.tong@gmail.com> | 2017-06-18 03:10:26 +0000 |
|---|---|---|
| committer | Xin Tong <trent.xin.tong@gmail.com> | 2017-06-18 03:10:26 +0000 |
| commit | 9d2a5b1cf7f0f233e90650adcf1e1079b14a3cda (patch) | |
| tree | ed4efd44b037153be4bd88b13ffa7274ca6b90ce /llvm/test/Transforms | |
| parent | 90e4c3f357f4d7a16d600407788cf5be51490579 (diff) | |
| download | bcm5719-llvm-9d2a5b1cf7f0f233e90650adcf1e1079b14a3cda.tar.gz bcm5719-llvm-9d2a5b1cf7f0f233e90650adcf1e1079b14a3cda.zip | |
Add argmononly attribute to strlen and wcslen, i.e. they only read memory (string) passed to them.
Summary:
This allows strlen to be moved out of the loop in case its argument is
not modified in the loop in LICM.
Reviewers: hfinkel, davide, sanjoy, dberlin
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D34323
llvm-svn: 305641
Diffstat (limited to 'llvm/test/Transforms')
| -rw-r--r-- | llvm/test/Transforms/InferFunctionAttrs/annotate.ll | 7 | ||||
| -rw-r--r-- | llvm/test/Transforms/LICM/strlen.ll | 19 |
2 files changed, 23 insertions, 3 deletions
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*) + + |
