1; RUN: opt < %s -basicaa -functionattrs -S | grep readnone | count 4 2@x = global i32 0 3 4declare i32 @e() readnone 5 6define i32 @f() { 7 %tmp = call i32 @e( ) ; <i32> [#uses=1] 8 ret i32 %tmp 9} 10 11define i32 @g() readonly { 12 ret i32 0 13} 14 15define i32 @h() readnone { 16 %tmp = load i32* @x ; <i32> [#uses=1] 17 ret i32 %tmp 18} 19