; RUN: opt < %s -functionattrs -S | FileCheck %s

; CHECK: define void @bar(i8* nocapture readnone)
define void @bar(i8* readonly) {
  call void @foo(i8* %0)
    ret void
}

; CHECK: define void @foo(i8* nocapture readnone)
define void @foo(i8* readonly) {
  call void @bar(i8* %0)
  ret void
}