1 2 3 4 5 6 7 8 9 10
; RUN: opt < %s -functionattrs -S | grep readnone | count 2 declare i32 @g(i32*) readnone define i32 @f() { %x = alloca i32 ; <i32*> [#uses=2] store i32 0, i32* %x %y = call i32 @g(i32* %x) ; <i32> [#uses=1] ret i32 %y }