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; 39target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 40 41define void @foo_1d(float* %A) { 42bb: 43 br label %bb1 44 45bb1: ; 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 50bb2: ; 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 58bb6: ; preds = %bb2 59 %tmp7 = add nuw nsw i64 %i.0, 1 60 br label %bb1 61 62bb8: ; preds = %bb1 63 ret void 64} 65 66define void @foo_2d(float* %A) { 67bb: 68 br label %bb2 69 70bb2: ; 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 75bb3: ; preds = %bb2 76 br label %bb4 77 78bb4: ; 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 83bb5: ; 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 93bb11: ; preds = %bb5 94 %tmp12 = add nuw nsw i64 %j.0, 1 95 br label %bb4 96 97bb13: ; preds = %bb4 98 br label %bb14 99 100bb14: ; preds = %bb13 101 %tmp15 = add nuw nsw i64 %i.0, 1 102 br label %bb2 103 104bb16: ; preds = %bb2 105 ret void 106} 107 108define void @foo_3d(float* %A) { 109bb: 110 br label %bb3 111 112bb3: ; 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 117bb4: ; preds = %bb3 118 br label %bb5 119 120bb5: ; 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 125bb6: ; preds = %bb5 126 br label %bb7 127 128bb7: ; 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 133bb8: ; 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 145bb16: ; preds = %bb8 146 %tmp17 = add nuw nsw i64 %k.0, 1 147 br label %bb7 148 149bb18: ; preds = %bb7 150 br label %bb19 151 152bb19: ; preds = %bb18 153 %tmp20 = add nuw nsw i64 %j.0, 1 154 br label %bb5 155 156bb21: ; preds = %bb5 157 br label %bb22 158 159bb22: ; preds = %bb21 160 %tmp23 = add nuw nsw i64 %i.0, 1 161 br label %bb3 162 163bb24: ; preds = %bb3 164 ret void 165} 166 167define void @foo_4d(float* %A) { 168bb: 169 br label %bb4 170 171bb4: ; 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 176bb5: ; preds = %bb4 177 br label %bb6 178 179bb6: ; 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 184bb7: ; preds = %bb6 185 br label %bb8 186 187bb8: ; 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 192bb9: ; preds = %bb8 193 br label %bb10 194 195bb10: ; 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 200bb11: ; 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 214bb21: ; preds = %bb11 215 %tmp22 = add nuw nsw i64 %l.0, 1 216 br label %bb10 217 218bb23: ; preds = %bb10 219 br label %bb24 220 221bb24: ; preds = %bb23 222 %tmp25 = add nuw nsw i64 %k.0, 1 223 br label %bb8 224 225bb26: ; preds = %bb8 226 br label %bb27 227 228bb27: ; preds = %bb26 229 %tmp28 = add nuw nsw i64 %j.0, 1 230 br label %bb6 231 232bb29: ; preds = %bb6 233 br label %bb30 234 235bb30: ; preds = %bb29 236 %tmp31 = add nuw nsw i64 %i.0, 1 237 br label %bb4 238 239bb32: ; preds = %bb4 240 ret void 241} 242