Floating Point Hardware - Debugging with GDB

Depending on the configuration, gdb may be able to give you more information about the status of the floating point hardware.

info float: Display hardware-dependent information about the floating point unit. The exact contents and layout vary depending on the floating point chip. Currently, `info float' is supported on the ARM and x86 machines.