1 ; RUN: opt < %s -basicaa -functionattrs -S | FileCheck %s 2 3 ; CHECK: define i32 @f() #0 4 define i32 @f() { 5 entry: 6 %tmp = call i32 @e( ) 7 ret i32 %tmp 8 } 9 10 ; CHECK: declare i32 @e() #0 11 declare i32 @e() readonly 12 13 ; CHECK: attributes #0 = { readonly } 14
