blob: c0f6781293db5d14b4a6a7ba0e72c7aacee752f1 [file] [log] [blame]
Chris Lattner9a8e2f22009-09-11 17:02:12 +00001; RUN: opt < %s -simplifycfg -S | not grep br
Dan Gohmanf17a25c2007-07-18 16:29:46 +00002
Tanya Lattnerb46665e2008-03-18 03:45:45 +00003define i32 @test(i1 %C, i32 %V1, i32 %V2) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +00004entry:
Tanya Lattnerb46665e2008-03-18 03:45:45 +00005 br i1 %C, label %then, label %Cont
6then: ; preds = %entry
7 %V3 = or i32 %V2, %V1 ; <i32> [#uses=1]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00008 br label %Cont
Tanya Lattnerb46665e2008-03-18 03:45:45 +00009Cont: ; preds = %then, %entry
10 %V4 = phi i32 [ %V1, %entry ], [ %V3, %then ] ; <i32> [#uses=0]
11 call i32 @test( i1 false, i32 0, i32 0 ) ; <i32>:0 [#uses=0]
12 ret i32 %V1
Dan Gohmanf17a25c2007-07-18 16:29:46 +000013}
14