40 lines · plain
1; RUN: opt %loadNPMPolly -polly-process-unprofitable=false '-passes=polly-custom<detect>' -polly-print-detect -disable-output < %s 2>&1 | FileCheck %s2; RUN: opt %loadNPMPolly -polly-allow-nonaffine-loops '-passes=polly-custom<detect>' -polly-print-detect -disable-output < %s 2>&1 | FileCheck %s --check-prefix=NALOOPS3; RUN: opt %loadNPMPolly -polly-allow-nonaffine-loops -polly-process-unprofitable=false '-passes=polly-custom<detect>' -polly-print-detect -disable-output < %s 2>&1 | FileCheck %s --check-prefix=PROFIT4 5; The latch conditions of the outer loop are not affine, thus the loop cannot6; handled by the domain generation and needs to be overapproximated.7 8; CHECK-NOT: Valid9; NALOOPS: Valid Region for Scop: for.body.6 => for.end.4510; PROFIT-NOT: Valid11 12; ModuleID = '/home/johannes/Downloads/bug.ll'13target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"14 15; Function Attrs: nounwind uwtable16define void @kernel_reg_detect(ptr %path) #0 {17entry:18 br label %for.body.619 20for.body.6: ; preds = %for.inc.43, %for.body.6, %entry21 %indvars.iv9 = phi i64 [ %indvars.iv.next10, %for.body.6 ], [ 0, %for.inc.43 ], [ 0, %entry ]22 %indvars.iv.next10 = add nuw nsw i64 %indvars.iv9, 123 %lftr.wideiv = trunc i64 %indvars.iv.next10 to i3224 %exitcond = icmp ne i32 %lftr.wideiv, 625 br i1 %exitcond, label %for.body.6, label %for.inc.4026 27for.inc.40: ; preds = %for.inc.40, %for.body.628 %tmp = load i32, ptr %path, align 429 store i32 0, ptr %path, align 430 %exitcond22 = icmp ne i64 0, 631 br i1 %exitcond22, label %for.inc.40, label %for.inc.4332 33for.inc.43: ; preds = %for.inc.4034 %exitcond23 = icmp ne i32 0, 1000035 br i1 %exitcond23, label %for.body.6, label %for.end.4536 37for.end.45: ; preds = %for.inc.4338 ret void39}40