llvm/test/Analysis/DependenceAnalysis/lcssa.ll

   1 ; RUN: opt < %s -disable-output "-passes=print<da>"                            \
   2 ; RUN: "-aa-pipeline=basic-aa,tbaa" 2>&1 | FileCheck %s
   3
   4 ; CHECK:      Src:  %v = load i32, i32* %arrayidx1, align 4 --> Dst:  store i32 %add, i32* %a.lcssa, align 4
   5 ; CHECK-NEXT: da analyze - confused!
   6
   7 define void @f(i32 *%a, i32 %n, i64 %n2) {
   8 entry:
   9   br label %while.body
  10
  11 while.body:
  12   %n.addr = phi i32 [ %mul, %while.body ], [ %n, %entry ]
  13   %inc.phi = phi i32 [ %inc, %while.body ], [ 0, %entry ]
  14   %mul = mul i32 %n.addr, 3
  15   %div = udiv i32 %mul, 2
  16   %inc = add i32 %inc.phi, 1
  17   %incdec.ptr = getelementptr inbounds i32, i32* %a, i32 %inc
  18   %cmp.not = icmp eq i32 %div, 1
  19   br i1 %cmp.not, label %while.end, label %while.body
  20
  21 while.end:
  22   %a.lcssa = phi i32* [ %incdec.ptr, %while.body ]
  23   br label %for.body
  24
  25 for.body:
  26   %indvars.iv = phi i64 [ 1, %while.end ], [ %indvars.iv.next, %for.body ]
  27   %arrayidx1 = getelementptr inbounds i32, i32* %a, i64 %indvars.iv
  28   %v = load i32, i32* %arrayidx1, align 4
  29   %add = add nsw i32 %v, 1
  30   store i32 %add, i32* %a.lcssa, align 4
  31   %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  32   %exitcond.not = icmp eq i64 %indvars.iv.next, %n2
  33   br i1 %exitcond.not, label %ret, label %for.body
  34
  35 ret:
  36   ret void
  37 }