llvm-6502/test/Analysis/GlobalsModRef/2008-09-03-ReadNone.ll

; RUN: llvm-as < %s | opt -globalsmodref-aa -markmodref | llvm-dis | grep readnone | count 2

define i32 @f() {
entry:
	%tmp = call i32 @e( )		; <i32> [#uses=1]
	ret i32 %tmp
}

declare i32 @e() readnone
Since onlyReadsMemory returns true if in fact doesNotAccessMemory, check doesNotAccessMemory first, since otherwise functions may be marked readonly rather than readnone. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@55697 91177308-0d34-0410-b5e6-96231b3b80d8 2008-09-03 15:31:24 +00:00			`; RUN: llvm-as < %s \| opt -globalsmodref-aa -markmodref \| llvm-dis \| grep readnone \| count 2`

			`define i32 @f() {`
			`entry:`
			`%tmp = call i32 @e( ) ; <i32> [#uses=1]`
			`ret i32 %tmp`
			`}`

			`declare i32 @e() readnone`