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

; RUN: opt < %s -basicaa -functionattrs -S | grep readonly | count 2

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

declare i32 @e() readonly
Make ModRefBehavior a lattice. Use this to clean up AliasAnalysis chaining and simplify FunctionAttrs' GetModRefBehavior logic. llvm-svn: 118660 2010-11-10 09:02:18 +08:00			`; RUN: opt < %s -basicaa -functionattrs -S \| 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). llvm-svn: 55696 2008-09-03 20:55:42 +08:00
			`define i32 @f() {`
			`entry:`
			`%tmp = call i32 @e( ) ; <i32> [#uses=1]`
			`ret i32 %tmp`
			`}`

			`declare i32 @e() readonly`