#include "gdbcmd.h"
#include "language.h" /* for local_hex_string() */
#include "ppc-tdep.h"
+#include "gdb_string.h"
#include <procinfo.h>
#include <sys/types.h>
/* This function should never be called on architectures without
floating-point registers. */
- gdb_assert (ppc_floating_point_p (current_gdbarch));
+ gdb_assert (ppc_floating_point_unit_p (current_gdbarch));
for (regno = 0; regno < ppc_num_fprs; regno++)
supply_register (regno + tdep->ppc_fp0_regnum, (char *) (vals + regno));
/* Floating-point registers. */
- if (ppc_floating_point_p (current_gdbarch))
+ if (ppc_floating_point_unit_p (current_gdbarch))
supply_fprs (ctx.fpr);
/* Special registers. */
/* This function should never be called on architectures without
floating-point registers. */
- gdb_assert (ppc_floating_point_p (current_gdbarch));
+ gdb_assert (ppc_floating_point_unit_p (current_gdbarch));
for (regno = tdep->ppc_fp0_regnum;
regno < tdep->ppc_fp0_regnum + ppc_num_fprs;
}
/* Collect floating-point register values from the regcache. */
- if (ppc_floating_point_p (current_gdbarch))
+ if (ppc_floating_point_unit_p (current_gdbarch))
fill_fprs (ctx.fpr);
/* Special registers (always kept in ctx as 64 bits). */
struct ptxsprs sprs64;
struct ptsprs sprs32;
int i;
- struct gdbarch_tdep *tdep = gdbarch_tdep (current_gdbarch);
if (debug_aix_thread)
fprintf_unfiltered (gdb_stdlog,