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

; RUN: opt < %s -globalsmodref-aa -gvn -S | grep call | count 2

@g = internal global i32 0		; <i32*> [#uses=2]

define i32 @r() {
	%tmp = load i32* @g		; <i32> [#uses=1]
	ret i32 %tmp
}

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

declare i32 @e() readonly	; might call @r
Change tests from "opt %s" to "opt < %s" so that opt doesn't see the input filename so that opt doesn't print the input filename in the output so that grep lines in the tests don't unintentionally match strings in the input filename. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81537 91177308-0d34-0410-b5e6-96231b3b80d8 2009-09-11 18:01:28 +00:00			`; RUN: opt < %s -globalsmodref-aa -gvn -S \| grep call \| count 2`
Cleanup GlobalsModRef a bit. When analysing the callgraph, when one member of a SCC calls another then the analysis would drop to mod-ref because there is (usually) no function info for the callee yet; fix this. Teach the analysis about function attributes, in particular the readonly attribute (which requires being careful about globals). git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@55696 91177308-0d34-0410-b5e6-96231b3b80d8 2008-09-03 12:55:42 +00:00
			`@g = internal global i32 0 ; <i32*> [#uses=2]`

			`define i32 @r() {`
			`%tmp = load i32* @g ; <i32> [#uses=1]`
			`ret i32 %tmp`
			`}`

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

			`declare i32 @e() readonly ; might call @r`