test/Analysis/Andersens/modreftest2.ll


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

; RUN: llvm-as < %s | opt -anders-aa -gvn | llvm-dis \
; RUN: | not grep {ret i32 undef}

;; From PR 2160
declare void @f(i32*)

define i32 @g() {
entry:
      %tmp = alloca i32               ; <i32*> [#uses=2]
	call void @f( i32* %tmp )
	%tmp2 = load i32* %tmp          ; <i32> [#uses=1]
	ret i32 %tmp2
}