1 ; RUN: opt < %s -function-attrs -S | FileCheck %s
2 ; RUN: opt < %s -passes=function-attrs -S | FileCheck %s
4 ; CHECK: define void @bar(i8* nocapture readnone %0)
5 define void @bar(i8* readonly %0) {
10 ; CHECK: define void @foo(i8* nocapture readnone %0)
11 define void @foo(i8* readonly %0) {
12 call void @bar(i8* %0)