2010-01-26 19:25:59 +00:00
|
|
|
; RUN: opt < %s -analyze -scalar-evolution
|
2008-11-03 02:43:49 +00:00
|
|
|
; PR1827
|
|
|
|
|
|
|
|
|
|
declare void @use(i32)
|
|
|
|
|
|
|
|
|
|
define void @foo() {
|
|
|
|
|
entry:
|
|
|
|
|
br label %loop_1
|
|
|
|
|
|
|
|
|
|
loop_1: ; preds = %loop_1, %entry
|
|
|
|
|
%a = phi i32 [ 2, %entry ], [ %b, %loop_1 ] ; <i32> [#uses=2]
|
|
|
|
|
%c = phi i32 [ 5, %entry ], [ %d, %loop_1 ] ; <i32> [#uses=1]
|
|
|
|
|
%b = add i32 %a, 1 ; <i32> [#uses=1]
|
|
|
|
|
%d = add i32 %c, %a ; <i32> [#uses=3]
|
|
|
|
|
%A = icmp ult i32 %d, 50 ; <i1> [#uses=1]
|
|
|
|
|
br i1 %A, label %loop_1, label %endloop
|
|
|
|
|
|
|
|
|
|
endloop: ; preds = %loop_1
|
|
|
|
|
call void @use(i32 %d)
|
|
|
|
|
ret void
|
|
|
|
|
}
|
