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