vfwcvt_f_x_v.h

// vfwcvt.f.x.v vd, vs2, vm
VI_VFP_WCVT_INT_TO_FP(
  { vd = i32_to_f16(vs2); },                    // BODY8
  { vd = i32_to_f32(vs2); },                    // BODY16
  { vd = i32_to_f64(vs2); },                    // BODY32
  { require(p->extension_enabled(EXT_ZVFH)); }, // CHECK8
  { require_extension('F'); },                  // CHECK16
  { require_extension('D'); },                  // CHECK32
  int                                           // sign
)