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