26.1.13.8 Instruction negf32 ¶

Synopsys:

negf32

Push the negation of the 32-bit floating-point number at the top of the stack given that it is represented as 32-bit unsigned integer.

Stack: ( UINT UINT -- UINT UINT UINT )