| ; This test checks to make sure phi nodes are updated properly | |
| ; | |
| ; RUN: opt < %s -tailduplicate -disable-output | |
| define i32 @test(i1 %c, i32 %X, i32 %Y) { | |
| br label %L | |
| L: ; preds = %F, %0 | |
| %A = add i32 %X, %Y ; <i32> [#uses=1] | |
| br i1 %c, label %T, label %F | |
| F: ; preds = %L | |
| br i1 %c, label %L, label %T | |
| T: ; preds = %F, %L | |
| %V = phi i32 [ %A, %L ], [ 0, %F ] ; <i32> [#uses=1] | |
| ret i32 %V | |
| } | |