// vfmax
VI_VFP_VV_LOOP
({
  vd = f32_max(vs2, vs1);
})