[llvm] [X86][test] Remove useless pattern for VDPBF16PSZmb and add a test for broadcast folding (PR #80629)

Shengchen Kan via llvm-commits llvm-commits at lists.llvm.org
Sun Feb 4 18:58:54 PST 2024


https://github.com/KanRobert created https://github.com/llvm/llvm-project/pull/80629

llvm-issue: https://github.com/llvm/llvm-project/issues/68810


>From ef5f4c6f58bec9524d10aced8e1f4858230676bd Mon Sep 17 00:00:00 2001
From: Shengchen Kan <shengchen.kan at intel.com>
Date: Mon, 5 Feb 2024 10:56:36 +0800
Subject: [PATCH] [X86][test] Remove useless pattern for VDPBF16PSZmb and add a
 test for broadcast folding

llvm-issue: https://github.com/llvm/llvm-project/issues/68810
---
 llvm/lib/Target/X86/X86InstrAVX512.td   |  3 +--
 llvm/test/CodeGen/X86/fold-broadcast.ll | 18 ++++++++++++++++++
 2 files changed, 19 insertions(+), 2 deletions(-)
 create mode 100644 llvm/test/CodeGen/X86/fold-broadcast.ll

diff --git a/llvm/lib/Target/X86/X86InstrAVX512.td b/llvm/lib/Target/X86/X86InstrAVX512.td
index b588f660e2744..70d9b437b5fa9 100644
--- a/llvm/lib/Target/X86/X86InstrAVX512.td
+++ b/llvm/lib/Target/X86/X86InstrAVX512.td
@@ -12721,8 +12721,7 @@ multiclass avx512_dpbf16ps_rm<bits<8> opc, string OpcodeStr, SDNode OpNode,
                   OpcodeStr,
                   !strconcat("${src3}", _.BroadcastStr,", $src2"),
                   !strconcat("$src2, ${src3}", _.BroadcastStr),
-                  (_.VT (OpNode _.RC:$src1, src_v.RC:$src2,
-                  (src_v.VT (src_v.BroadcastLdFrag addr:$src3))))>,
+                  (null_frag)>,
                   EVEX_B, EVEX, VVVV, Sched<[sched.Folded, sched.ReadAfterFold]>;
 
 }
diff --git a/llvm/test/CodeGen/X86/fold-broadcast.ll b/llvm/test/CodeGen/X86/fold-broadcast.ll
new file mode 100644
index 0000000000000..02c26487136ed
--- /dev/null
+++ b/llvm/test/CodeGen/X86/fold-broadcast.ll
@@ -0,0 +1,18 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 4
+; RUN: llc -mtriple=x86_64-unknown-unknown -mattr=+avx512bf16 < %s | FileCheck %s
+
+define <16 x float> @mm512_dpbf16_ps_broadcast_rhs(<16 x float> noundef %acc, <32 x bfloat> noundef %lhs, ptr nocapture noundef readonly %rhs) {
+; CHECK-LABEL: mm512_dpbf16_ps_broadcast_rhs:
+; CHECK:       # %bb.0: # %entry
+; CHECK-NEXT:    vdpbf16ps (%rdi){1to16}, %zmm1, %zmm0
+; CHECK-NEXT:    retq
+entry:
+  %0 = load float, ptr %rhs, align 4
+  %vecinit.i = insertelement <16 x float> poison, float %0, i64 0
+  %vecinit15.i = shufflevector <16 x float> %vecinit.i, <16 x float> poison, <16 x i32> zeroinitializer
+  %1 = bitcast <16 x float> %vecinit15.i to <32 x bfloat>
+  %2 = tail call <16 x float> @llvm.x86.avx512bf16.dpbf16ps.512(<16 x float> %acc, <32 x bfloat> %lhs, <32 x bfloat> %1)
+  ret <16 x float> %2
+}
+
+declare <16 x float> @llvm.x86.avx512bf16.dpbf16ps.512(<16 x float>, <32 x bfloat>, <32 x bfloat>)



More information about the llvm-commits mailing list