xref: /llvm-project/llvm/test/Transforms/InstCombine/2009-02-11-NotInitialized.ll (revision 5fb9e840476d531cb5377c69941f2ccfe4145475) 
1; RUN: opt < %s -passes=inline,instcombine,function-attrs | llvm-dis
2;
3; Check that nocapture attributes are added when run after an SCC pass.
4; PR3520
5
6define i32 @use(ptr %x) nounwind readonly {
7; CHECK: @use(ptr nocapture %x)
8  %1 = tail call i64 @strlen(ptr %x) nounwind readonly
9  %2 = trunc i64 %1 to i32
10  ret i32 %2
11}
12
13declare i64 @strlen(ptr) nounwind readonly
14; CHECK: declare i64 @strlen(ptr nocapture) nounwind readonly
15