2009-09-12 02:01:28 +08:00
|
|
|
; RUN: opt < %s -simplifycfg -disable-output
|
2008-09-18 02:21:49 +08:00
|
|
|
; 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()
|