llvm-6502/test/Transforms/AddReadAttrs/2008-09-03-ReadOnly.ll

; RUN: llvm-as < %s | opt -addreadattrs | llvm-dis | grep readonly | count 2

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

declare i32 @e() readonly
Add a new pass AddReadAttrs which works out which functions can get the readnone/readonly attributes, and gives them it. The plan is to remove markmodref (which did the same thing by querying GlobalsModRef) and delete the analogous functionality from GlobalsModRef. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@56341 91177308-0d34-0410-b5e6-96231b3b80d8 2008-09-19 08:17:05 +00:00			`; RUN: llvm-as < %s \| opt -addreadattrs \| llvm-dis \| grep readonly \| 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
			`define i32 @f() {`
			`entry:`
			`%tmp = call i32 @e( ) ; <i32> [#uses=1]`
			`ret i32 %tmp`
			`}`

			`declare i32 @e() readonly`