// vfwredsum.vs vd, vs2, vs1
VI_VFP_VV_LOOP_WIDE_REDUCTION
({
  vd_0 = f64_add(vd_0, vs2);
})