Browse Source

Merge pull request #2160 from chihminchao/fix-zvfbfmin-with-zvfbfa

zvfbfmin: fix contraint with zvfbfa
pull/2162/head
Andrew Waterman 9 months ago
committed by GitHub
parent
commit
65e41ba95a
No known key found for this signature in database GPG Key ID: B5690EEEBB952194
  1. 2
      riscv/insns/vfncvtbf16_f_f_w.h
  2. 2
      riscv/insns/vfwcvtbf16_f_f_v.h

2
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
)

2
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
)

Loading…
Cancel
Save