* Makefile.in (ALL_64_TARGET_OBS): Add amd64-dicos-tdep.o.
[external/binutils.git] / gdb / amd64-dicos-tdep.c
1 /* Target-dependent code for DICOS running on x86-64's, for GDB.
2
3    Copyright (C) 2009 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 }