; RUN: opt < %s -passes=function-attrs -S | FileCheck %s

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

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