- int i;
-
- for (i = FP0_REGNUM; i <= FOP_REGNUM; i++)
- regcache_raw_supply (current_regcache, i, NULL);
-
- return;
+ /* The floating-point state isn't initialized. */
+ i387_supply_fsave (regcache, -1, NULL);
+ }
+ else
+ {
+ /* Supply the floating-point registers. */
+ i387_supply_fsave (regcache, -1, state.hw_state);