1; RUN: opt < %s -scalar-evolution -analyze | FileCheck %s
2
3define void @foo([7 x i8]* %a) {
4; CHECK-LABEL: @foo
5entry:
6	br label %bb
7
8bb:
9	%idx = phi i64 [ 0, %entry ], [ %idx.incr, %bb ]
10	%i = udiv i64 %idx, 7
11	%j = urem i64 %idx, 7
12	%a.ptr = getelementptr [7 x i8], [7 x i8]* %a, i64 %i, i64 %j
13; CHECK: %a.ptr = getelementptr [7 x i8], [7 x i8]* %a, i64 %i, i64 %j
14; CHECK-NEXT: -->  {%a,+,1}<nw><%bb>
15	%val = load i8, i8* %a.ptr
16	%idx.incr = add i64 %idx, 1
17	%test = icmp ne i64 %idx.incr, 35
18	br i1 %test, label %bb, label %exit
19
20exit:
21	ret void
22}
23