llvm/test/Analysis/DependenceAnalysis/SimpleSIVNoValidityCheckFixedSize.ll

   1 ; RUN: opt < %s -disable-output -passes="print<da>" 2>&1 | FileCheck %s
   2 ; RUN: opt < %s -da -analyze -enable-new-pm=0 | FileCheck %s
   3
   4 ; Note: exact results can be achived even if
   5 ; "-da-disable-delinearization-checks" is not used
   6
   7 ; CHECK-LABEL: t1
   8 ; CHECK: da analyze - none!
   9 ; CHECK: da analyze - consistent anti [1 -2]!
  10 ; CHECK: da analyze - none!
  11
  12 ;; #define N 1024
  13 ;; #define M 2048
  14 ;; void t1(int a[N][M]) {
  15 ;;   for (int i = 0; i < N-1; ++i)
  16 ;;     for (int j = 2; j < M; ++j)
  17 ;;       a[i][j] = a[i+1][j-2];
  18 ;; }
  19
  20 define void @t1([2048 x i32]* %a) {
  21 entry:
  22   br label %for.body
  23
  24 for.body:                                         ; preds = %entry, %for.inc11
  25   %indvars.iv4 = phi i64 [ 0, %entry ], [ %indvars.iv.next5, %for.inc11 ]
  26   br label %for.body4
  27
  28 for.body4:                                        ; preds = %for.body, %for.body4
  29   %indvars.iv = phi i64 [ 2, %for.body ], [ %indvars.iv.next, %for.body4 ]
  30   %0 = add nuw nsw i64 %indvars.iv4, 1
  31   %1 = add nsw i64 %indvars.iv, -2
  32   %arrayidx6 = getelementptr inbounds [2048 x i32], [2048 x i32]* %a, i64 %0, i64 %1
  33   %2 = load i32, i32* %arrayidx6, align 4
  34   %arrayidx10 = getelementptr inbounds [2048 x i32], [2048 x i32]* %a, i64 %indvars.iv4, i64 %indvars.iv
  35   store i32 %2, i32* %arrayidx10, align 4
  36   %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  37   %exitcond = icmp ne i64 %indvars.iv.next, 2048
  38   br i1 %exitcond, label %for.body4, label %for.inc11
  39
  40 for.inc11:                                        ; preds = %for.body4
  41   %indvars.iv.next5 = add nuw nsw i64 %indvars.iv4, 1
  42   %exitcond7 = icmp ne i64 %indvars.iv.next5, 1023
  43   br i1 %exitcond7, label %for.body, label %for.end13
  44
  45 for.end13:                                        ; preds = %for.inc11
  46   ret void
  47 }
  48
  49
  50 ; CHECK-LABEL: t2
  51 ; CHECK: da analyze - none!
  52 ; CHECK: da analyze - consistent anti [1 -2 0 -3 2]!
  53 ; CHECK: da analyze - none!
  54
  55 ;; #define N 1024
  56 ;; #define M 2048
  57 ;; void t2(int a[][N][N][N][M]) {
  58 ;;   for (int i1 = 0; i1 < N-1; ++i1)
  59 ;;     for (int i2 = 2; i2 < N; ++i2)
  60 ;;       for (int i3 = 0; i3 < N; ++i3)
  61 ;;         for (int i4 = 3; i4 < N; ++i4)
  62 ;;           for (int i5 = 0; i5 < M-2; ++i5)
  63 ;;             a[i1][i2][i3][i4][i5] = a[i1+1][i2-2][i3][i4-3][i5+2];
  64 ;; }
  65
  66 define void @t2([1024 x [1024 x [1024 x [2048 x i32]]]]* %a) {
  67 entry:
  68   br label %for.body
  69
  70 for.body:                                         ; preds = %entry, %for.inc46
  71   %indvars.iv18 = phi i64 [ 0, %entry ], [ %indvars.iv.next19, %for.inc46 ]
  72   br label %for.body4
  73
  74 for.body4:                                        ; preds = %for.body, %for.inc43
  75   %indvars.iv14 = phi i64 [ 2, %for.body ], [ %indvars.iv.next15, %for.inc43 ]
  76   br label %for.body8
  77
  78 for.body8:                                        ; preds = %for.body4, %for.inc40
  79   %indvars.iv11 = phi i64 [ 0, %for.body4 ], [ %indvars.iv.next12, %for.inc40 ]
  80   br label %for.body12
  81
  82 for.body12:                                       ; preds = %for.body8, %for.inc37
  83   %indvars.iv7 = phi i64 [ 3, %for.body8 ], [ %indvars.iv.next8, %for.inc37 ]
  84   br label %for.body16
  85
  86 for.body16:                                       ; preds = %for.body12, %for.body16
  87   %indvars.iv = phi i64 [ 0, %for.body12 ], [ %indvars.iv.next, %for.body16 ]
  88   %0 = add nuw nsw i64 %indvars.iv18, 1
  89   %1 = add nsw i64 %indvars.iv14, -2
  90   %2 = add nsw i64 %indvars.iv7, -3
  91   %3 = add nuw nsw i64 %indvars.iv, 2
  92   %arrayidx26 = getelementptr inbounds [1024 x [1024 x [1024 x [2048 x i32]]]], [1024 x [1024 x [1024 x [2048 x i32]]]]* %a, i64 %0, i64 %1, i64 %indvars.iv11, i64 %2, i64 %3
  93   %4 = load i32, i32* %arrayidx26, align 4
  94   %arrayidx36 = getelementptr inbounds [1024 x [1024 x [1024 x [2048 x i32]]]], [1024 x [1024 x [1024 x [2048 x i32]]]]* %a, i64 %indvars.iv18, i64 %indvars.iv14, i64 %indvars.iv11, i64 %indvars.iv7, i64 %indvars.iv
  95   store i32 %4, i32* %arrayidx36, align 4
  96   %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  97   %exitcond = icmp ne i64 %indvars.iv.next, 2046
  98   br i1 %exitcond, label %for.body16, label %for.inc37
  99
 100 for.inc37:                                        ; preds = %for.body16
 101   %indvars.iv.next8 = add nuw nsw i64 %indvars.iv7, 1
 102   %exitcond10 = icmp ne i64 %indvars.iv.next8, 1024
 103   br i1 %exitcond10, label %for.body12, label %for.inc40
 104
 105 for.inc40:                                        ; preds = %for.inc37
 106   %indvars.iv.next12 = add nuw nsw i64 %indvars.iv11, 1
 107   %exitcond13 = icmp ne i64 %indvars.iv.next12, 1024
 108   br i1 %exitcond13, label %for.body8, label %for.inc43
 109
 110 for.inc43:                                        ; preds = %for.inc40
 111   %indvars.iv.next15 = add nuw nsw i64 %indvars.iv14, 1
 112   %exitcond17 = icmp ne i64 %indvars.iv.next15, 1024
 113   br i1 %exitcond17, label %for.body4, label %for.inc46
 114
 115 for.inc46:                                        ; preds = %for.inc43
 116   %indvars.iv.next19 = add nuw nsw i64 %indvars.iv18, 1
 117   %exitcond21 = icmp ne i64 %indvars.iv.next19, 1023
 118   br i1 %exitcond21, label %for.body, label %for.end48
 119
 120 for.end48:                                        ; preds = %for.inc46
 121   ret void
 122 }