llvm/test/Analysis/DependenceAnalysis/PR21585.ll

   1 ; RUN: opt < %s -disable-output "-passes=print<da>"                            \
   2 ; RUN: "-aa-pipeline=basic-aa,globals-aa" 2>&1 | FileCheck %s
   3 define void @i32_subscript(ptr %a) {
   4 entry:
   5   br label %for.body
   6
   7 for.body:
   8   %i = phi i32 [ 0, %entry ], [ %i.inc, %for.body ]
   9   %a.addr = getelementptr i32, ptr %a, i32 %i
  10   %a.addr.2 = getelementptr i32, ptr %a, i32 5
  11   %0 = load i32, ptr %a.addr, align 4
  12   %1 = add i32 %0, 1
  13   store i32 %1, ptr %a.addr.2, align 4
  14   %i.inc = add nsw i32 %i, 1
  15   %i.inc.ext = sext i32 %i to i64
  16   %exitcond = icmp ne i64 %i.inc.ext, 100
  17   br i1 %exitcond, label %for.body, label %for.end
  18
  19 for.end:
  20   ret void
  21 }
  22 ; CHECK: none
  23 ; CHECK: anti
  24 ; CHECK: output
  25
  26
  27 ; Test for a bug, which caused an assert in ScalarEvolution because
  28 ; the Dependence Analyzer attempted to zero extend a type to a smaller
  29 ; type.
  30
  31 ; void t(unsigned int *a, unsigned int n) {
  32 ;   for (unsigned int i = 0; i != n; i++) {
  33 ;     a[(unsigned short)i] = g;
  34 ;  }}
  35
  36 @g = common global i32 0, align 4
  37
  38 define void @t(ptr noalias %a, i32 %n) nounwind {
  39 entry:
  40   %cmp1 = icmp eq i32 %n, 0
  41   br i1 %cmp1, label %for.end, label %for.body
  42
  43 for.body:
  44   %i.02 = phi i32 [ %inc, %for.body ], [ 0, %entry ]
  45   %0 = load i32, ptr @g, align 4
  46   %idxprom = and i32 %i.02, 65535
  47   %arrayidx = getelementptr inbounds i32, ptr %a, i32 %idxprom
  48   store i32 %0, ptr %arrayidx, align 4
  49   %inc = add i32 %i.02, 1
  50   %cmp = icmp eq i32 %inc, %n
  51   br i1 %cmp, label %for.end, label %for.body
  52
  53 for.end:
  54   ret void
  55 }
  56 ; CHECK: input
  57 ; CHECK: none
  58 ; CHECK: output
  59
  60 define void @i16_wrap(ptr %a) {
  61 entry:
  62   br label %for.body
  63 for.body:
  64   %i = phi i64 [0, %entry], [%i.inc, %for.inc]
  65   %i.tr = trunc i64 %i to i16
  66   %idx = getelementptr i64, ptr %a, i16 %i.tr
  67   %0 = load i64, ptr %idx
  68   %1 = add i64 %0, 1
  69 store i64 %1, ptr %idx
  70   br label %for.inc
  71
  72 for.inc:
  73   %i.inc = add nuw i64 %i, 1
  74   %cmp = icmp ult i64 %i.inc, 17179869184
  75   br i1 %cmp, label %for.body, label %for.end
  76 for.end:
  77   ret void
  78 }
  79 ; CHECK: input
  80 ; CHECK: anti
  81 ; CHECK: output
  82
  83 define void @i8_stride_wrap(ptr noalias %a, ptr noalias %b) {
  84 entry:
  85   br label %for.body
  86 for.body:
  87   %i = phi i32 [1,%entry], [%i.inc, %for.inc]
  88   %i.tr = trunc i32 %i to i8
  89   %idx = getelementptr i32, ptr %a, i8 %i.tr
  90   %idx.2 = getelementptr i32, ptr %b, i32 %i
  91   %0 = load i32, ptr %idx, align 4
  92   %1 = add i32 %0, 1
  93   store i32 %1, ptr %idx.2, align 4
  94   br label %for.inc
  95
  96 for.inc:
  97   %i.inc = add nsw i32 %i, 256
  98   %exitcond = icmp ult i32 %i, 65536
  99   br i1 %exitcond, label %for.body, label %for.end
 100
 101 for.end:
 102   ret void
 103 }
 104 ; CHECK: input
 105 ; CHECK: none
 106 ; CHECK: none