1 ; RUN: opt < %s -inline -instcombine -functionattrs | llvm-dis 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 ; CHECK: @use(i8* nocapture %x) 8 %1 = tail call i64 @strlen(i8* %x) nounwind readonly 9 %2 = trunc i64 %1 to i32 10 ret i32 %2 11 } 12 13 declare i64 @strlen(i8*) nounwind readonly 14 ; CHECK: declare i64 @strlen(i8* nocapture) nounwind readonly 15
