test/Transforms/Mem2Reg/2002-05-01-ShouldNotPromoteThisAlloca.ll


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

; This input caused the mem2reg pass to die because it was trying to promote
; the %r alloca, even though it is invalid to do so in this case!
;
; RUN: opt < %s -mem2reg

define void @test() {
	%r = alloca i32		; <i32*> [#uses=2]
	store i32 4, i32* %r
	store i32* %r, i32** null
	ret void
}