* `f32cmpge $aDst0, $aSrc0, $aSrc1`

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