llvm/llvm/test/Transforms/GVN/2007-07-26-PhiErasure.ll

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

	%struct..0anon = type { i32 }
	%struct.FILE = type { ptr, i32, i32, i16, i16, %struct.__sbuf, i32, ptr, ptr, ptr, ptr, ptr, %struct.__sbuf, ptr, i32, [3 x i8], [1 x i8], %struct.__sbuf, i32, i64 }
	%struct.__sFILEX = type opaque
	%struct.__sbuf = type { ptr, i32 }
	%struct.rtx_def = type { i16, i8, i8, [1 x %struct..0anon] }
@n_spills = external global i32		; <ptr> [#uses=2]

define i32 @reload(ptr %first, i32 %global, ptr %dumpfile) {
cond_next2835.1:		; preds = %cond_next2861
	%tmp2922 = load i32, ptr @n_spills, align 4		; <i32> [#uses=0]
	br label %bb2928

bb2928:		; preds = %cond_next2835.1, %cond_next2943
	br i1 false, label %cond_next2943, label %cond_true2935

cond_true2935:		; preds = %bb2928
	br label %cond_next2943

cond_next2943:		; preds = %cond_true2935, %bb2928
	br i1 false, label %bb2982.preheader, label %bb2928

bb2982.preheader:		; preds = %cond_next2943
	%tmp298316 = load i32, ptr @n_spills, align 4		; <i32> [#uses=0]
	ret i32 %tmp298316

}

; CHECK: define i32 @reload(ptr %first, i32 %global, ptr %dumpfile) {
; CHECK-NEXT: cond_next2835.1:
; CHECK-NEXT:   br label %bb2928
; CHECK: bb2928:
; CHECK-NEXT:   br i1 false, label %bb2928.cond_next2943_crit_edge, label %cond_true2935
; CHECK: bb2928.cond_next2943_crit_edge:
; CHECK-NEXT:   br label %cond_next2943
; CHECK: cond_true2935:
; CHECK-NEXT:   br label %cond_next2943
; CHECK: cond_next2943:
; CHECK-NEXT:   br i1 false, label %bb2982.preheader, label %bb2928
; CHECK: bb2982.preheader:
; CHECK-NEXT:   %tmp298316 = load i32, ptr @n_spills, align 4
; CHECK-NEXT:   ret i32 %tmp298316
; CHECK-NEXT: }