test/Transforms/FunctionAttrs/readnone.ll

   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 }