96 lines · plain
1; RUN: opt %loadNPMPolly -polly-process-unprofitable=false '-passes=polly-custom<detect>' -polly-print-detect -disable-output < %s 2>&1 | FileCheck %s2;3; CHECK-NOT: Valid4;5; Do not consider this a SCoP as we do not perform any optimizations for6; loops with a small trip count.7;8; void f(int *A) {9; for (int i = 0; i < 4; i++)10; for (int j = 0; j < 4; j++)11; for (int k = 0; k < 4; k++)12; for (int l = 0; l < 4; l++)13; A[i] += A[i] * A[i - 1] + A[i + 1];14; }15;16target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"17 18define void @f(ptr %A) {19entry:20 br label %for.cond21 22for.cond: ; preds = %for.inc.24, %entry23 %indvars.iv = phi i64 [ %indvars.iv.next, %for.inc.24 ], [ 0, %entry ]24 %exitcond5 = icmp ne i64 %indvars.iv, 425 br i1 %exitcond5, label %for.body, label %for.end.2626 27for.body: ; preds = %for.cond28 br label %for.cond.129 30for.cond.1: ; preds = %for.inc.21, %for.body31 %j.0 = phi i32 [ 0, %for.body ], [ %inc22, %for.inc.21 ]32 %exitcond2 = icmp ne i32 %j.0, 433 br i1 %exitcond2, label %for.body.3, label %for.end.2334 35for.body.3: ; preds = %for.cond.136 br label %for.cond.437 38for.cond.4: ; preds = %for.inc.18, %for.body.339 %k.0 = phi i32 [ 0, %for.body.3 ], [ %inc19, %for.inc.18 ]40 %exitcond1 = icmp ne i32 %k.0, 441 br i1 %exitcond1, label %for.body.6, label %for.end.2042 43for.body.6: ; preds = %for.cond.444 br label %for.cond.745 46for.cond.7: ; preds = %for.inc, %for.body.647 %l.0 = phi i32 [ 0, %for.body.6 ], [ %inc, %for.inc ]48 %exitcond = icmp ne i32 %l.0, 449 br i1 %exitcond, label %for.body.9, label %for.end50 51for.body.9: ; preds = %for.cond.752 %arrayidx = getelementptr inbounds i32, ptr %A, i64 %indvars.iv53 %tmp = load i32, ptr %arrayidx, align 454 %tmp6 = add nsw i64 %indvars.iv, -155 %arrayidx11 = getelementptr inbounds i32, ptr %A, i64 %tmp656 %tmp7 = load i32, ptr %arrayidx11, align 457 %mul = mul nsw i32 %tmp, %tmp758 %tmp8 = add nuw nsw i64 %indvars.iv, 159 %arrayidx13 = getelementptr inbounds i32, ptr %A, i64 %tmp860 %tmp9 = load i32, ptr %arrayidx13, align 461 %add14 = add nsw i32 %mul, %tmp962 %arrayidx16 = getelementptr inbounds i32, ptr %A, i64 %indvars.iv63 %tmp10 = load i32, ptr %arrayidx16, align 464 %add17 = add nsw i32 %tmp10, %add1465 store i32 %add17, ptr %arrayidx16, align 466 br label %for.inc67 68for.inc: ; preds = %for.body.969 %inc = add nuw nsw i32 %l.0, 170 br label %for.cond.771 72for.end: ; preds = %for.cond.773 br label %for.inc.1874 75for.inc.18: ; preds = %for.end76 %inc19 = add nuw nsw i32 %k.0, 177 br label %for.cond.478 79for.end.20: ; preds = %for.cond.480 br label %for.inc.2181 82for.inc.21: ; preds = %for.end.2083 %inc22 = add nuw nsw i32 %j.0, 184 br label %for.cond.185 86for.end.23: ; preds = %for.cond.187 br label %for.inc.2488 89for.inc.24: ; preds = %for.end.2390 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 191 br label %for.cond92 93for.end.26: ; preds = %for.cond94 ret void95}96