1; RUN: opt < %s -analyze -enable-new-pm=0 -scalar-evolution | FileCheck %s
2; RUN: opt < %s -disable-output "-passes=print<scalar-evolution>" 2>&1 | FileCheck %s
3; PR1614
4
5; CHECK: smax
6
7define i32 @f(i32 %x, i32 %y) {
8entry:
9	br label %bb
10
11bb:		; preds = %bb, %entry
12	%indvar = phi i32 [ 0, %entry ], [ %indvar.next, %bb ]		; <i32> [#uses=2]
13	%x_addr.0 = add i32 %indvar, %x		; <i32> [#uses=1]
14	%tmp2 = add i32 %x_addr.0, 1		; <i32> [#uses=2]
15	%tmp5 = icmp slt i32 %tmp2, %y		; <i1> [#uses=1]
16	%indvar.next = add i32 %indvar, 1		; <i32> [#uses=1]
17	br i1 %tmp5, label %bb, label %bb7
18
19bb7:		; preds = %bb
20	ret i32 %tmp2
21}
22