// vfmax
VI_VFP_VF_LOOP
({
  vd = f32_max(vs2, rs1);
})