; It is illegal to remove BB1 because it will mess up the PHI node!
;
; RUN: llvm-as < %s | opt -adce | llvm-dis | grep BB1


int "test"(bool %C, int %A, int %B) {
	br bool %C, label %BB1, label %BB2
BB1:
	br label %BB2
BB2:
	%R = phi int [%A, %0], [%B, %BB1]
	ret int %R
}