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


1
2
3
4
5
6
7
8
9
10
11
12
13
14

; RUN: opt < %s -functionattrs -S | not grep "nocapture *%%q"
; RUN: opt < %s -functionattrs -S | grep "nocapture *%%p"

define i32* @a(i32** %p) {
	%tmp = load i32** %p
	ret i32* %tmp
}

define i32* @b(i32 *%q) {
	%mem = alloca i32*
	store i32* %q, i32** %mem
	%tmp = call i32* @a(i32** %mem)
	ret i32* %tmp
}