1 ; RUN: opt < %s -basicaa -functionattrs -S | FileCheck %s
4 ; CHECK: declare i32 @e() #0
5 declare i32 @e() readnone
7 ; CHECK: define i32 @f() #0
9 %tmp = call i32 @e( ) ; <i32> [#uses=1]
13 ; CHECK: define i32 @g() #0
14 define i32 @g() readonly {
18 ; CHECK: define i32 @h() #0
19 define i32 @h() readnone {
20 %tmp = load i32, i32* @x ; <i32> [#uses=1]
24 ; CHECK: attributes #0 = { readnone }