diff options
Diffstat (limited to 'polly')
-rw-r--r-- | polly/test/ScheduleOptimizer/pattern-matching-based-opts_23.ll | 79 |
1 files changed, 0 insertions, 79 deletions
diff --git a/polly/test/ScheduleOptimizer/pattern-matching-based-opts_23.ll b/polly/test/ScheduleOptimizer/pattern-matching-based-opts_23.ll deleted file mode 100644 index 2ca4815..0000000 --- a/polly/test/ScheduleOptimizer/pattern-matching-based-opts_23.ll +++ /dev/null @@ -1,79 +0,0 @@ -; RUN: opt %loadPolly -polly-delicm -polly-simplify -polly-opt-isl \ -; RUN: -polly-pattern-matching-based-opts=true \ -; RUN: -polly-tc-opt=true -debug -disable-output < %s 2>&1 | FileCheck %s -; REQUIRES: asserts -; -; Check that a region statement, which has the correct order of accesses, is not -; detected. -; -; for (int i = 0; i < 32; i++) -; for (int j = 0; j < 32; j++) -; for (int k = 0; k < 32; k++) { -; int c = C[i][j]; -; if (i*j*k < 10) { -; C[i][j] = A[i][k] + B[k][j]; -; } else { -; C[i][j] = c; -; } -; } -; -; CHECK-NOT: The tensor contraction pattern was detected -; -target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" -target triple = "x86_64-unknown-linux-gnu" - -; Function Attrs: nounwind uwtable -define dso_local void @foo([64 x double]* noundef %C, [64 x double]* noundef %A, [64 x double]* noundef %B) #0 { -entry: - br label %for.cond1.preheader - -for.cond1.preheader: ; preds = %entry, %for.inc34 - %indvars.iv48 = phi i64 [ 0, %entry ], [ %indvars.iv.next49, %for.inc34 ] - br label %for.cond5.preheader - -for.cond5.preheader: ; preds = %for.cond1.preheader, %for.inc31 - %indvars.iv43 = phi i64 [ 0, %for.cond1.preheader ], [ %indvars.iv.next44, %for.inc31 ] - br label %for.body8 - -for.body8: ; preds = %for.cond5.preheader, %if.end - %indvars.iv = phi i64 [ 0, %for.cond5.preheader ], [ %indvars.iv.next, %if.end ] - %arrayidx10 = getelementptr inbounds [64 x double], [64 x double]* %C, i64 %indvars.iv48, i64 %indvars.iv43 - %0 = mul nuw nsw i64 %indvars.iv43, %indvars.iv48 - %1 = mul nuw nsw i64 %0, %indvars.iv - %cmp12 = icmp ult i64 %1, 10 - br i1 %cmp12, label %if.then, label %if.else - -if.then: ; preds = %for.body8 - %arrayidx17 = getelementptr inbounds [64 x double], [64 x double]* %A, i64 %indvars.iv48, i64 %indvars.iv - %2 = load double, double* %arrayidx17, align 8 - %arrayidx21 = getelementptr inbounds [64 x double], [64 x double]* %B, i64 %indvars.iv, i64 %indvars.iv43 - %3 = load double, double* %arrayidx21, align 8 - %add = fadd fast double %3, %2 - br label %if.end - -if.else: ; preds = %for.body8 - %4 = load double, double* %arrayidx10, align 8 - %conv = fptosi double %4 to i32 - %conv26 = sitofp i32 %conv to double - br label %if.end - -if.end: ; preds = %if.else, %if.then - %storemerge = phi double [ %conv26, %if.else ], [ %add, %if.then ] - store double %storemerge, double* %arrayidx10, align 8 - %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 - %exitcond = icmp ne i64 %indvars.iv.next, 32 - br i1 %exitcond, label %for.body8, label %for.inc31 - -for.inc31: ; preds = %if.end - %indvars.iv.next44 = add nuw nsw i64 %indvars.iv43, 1 - %exitcond47 = icmp ne i64 %indvars.iv.next44, 32 - br i1 %exitcond47, label %for.cond5.preheader, label %for.inc34 - -for.inc34: ; preds = %for.inc31 - %indvars.iv.next49 = add nuw nsw i64 %indvars.iv48, 1 - %exitcond51 = icmp ne i64 %indvars.iv.next49, 32 - br i1 %exitcond51, label %for.cond1.preheader, label %for.end36 - -for.end36: ; preds = %for.inc34 - ret void -} |