polly/test/ScopInfo/statistics.ll

   1 ; RUN: opt %loadPolly -polly-scops -stats -analyze < %s 2>&1 | FileCheck %s
   2 ; REQUIRES: asserts
   3
   4 ; CHECK-DAG:  4 polly-scops      - Maximal number of loops in scops
   5 ; CHECK-DAG: 10 polly-scops      - Number of loops in scops
   6 ; CHECK-DAG:  1 polly-scops      - Number of scops with maximal loop depth 4
   7 ; CHECK-DAG:  1 polly-scops      - Number of scops with maximal loop depth 1
   8 ; CHECK-DAG:  1 polly-scops      - Number of scops with maximal loop depth 3
   9 ; CHECK-DAG:  1 polly-scops      - Number of scops with maximal loop depth 2
  10 ; CHECK-DAG:  4 polly-scops      - Number of Scops containing a loop
  11 ; CHECK-DAG:  4 polly-scops      - Number of valid Scops
  12 ;
  13 ;    void foo_1d(float *A) {
  14 ;      for (long i = 0; i < 1024; i++)
  15 ;        A[i] += i;
  16 ;    }
  17 ;
  18 ;    void foo_2d(float *A) {
  19 ;      for (long i = 0; i < 1024; i++)
  20 ;        for (long j = 0; j < 1024; j++)
  21 ;          A[i + j] += i + j;
  22 ;    }
  23 ;
  24 ;    void foo_3d(float *A) {
  25 ;      for (long i = 0; i < 1024; i++)
  26 ;        for (long j = 0; j < 1024; j++)
  27 ;          for (long k = 0; k < 1024; k++)
  28 ;            A[i + j + k] += i + j + k;
  29 ;    }
  30 ;
  31 ;    void foo_4d(float *A) {
  32 ;      for (long i = 0; i < 1024; i++)
  33 ;        for (long j = 0; j < 1024; j++)
  34 ;          for (long k = 0; k < 1024; k++)
  35 ;            for (long l = 0; l < 1024; l++)
  36 ;              A[i + j + k + l] += i + j + k + l;
  37 ;    }
  38 ;
  39 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  40
  41 define void @foo_1d(float* %A) {
  42 bb:
  43   br label %bb1
  44
  45 bb1:                                              ; preds = %bb6, %bb
  46   %i.0 = phi i64 [ 0, %bb ], [ %tmp7, %bb6 ]
  47   %exitcond = icmp ne i64 %i.0, 1024
  48   br i1 %exitcond, label %bb2, label %bb8
  49
  50 bb2:                                              ; preds = %bb1
  51   %tmp = sitofp i64 %i.0 to float
  52   %tmp3 = getelementptr inbounds float, float* %A, i64 %i.0
  53   %tmp4 = load float, float* %tmp3, align 4
  54   %tmp5 = fadd float %tmp4, %tmp
  55   store float %tmp5, float* %tmp3, align 4
  56   br label %bb6
  57
  58 bb6:                                              ; preds = %bb2
  59   %tmp7 = add nuw nsw i64 %i.0, 1
  60   br label %bb1
  61
  62 bb8:                                              ; preds = %bb1
  63   ret void
  64 }
  65
  66 define void @foo_2d(float* %A) {
  67 bb:
  68   br label %bb2
  69
  70 bb2:                                              ; preds = %bb14, %bb
  71   %i.0 = phi i64 [ 0, %bb ], [ %tmp15, %bb14 ]
  72   %exitcond1 = icmp ne i64 %i.0, 1024
  73   br i1 %exitcond1, label %bb3, label %bb16
  74
  75 bb3:                                              ; preds = %bb2
  76   br label %bb4
  77
  78 bb4:                                              ; preds = %bb11, %bb3
  79   %j.0 = phi i64 [ 0, %bb3 ], [ %tmp12, %bb11 ]
  80   %exitcond = icmp ne i64 %j.0, 1024
  81   br i1 %exitcond, label %bb5, label %bb13
  82
  83 bb5:                                              ; preds = %bb4
  84   %tmp = add nuw nsw i64 %i.0, %j.0
  85   %tmp6 = sitofp i64 %tmp to float
  86   %tmp7 = add nuw nsw i64 %i.0, %j.0
  87   %tmp8 = getelementptr inbounds float, float* %A, i64 %tmp7
  88   %tmp9 = load float, float* %tmp8, align 4
  89   %tmp10 = fadd float %tmp9, %tmp6
  90   store float %tmp10, float* %tmp8, align 4
  91   br label %bb11
  92
  93 bb11:                                             ; preds = %bb5
  94   %tmp12 = add nuw nsw i64 %j.0, 1
  95   br label %bb4
  96
  97 bb13:                                             ; preds = %bb4
  98   br label %bb14
  99
 100 bb14:                                             ; preds = %bb13
 101   %tmp15 = add nuw nsw i64 %i.0, 1
 102   br label %bb2
 103
 104 bb16:                                             ; preds = %bb2
 105   ret void
 106 }
 107
 108 define void @foo_3d(float* %A) {
 109 bb:
 110   br label %bb3
 111
 112 bb3:                                              ; preds = %bb22, %bb
 113   %i.0 = phi i64 [ 0, %bb ], [ %tmp23, %bb22 ]
 114   %exitcond2 = icmp ne i64 %i.0, 1024
 115   br i1 %exitcond2, label %bb4, label %bb24
 116
 117 bb4:                                              ; preds = %bb3
 118   br label %bb5
 119
 120 bb5:                                              ; preds = %bb19, %bb4
 121   %j.0 = phi i64 [ 0, %bb4 ], [ %tmp20, %bb19 ]
 122   %exitcond1 = icmp ne i64 %j.0, 1024
 123   br i1 %exitcond1, label %bb6, label %bb21
 124
 125 bb6:                                              ; preds = %bb5
 126   br label %bb7
 127
 128 bb7:                                              ; preds = %bb16, %bb6
 129   %k.0 = phi i64 [ 0, %bb6 ], [ %tmp17, %bb16 ]
 130   %exitcond = icmp ne i64 %k.0, 1024
 131   br i1 %exitcond, label %bb8, label %bb18
 132
 133 bb8:                                              ; preds = %bb7
 134   %tmp = add nuw nsw i64 %i.0, %j.0
 135   %tmp9 = add nuw nsw i64 %tmp, %k.0
 136   %tmp10 = sitofp i64 %tmp9 to float
 137   %tmp11 = add nuw nsw i64 %i.0, %j.0
 138   %tmp12 = add nuw nsw i64 %tmp11, %k.0
 139   %tmp13 = getelementptr inbounds float, float* %A, i64 %tmp12
 140   %tmp14 = load float, float* %tmp13, align 4
 141   %tmp15 = fadd float %tmp14, %tmp10
 142   store float %tmp15, float* %tmp13, align 4
 143   br label %bb16
 144
 145 bb16:                                             ; preds = %bb8
 146   %tmp17 = add nuw nsw i64 %k.0, 1
 147   br label %bb7
 148
 149 bb18:                                             ; preds = %bb7
 150   br label %bb19
 151
 152 bb19:                                             ; preds = %bb18
 153   %tmp20 = add nuw nsw i64 %j.0, 1
 154   br label %bb5
 155
 156 bb21:                                             ; preds = %bb5
 157   br label %bb22
 158
 159 bb22:                                             ; preds = %bb21
 160   %tmp23 = add nuw nsw i64 %i.0, 1
 161   br label %bb3
 162
 163 bb24:                                             ; preds = %bb3
 164   ret void
 165 }
 166
 167 define void @foo_4d(float* %A) {
 168 bb:
 169   br label %bb4
 170
 171 bb4:                                              ; preds = %bb30, %bb
 172   %i.0 = phi i64 [ 0, %bb ], [ %tmp31, %bb30 ]
 173   %exitcond3 = icmp ne i64 %i.0, 1024
 174   br i1 %exitcond3, label %bb5, label %bb32
 175
 176 bb5:                                              ; preds = %bb4
 177   br label %bb6
 178
 179 bb6:                                              ; preds = %bb27, %bb5
 180   %j.0 = phi i64 [ 0, %bb5 ], [ %tmp28, %bb27 ]
 181   %exitcond2 = icmp ne i64 %j.0, 1024
 182   br i1 %exitcond2, label %bb7, label %bb29
 183
 184 bb7:                                              ; preds = %bb6
 185   br label %bb8
 186
 187 bb8:                                              ; preds = %bb24, %bb7
 188   %k.0 = phi i64 [ 0, %bb7 ], [ %tmp25, %bb24 ]
 189   %exitcond1 = icmp ne i64 %k.0, 1024
 190   br i1 %exitcond1, label %bb9, label %bb26
 191
 192 bb9:                                              ; preds = %bb8
 193   br label %bb10
 194
 195 bb10:                                             ; preds = %bb21, %bb9
 196   %l.0 = phi i64 [ 0, %bb9 ], [ %tmp22, %bb21 ]
 197   %exitcond = icmp ne i64 %l.0, 1024
 198   br i1 %exitcond, label %bb11, label %bb23
 199
 200 bb11:                                             ; preds = %bb10
 201   %tmp = add nuw nsw i64 %i.0, %j.0
 202   %tmp12 = add nuw nsw i64 %tmp, %k.0
 203   %tmp13 = add nuw nsw i64 %tmp12, %l.0
 204   %tmp14 = sitofp i64 %tmp13 to float
 205   %tmp15 = add nuw nsw i64 %i.0, %j.0
 206   %tmp16 = add nuw nsw i64 %tmp15, %k.0
 207   %tmp17 = add nuw nsw i64 %tmp16, %l.0
 208   %tmp18 = getelementptr inbounds float, float* %A, i64 %tmp17
 209   %tmp19 = load float, float* %tmp18, align 4
 210   %tmp20 = fadd float %tmp19, %tmp14
 211   store float %tmp20, float* %tmp18, align 4
 212   br label %bb21
 213
 214 bb21:                                             ; preds = %bb11
 215   %tmp22 = add nuw nsw i64 %l.0, 1
 216   br label %bb10
 217
 218 bb23:                                             ; preds = %bb10
 219   br label %bb24
 220
 221 bb24:                                             ; preds = %bb23
 222   %tmp25 = add nuw nsw i64 %k.0, 1
 223   br label %bb8
 224
 225 bb26:                                             ; preds = %bb8
 226   br label %bb27
 227
 228 bb27:                                             ; preds = %bb26
 229   %tmp28 = add nuw nsw i64 %j.0, 1
 230   br label %bb6
 231
 232 bb29:                                             ; preds = %bb6
 233   br label %bb30
 234
 235 bb30:                                             ; preds = %bb29
 236   %tmp31 = add nuw nsw i64 %i.0, 1
 237   br label %bb4
 238
 239 bb32:                                             ; preds = %bb4
 240   ret void
 241 }