llvm/test/Transforms/SimplifyCFG/2006-10-19-UncondDiv.ll

; PR957
; RUN: opt < %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S | FileCheck %s

; CHECK-NOT: select

@G = extern_weak global i32

define i32 @test(i32 %tmp) {
cond_false179:
	%tmp181 = icmp eq i32 %tmp, 0		; <i1> [#uses=1]
	br i1 %tmp181, label %cond_true182, label %cond_next185
cond_true182:		; preds = %cond_false179
	br label %cond_next185
cond_next185:		; preds = %cond_true182, %cond_false179
	%d0.3 = phi i32 [ udiv (i32 1, i32 ptrtoint (i32* @G to i32)), %cond_true182 ], [ %tmp, %cond_false179 ]		; <i32> [#uses=1]
	ret i32 %d0.3
}

define i32 @test2(i32 %tmp) {
cond_false179:
	%tmp181 = icmp eq i32 %tmp, 0		; <i1> [#uses=1]
	br i1 %tmp181, label %cond_true182, label %cond_next185
cond_true182:		; preds = %cond_false179
	br label %cond_next185
cond_next185:		; preds = %cond_true182, %cond_false179
	%d0.3 = phi i32 [ udiv (i32 1, i32 ptrtoint (i32* @G to i32)), %cond_true182 ], [ %tmp, %cond_false179 ]		; <i32> [#uses=1]
	call i32 @test( i32 4 )		; <i32>:0 [#uses=0]
	ret i32 %d0.3
}