Browse Source

Change SEW=16 vfncvt.f.f.w and vfwcvt.f.f.v to require Zvfhmin

...as opposed to Zfh.
pull/1131/head
Andrew Waterman 4 years ago
parent
commit
a66ca951e6
  1. 12
      riscv/insns/vfncvt_f_f_w.h
  2. 12
      riscv/insns/vfwcvt_f_f_v.h

12
riscv/insns/vfncvt_f_f_w.h

@ -1,9 +1,9 @@
// vfncvt.f.f.v vd, vs2, vm
VI_VFP_NCVT_FP_TO_FP(
{;}, // BODY16
{ vd = f32_to_f16(vs2); }, // BODY32
{ vd = f64_to_f32(vs2); }, // BODY64
{;}, // CHECK16
{ require_extension(EXT_ZFH); }, // CHECK32
{ require_extension('D'); } // CHECK64
{;}, // BODY16
{ vd = f32_to_f16(vs2); }, // BODY32
{ vd = f64_to_f32(vs2); }, // BODY64
{;}, // CHECK16
{ require_extension(EXT_ZVFHMIN); }, // CHECK32
{ require_extension('D'); } // CHECK64
)

12
riscv/insns/vfwcvt_f_f_v.h

@ -1,9 +1,9 @@
// vfwcvt.f.f.v vd, vs2, vm
VI_VFP_WCVT_FP_TO_FP(
{;}, // BODY8
{ vd = f16_to_f32(vs2); }, // BODY16
{ vd = f32_to_f64(vs2); }, // BODY32
{;}, // CHECK8
{ require_extension(EXT_ZFH); }, // CHECK16
{ require_extension('D'); } // CHECK32
{;}, // BODY8
{ vd = f16_to_f32(vs2); }, // BODY16
{ vd = f32_to_f64(vs2); }, // BODY32
{;}, // CHECK8
{ require_extension(EXT_ZVFHMIN); }, // CHECK16
{ require_extension('D'); } // CHECK32
)

Loading…
Cancel
Save