2003-06-22 20:32:35 +00:00
|
|
|
; This test checks to make sure phi nodes are updated properly
|
|
|
|
;
|
2009-09-11 18:01:28 +00:00
|
|
|
; RUN: opt < %s -tailduplicate -disable-output
|
2003-06-22 20:32:35 +00:00
|
|
|
|
2008-03-10 07:21:50 +00:00
|
|
|
define i32 @test(i1 %c, i32 %X, i32 %Y) {
|
2003-06-22 20:32:35 +00:00
|
|
|
br label %L
|
2008-03-10 07:21:50 +00:00
|
|
|
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
|
2003-06-22 20:32:35 +00:00
|
|
|
}
|
2008-03-10 07:21:50 +00:00
|
|
|
|