llvm/test/Analysis/DependenceAnalysis/SimpleSIVNoValidityCheck.ll

   1 ; RUN: opt < %s -disable-output -passes="print<da>"                            \
   2 ; RUN: -da-disable-delinearization-checks 2>&1 | FileCheck %s
   3 ; RUN: opt < %s -disable-output -passes="print<da>"                            \
   4 ; RUN: 2>&1 | FileCheck --check-prefix=LIN %s
   5
   6 ; CHECK-LABEL: t1
   7 ; CHECK: da analyze - none!
   8 ; CHECK: da analyze - consistent anti [1 -2]!
   9 ; CHECK: da analyze - none!
  10
  11 ; LIN-LABEL: t1
  12 ; LIN: da analyze - input [* *]!
  13 ; LIN: da analyze - anti [* *|<]!
  14 ; LIN: da analyze - output [* *]!
  15
  16 ;; void t1(int n, int m, int a[][m]) {
  17 ;;   for (int i = 0; i < n-1; ++i)
  18 ;;     for (int j = 2; j < m; ++j)
  19 ;;       a[i][j] = a[i+1][j-2];
  20 ;; }
  21
  22 define void @t1(i32 signext %n, i32 signext %m, ptr %a) {
  23 entry:
  24   %0 = zext i32 %m to i64
  25   %1 = sext i32 %m to i64
  26   %sub = add nsw i32 %n, -1
  27   %2 = sext i32 %sub to i64
  28   %cmp7 = icmp slt i64 0, %2
  29   br i1 %cmp7, label %for.body, label %for.end14
  30
  31 for.body:                                         ; preds = %entry, %for.inc12
  32   %indvars.iv28 = phi i64 [ %indvars.iv.next3, %for.inc12 ], [ 0, %entry ]
  33   %cmp25 = icmp slt i64 2, %1
  34   br i1 %cmp25, label %for.body4, label %for.inc12
  35
  36 for.body4:                                        ; preds = %for.body, %for.body4
  37   %indvars.iv6 = phi i64 [ %indvars.iv.next, %for.body4 ], [ 2, %for.body ]
  38   %3 = add nuw nsw i64 %indvars.iv28, 1
  39   %4 = mul nuw nsw i64 %3, %0
  40   %arrayidx = getelementptr inbounds i32, ptr %a, i64 %4
  41   %5 = add nsw i64 %indvars.iv6, -2
  42   %arrayidx7 = getelementptr inbounds i32, ptr %arrayidx, i64 %5
  43   %6 = load i32, ptr %arrayidx7, align 4
  44   %7 = mul nuw nsw i64 %indvars.iv28, %0
  45   %arrayidx9 = getelementptr inbounds i32, ptr %a, i64 %7
  46   %arrayidx11 = getelementptr inbounds i32, ptr %arrayidx9, i64 %indvars.iv6
  47   store i32 %6, ptr %arrayidx11, align 4
  48   %indvars.iv.next = add nuw nsw i64 %indvars.iv6, 1
  49   %cmp2 = icmp slt i64 %indvars.iv.next, %1
  50   br i1 %cmp2, label %for.body4, label %for.inc12
  51
  52 for.inc12:                                        ; preds = %for.body4, %for.body
  53   %indvars.iv29 = phi i64 [ %indvars.iv28, %for.body ], [ %indvars.iv28, %for.body4 ]
  54   %indvars.iv.next3 = add nuw nsw i64 %indvars.iv29, 1
  55   %cmp = icmp slt i64 %indvars.iv.next3, %2
  56   br i1 %cmp, label %for.body, label %for.end14
  57
  58 for.end14:                                        ; preds = %entry, %for.inc12
  59   ret void
  60 }
  61
  62 ; CHECK-LABEL: t2
  63 ; CHECK: da analyze - none!
  64 ; CHECK: da analyze - consistent anti [1 -2 0 -3 2]!
  65 ; CHECK: da analyze - none!
  66
  67 ; LIN-LABEL: t2
  68 ; LIN: da analyze - input [* * * * *]!
  69 ; LIN: da analyze - anti [* * * * *|<]!
  70 ; LIN: da analyze - output [* * * * *]!
  71
  72 ;; void t2(int n, int m, int a[][n][n][n][m]) {
  73 ;;   for (int i1 = 0; i1 < n-1; ++i1)
  74 ;;     for (int i2 = 2; i2 < n; ++i2)
  75 ;;       for (int i3 = 0; i3 < n; ++i3)
  76 ;;         for (int i4 = 3; i4 < n; ++i4)
  77 ;;           for (int i5 = 0; i5 < m-2; ++i5)
  78 ;;             a[i1][i2][i3][i4][i5] = a[i1+1][i2-2][i3][i4-3][i5+2];
  79 ;; }
  80
  81 define void @t2(i32 signext %n, i32 signext %m, ptr %a) {
  82 entry:
  83   %0 = zext i32 %n to i64
  84   %1 = zext i32 %n to i64
  85   %2 = zext i32 %n to i64
  86   %3 = zext i32 %m to i64
  87   %4 = sext i32 %n to i64
  88   %sub = add nsw i32 %n, -1
  89   %5 = sext i32 %sub to i64
  90   %cmp26 = icmp slt i64 0, %5
  91   br i1 %cmp26, label %for.body, label %for.end50
  92
  93 for.body:                                         ; preds = %entry, %for.inc48
  94   %indvars.iv1227 = phi i64 [ %indvars.iv.next13, %for.inc48 ], [ 0, %entry ]
  95   %cmp223 = icmp slt i64 2, %4
  96   br i1 %cmp223, label %for.body4, label %for.inc48
  97
  98 for.body4:                                        ; preds = %for.body, %for.inc45
  99   %indvars.iv924 = phi i64 [ %indvars.iv.next10, %for.inc45 ], [ 2, %for.body ]
 100   %wide.trip.count7 = zext i32 %n to i64
 101   %exitcond820 = icmp ne i64 0, %wide.trip.count7
 102   br i1 %exitcond820, label %for.body8, label %for.inc45
 103
 104 for.body8:                                        ; preds = %for.body4, %for.inc42
 105   %indvars.iv521 = phi i64 [ %indvars.iv.next6, %for.inc42 ], [ 0, %for.body4 ]
 106   %wide.trip.count = zext i32 %n to i64
 107   %exitcond17 = icmp ne i64 3, %wide.trip.count
 108   br i1 %exitcond17, label %for.body12, label %for.inc42
 109
 110 for.body12:                                       ; preds = %for.body8, %for.inc39
 111   %indvars.iv218 = phi i64 [ %indvars.iv.next3, %for.inc39 ], [ 3, %for.body8 ]
 112   %sub14 = add nsw i32 %m, -2
 113   %6 = sext i32 %sub14 to i64
 114   %cmp1515 = icmp slt i64 0, %6
 115   br i1 %cmp1515, label %for.body17, label %for.inc39
 116
 117 for.body17:                                       ; preds = %for.body12, %for.body17
 118   %indvars.iv16 = phi i64 [ %indvars.iv.next, %for.body17 ], [ 0, %for.body12 ]
 119   %7 = add nuw nsw i64 %indvars.iv1227, 1
 120   %8 = mul nuw i64 %0, %1
 121   %9 = mul nuw i64 %8, %2
 122   %10 = mul nuw i64 %9, %3
 123   %11 = mul nsw i64 %10, %7
 124   %arrayidx = getelementptr inbounds i32, ptr %a, i64 %11
 125   %12 = add nsw i64 %indvars.iv924, -2
 126   %13 = mul nuw i64 %1, %2
 127   %14 = mul nuw i64 %13, %3
 128   %15 = mul nsw i64 %14, %12
 129   %arrayidx20 = getelementptr inbounds i32, ptr %arrayidx, i64 %15
 130   %16 = mul nuw i64 %2, %3
 131   %17 = mul nsw i64 %16, %indvars.iv521
 132   %arrayidx22 = getelementptr inbounds i32, ptr %arrayidx20, i64 %17
 133   %18 = add nsw i64 %indvars.iv218, -3
 134   %19 = mul nuw nsw i64 %18, %3
 135   %arrayidx25 = getelementptr inbounds i32, ptr %arrayidx22, i64 %19
 136   %20 = add nuw nsw i64 %indvars.iv16, 2
 137   %arrayidx28 = getelementptr inbounds i32, ptr %arrayidx25, i64 %20
 138   %21 = load i32, ptr %arrayidx28, align 4
 139   %22 = mul nuw i64 %0, %1
 140   %23 = mul nuw i64 %22, %2
 141   %24 = mul nuw i64 %23, %3
 142   %25 = mul nsw i64 %24, %indvars.iv1227
 143   %arrayidx30 = getelementptr inbounds i32, ptr %a, i64 %25
 144   %26 = mul nuw i64 %1, %2
 145   %27 = mul nuw i64 %26, %3
 146   %28 = mul nsw i64 %27, %indvars.iv924
 147   %arrayidx32 = getelementptr inbounds i32, ptr %arrayidx30, i64 %28
 148   %29 = mul nuw i64 %2, %3
 149   %30 = mul nsw i64 %29, %indvars.iv521
 150   %arrayidx34 = getelementptr inbounds i32, ptr %arrayidx32, i64 %30
 151   %31 = mul nuw nsw i64 %indvars.iv218, %3
 152   %arrayidx36 = getelementptr inbounds i32, ptr %arrayidx34, i64 %31
 153   %arrayidx38 = getelementptr inbounds i32, ptr %arrayidx36, i64 %indvars.iv16
 154   store i32 %21, ptr %arrayidx38, align 4
 155   %indvars.iv.next = add nuw nsw i64 %indvars.iv16, 1
 156   %cmp15 = icmp slt i64 %indvars.iv.next, %6
 157   br i1 %cmp15, label %for.body17, label %for.inc39
 158
 159 for.inc39:                                        ; preds = %for.body17, %for.body12
 160   %indvars.iv219 = phi i64 [ %indvars.iv218, %for.body12 ], [ %indvars.iv218, %for.body17 ]
 161   %indvars.iv.next3 = add nuw nsw i64 %indvars.iv219, 1
 162   %exitcond = icmp ne i64 %indvars.iv.next3, %wide.trip.count
 163   br i1 %exitcond, label %for.body12, label %for.inc42
 164
 165 for.inc42:                                        ; preds = %for.inc39, %for.body8
 166   %indvars.iv522 = phi i64 [ %indvars.iv521, %for.body8 ], [ %indvars.iv521, %for.inc39 ]
 167   %indvars.iv.next6 = add nuw nsw i64 %indvars.iv522, 1
 168   %exitcond8 = icmp ne i64 %indvars.iv.next6, %wide.trip.count7
 169   br i1 %exitcond8, label %for.body8, label %for.inc45
 170
 171 for.inc45:                                        ; preds = %for.inc42, %for.body4
 172   %indvars.iv925 = phi i64 [ %indvars.iv924, %for.body4 ], [ %indvars.iv924, %for.inc42 ]
 173   %indvars.iv.next10 = add nuw nsw i64 %indvars.iv925, 1
 174   %cmp2 = icmp slt i64 %indvars.iv.next10, %4
 175   br i1 %cmp2, label %for.body4, label %for.inc48
 176
 177 for.inc48:                                        ; preds = %for.inc45, %for.body
 178   %indvars.iv1228 = phi i64 [ %indvars.iv1227, %for.body ], [ %indvars.iv1227, %for.inc45 ]
 179   %indvars.iv.next13 = add nuw nsw i64 %indvars.iv1228, 1
 180   %cmp = icmp slt i64 %indvars.iv.next13, %5
 181   br i1 %cmp, label %for.body, label %for.end50
 182
 183 for.end50:                                        ; preds = %entry, %for.inc48
 184   ret void
 185 }
 186
 187
 188 ; CHECK-LABEL: t3
 189 ; CHECK: da analyze - none!
 190 ; CHECK: da analyze - consistent anti [1 -2]!
 191 ; CHECK: da analyze - none!
 192
 193 ; LIN-LABEL: t3
 194 ; LIN: da analyze - input [* *]!
 195 ; LIN: da analyze - anti [* *|<]!
 196 ; LIN: da analyze - output [* *]!
 197
 198 ;; // No sign or zero extension, but with compile-time unknown loop lower bound.
 199 ;; void t3(unsigned long long n, unsigned long long m, unsigned long long lb, float a[][m]) {
 200 ;;   for (unsigned long long i = 0; i < n-1; ++i)
 201 ;;     for (unsigned long long j = lb; j < m; ++j)
 202 ;;       a[i][j] = a[i+1][j-2];
 203 ;; }
 204
 205 define void @t3(i64 %n, i64 %m, i64 %lb, ptr %a) {
 206 entry:
 207   %0 = add i64 %n, -1
 208   %exitcond3 = icmp ne i64 0, %0
 209   br i1 %exitcond3, label %for.body.preheader, label %for.end11
 210
 211 for.body.preheader:                               ; preds = %entry
 212   br label %for.body
 213
 214 for.body:                                         ; preds = %for.body.preheader, %for.inc9
 215   %i.04 = phi i64 [ %inc10, %for.inc9 ], [ 0, %for.body.preheader ]
 216   %cmp21 = icmp ult i64 %lb, %m
 217   br i1 %cmp21, label %for.body4.preheader, label %for.inc9
 218
 219 for.body4.preheader:                              ; preds = %for.body
 220   br label %for.body4
 221
 222 for.body4:                                        ; preds = %for.body4.preheader, %for.body4
 223   %j.02 = phi i64 [ %inc, %for.body4 ], [ %lb, %for.body4.preheader ]
 224   %add = add i64 %i.04, 1
 225   %1 = mul nsw i64 %add, %m
 226   %arrayidx = getelementptr inbounds float, ptr %a, i64 %1
 227   %sub5 = add i64 %j.02, -2
 228   %arrayidx6 = getelementptr inbounds float, ptr %arrayidx, i64 %sub5
 229   %2 = load i32, ptr %arrayidx6, align 4
 230   %3 = mul nsw i64 %i.04, %m
 231   %arrayidx7 = getelementptr inbounds float, ptr %a, i64 %3
 232   %arrayidx8 = getelementptr inbounds float, ptr %arrayidx7, i64 %j.02
 233   store i32 %2, ptr %arrayidx8, align 4
 234   %inc = add i64 %j.02, 1
 235   %cmp2 = icmp ult i64 %inc, %m
 236   br i1 %cmp2, label %for.body4, label %for.inc9.loopexit
 237
 238 for.inc9.loopexit:                                ; preds = %for.body4
 239   br label %for.inc9
 240
 241 for.inc9:                                         ; preds = %for.inc9.loopexit, %for.body
 242   %inc10 = add i64 %i.04, 1
 243   %exitcond = icmp ne i64 %inc10, %0
 244   br i1 %exitcond, label %for.body, label %for.end11.loopexit
 245
 246 for.end11.loopexit:                               ; preds = %for.inc9
 247   br label %for.end11
 248
 249 for.end11:                                        ; preds = %for.end11.loopexit, %entry
 250   ret void
 251 }
 252