* `f32max $aDst0, $aSrc0, $aSrc1`

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