Re: gas: add visibility support using GNU syntax on XCOFF
[binutils-gdb.git] / sim / README-HACKING
1 This is a loose collection of notes for people hacking on simulators.
2 If this document gets big enough it can be prettied up then.
3
4 Contents
5
6 - The "common" directory
7 - Common Makefile Support
8 - TAGS support
9 - Generating "configure" files
10 - C Language Assumptions
11 - "dump" commands under gdb
12 \f
13 The "common" directory
14 ======================
15
16 The common directory contains:
17
18 - common documentation files (e.g. run.1, and maybe in time .texi files)
19 - common source files (e.g. run.c)
20 - common Makefile fragment and configury (e.g. Make-common.in, aclocal.m4).
21
22 In addition "common" contains portions of the system call support
23 (e.g. callback.c, target-newlib-*.c).
24 \f
25 Common Makefile Support
26 =======================
27
28 A common configuration framework is available for simulators that want
29 to use it. The common framework exists to remove a lot of duplication
30 in configure.ac and Makefile.in, and it also provides a foundation for
31 enhancing the simulators uniformly (e.g. the more they share in common
32 the easier a feature added to one is added to all).
33
34 The configure.ac of a simulator using the common framework should look like:
35
36 --- snip ---
37 dnl Process this file with autoconf to produce a configure script.
38 AC_INIT(Makefile.in)
39 AC_CONFIG_MACRO_DIRS([../common ../.. ../../config])
40
41 ... target specific additions ...
42
43 SIM_AC_OUTPUT
44 --- snip ---
45
46 SIM_AC_OUTPUT:
47
48 - creates the symbolic links defined in sim_link_{files,links}
49 - creates config.h
50 - creates the Makefile
51
52 The Makefile.in of a simulator using the common framework should look like:
53
54 --- snip ---
55 # Makefile for blah ...
56 # Copyright blah ...
57
58 ## COMMON_PRE_CONFIG_FRAG
59
60 # These variables are given default values in COMMON_PRE_CONFIG_FRAG.
61 # We override the ones we need to here.
62 # Not all of these need to be mentioned, only the necessary ones.
63 # In fact it is better to *not* mention ones if the value is the default.
64
65 # List of object files, less common parts.
66 SIM_OBJS =
67 # List of extra dependencies.
68 # Generally this consists of simulator specific files included by sim-main.h.
69 SIM_EXTRA_DEPS =
70 # List of flags to always pass to $(CC).
71 SIM_EXTRA_CFLAGS =
72 # List of extra libraries to link with.
73 SIM_EXTRA_LIBS =
74 # Dependency of `install' to install any extra files.
75 SIM_EXTRA_INSTALL =
76 # Dependency of `clean' to clean any extra files.
77 SIM_EXTRA_CLEAN =
78
79 ## COMMON_POST_CONFIG_FRAG
80
81 # Rules need to build $(SIM_OBJS), plus whatever else the target wants.
82
83 ... target specific rules ...
84 --- snip ---
85
86 COMMON_{PRE,POST}_CONFIG_FRAG are markers for SIM_AC_OUTPUT to tell it
87 where to insert the two pieces of common/Make-common.in.
88 The resulting Makefile is created by doing autoconf substitions on
89 both the target's Makefile.in and Make-common.in, and inserting
90 the two pieces of Make-common.in into the target's Makefile.in at
91 COMMON_{PRE,POST}_CONFIG_FRAG.
92
93 Note that SIM_EXTRA_{INSTALL,CLEAN} could be removed and "::" targets
94 could be used instead. However, it's not clear yet whether "::" targets
95 are portable enough.
96 \f
97 TAGS support
98 ============
99
100 Many files generate program symbols at compile time.
101 Such symbols can't be found with grep nor do they normally appear in
102 the TAGS file. To get around this, source files can add the comment
103
104 /* TAGS: foo1 foo2 */
105
106 where foo1, foo2 are program symbols. Symbols found in such comments
107 are greppable and appear in the TAGS file.
108 \f
109 Generating "configure" files
110 ============================
111
112 For targets using the common framework, "configure" can be generated
113 by running `autoconf'.
114
115 To regenerate the configure files for all targets using the common framework:
116
117 $ cd devo/sim
118 $ make -f Makefile.in SHELL=/bin/sh autoconf-common
119
120 To add a change-log entry to the ChangeLog file for each updated
121 directory (WARNING - check the modified new-ChangeLog files before
122 renaming):
123
124 $ make -f Makefile.in SHELL=/bin/sh autoconf-changelog
125 $ more */new-ChangeLog
126 $ make -f Makefile.in SHELL=/bin/sh autoconf-install
127
128 In a similar vein, both the configure and config.in files can be
129 updated using the sequence:
130
131 $ cd devo/sim
132 $ make -f Makefile.in SHELL=/bin/sh autoheader-common
133 $ make -f Makefile.in SHELL=/bin/sh autoheader-changelog
134 $ more */new-ChangeLog
135 $ make -f Makefile.in SHELL=/bin/sh autoheader-install
136
137 To add the entries to an alternative ChangeLog file, use:
138
139 $ make ChangeLog=MyChangeLog ....
140
141 \f
142 C Language Assumptions
143 ======================
144
145 An ISO C11 compiler is required, as is an ISO C standard library.
146 \f
147 "dump" commands under gdb
148 =========================
149
150 gdbinit.in contains the following
151
152 define dump
153 set sim_debug_dump ()
154 end
155
156 Simulators that define the sim_debug_dump function can then have their
157 internal state pretty printed from gdb.
158
159 FIXME: This can obviously be made more elaborate. As needed it will be.
160 \f
161 Rebuilding target-newlib-* files
162 ================================
163
164 Checkout a copy of the SIM and LIBGLOSS modules (Unless you've already
165 got one to hand):
166
167 $ mkdir /tmp/$$
168 $ cd /tmp/$$
169 $ cvs checkout sim-no-testsuite libgloss-no-testsuite newlib-no-testsuite
170
171 Configure things for an arbitrary simulator target (d10v is used here for
172 convenience):
173
174 $ mkdir /tmp/$$/build
175 $ cd /tmp/$$/build
176 $ /tmp/$$/devo/configure --target=d10v-elf
177
178 In the sim/ directory rebuild the headers:
179
180 $ cd sim/
181 $ make nltvals
182
183 If the target uses the common syscall table (libgloss/syscall.h), then you're
184 all set! If the target has a custom syscall table, you need to declare it:
185
186 devo/sim/common/gennltvals.py
187
188 Add your new processor target (you'll need to grub
189 around to find where your syscall.h lives).
190
191 devo/sim/<processor>/*.[ch]
192
193 Include target-newlib-syscall.h instead of syscall.h.
194 \f
195 Tracing
196 =======
197
198 For ports based on CGEN, tracing instrumentation should largely be for free,
199 so we will cover the basic non-CGEN setup here. The assumption is that your
200 target is using the common autoconf macros and so the build system already
201 includes the sim-trace configure flag.
202
203 The full tracing API is covered in sim-trace.h, so this section is an overview.
204
205 Before calling any trace function, you should make a call to the trace_prefix()
206 function. This is usually done in the main sim_engine_run() loop before
207 simulating the next instruction. You should make this call before every
208 simulated insn. You can probably copy & paste this:
209 if (TRACE_ANY_P (cpu))
210 trace_prefix (sd, cpu, NULL_CIA, oldpc, TRACE_LINENUM_P (cpu), NULL, 0, "");
211
212 You will then need to instrument your simulator code with calls to the
213 trace_generic() function with the appropriate trace index. Typically, this
214 will take a form similar to the above snippet. So to trace instructions, you
215 would use something like:
216 if (TRACE_INSN_P (cpu))
217 trace_generic (sd, cpu, TRACE_INSN_IDX, "NOP;");
218
219 The exact output format is up to you. See the trace index enum in sim-trace.h
220 to see the different tracing info available.
221
222 To utilize the tracing features at runtime, simply use the --trace-xxx flags.
223 run --trace-insn ./some-program
224 \f
225 Profiling
226 =========
227
228 Similar to the tracing section, this is merely an overview for non-CGEN based
229 ports. The full API may be found in sim-profile.h. Its API is also similar
230 to the tracing API.
231
232 Note that unlike the tracing command line options, in addition to the profile
233 flags, you have to use the --verbose option to view the summary report after
234 execution. Tracing output is displayed on the fly, but the profile output is
235 only summarized.
236
237 To profile core accesses (such as data reads/writes and insn fetches), add
238 calls to PROFILE_COUNT_CORE() to your read/write functions. So in your data
239 fetch function, you'd use something like:
240 PROFILE_COUNT_CORE (cpu, target_addr, size_in_bytes, map_read);
241 Then in your data write function:
242 PROFILE_COUNT_CORE (cpu, target_addr, size_in_bytes, map_write);
243 And in your insn fetcher:
244 PROFILE_COUNT_CORE (cpu, target_addr, size_in_bytes, map_exec);
245
246 To use the PC profiling code, you simply have to tell the system where to find
247 your simulator's PC. So in your model initialization function:
248 CPU_PC_FETCH (cpu) = function_that_fetches_the_pc;
249
250 To profile branches, in every location where a branch insn is executed, call
251 one of the related helpers:
252 PROFILE_BRANCH_TAKEN (cpu);
253 PROFILE_BRANCH_UNTAKEN (cpu);
254 If you have stall information, you can utilize the other helpers too.
255 \f
256 Environment Simulation
257 ======================
258
259 The simplest simulator doesn't include environment support -- it merely
260 simulates the Instruction Set Architecture (ISA). Once you're ready to move
261 on to the next level, it's time to start handling the --env option. It's
262 enabled by default for all ports already.
263
264 This will support for the user, virtual, and operating environments. See the
265 sim-config.h header for a more detailed description of them. The former are
266 pretty straight forward as things like exceptions (making system calls) are
267 handled in the simulator. Which is to say, an exception does not trigger an
268 exception handler in the simulator target -- that is what the operating env
269 is about. See the following userspace section for more information.
270 \f
271 Userspace System Calls
272 ======================
273
274 By default, the libgloss userspace is simulated. That means the system call
275 numbers and calling convention matches that of libgloss. Simulating other
276 userspaces (such as Linux) is pretty straightforward, but let's first focus
277 on the basics. The basic API is covered in include/sim/callback.h.
278
279 When an instruction is simulated that invokes the system call method (such as
280 forcing a hardware trap or exception), your simulator code should set up the
281 CB_SYSCALL data structure before calling the common cb_syscall() function.
282 For example:
283 static int
284 syscall_read_mem (host_callback *cb, struct cb_syscall *sc,
285 unsigned long taddr, char *buf, int bytes)
286 {
287 SIM_DESC sd = (SIM_DESC) sc->p1;
288 SIM_CPU *cpu = (SIM_CPU *) sc->p2;
289 return sim_core_read_buffer (sd, cpu, read_map, buf, taddr, bytes);
290 }
291 static int
292 syscall_write_mem (host_callback *cb, struct cb_syscall *sc,
293 unsigned long taddr, const char *buf, int bytes)
294 {
295 SIM_DESC sd = (SIM_DESC) sc->p1;
296 SIM_CPU *cpu = (SIM_CPU *) sc->p2;
297 return sim_core_write_buffer (sd, cpu, write_map, buf, taddr, bytes);
298 }
299 void target_sim_syscall (SIM_CPU *cpu)
300 {
301 SIM_DESC sd = CPU_STATE (cpu);
302 host_callback *cb = STATE_CALLBACK (sd);
303 CB_SYSCALL sc;
304
305 CB_SYSCALL_INIT (&sc);
306
307 sc.func = <fetch system call number>;
308 sc.arg1 = <fetch first system call argument>;
309 sc.arg2 = <fetch second system call argument>;
310 sc.arg3 = <fetch third system call argument>;
311 sc.arg4 = <fetch fourth system call argument>;
312 sc.p1 = (PTR) sd;
313 sc.p2 = (PTR) cpu;
314 sc.read_mem = syscall_read_mem;
315 sc.write_mem = syscall_write_mem;
316
317 cb_syscall (cb, &sc);
318
319 <store system call result from sc.result>;
320 <store system call error from sc.errcode>;
321 }
322 Some targets store the result and error code in different places, while others
323 only store the error code when the result is an error.
324
325 Keep in mind that the CB_SYS_xxx defines are normalized values with no real
326 meaning with respect to the target. They provide a unique map on the host so
327 that it can parse things sanely. For libgloss, the common/target-newlib-syscall
328 file contains the target's system call numbers to the CB_SYS_xxx values.
329
330 To simulate other userspace targets, you really only need to update the maps
331 pointers that are part of the callback interface. So create CB_TARGET_DEFS_MAP
332 arrays for each set (system calls, errnos, open bits, etc...) and in a place
333 you find useful, do something like:
334
335 ...
336 static CB_TARGET_DEFS_MAP cb_linux_syscall_map[] = {
337 # define TARGET_LINUX_SYS_open 5
338 { CB_SYS_open, TARGET_LINUX_SYS_open },
339 ...
340 { -1, -1 },
341 };
342 ...
343 host_callback *cb = STATE_CALLBACK (sd);
344 cb->syscall_map = cb_linux_syscall_map;
345 cb->errno_map = cb_linux_errno_map;
346 cb->open_map = cb_linux_open_map;
347 cb->signal_map = cb_linux_signal_map;
348 cb->stat_map = cb_linux_stat_map;
349 ...
350
351 Each of these cb_linux_*_map's are manually declared by the arch target.
352
353 The target_sim_syscall() example above will then work unchanged (ignoring the
354 system call convention) because all of the callback functions go through these
355 mapping arrays.
356 \f
357 Events
358 ======
359
360 Events are scheduled and executed on behalf of either a cpu or hardware devices.
361 The API is pretty much the same and can be found in common/sim-events.h and
362 common/hw-events.h.
363
364 For simulator targets, you really just have to worry about the schedule and
365 deschedule functions.
366 \f
367 Device Trees
368 ============
369
370 The device tree model is based on the OpenBoot specification. Since this is
371 largely inherited from the psim code, consult the existing psim documentation
372 for some in-depth details.
373 http://sourceware.org/psim/manual/
374 \f
375 Hardware Devices
376 ================
377
378 The simplest simulator doesn't include hardware device support. Once you're
379 ready to move on to the next level, declare in your Makefile.in:
380 SIM_EXTRA_HW_DEVICES = devone devtwo devthree
381
382 The basic hardware API is documented in common/hw-device.h.
383
384 Each device has to have a matching file name with a "dv-" prefix. So there has
385 to be a dv-devone.c, dv-devtwo.c, and dv-devthree.c files. Further, each file
386 has to have a matching hw_descriptor structure. So the dv-devone.c file has to
387 have something like:
388 const struct hw_descriptor dv_devone_descriptor[] = {
389 {"devone", devone_finish,},
390 {NULL, NULL},
391 };
392
393 The "devone" string as well as the "devone_finish" function are not hard
394 requirements, just common conventions. The structure name is a hard
395 requirement.
396
397 The devone_finish() callback function is used to instantiate this device by
398 parsing the corresponding properties in the device tree.
399
400 Hardware devices typically attach address ranges to themselves. Then when
401 accesses to those addresses are made, the hardware will have its callback
402 invoked. The exact callback could be a normal I/O read/write access, as
403 well as a DMA access. This makes it easy to simulate memory mapped registers.
404
405 Keep in mind that like a proper device driver, it may be instantiated many
406 times over. So any device state it needs to be maintained should be allocated
407 during the finish callback and attached to the hardware device via set_hw_data.
408 Any hardware functions can access this private data via the hw_data function.
409 \f
410 Ports (Interrupts / IRQs)
411 =========================
412
413 First, a note on terminology. A "port" is an aspect of a hardware device that
414 accepts or generates interrupts. So devices with input ports may be the target
415 of an interrupt (accept it), and/or they have output ports so that they may be
416 the source of an interrupt (generate it).
417
418 Each port has a symbolic name and a unique number. These are used to identify
419 the port in different contexts. The output port name has no hard relationship
420 to the input port name (same for the unique number). The callback that accepts
421 the interrupt uses the name/id of its input port, while the generator function
422 uses the name/id of its output port.
423
424 The device tree is used to connect the output port of a device to the input
425 port of another device. There are no limits on the number of inputs connected
426 to an output, or outputs to an input, or the devices attached to the ports.
427 In other words, the input port and output port could be the same device.
428
429 The basics are:
430 - each hardware device declares an array of ports (hw_port_descriptor).
431 any mix of input and output ports is allowed.
432 - when setting up the device, attach the array (set_hw_ports).
433 - if the device accepts interrupts, it will have to attach a port callback
434 function (set_hw_port_event)
435 - connect ports with the device tree
436 - handle incoming interrupts with the callback
437 - generate outgoing interrupts with hw_port_event