* `f32min $aDst0, $aSrc0, $aSrc1`

Determine the minimum floating-point value from two register source
values.