* `f32v2tof16 $aDst0, $aSrc0:Src0+1`

*Single-precision* floating-point pair to *f16* conversion