1; RUN: opt < %s -loop-reduce
2; PR6453
3
4target datalayout = "e-p:64:64:64"
5
6define void @_ZNK15PolynomialSpaceILi3EE13compute_indexEjRA3_j() nounwind {
7entry:
8  br label %bb6
9
10bb6:
11  %t4 = phi i32 [ 0, %entry ], [ %t3, %bb5 ]
12  %t16 = sub i32 undef, %t4
13  %t25 = sub i32 undef, %t4
14  %t26 = add i32 undef, %t25
15  br label %bb4
16
17bb4:
18  %t2 = phi i32 [ %t1, %bb3 ], [ 0, %bb6 ]
19  %t17 = mul i32 %t2, %t16
20  %t18 = zext i32 %t2 to i33
21  %t19 = add i32 %t2, -1
22  %t20 = zext i32 %t19 to i33
23  %t21 = mul i33 %t18, %t20
24  %t22 = lshr i33 %t21, 1
25  %t23 = trunc i33 %t22 to i32
26  %t24 = sub i32 %t17, %t23
27  %t27 = add i32 %t24, %t26
28  br i1 false, label %bb1, label %bb5
29
30bb1:
31  %t = icmp ugt i32 %t27, undef
32  br i1 %t, label %bb2, label %bb3
33
34bb3:
35  %t1 = add i32 %t2, 1
36  br label %bb4
37
38bb5:
39  %t3 = add i32 %t4, 1
40  br label %bb6
41
42bb2:
43  ret void
44}
45