2005-12-09 Randolph Chung <tausq@debian.org>
authorRandolph Chung <tausq@debian.org>
Fri, 9 Dec 2005 11:10:25 +0000 (11:10 +0000)
committerRandolph Chung <tausq@debian.org>
Fri, 9 Dec 2005 11:10:25 +0000 (11:10 +0000)
* hppa-tdep.c (hppa64_dwarf_reg_to_regnum): New funtion.
(hppa_gdbarch_init): Set dwarf_reg_to_regnum and
dwarf2_reg_to_regnum methods.

gdb/ChangeLog
gdb/hppa-tdep.c

index 175b222b7afe2d6dfe8607ba069e5aa915f9c066..44f8f48fbdcddc26082386e22dfb5aecf8b657b9 100644 (file)
@@ -1,3 +1,9 @@
+2005-12-09  Randolph Chung  <tausq@debian.org>
+
+       * hppa-tdep.c (hppa64_dwarf_reg_to_regnum): New funtion.
+       (hppa_gdbarch_init): Set dwarf_reg_to_regnum and 
+       dwarf2_reg_to_regnum methods.
+
 2005-12-08  Kevin Buettner  <kevinb@redhat.com>
 
        * NEWS (Changes in GDB 6.4): Delete references indicating that
index 94de581cb13903555b4b44d1d669f6c12dbcd905..88eb1dc9decbb8f28a424049e5862d8eafeb0c9a 100644 (file)
@@ -662,6 +662,21 @@ hppa64_register_name (int i)
     return names[i];
 }
 
+static int
+hppa64_dwarf_reg_to_regnum (int reg)
+{
+  /* r0-r31 and sar map one-to-one.  */
+  if (reg <= 32)
+    return reg;
+
+  /* fr4-fr31 are mapped from 72 in steps of 2.  */
+  if (reg >= 72 || reg < 72 + 28 * 2)
+    return HPPA64_FP4_REGNUM + (reg - 72) / 2;
+
+  error ("Invalid DWARF register num %d.", reg);
+  return -1;
+}
+
 /* This function pushes a stack frame with arguments as part of the
    inferior function calling mechanism.
 
@@ -2747,6 +2762,8 @@ hppa_gdbarch_init (struct gdbarch_info info, struct gdbarch_list *arches)
         set_gdbarch_num_regs (gdbarch, hppa64_num_regs);
         set_gdbarch_register_name (gdbarch, hppa64_register_name);
         set_gdbarch_register_type (gdbarch, hppa64_register_type);
+        set_gdbarch_dwarf_reg_to_regnum (gdbarch, hppa64_dwarf_reg_to_regnum);
+        set_gdbarch_dwarf2_reg_to_regnum (gdbarch, hppa64_dwarf_reg_to_regnum);
        set_gdbarch_cannot_store_register (gdbarch,
                                           hppa64_cannot_store_register);
        set_gdbarch_cannot_fetch_register (gdbarch,