64 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<opt-isl>' -polly-pattern-matching-based-opts=true -polly-tc-opt=true -debug -disable-output < %s 2>&1 | FileCheck %s2; REQUIRES: asserts3;4; for (int i = 0; i < 32; i++)5; for (int j = 0; j < 32; j++)6; for (int l = 0; l < 32; l++)7; for (int w = 0; w < 32; w++)8; C[i][j] += A[i][l][w] * B[w][j][i];9;10; CHECK-NOT: The tensor contraction pattern was detected11;12target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"13target triple = "x86_64-unknown-linux-gnu"14 15define void @foo(ptr noundef %C, ptr noundef %A, ptr noundef %B) {16entry:17 br label %for.cond1.preheader18 19for.cond1.preheader: ; preds = %for.inc33, %entry20 %indvars.iv49 = phi i64 [ 0, %entry ], [ %indvars.iv.next50, %for.inc33 ]21 br label %for.cond5.preheader22 23for.cond5.preheader: ; preds = %for.inc30, %for.cond1.preheader24 %indvars.iv45 = phi i64 [ 0, %for.cond1.preheader ], [ %indvars.iv.next46, %for.inc30 ]25 br label %for.cond9.preheader26 27for.cond9.preheader: ; preds = %for.inc27, %for.cond5.preheader28 %indvars.iv41 = phi i64 [ 0, %for.cond5.preheader ], [ %indvars.iv.next42, %for.inc27 ]29 br label %for.body1230 31for.body12: ; preds = %for.body12, %for.cond9.preheader32 %indvars.iv = phi i64 [ 0, %for.cond9.preheader ], [ %indvars.iv.next, %for.body12 ]33 %arrayidx16 = getelementptr inbounds [64 x [64 x double]], ptr %A, i64 %indvars.iv49, i64 %indvars.iv41, i64 %indvars.iv34 %i = load double, ptr %arrayidx16, align 835 %arrayidx22 = getelementptr inbounds [64 x [64 x double]], ptr %B, i64 %indvars.iv, i64 %indvars.iv45, i64 %indvars.iv4936 %i1 = load double, ptr %arrayidx22, align 837 %mul = fmul fast double %i1, %i38 %arrayidx26 = getelementptr inbounds [64 x double], ptr %C, i64 %indvars.iv49, i64 %indvars.iv4539 %i2 = load double, ptr %arrayidx26, align 840 %add = fadd fast double %i2, %mul41 store double %add, ptr %arrayidx26, align 842 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 143 %exitcond = icmp ne i64 %indvars.iv.next, 3244 br i1 %exitcond, label %for.body12, label %for.inc2745 46for.inc27: ; preds = %for.body1247 %indvars.iv.next42 = add nuw nsw i64 %indvars.iv41, 148 %exitcond44 = icmp ne i64 %indvars.iv.next42, 3249 br i1 %exitcond44, label %for.cond9.preheader, label %for.inc3050 51for.inc30: ; preds = %for.inc2752 %indvars.iv.next46 = add nuw nsw i64 %indvars.iv45, 153 %exitcond48 = icmp ne i64 %indvars.iv.next46, 3254 br i1 %exitcond48, label %for.cond5.preheader, label %for.inc3355 56for.inc33: ; preds = %for.inc3057 %indvars.iv.next50 = add nuw nsw i64 %indvars.iv49, 158 %exitcond52 = icmp ne i64 %indvars.iv.next50, 3259 br i1 %exitcond52, label %for.cond1.preheader, label %for.end3560 61for.end35: ; preds = %for.inc3362 ret void63}64