test/Analysis/LoopDependenceAnalysis/ziv.ll

   1 ; RUN: opt < %s -disable-output -analyze -lda | FileCheck %s
   2
   3 @x = common global [256 x i32] zeroinitializer, align 4
   4
   5 ;; x[5] = x[6]
   6
   7 define void @f1(...) nounwind {
   8 entry:
   9   br label %for.body
  10
  11 for.body:
  12   %i = phi i64 [ 0, %entry ], [ %i.next, %for.body ]
  13   %x = load i32* getelementptr ([256 x i32]* @x, i32 0, i64 6)
  14   store i32 %x, i32* getelementptr ([256 x i32]* @x, i32 0, i64 5)
  15 ; CHECK: 0,1: ind
  16   %i.next = add i64 %i, 1
  17   %exitcond = icmp eq i64 %i.next, 256
  18   br i1 %exitcond, label %for.end, label %for.body
  19
  20 for.end:
  21   ret void
  22 }
  23
  24 ;; x[c] = x[c+1] // with c being a loop-invariant constant
  25
  26 define void @f2(i64 %c0) nounwind {
  27 entry:
  28   %c1 = add i64 %c0, 1
  29   %x.ld.addr = getelementptr [256 x i32]* @x, i64 0, i64 %c0
  30   %x.st.addr = getelementptr [256 x i32]* @x, i64 0, i64 %c1
  31   br label %for.body
  32
  33 for.body:
  34   %i = phi i64 [ 0, %entry ], [ %i.next, %for.body ]
  35   %x = load i32* %x.ld.addr
  36   store i32 %x, i32* %x.st.addr
  37 ; CHECK: 0,1: ind
  38   %i.next = add i64 %i, 1
  39   %exitcond = icmp eq i64 %i.next, 256
  40   br i1 %exitcond, label %for.end, label %for.body
  41
  42 for.end:
  43   ret void
  44 }
  45
  46 ;; x[6] = x[6]
  47
  48 define void @f3(...) nounwind {
  49 entry:
  50   br label %for.body
  51
  52 for.body:
  53   %i = phi i64 [ 0, %entry ], [ %i.next, %for.body ]
  54   %x = load i32* getelementptr ([256 x i32]* @x, i32 0, i64 6)
  55   store i32 %x, i32* getelementptr ([256 x i32]* @x, i32 0, i64 6)
  56 ; CHECK: 0,1: dep
  57   %i.next = add i64 %i, 1
  58   %exitcond = icmp eq i64 %i.next, 256
  59   br i1 %exitcond, label %for.end, label %for.body
  60
  61 for.end:
  62   ret void
  63 }