1; RUN: opt < %s -analyze -scalar-evolution |& \ 2; RUN: grep {(((-1 \\* %i0) + (100005 smax %i0)) /u 5)} 3; XFAIL: * 4 5define i32 @foo0(i32 %i0) nounwind { 6entry: 7 br label %bb1 8 9bb: ; 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 14bb1: ; 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 20return: ; preds = %bb1 21 ret i32 %j.0 22} 23