1; RUN: opt < %s -analyze -scalar-evolution | FileCheck %s
2
3; CHECK: @f
4; CHECK: Loop %bb16.preheader: backedge-taken count is (-1 + %c.idx.val)
5
6define i32 @f(i32 %c.idx.val) {
7
8bb2:
9	%k.018 = add i32 %c.idx.val, -1		; <i32> [#uses=2]
10	%a14 = icmp slt i32 %k.018, 0		; <i1> [#uses=1]
11	br i1 %a14, label %bb19, label %bb16.preheader
12
13bb16.preheader:
14	%k.019 = phi i32 [ %k.0, %bb18 ], [ %k.018, %bb2 ]		; <i32> [#uses=5]
15	%x = phi i32 [ 0, %bb2 ], [ %x.1, %bb18]
16	br label %bb18
17
18bb18:		; preds = %bb18.loopexit
19	%x.1 = add i32 %x, 1
20	%k.0 = add i32 %k.019, -1		; <i32> [#uses=2]
21	%a107 = icmp slt i32 %k.0, 0		; <i1> [#uses=1]
22	br i1 %a107, label %bb18.bb19_crit_edge, label %bb16.preheader
23
24bb18.bb19_crit_edge:
25	ret i32 %x
26
27bb19:
28	ret i32 0
29
30}
31