242 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -stats -disable-output < %s 2>&1 | FileCheck %s2; REQUIRES: asserts3 4; CHECK-DAG: 4 polly-scops - Maximal number of loops in scops5; CHECK-DAG: 10 polly-scops - Number of loops in scops6; CHECK-DAG: 1 polly-scops - Number of scops with maximal loop depth 47; CHECK-DAG: 1 polly-scops - Number of scops with maximal loop depth 18; CHECK-DAG: 1 polly-scops - Number of scops with maximal loop depth 39; CHECK-DAG: 1 polly-scops - Number of scops with maximal loop depth 210; CHECK-DAG: 4 polly-scops - Number of Scops containing a loop11; CHECK-DAG: 4 polly-scops - Number of valid Scops12;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(ptr %A) {42bb:43 br label %bb144 45bb1: ; preds = %bb6, %bb46 %i.0 = phi i64 [ 0, %bb ], [ %tmp7, %bb6 ]47 %exitcond = icmp ne i64 %i.0, 102448 br i1 %exitcond, label %bb2, label %bb849 50bb2: ; preds = %bb151 %tmp = sitofp i64 %i.0 to float52 %tmp3 = getelementptr inbounds float, ptr %A, i64 %i.053 %tmp4 = load float, ptr %tmp3, align 454 %tmp5 = fadd float %tmp4, %tmp55 store float %tmp5, ptr %tmp3, align 456 br label %bb657 58bb6: ; preds = %bb259 %tmp7 = add nuw nsw i64 %i.0, 160 br label %bb161 62bb8: ; preds = %bb163 ret void64}65 66define void @foo_2d(ptr %A) {67bb:68 br label %bb269 70bb2: ; preds = %bb14, %bb71 %i.0 = phi i64 [ 0, %bb ], [ %tmp15, %bb14 ]72 %exitcond1 = icmp ne i64 %i.0, 102473 br i1 %exitcond1, label %bb3, label %bb1674 75bb3: ; preds = %bb276 br label %bb477 78bb4: ; preds = %bb11, %bb379 %j.0 = phi i64 [ 0, %bb3 ], [ %tmp12, %bb11 ]80 %exitcond = icmp ne i64 %j.0, 102481 br i1 %exitcond, label %bb5, label %bb1382 83bb5: ; preds = %bb484 %tmp = add nuw nsw i64 %i.0, %j.085 %tmp6 = sitofp i64 %tmp to float86 %tmp7 = add nuw nsw i64 %i.0, %j.087 %tmp8 = getelementptr inbounds float, ptr %A, i64 %tmp788 %tmp9 = load float, ptr %tmp8, align 489 %tmp10 = fadd float %tmp9, %tmp690 store float %tmp10, ptr %tmp8, align 491 br label %bb1192 93bb11: ; preds = %bb594 %tmp12 = add nuw nsw i64 %j.0, 195 br label %bb496 97bb13: ; preds = %bb498 br label %bb1499 100bb14: ; preds = %bb13101 %tmp15 = add nuw nsw i64 %i.0, 1102 br label %bb2103 104bb16: ; preds = %bb2105 ret void106}107 108define void @foo_3d(ptr %A) {109bb:110 br label %bb3111 112bb3: ; preds = %bb22, %bb113 %i.0 = phi i64 [ 0, %bb ], [ %tmp23, %bb22 ]114 %exitcond2 = icmp ne i64 %i.0, 1024115 br i1 %exitcond2, label %bb4, label %bb24116 117bb4: ; preds = %bb3118 br label %bb5119 120bb5: ; preds = %bb19, %bb4121 %j.0 = phi i64 [ 0, %bb4 ], [ %tmp20, %bb19 ]122 %exitcond1 = icmp ne i64 %j.0, 1024123 br i1 %exitcond1, label %bb6, label %bb21124 125bb6: ; preds = %bb5126 br label %bb7127 128bb7: ; preds = %bb16, %bb6129 %k.0 = phi i64 [ 0, %bb6 ], [ %tmp17, %bb16 ]130 %exitcond = icmp ne i64 %k.0, 1024131 br i1 %exitcond, label %bb8, label %bb18132 133bb8: ; preds = %bb7134 %tmp = add nuw nsw i64 %i.0, %j.0135 %tmp9 = add nuw nsw i64 %tmp, %k.0136 %tmp10 = sitofp i64 %tmp9 to float137 %tmp11 = add nuw nsw i64 %i.0, %j.0138 %tmp12 = add nuw nsw i64 %tmp11, %k.0139 %tmp13 = getelementptr inbounds float, ptr %A, i64 %tmp12140 %tmp14 = load float, ptr %tmp13, align 4141 %tmp15 = fadd float %tmp14, %tmp10142 store float %tmp15, ptr %tmp13, align 4143 br label %bb16144 145bb16: ; preds = %bb8146 %tmp17 = add nuw nsw i64 %k.0, 1147 br label %bb7148 149bb18: ; preds = %bb7150 br label %bb19151 152bb19: ; preds = %bb18153 %tmp20 = add nuw nsw i64 %j.0, 1154 br label %bb5155 156bb21: ; preds = %bb5157 br label %bb22158 159bb22: ; preds = %bb21160 %tmp23 = add nuw nsw i64 %i.0, 1161 br label %bb3162 163bb24: ; preds = %bb3164 ret void165}166 167define void @foo_4d(ptr %A) {168bb:169 br label %bb4170 171bb4: ; preds = %bb30, %bb172 %i.0 = phi i64 [ 0, %bb ], [ %tmp31, %bb30 ]173 %exitcond3 = icmp ne i64 %i.0, 1024174 br i1 %exitcond3, label %bb5, label %bb32175 176bb5: ; preds = %bb4177 br label %bb6178 179bb6: ; preds = %bb27, %bb5180 %j.0 = phi i64 [ 0, %bb5 ], [ %tmp28, %bb27 ]181 %exitcond2 = icmp ne i64 %j.0, 1024182 br i1 %exitcond2, label %bb7, label %bb29183 184bb7: ; preds = %bb6185 br label %bb8186 187bb8: ; preds = %bb24, %bb7188 %k.0 = phi i64 [ 0, %bb7 ], [ %tmp25, %bb24 ]189 %exitcond1 = icmp ne i64 %k.0, 1024190 br i1 %exitcond1, label %bb9, label %bb26191 192bb9: ; preds = %bb8193 br label %bb10194 195bb10: ; preds = %bb21, %bb9196 %l.0 = phi i64 [ 0, %bb9 ], [ %tmp22, %bb21 ]197 %exitcond = icmp ne i64 %l.0, 1024198 br i1 %exitcond, label %bb11, label %bb23199 200bb11: ; preds = %bb10201 %tmp = add nuw nsw i64 %i.0, %j.0202 %tmp12 = add nuw nsw i64 %tmp, %k.0203 %tmp13 = add nuw nsw i64 %tmp12, %l.0204 %tmp14 = sitofp i64 %tmp13 to float205 %tmp15 = add nuw nsw i64 %i.0, %j.0206 %tmp16 = add nuw nsw i64 %tmp15, %k.0207 %tmp17 = add nuw nsw i64 %tmp16, %l.0208 %tmp18 = getelementptr inbounds float, ptr %A, i64 %tmp17209 %tmp19 = load float, ptr %tmp18, align 4210 %tmp20 = fadd float %tmp19, %tmp14211 store float %tmp20, ptr %tmp18, align 4212 br label %bb21213 214bb21: ; preds = %bb11215 %tmp22 = add nuw nsw i64 %l.0, 1216 br label %bb10217 218bb23: ; preds = %bb10219 br label %bb24220 221bb24: ; preds = %bb23222 %tmp25 = add nuw nsw i64 %k.0, 1223 br label %bb8224 225bb26: ; preds = %bb8226 br label %bb27227 228bb27: ; preds = %bb26229 %tmp28 = add nuw nsw i64 %j.0, 1230 br label %bb6231 232bb29: ; preds = %bb6233 br label %bb30234 235bb30: ; preds = %bb29236 %tmp31 = add nuw nsw i64 %i.0, 1237 br label %bb4238 239bb32: ; preds = %bb4240 ret void241}242