Blame - llvm/test/Analysis/GlobalsModRef/func-memattributes.ll - toolchain/llvm-project

blob: c1c269118739a813942577a4bc21db5aff4df273 [file] [log] [blame]

Tom Stellard	1b5cf62	2016-07-14 15:50:27 +0000	[diff] [blame]	1	; RUN: opt < %s -disable-basicaa -globals-aa -dse -S \| FileCheck %s
				2
				3	@X = internal global i32 4
				4
Eli Friedman	a6707f5	2016-08-12 01:09:53 +0000	[diff] [blame]	5	define i32 @test0() {
Tom Stellard	1b5cf62	2016-07-14 15:50:27 +0000	[diff] [blame]	6	; CHECK-LABEL: @test0
				7	; CHECK: store i32 0, i32* @X
Eli Friedman	a6707f5	2016-08-12 01:09:53 +0000	[diff] [blame]	8	; CHECK-NEXT: call i32 @func_readonly() #0
Tom Stellard	1b5cf62	2016-07-14 15:50:27 +0000	[diff] [blame]	9	; CHECK-NEXT: store i32 1, i32* @X
				10	store i32 0, i32* @X
Eli Friedman	a6707f5	2016-08-12 01:09:53 +0000	[diff] [blame]	11	%x = call i32 @func_readonly() #0
Tom Stellard	1b5cf62	2016-07-14 15:50:27 +0000	[diff] [blame]	12	store i32 1, i32* @X
Eli Friedman	a6707f5	2016-08-12 01:09:53 +0000	[diff] [blame]	13	ret i32 %x
Tom Stellard	1b5cf62	2016-07-14 15:50:27 +0000	[diff] [blame]	14	}
				15
Eli Friedman	a6707f5	2016-08-12 01:09:53 +0000	[diff] [blame]	16	define i32 @test1() {
Tom Stellard	1b5cf62	2016-07-14 15:50:27 +0000	[diff] [blame]	17	; CHECK-LABEL: @test1
				18	; CHECK-NOT: store
Eli Friedman	a6707f5	2016-08-12 01:09:53 +0000	[diff] [blame]	19	; CHECK: call i32 @func_read_argmem_only() #1
Tom Stellard	1b5cf62	2016-07-14 15:50:27 +0000	[diff] [blame]	20	; CHECK-NEXT: store i32 3, i32* @X
				21	store i32 2, i32* @X
Eli Friedman	a6707f5	2016-08-12 01:09:53 +0000	[diff] [blame]	22	%x = call i32 @func_read_argmem_only() #1
Tom Stellard	1b5cf62	2016-07-14 15:50:27 +0000	[diff] [blame]	23	store i32 3, i32* @X
Eli Friedman	a6707f5	2016-08-12 01:09:53 +0000	[diff] [blame]	24	ret i32 %x
Tom Stellard	1b5cf62	2016-07-14 15:50:27 +0000	[diff] [blame]	25	}
				26
Eli Friedman	a6707f5	2016-08-12 01:09:53 +0000	[diff] [blame]	27	declare i32 @func_readonly() #0
				28	declare i32 @func_read_argmem_only() #1
Tom Stellard	1b5cf62	2016-07-14 15:50:27 +0000	[diff] [blame]	29
Eli Friedman	a6707f5	2016-08-12 01:09:53 +0000	[diff] [blame]	30	attributes #0 = { readonly nounwind }
				31	attributes #1 = { readonly argmemonly nounwind }