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

; RUN: opt < %s -basicaa -functionattrs -S | FileCheck %s

; CHECK: define i32 @f() readonly
define i32 @f() {
entry:
  %tmp = call i32 @e( )
  ret i32 %tmp
}

; CHECK: declare i32 @e() readonly
declare i32 @e() readonly
FileCheck-ize the tests. llvm-svn: 174865 2013-02-11 16:34:57 +08:00			`; RUN: opt < %s -basicaa -functionattrs -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). llvm-svn: 55696 2008-09-03 20:55:42 +08:00
FileCheck-ize the tests. llvm-svn: 174865 2013-02-11 16:34:57 +08:00			`; CHECK: define i32 @f() readonly`
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:`
FileCheck-ize the tests. llvm-svn: 174865 2013-02-11 16:34:57 +08:00			`%tmp = call i32 @e( )`
			`ret i32 %tmp`
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			`}`

FileCheck-ize the tests. llvm-svn: 174865 2013-02-11 16:34:57 +08:00			`; CHECK: declare i32 @e() readonly`
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			`declare i32 @e() readonly`