Make the description of the hotpatch attribute even more generic. Spotted by
[oota-llvm.git] / test / Transforms / SimplifyLibCalls / 2009-02-11-NotInitialized.ll
1 ; RUN: opt < %s -inline -simplify-libcalls -functionattrs | \
2 ; RUN:   llvm-dis | grep nocapture | count 2
3 ; Check that nocapture attributes are added when run after an SCC pass.
4 ; PR3520
5
6 define i32 @use(i8* %x) nounwind readonly {
7 entry:
8         %0 = tail call i64 @strlen(i8* %x) nounwind readonly            ; <i64> [#uses=1]
9         %1 = trunc i64 %0 to i32                ; <i32> [#uses=1]
10         ret i32 %1
11 }
12
13 declare i64 @strlen(i8*) nounwind readonly