1; RUN: opt < %s -functionattrs -S | FileCheck %s
2
3; CHECK: define void @bar(i8* nocapture readnone)
4define void @bar(i8* readonly) {
5  call void @foo(i8* %0)
6    ret void
7}
8
9; CHECK: define void @foo(i8* nocapture readnone)
10define void @foo(i8* readonly) {
11  call void @bar(i8* %0)
12  ret void
13}
14