| ; RUN: opt < %s -scalar-evolution -analyze | FileCheck %s | |
| define void @foo([7 x i8]* %a) { | |
| ; CHECK-LABEL: @foo | |
| entry: | |
| br label %bb | |
| bb: | |
| %idx = phi i64 [ 0, %entry ], [ %idx.incr, %bb ] | |
| %i = udiv i64 %idx, 7 | |
| %j = urem i64 %idx, 7 | |
| %a.ptr = getelementptr [7 x i8], [7 x i8]* %a, i64 %i, i64 %j | |
| ; CHECK: %a.ptr = getelementptr [7 x i8], [7 x i8]* %a, i64 %i, i64 %j | |
| ; CHECK-NEXT: --> {%a,+,1}<nw><%bb> | |
| %val = load i8, i8* %a.ptr | |
| %idx.incr = add i64 %idx, 1 | |
| %test = icmp ne i64 %idx.incr, 35 | |
| br i1 %test, label %bb, label %exit | |
| exit: | |
| ret void | |
| } |