; RUN: llvm-upgrade < %s | llvm-as | opt -instcombine | llvm-dis | \
; RUN:   %prcontext div 1 | grep ret

;; This tests that the instructions in the entry blocks are sunk into each
;; arm of the 'if'.

int %foo(bool %C, int %A, int %B) {
entry:
	%tmp.2 = div int %A, %B
	%tmp.9 = add int %B, %A
	br bool %C, label %then, label %endif

then:
	ret int %tmp.9

endif:
	ret int %tmp.2
}