; RUN: opt < %s -inline -simplify-libcalls -functionattrs | \
; RUN:   llvm-dis | grep nocapture | count 2
; Check that nocapture attributes are added when run after an SCC pass.
; PR3520

define i32 @use(i8* %x) nounwind readonly {
entry:
	%0 = tail call i64 @strlen(i8* %x) nounwind readonly		; <i64> [#uses=1]
	%1 = trunc i64 %0 to i32		; <i32> [#uses=1]
	ret i32 %1
}

declare i64 @strlen(i8*) nounwind readonly