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

; RUN: opt < %s -globalsmodref-aa -gvn -S | FileCheck %s

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

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

define i32 @f() {
; CHECK: call i32 @e()
; CHECK: call i32 @e()
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
FileCheck-ize tests. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@155434 91177308-0d34-0410-b5e6-96231b3b80d8 2012-04-24 10:45:44 +00:00			`; RUN: opt < %s -globalsmodref-aa -gvn -S \| FileCheck %s`
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() {`
FileCheck-ize tests. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@155434 91177308-0d34-0410-b5e6-96231b3b80d8 2012-04-24 10:45:44 +00:00			`; CHECK: call i32 @e()`
			`; CHECK: call i32 @e()`
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			`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`