1 2 3 4 5 6 7 8 9 10 11
// vfmax VI_VFP_VF_LOOP ({ vd = f16_max(vs2, rs1); }, { vd = f32_max(vs2, rs1); }, { vd = f64_max(vs2, rs1); })