From 12f13d0b85c18af361c76d6333082448820e2141 Mon Sep 17 00:00:00 2001 From: Chih-Min Chao Date: Mon, 24 Nov 2025 19:23:24 -0800 Subject: [PATCH] zvfbfmin: fix contraint with zvfbfa MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit vfncvtbf16_f_f_w and vfwcvtbf16_f_f_v only depend on Zvfbf16min but not Zvfbfa ref: https://github.com/aswaterman/riscv-misc/blob/main/isa/zvfbfa.adoc " vfwcvtbf16.f.f.v † (only if Zvfbfmin is implemented) vfncvtbf16.f.f.w † (only if Zvfbfmin is implemented) The instructions marked with † have the same semantics regardless of altfmt " Signed-off-by: Chih-Min Chao --- riscv/insns/vfncvtbf16_f_f_w.h | 2 +- riscv/insns/vfwcvtbf16_f_f_v.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/riscv/insns/vfncvtbf16_f_f_w.h b/riscv/insns/vfncvtbf16_f_f_w.h index 231a179e..6248328e 100644 --- a/riscv/insns/vfncvtbf16_f_f_w.h +++ b/riscv/insns/vfncvtbf16_f_f_w.h @@ -5,5 +5,5 @@ VI_VFP_NCVT_FP_BF16_OFP8( }, // BODY16 { vd = f32_to_bf16(vs2); }, // BODY32 { require(p->extension_enabled(EXT_ZVFOFP8MIN)); }, // CHECK16 - { require_zvfbfa; require(p->extension_enabled(EXT_ZVFBFMIN)); } // CHECK32 + { require_extension(EXT_ZVFBFMIN); } // CHECK32 ) diff --git a/riscv/insns/vfwcvtbf16_f_f_v.h b/riscv/insns/vfwcvtbf16_f_f_v.h index 5e9fa83d..7a4dca47 100644 --- a/riscv/insns/vfwcvtbf16_f_f_v.h +++ b/riscv/insns/vfwcvtbf16_f_f_v.h @@ -3,5 +3,5 @@ VI_VFP_WCVT_OFP8_BF16_FP( { vd = P.VU.altfmt ? e5m2_to_bf16(vs2) : e4m3_to_bf16(vs2); }, // BODY8 { vd = bf16_to_f32(vs2); }, // BODY16 { require(p->extension_enabled(EXT_ZVFOFP8MIN)); }, // CHECK8 - { require_zvfbfa_or_zvfhmin; } // CHECK16 + { require_extension(EXT_ZVFBFMIN); } // CHECK16 )