15 lines · plain
1; RUN: opt < %s -passes=inline,instcombine,function-attrs | llvm-dis2;3; Check that nocapture attributes are added when run after an SCC pass.4; PR35205 6define i32 @use(ptr %x) nounwind readonly {7; CHECK: @use(ptr nocapture %x)8 %1 = tail call i64 @strlen(ptr %x) nounwind readonly9 %2 = trunc i64 %1 to i3210 ret i32 %211}12 13declare i64 @strlen(ptr) nounwind readonly14; CHECK: declare i64 @strlen(ptr nocapture) nounwind readonly15