* `f32cmple $aDst0, $aSrc0, $aSrc1`

Test if a floating-point number is less than or equal to a second
floating-point number. If so, the destination register is set to ,
otherwise it is set to .