llvm/test/Analysis/LoopAccessAnalysis/independent-interleaved.ll

   1 ; RUN: opt -passes='print<access-info>' -store-to-load-forwarding-conflict-detection=false  -disable-output  < %s 2>&1 | FileCheck %s
   2
   3 ; This test checks that we prove the strided accesses to be independent before
   4 ; concluding that there is a forward dependence.
   5
   6 ; struct pair {
   7 ;   int x;
   8 ;   int y;
   9 ; };
  10 ;
  11 ; int independent_interleaved(struct pair *p, int z, int n) {
  12 ;   int s = 0;
  13 ;   for (int i = 0; i < n; i++) {
  14 ;     p[i].y = z;
  15 ;     s += p[i].x;
  16 ;   }
  17 ;   return s;
  18 ; }
  19
  20 ; CHECK:     for.body:
  21 ; CHECK-NOT:     Forward:
  22 ; CHECK-NOT:         store i32 %z, ptr %p_i.y, align 8 ->
  23 ; CHECK-NOT:         %0 = load i32, ptr %p_i.x, align 8
  24
  25 %pair = type { i32, i32 }
  26 define i32 @independent_interleaved(ptr %p, i64 %n, i32 %z) {
  27 entry:
  28   br label %for.body
  29
  30 for.body:
  31   %i = phi i64 [ %i.next, %for.body ], [ 0, %entry ]
  32   %s = phi i32 [ %1, %for.body ], [ 0, %entry ]
  33   %p_i.x = getelementptr inbounds %pair, ptr %p, i64 %i, i32 0
  34   %p_i.y = getelementptr inbounds %pair, ptr %p, i64 %i, i32 1
  35   store i32 %z, ptr %p_i.y, align 8
  36   %0 = load i32, ptr %p_i.x, align 8
  37   %1 = add nsw i32 %0, %s
  38   %i.next = add nuw nsw i64 %i, 1
  39   %cond = icmp slt i64 %i.next, %n
  40   br i1 %cond, label %for.body, label %for.end
  41
  42 for.end:
  43   %2 = phi i32 [ %1, %for.body ]
  44   ret i32 %2
  45 }