26.1.13.13 Instruction gef32

Synopsys:

gef32

Push the result of comparison of the two 32-bit floating-point numbers at the top of the stack given that they’re represented as 32-bit unsigned integers using >= operator.

Stack: ( ULONG ULONG -- ULONG ULONG INT )