53 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-detect -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s --check-prefix=FOUND2; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-detect -polly-print-scops -disable-output -polly-rtc-max-arrays-per-group=3 < %s 2>&1 | FileCheck %s --check-prefix=IGNORED3;4; FOUND: Function: foo5; IGNORED-NOT: Function: foo6;7; void foo(float *A, float *B, float *C, float *D) {8; for (long i = 0; i < 100; i++) {9; A[i]++;10; B[i]++;11; C[i]++;12; D[i]++;13; }14; }15;16target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"17 18define void @foo(ptr %A, ptr %B, ptr %C, ptr %D) {19entry:20 br label %for.cond21 22for.cond: ; preds = %for.inc, %entry23 %i.0 = phi i64 [ 0, %entry ], [ %inc7, %for.inc ]24 %exitcond = icmp ne i64 %i.0, 10025 br i1 %exitcond, label %for.body, label %for.end26 27for.body: ; preds = %for.cond28 %arrayidx = getelementptr inbounds float, ptr %A, i64 %i.029 %tmp = load float, ptr %arrayidx, align 430 %inc = fadd float %tmp, 1.000000e+0031 store float %inc, ptr %arrayidx, align 432 %arrayidx1 = getelementptr inbounds float, ptr %B, i64 %i.033 %tmp1 = load float, ptr %arrayidx1, align 434 %inc2 = fadd float %tmp1, 1.000000e+0035 store float %inc2, ptr %arrayidx1, align 436 %arrayidx3 = getelementptr inbounds float, ptr %C, i64 %i.037 %tmp2 = load float, ptr %arrayidx3, align 438 %inc4 = fadd float %tmp2, 1.000000e+0039 store float %inc4, ptr %arrayidx3, align 440 %arrayidx5 = getelementptr inbounds float, ptr %D, i64 %i.041 %tmp3 = load float, ptr %arrayidx5, align 442 %inc6 = fadd float %tmp3, 1.000000e+0043 store float %inc6, ptr %arrayidx5, align 444 br label %for.inc45 46for.inc: ; preds = %for.body47 %inc7 = add nuw nsw i64 %i.0, 148 br label %for.cond49 50for.end: ; preds = %for.cond51 ret void52}53