1 ; RUN: opt < %s -scalar-evolution -analyze | FileCheck %s
3 define void @foo([7 x i8]* %a) {
9 %idx = phi i64 [ 0, %entry ], [ %idx.incr, %bb ]
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