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/InferFunctionAttrs | |
| 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/InferFunctionAttrs')
| -rw-r--r-- | llvm/test/Transforms/InferFunctionAttrs/annotate.ll | 7 |
1 files changed, 4 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 } |
