26.1.13.4 Instruction divf32 ¶

Synopsys:

divf32

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

Stack: ( UINT UINT -- UINT UINT UINT )