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

blob: d8256ae8e647c91d4197f4e9d8b9b87fa791dd88 [file] [log] [blame]

Bill Wendling	84ba976	2013-02-11 08:34:57 +0000	[diff] [blame]	1	; RUN: opt < %s -basicaa -functionattrs -S \| FileCheck %s
Duncan Sands	44c8cd9	2008-12-31 16:14:43 +0000	[diff] [blame]	2
Bill Wendling	90bc19c	2013-02-20 07:21:42 +0000	[diff] [blame]	3	; CHECK: define i32 @f() #0
Duncan Sands	44c8cd9	2008-12-31 16:14:43 +0000	[diff] [blame]	4	define i32 @f() {
				5	entry:
Bill Wendling	84ba976	2013-02-11 08:34:57 +0000	[diff] [blame]	6	%tmp = call i32 @e( )
				7	ret i32 %tmp
Duncan Sands	44c8cd9	2008-12-31 16:14:43 +0000	[diff] [blame]	8	}
				9
Bill Wendling	90bc19c	2013-02-20 07:21:42 +0000	[diff] [blame]	10	; CHECK: declare i32 @e() #0
Duncan Sands	44c8cd9	2008-12-31 16:14:43 +0000	[diff] [blame]	11	declare i32 @e() readonly
Bill Wendling	90bc19c	2013-02-20 07:21:42 +0000	[diff] [blame]	12
				13	; CHECK: attributes #0 = { readonly }