llvm/test/Analysis/DependenceAnalysis/ZIV.ll

   1 ; RUN: opt < %s -disable-output "-passes=print<da>" -aa-pipeline=basic-aa 2>&1 \
   2 ; RUN: | FileCheck %s
   3
   4 ; ModuleID = 'ZIV.bc'
   5 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
   6 target triple = "x86_64-apple-macosx10.6.0"
   7
   8
   9 ;;  A[n + 1] = 0;
  10 ;;  *B = A[1 + n];
  11
  12 define void @z0(ptr %A, ptr %B, i64 %n) nounwind uwtable ssp {
  13 entry:
  14   %add = add i64 %n, 1
  15   %arrayidx = getelementptr inbounds i32, ptr %A, i64 %add
  16   store i32 0, ptr %arrayidx, align 4
  17
  18 ; CHECK: da analyze - none!
  19 ; CHECK: da analyze - consistent flow [|<]!
  20 ; CHECK: da analyze - confused!
  21 ; CHECK: da analyze - none!
  22 ; CHECK: da analyze - confused!
  23 ; CHECK: da analyze - none!
  24
  25   %add1 = add i64 %n, 1
  26   %arrayidx2 = getelementptr inbounds i32, ptr %A, i64 %add1
  27   %0 = load i32, ptr %arrayidx2, align 4
  28   store i32 %0, ptr %B, align 4
  29   ret void
  30 }
  31
  32
  33 ;;  A[n] = 0;
  34 ;;  *B = A[n + 1];
  35
  36 define void @z1(ptr %A, ptr %B, i64 %n) nounwind uwtable ssp {
  37 entry:
  38   %arrayidx = getelementptr inbounds i32, ptr %A, i64 %n
  39   store i32 0, ptr %arrayidx, align 4
  40
  41 ; CHECK: da analyze - none!
  42 ; CHECK: da analyze - none!
  43 ; CHECK: da analyze - confused!
  44 ; CHECK: da analyze - none!
  45 ; CHECK: da analyze - confused!
  46 ; CHECK: da analyze - none!
  47
  48   %add = add i64 %n, 1
  49   %arrayidx1 = getelementptr inbounds i32, ptr %A, i64 %add
  50   %0 = load i32, ptr %arrayidx1, align 4
  51   store i32 %0, ptr %B, align 4
  52   ret void
  53 }
  54
  55
  56 ;;  A[n] = 0;
  57 ;;  *B = A[m];
  58
  59 define void @z2(ptr %A, ptr %B, i64 %n, i64 %m) nounwind uwtable ssp {
  60 entry:
  61   %arrayidx = getelementptr inbounds i32, ptr %A, i64 %n
  62   store i32 0, ptr %arrayidx, align 4
  63
  64 ; CHECK: da analyze - none!
  65 ; CHECK: da analyze - flow [|<]!
  66 ; CHECK: da analyze - confused!
  67 ; CHECK: da analyze - none!
  68 ; CHECK: da analyze - confused!
  69 ; CHECK: da analyze - none!
  70
  71   %arrayidx1 = getelementptr inbounds i32, ptr %A, i64 %m
  72   %0 = load i32, ptr %arrayidx1, align 4
  73   store i32 %0, ptr %B, align 4
  74   ret void
  75 }