| ; RUN: opt < %s -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() |