56 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 w = 0; w < 32; w++)7; C[i][j] += A[i][w] * B[w][j][i];8;9; CHECK-NOT: The tensor contraction pattern was detected10;11target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"12target triple = "arm64-apple-macosx12.0.0"13 14define void @foo(ptr noundef %C, ptr noundef %A, ptr noundef %B) {15entry:16 br label %for.cond1.preheader17 18for.cond1.preheader: ; preds = %for.cond.cleanup3, %entry19 %indvars.iv45 = phi i64 [ 0, %entry ], [ %indvars.iv.next46, %for.cond.cleanup3 ]20 br label %for.cond5.preheader21 22for.cond.cleanup: ; preds = %for.cond.cleanup323 ret void24 25for.cond5.preheader: ; preds = %for.cond.cleanup7, %for.cond1.preheader26 %indvars.iv41 = phi i64 [ 0, %for.cond1.preheader ], [ %indvars.iv.next42, %for.cond.cleanup7 ]27 %arrayidx20 = getelementptr inbounds [64 x double], ptr %C, i64 %indvars.iv45, i64 %indvars.iv4128 %.pre = load double, ptr %arrayidx20, align 829 br label %for.body830 31for.cond.cleanup3: ; preds = %for.cond.cleanup732 %indvars.iv.next46 = add nuw nsw i64 %indvars.iv45, 133 %exitcond48.not = icmp eq i64 %indvars.iv.next46, 3234 br i1 %exitcond48.not, label %for.cond.cleanup, label %for.cond1.preheader35 36for.cond.cleanup7: ; preds = %for.body837 %indvars.iv.next42 = add nuw nsw i64 %indvars.iv41, 138 %exitcond44.not = icmp eq i64 %indvars.iv.next42, 3239 br i1 %exitcond44.not, label %for.cond.cleanup3, label %for.cond5.preheader40 41for.body8: ; preds = %for.body8, %for.cond5.preheader42 %i = phi double [ %.pre, %for.cond5.preheader ], [ %i3, %for.body8 ]43 %indvars.iv = phi i64 [ 0, %for.cond5.preheader ], [ %indvars.iv.next, %for.body8 ]44 %arrayidx10 = getelementptr inbounds [64 x double], ptr %A, i64 %indvars.iv45, i64 %indvars.iv45 %i1 = load double, ptr %arrayidx10, align 846 %arrayidx16 = getelementptr inbounds [64 x [64 x double]], ptr %B, i64 %indvars.iv, i64 %indvars.iv41, i64 %indvars.iv4547 %i2 = load double, ptr %arrayidx16, align 848 %i3 = tail call double @llvm.fmuladd.f64(double %i1, double %i2, double %i)49 store double %i3, ptr %arrayidx20, align 850 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 151 %exitcond.not = icmp eq i64 %indvars.iv.next, 3252 br i1 %exitcond.not, label %for.cond.cleanup7, label %for.body853}54 55declare double @llvm.fmuladd.f64(double, double, double)56