llvm/test/Transforms/FunctionAttrs/2009-01-02-LocalStores.ll


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

; RUN: opt < %s -passes=function-attrs -S | FileCheck %s

; CHECK: define ptr @a(ptr readonly captures(none) %p)
define ptr @a(ptr %p) {
	%tmp = load ptr, ptr %p
	ret ptr %tmp
}

; CHECK: define ptr @b(ptr %q)
define ptr @b(ptr %q) {
	%mem = alloca ptr
	store ptr %q, ptr %mem
	%tmp = call ptr @a(ptr %mem)
	ret ptr %tmp
}

; CHECK: define ptr @c(ptr readnone returned captures(address_is_null, ret: address, provenance) %r)
@g = global i32 0
define ptr @c(ptr %r) {
	%a = icmp eq ptr %r, null
	store i32 1, ptr @g
	ret ptr %r
}