llvm/test/Analysis/ScalarEvolution/flattened-0.ll

   1 ; RUN: opt < %s "-passes=print<scalar-evolution>" -disable-output 2>&1 | FileCheck %s
   2
   3 define void @foo(ptr %a) {
   4 ; CHECK-LABEL: @foo
   5 entry:
   6         br label %bb
   7
   8 bb:
   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], ptr %a, i64 %i, i64 %j
  13 ; CHECK: %a.ptr = getelementptr [7 x i8], ptr %a, i64 %i, i64 %j
  14 ; CHECK-NEXT: -->  {%a,+,1}<nw><%bb>
  15         %val = load i8, ptr %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
  20 exit:
  21         ret void
  22 }