10.13 Floating Point Hardware
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.