; 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 | |
} | |