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

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

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

declare i32 @e() readonly
Rename AddReadAttrs to FunctionAttrs, and teach it how to work out (in a very simplistic way) which function arguments (pointer arguments only) are only dereferenced and so do not escape. Mark such arguments 'nocapture'. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61525 91177308-0d34-0410-b5e6-96231b3b80d8 2008-12-31 16:14:43 +00:00			`; RUN: llvm-as < %s \| opt -functionattrs \| 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`