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 | cf47ce616c53040cb8aa09eff9dc0b693e571842 (patch) | |
| tree | 1a6838b67348a4672c740f1c968a7ed59d30b8a6 /test/Transforms/InstCombine/2009-02-11-NotInitialized.ll | |
| parent | efe84421ca49483cf961f97ef02905edb409a336 (diff) | |
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.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@177619 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/InstCombine/2009-02-11-NotInitialized.ll')
| -rw-r--r-- | test/Transforms/InstCombine/2009-02-11-NotInitialized.ll | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/2009-02-11-NotInitialized.ll b/test/Transforms/InstCombine/2009-02-11-NotInitialized.ll new file mode 100644 index 00000000000..b66495d9cba --- /dev/null +++ b/test/Transforms/InstCombine/2009-02-11-NotInitialized.ll @@ -0,0 +1,14 @@ +; RUN: opt < %s -inline -instcombine -functionattrs | llvm-dis +; +; Check that nocapture attributes are added when run after an SCC pass. +; PR3520 + +define i32 @use(i8* %x) nounwind readonly { +; CHECK: @use(i8* nocapture %x) + %1 = tail call i64 @strlen(i8* %x) nounwind readonly + %2 = trunc i64 %1 to i32 + ret i32 %2 +} + +declare i64 @strlen(i8*) nounwind readonly +; CHECK: declare i64 @strlen(i8* nocapture) nounwind readonly |