gdb/amd64-dicos-tdep.c

   1 /* Target-dependent code for DICOS running on x86-64's, for GDB.
   2
   3    Copyright (C) 2009, 2010, 2011 Free Software Foundation, Inc.
   4
   5    This file is part of GDB.
   6
   7    This program is free software; you can redistribute it and/or modify
   8    it under the terms of the GNU General Public License as published by
   9    the Free Software Foundation; either version 3 of the License, or
  10    (at your option) any later version.
  11
  12    This program is distributed in the hope that it will be useful,
  13    but WITHOUT ANY WARRANTY; without even the implied warranty of
  14    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15    GNU General Public License for more details.
  16
  17    You should have received a copy of the GNU General Public License
  18    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
  19
  20 #include "defs.h"
  21 #include "osabi.h"
  22 #include "gdb_string.h"
  23 #include "amd64-tdep.h"
  24 #include "dicos-tdep.h"
  25
  26 static CORE_ADDR
  27 amd64_dicos_push_dummy_code (struct gdbarch *gdbarch,
  28                              CORE_ADDR sp, CORE_ADDR funaddr,
  29                              struct value **args, int nargs,
  30                              struct type *value_type,
  31                              CORE_ADDR *real_pc, CORE_ADDR *bp_addr,
  32                              struct regcache *regcache)
  33 {
  34   int bplen;
  35   CORE_ADDR bppc = sp;
  36
  37   gdbarch_breakpoint_from_pc (gdbarch, &bppc, &bplen);
  38   *bp_addr = sp - bplen;
  39   *real_pc = funaddr;
  40
  41   return *bp_addr;
  42 }
  43
  44 static void
  45 amd64_dicos_init_abi (struct gdbarch_info info, struct gdbarch *gdbarch)
  46 {
  47   struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
  48
  49   amd64_init_abi (info, gdbarch);
  50
  51   dicos_init_abi (gdbarch);
  52
  53   set_gdbarch_push_dummy_code (gdbarch, amd64_dicos_push_dummy_code);
  54 }
  55
  56 static enum gdb_osabi
  57 amd64_dicos_osabi_sniffer (bfd *abfd)
  58 {
  59   char *target_name = bfd_get_target (abfd);
  60
  61   /* On amd64-DICOS, the Load Module's "header" section is 72
  62      bytes.  */
  63   if (strcmp (target_name, "elf64-x86-64") == 0
  64       && dicos_load_module_p (abfd, 72))
  65     return GDB_OSABI_DICOS;
  66
  67   return GDB_OSABI_UNKNOWN;
  68 }
  69
  70 /* Provide a prototype to silence -Wmissing-prototypes.  */
  71 void _initialize_amd64_dicos_tdep (void);
  72
  73 void
  74 _initialize_amd64_dicos_tdep (void)
  75 {
  76   gdbarch_register_osabi_sniffer (bfd_arch_i386, bfd_target_elf_flavour,
  77                                   amd64_dicos_osabi_sniffer);
  78
  79   gdbarch_register_osabi (bfd_arch_i386, bfd_mach_x86_64,
  80                           GDB_OSABI_DICOS,
  81                           amd64_dicos_init_abi);
  82 }