diff options
| author | Meador Inge <meadori@codesourcery.com> | 2013-03-21 00:55:59 +0000 |
|---|---|---|
| committer | Meador Inge <meadori@codesourcery.com> | 2013-03-21 00:55:59 +0000 |
| commit | 6b6a161ccfe252b6c167b3a580b42aea0c4e10ab (patch) | |
| tree | 973aa127be6e44b1a2453fd7804f5008c974c781 /llvm/test/Transforms/FunctionAttrs | |
| parent | b6f3905450dbb1ed764147c7743162d3ceaedc2f (diff) | |
| download | bcm5719-llvm-6b6a161ccfe252b6c167b3a580b42aea0c4e10ab.tar.gz bcm5719-llvm-6b6a161ccfe252b6c167b3a580b42aea0c4e10ab.zip | |
Move library call prototype attribute inference to functionattrs
The simplify-libcalls pass implemented a doInitialization hook to infer
function prototype attributes for well-known functions. Given that the
simplify-libcalls pass is going away *and* that the functionattrs pass
is already in place to deduce function attributes, I am moving this logic
to the functionattrs pass. This approach was discussed during patch
review:
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20121126/157465.html.
llvm-svn: 177619
Diffstat (limited to 'llvm/test/Transforms/FunctionAttrs')
| -rw-r--r-- | llvm/test/Transforms/FunctionAttrs/2009-01-04-Annotate.ll | 21 | ||||
| -rw-r--r-- | llvm/test/Transforms/FunctionAttrs/annotate-1.ll | 18 |
2 files changed, 39 insertions, 0 deletions
diff --git a/llvm/test/Transforms/FunctionAttrs/2009-01-04-Annotate.ll b/llvm/test/Transforms/FunctionAttrs/2009-01-04-Annotate.ll new file mode 100644 index 00000000000..d414b73524f --- /dev/null +++ b/llvm/test/Transforms/FunctionAttrs/2009-01-04-Annotate.ll @@ -0,0 +1,21 @@ +; RUN: opt < %s -functionattrs -S | FileCheck %s + +; CHECK: declare noalias i8* @fopen(i8* nocapture, i8* nocapture) #0 +declare i8* @fopen(i8*, i8*) + +; CHECK: declare i8 @strlen(i8* nocapture) #1 +declare i8 @strlen(i8*) + +; CHECK: declare noalias i32* @realloc(i32* nocapture, i32) #0 +declare i32* @realloc(i32*, i32) + +; Test deliberately wrong declaration +declare i32 @strcpy(...) + +; CHECK-NOT: strcpy{{.*}}noalias +; CHECK-NOT: strcpy{{.*}}nocapture +; CHECK-NOT: strcpy{{.*}}nounwind +; CHECK-NOT: strcpy{{.*}}readonly + +; CHECK: attributes #0 = { nounwind } +; CHECK: attributes #1 = { nounwind readonly } diff --git a/llvm/test/Transforms/FunctionAttrs/annotate-1.ll b/llvm/test/Transforms/FunctionAttrs/annotate-1.ll new file mode 100644 index 00000000000..ae77380acc4 --- /dev/null +++ b/llvm/test/Transforms/FunctionAttrs/annotate-1.ll @@ -0,0 +1,18 @@ +; RUN: opt < %s -functionattrs -S | FileCheck %s + +declare i8* @fopen(i8*, i8*) +; CHECK: declare noalias i8* @fopen(i8* nocapture, i8* nocapture) [[G0:#[0-9]]] + +declare i8 @strlen(i8*) +; CHECK: declare i8 @strlen(i8* nocapture) [[G1:#[0-9]]] + +declare i32* @realloc(i32*, i32) +; CHECK: declare noalias i32* @realloc(i32* nocapture, i32) [[G0]] + +; Test deliberately wrong declaration + +declare i32 @strcpy(...) +; CHECK: declare i32 @strcpy(...) + +; CHECK: attributes [[G0]] = { nounwind } +; CHECK: attributes [[G1]] = { nounwind readonly } |
