Home | History | Annotate | Download | only in LoopStrengthReduce
      1 ; RUN: opt < %s -loop-reduce
      2 ; PR6453
      3 
      4 target datalayout = "e-p:64:64:64"
      5 
      6 define void @_ZNK15PolynomialSpaceILi3EE13compute_indexEjRA3_j() nounwind {
      7 entry:
      8   br label %bb6
      9 
     10 bb6:
     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 
     17 bb4:
     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 
     30 bb1:
     31   %t = icmp ugt i32 %t27, undef
     32   br i1 %t, label %bb2, label %bb3
     33 
     34 bb3:
     35   %t1 = add i32 %t2, 1
     36   br label %bb4
     37 
     38 bb5:
     39   %t3 = add i32 %t4, 1
     40   br label %bb6
     41 
     42 bb2:
     43   ret void
     44 }
     45