1; PR726
2; RUN: opt < %s -indvars -S | \
3; RUN:   grep "ret i32 27"
4
5; Make sure to compute the right exit value based on negative strides.
6
7define i32 @test() {
8entry:
9        br label %cond_true
10
11cond_true:              ; preds = %cond_true, %entry
12        %a.0.0 = phi i32 [ 10, %entry ], [ %tmp4, %cond_true ]          ; <i32> [#uses=2]
13        %b.0.0 = phi i32 [ 0, %entry ], [ %tmp2, %cond_true ]           ; <i32> [#uses=1]
14        %tmp2 = add i32 %b.0.0, %a.0.0          ; <i32> [#uses=2]
15        %tmp4 = add i32 %a.0.0, -1              ; <i32> [#uses=2]
16        %tmp = icmp sgt i32 %tmp4, 7            ; <i1> [#uses=1]
17        br i1 %tmp, label %cond_true, label %bb7
18
19bb7:            ; preds = %cond_true
20        ret i32 %tmp2
21}
22
23