; RUN: opt < %s -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -disable-output
; PR 2800
define void @foo() {
start:
%tmp = call i1 @bar( ) ; <i1> [#uses=4]
br i1 %tmp, label %brtrue, label %brfalse
brtrue: ; preds = %start
%tmpnew = and i1 %tmp, %tmp ; <i1> [#uses=1]
br label %brfalse
brfalse: ; preds = %brtrue, %start
%andandtmp.0 = phi i1 [ %tmp, %start ], [ %tmpnew, %brtrue ] ; <i1> [#uses=0]
ret void
}
declare i1 @bar()