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