1 ; RUN: opt < %s -analyze -scalar-evolution |& \ 2 ; RUN: grep {(((-1 \\* %i0) + (100005 smax %i0)) /u 5)} 3 ; XFAIL: * 4 5 define i32 @foo0(i32 %i0) nounwind { 6 entry: 7 br label %bb1 8 9 bb: ; preds = %bb1 10 %0 = add i32 %j.0, 1 ; <i32> [#uses=1] 11 %1 = add i32 %i.0, 5 ; <i32> [#uses=1] 12 br label %bb1 13 14 bb1: ; preds = %bb, %entry 15 %j.0 = phi i32 [ 0, %entry ], [ %0, %bb ] ; <i32> [#uses=2] 16 %i.0 = phi i32 [ %i0, %entry ], [ %1, %bb ] ; <i32> [#uses=2] 17 %2 = icmp sgt i32 %i.0, 100000 ; <i1> [#uses=1] 18 br i1 %2, label %return, label %bb 19 20 return: ; preds = %bb1 21 ret i32 %j.0 22 } 23
