1*b725ae77Skettenis /* Disassemble support for GDB.
2*b725ae77Skettenis
3*b725ae77Skettenis Copyright 2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
4*b725ae77Skettenis
5*b725ae77Skettenis This file is part of GDB.
6*b725ae77Skettenis
7*b725ae77Skettenis This program is free software; you can redistribute it and/or modify
8*b725ae77Skettenis it under the terms of the GNU General Public License as published by
9*b725ae77Skettenis the Free Software Foundation; either version 2 of the License, or
10*b725ae77Skettenis (at your option) any later version.
11*b725ae77Skettenis
12*b725ae77Skettenis This program is distributed in the hope that it will be useful,
13*b725ae77Skettenis but WITHOUT ANY WARRANTY; without even the implied warranty of
14*b725ae77Skettenis MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15*b725ae77Skettenis GNU General Public License for more details.
16*b725ae77Skettenis
17*b725ae77Skettenis You should have received a copy of the GNU General Public License
18*b725ae77Skettenis along with this program; if not, write to the Free Software
19*b725ae77Skettenis Foundation, Inc., 59 Temple Place - Suite 330,
20*b725ae77Skettenis Boston, MA 02111-1307, USA. */
21*b725ae77Skettenis
22*b725ae77Skettenis #include "defs.h"
23*b725ae77Skettenis #include "target.h"
24*b725ae77Skettenis #include "value.h"
25*b725ae77Skettenis #include "ui-out.h"
26*b725ae77Skettenis #include "gdb_string.h"
27*b725ae77Skettenis #include "disasm.h"
28*b725ae77Skettenis #include "gdbcore.h"
29*b725ae77Skettenis #include "dis-asm.h"
30*b725ae77Skettenis
31*b725ae77Skettenis /* Disassemble functions.
32*b725ae77Skettenis FIXME: We should get rid of all the duplicate code in gdb that does
33*b725ae77Skettenis the same thing: disassemble_command() and the gdbtk variation. */
34*b725ae77Skettenis
35*b725ae77Skettenis /* This Structure is used to store line number information.
36*b725ae77Skettenis We need a different sort of line table from the normal one cuz we can't
37*b725ae77Skettenis depend upon implicit line-end pc's for lines to do the
38*b725ae77Skettenis reordering in this function. */
39*b725ae77Skettenis
40*b725ae77Skettenis struct dis_line_entry
41*b725ae77Skettenis {
42*b725ae77Skettenis int line;
43*b725ae77Skettenis CORE_ADDR start_pc;
44*b725ae77Skettenis CORE_ADDR end_pc;
45*b725ae77Skettenis };
46*b725ae77Skettenis
47*b725ae77Skettenis /* Like target_read_memory, but slightly different parameters. */
48*b725ae77Skettenis static int
dis_asm_read_memory(bfd_vma memaddr,bfd_byte * myaddr,unsigned int len,struct disassemble_info * info)49*b725ae77Skettenis dis_asm_read_memory (bfd_vma memaddr, bfd_byte *myaddr, unsigned int len,
50*b725ae77Skettenis struct disassemble_info *info)
51*b725ae77Skettenis {
52*b725ae77Skettenis return target_read_memory (memaddr, (char *) myaddr, len);
53*b725ae77Skettenis }
54*b725ae77Skettenis
55*b725ae77Skettenis /* Like memory_error with slightly different parameters. */
56*b725ae77Skettenis static void
dis_asm_memory_error(int status,bfd_vma memaddr,struct disassemble_info * info)57*b725ae77Skettenis dis_asm_memory_error (int status, bfd_vma memaddr,
58*b725ae77Skettenis struct disassemble_info *info)
59*b725ae77Skettenis {
60*b725ae77Skettenis memory_error (status, memaddr);
61*b725ae77Skettenis }
62*b725ae77Skettenis
63*b725ae77Skettenis /* Like print_address with slightly different parameters. */
64*b725ae77Skettenis static void
dis_asm_print_address(bfd_vma addr,struct disassemble_info * info)65*b725ae77Skettenis dis_asm_print_address (bfd_vma addr, struct disassemble_info *info)
66*b725ae77Skettenis {
67*b725ae77Skettenis print_address (addr, info->stream);
68*b725ae77Skettenis }
69*b725ae77Skettenis
70*b725ae77Skettenis static int
compare_lines(const void * mle1p,const void * mle2p)71*b725ae77Skettenis compare_lines (const void *mle1p, const void *mle2p)
72*b725ae77Skettenis {
73*b725ae77Skettenis struct dis_line_entry *mle1, *mle2;
74*b725ae77Skettenis int val;
75*b725ae77Skettenis
76*b725ae77Skettenis mle1 = (struct dis_line_entry *) mle1p;
77*b725ae77Skettenis mle2 = (struct dis_line_entry *) mle2p;
78*b725ae77Skettenis
79*b725ae77Skettenis val = mle1->line - mle2->line;
80*b725ae77Skettenis
81*b725ae77Skettenis if (val != 0)
82*b725ae77Skettenis return val;
83*b725ae77Skettenis
84*b725ae77Skettenis return mle1->start_pc - mle2->start_pc;
85*b725ae77Skettenis }
86*b725ae77Skettenis
87*b725ae77Skettenis static int
dump_insns(struct ui_out * uiout,struct disassemble_info * di,CORE_ADDR low,CORE_ADDR high,int how_many,struct ui_stream * stb)88*b725ae77Skettenis dump_insns (struct ui_out *uiout, struct disassemble_info * di,
89*b725ae77Skettenis CORE_ADDR low, CORE_ADDR high,
90*b725ae77Skettenis int how_many, struct ui_stream *stb)
91*b725ae77Skettenis {
92*b725ae77Skettenis int num_displayed = 0;
93*b725ae77Skettenis CORE_ADDR pc;
94*b725ae77Skettenis
95*b725ae77Skettenis /* parts of the symbolic representation of the address */
96*b725ae77Skettenis int unmapped;
97*b725ae77Skettenis int offset;
98*b725ae77Skettenis int line;
99*b725ae77Skettenis struct cleanup *ui_out_chain;
100*b725ae77Skettenis
101*b725ae77Skettenis for (pc = low; pc < high;)
102*b725ae77Skettenis {
103*b725ae77Skettenis char *filename = NULL;
104*b725ae77Skettenis char *name = NULL;
105*b725ae77Skettenis
106*b725ae77Skettenis QUIT;
107*b725ae77Skettenis if (how_many >= 0)
108*b725ae77Skettenis {
109*b725ae77Skettenis if (num_displayed >= how_many)
110*b725ae77Skettenis break;
111*b725ae77Skettenis else
112*b725ae77Skettenis num_displayed++;
113*b725ae77Skettenis }
114*b725ae77Skettenis ui_out_chain = make_cleanup_ui_out_tuple_begin_end (uiout, NULL);
115*b725ae77Skettenis ui_out_field_core_addr (uiout, "address", pc);
116*b725ae77Skettenis
117*b725ae77Skettenis if (!build_address_symbolic (pc, 0, &name, &offset, &filename,
118*b725ae77Skettenis &line, &unmapped))
119*b725ae77Skettenis {
120*b725ae77Skettenis /* We don't care now about line, filename and
121*b725ae77Skettenis unmapped. But we might in the future. */
122*b725ae77Skettenis ui_out_text (uiout, " <");
123*b725ae77Skettenis ui_out_field_string (uiout, "func-name", name);
124*b725ae77Skettenis ui_out_text (uiout, "+");
125*b725ae77Skettenis ui_out_field_int (uiout, "offset", offset);
126*b725ae77Skettenis ui_out_text (uiout, ">:\t");
127*b725ae77Skettenis }
128*b725ae77Skettenis else
129*b725ae77Skettenis ui_out_text (uiout, ":\t");
130*b725ae77Skettenis
131*b725ae77Skettenis if (filename != NULL)
132*b725ae77Skettenis xfree (filename);
133*b725ae77Skettenis if (name != NULL)
134*b725ae77Skettenis xfree (name);
135*b725ae77Skettenis
136*b725ae77Skettenis ui_file_rewind (stb->stream);
137*b725ae77Skettenis pc += TARGET_PRINT_INSN (pc, di);
138*b725ae77Skettenis ui_out_field_stream (uiout, "inst", stb);
139*b725ae77Skettenis ui_file_rewind (stb->stream);
140*b725ae77Skettenis do_cleanups (ui_out_chain);
141*b725ae77Skettenis ui_out_text (uiout, "\n");
142*b725ae77Skettenis }
143*b725ae77Skettenis return num_displayed;
144*b725ae77Skettenis }
145*b725ae77Skettenis
146*b725ae77Skettenis /* The idea here is to present a source-O-centric view of a
147*b725ae77Skettenis function to the user. This means that things are presented
148*b725ae77Skettenis in source order, with (possibly) out of order assembly
149*b725ae77Skettenis immediately following. */
150*b725ae77Skettenis static void
do_mixed_source_and_assembly(struct ui_out * uiout,struct disassemble_info * di,int nlines,struct linetable_entry * le,CORE_ADDR low,CORE_ADDR high,struct symtab * symtab,int how_many,struct ui_stream * stb)151*b725ae77Skettenis do_mixed_source_and_assembly (struct ui_out *uiout,
152*b725ae77Skettenis struct disassemble_info *di, int nlines,
153*b725ae77Skettenis struct linetable_entry *le,
154*b725ae77Skettenis CORE_ADDR low, CORE_ADDR high,
155*b725ae77Skettenis struct symtab *symtab,
156*b725ae77Skettenis int how_many, struct ui_stream *stb)
157*b725ae77Skettenis {
158*b725ae77Skettenis int newlines = 0;
159*b725ae77Skettenis struct dis_line_entry *mle;
160*b725ae77Skettenis struct symtab_and_line sal;
161*b725ae77Skettenis int i;
162*b725ae77Skettenis int out_of_order = 0;
163*b725ae77Skettenis int next_line = 0;
164*b725ae77Skettenis CORE_ADDR pc;
165*b725ae77Skettenis int num_displayed = 0;
166*b725ae77Skettenis struct cleanup *ui_out_chain;
167*b725ae77Skettenis struct cleanup *ui_out_tuple_chain = make_cleanup (null_cleanup, 0);
168*b725ae77Skettenis struct cleanup *ui_out_list_chain = make_cleanup (null_cleanup, 0);
169*b725ae77Skettenis
170*b725ae77Skettenis mle = (struct dis_line_entry *) alloca (nlines
171*b725ae77Skettenis * sizeof (struct dis_line_entry));
172*b725ae77Skettenis
173*b725ae77Skettenis /* Copy linetable entries for this function into our data
174*b725ae77Skettenis structure, creating end_pc's and setting out_of_order as
175*b725ae77Skettenis appropriate. */
176*b725ae77Skettenis
177*b725ae77Skettenis /* First, skip all the preceding functions. */
178*b725ae77Skettenis
179*b725ae77Skettenis for (i = 0; i < nlines - 1 && le[i].pc < low; i++);
180*b725ae77Skettenis
181*b725ae77Skettenis /* Now, copy all entries before the end of this function. */
182*b725ae77Skettenis
183*b725ae77Skettenis for (; i < nlines - 1 && le[i].pc < high; i++)
184*b725ae77Skettenis {
185*b725ae77Skettenis if (le[i].line == le[i + 1].line && le[i].pc == le[i + 1].pc)
186*b725ae77Skettenis continue; /* Ignore duplicates */
187*b725ae77Skettenis
188*b725ae77Skettenis /* Skip any end-of-function markers. */
189*b725ae77Skettenis if (le[i].line == 0)
190*b725ae77Skettenis continue;
191*b725ae77Skettenis
192*b725ae77Skettenis mle[newlines].line = le[i].line;
193*b725ae77Skettenis if (le[i].line > le[i + 1].line)
194*b725ae77Skettenis out_of_order = 1;
195*b725ae77Skettenis mle[newlines].start_pc = le[i].pc;
196*b725ae77Skettenis mle[newlines].end_pc = le[i + 1].pc;
197*b725ae77Skettenis newlines++;
198*b725ae77Skettenis }
199*b725ae77Skettenis
200*b725ae77Skettenis /* If we're on the last line, and it's part of the function,
201*b725ae77Skettenis then we need to get the end pc in a special way. */
202*b725ae77Skettenis
203*b725ae77Skettenis if (i == nlines - 1 && le[i].pc < high)
204*b725ae77Skettenis {
205*b725ae77Skettenis mle[newlines].line = le[i].line;
206*b725ae77Skettenis mle[newlines].start_pc = le[i].pc;
207*b725ae77Skettenis sal = find_pc_line (le[i].pc, 0);
208*b725ae77Skettenis mle[newlines].end_pc = sal.end;
209*b725ae77Skettenis newlines++;
210*b725ae77Skettenis }
211*b725ae77Skettenis
212*b725ae77Skettenis /* Now, sort mle by line #s (and, then by addresses within
213*b725ae77Skettenis lines). */
214*b725ae77Skettenis
215*b725ae77Skettenis if (out_of_order)
216*b725ae77Skettenis qsort (mle, newlines, sizeof (struct dis_line_entry), compare_lines);
217*b725ae77Skettenis
218*b725ae77Skettenis /* Now, for each line entry, emit the specified lines (unless
219*b725ae77Skettenis they have been emitted before), followed by the assembly code
220*b725ae77Skettenis for that line. */
221*b725ae77Skettenis
222*b725ae77Skettenis ui_out_chain = make_cleanup_ui_out_list_begin_end (uiout, "asm_insns");
223*b725ae77Skettenis
224*b725ae77Skettenis for (i = 0; i < newlines; i++)
225*b725ae77Skettenis {
226*b725ae77Skettenis /* Print out everything from next_line to the current line. */
227*b725ae77Skettenis if (mle[i].line >= next_line)
228*b725ae77Skettenis {
229*b725ae77Skettenis if (next_line != 0)
230*b725ae77Skettenis {
231*b725ae77Skettenis /* Just one line to print. */
232*b725ae77Skettenis if (next_line == mle[i].line)
233*b725ae77Skettenis {
234*b725ae77Skettenis ui_out_tuple_chain
235*b725ae77Skettenis = make_cleanup_ui_out_tuple_begin_end (uiout,
236*b725ae77Skettenis "src_and_asm_line");
237*b725ae77Skettenis print_source_lines (symtab, next_line, mle[i].line + 1, 0);
238*b725ae77Skettenis }
239*b725ae77Skettenis else
240*b725ae77Skettenis {
241*b725ae77Skettenis /* Several source lines w/o asm instructions associated. */
242*b725ae77Skettenis for (; next_line < mle[i].line; next_line++)
243*b725ae77Skettenis {
244*b725ae77Skettenis struct cleanup *ui_out_list_chain_line;
245*b725ae77Skettenis struct cleanup *ui_out_tuple_chain_line;
246*b725ae77Skettenis
247*b725ae77Skettenis ui_out_tuple_chain_line
248*b725ae77Skettenis = make_cleanup_ui_out_tuple_begin_end (uiout,
249*b725ae77Skettenis "src_and_asm_line");
250*b725ae77Skettenis print_source_lines (symtab, next_line, next_line + 1,
251*b725ae77Skettenis 0);
252*b725ae77Skettenis ui_out_list_chain_line
253*b725ae77Skettenis = make_cleanup_ui_out_list_begin_end (uiout,
254*b725ae77Skettenis "line_asm_insn");
255*b725ae77Skettenis do_cleanups (ui_out_list_chain_line);
256*b725ae77Skettenis do_cleanups (ui_out_tuple_chain_line);
257*b725ae77Skettenis }
258*b725ae77Skettenis /* Print the last line and leave list open for
259*b725ae77Skettenis asm instructions to be added. */
260*b725ae77Skettenis ui_out_tuple_chain
261*b725ae77Skettenis = make_cleanup_ui_out_tuple_begin_end (uiout,
262*b725ae77Skettenis "src_and_asm_line");
263*b725ae77Skettenis print_source_lines (symtab, next_line, mle[i].line + 1, 0);
264*b725ae77Skettenis }
265*b725ae77Skettenis }
266*b725ae77Skettenis else
267*b725ae77Skettenis {
268*b725ae77Skettenis ui_out_tuple_chain
269*b725ae77Skettenis = make_cleanup_ui_out_tuple_begin_end (uiout, "src_and_asm_line");
270*b725ae77Skettenis print_source_lines (symtab, mle[i].line, mle[i].line + 1, 0);
271*b725ae77Skettenis }
272*b725ae77Skettenis
273*b725ae77Skettenis next_line = mle[i].line + 1;
274*b725ae77Skettenis ui_out_list_chain
275*b725ae77Skettenis = make_cleanup_ui_out_list_begin_end (uiout, "line_asm_insn");
276*b725ae77Skettenis }
277*b725ae77Skettenis
278*b725ae77Skettenis num_displayed += dump_insns (uiout, di, mle[i].start_pc, mle[i].end_pc,
279*b725ae77Skettenis how_many, stb);
280*b725ae77Skettenis
281*b725ae77Skettenis /* When we've reached the end of the mle array, or we've seen the last
282*b725ae77Skettenis assembly range for this source line, close out the list/tuple. */
283*b725ae77Skettenis if (i == (newlines - 1) || mle[i + 1].line > mle[i].line)
284*b725ae77Skettenis {
285*b725ae77Skettenis do_cleanups (ui_out_list_chain);
286*b725ae77Skettenis do_cleanups (ui_out_tuple_chain);
287*b725ae77Skettenis ui_out_tuple_chain = make_cleanup (null_cleanup, 0);
288*b725ae77Skettenis ui_out_list_chain = make_cleanup (null_cleanup, 0);
289*b725ae77Skettenis ui_out_text (uiout, "\n");
290*b725ae77Skettenis }
291*b725ae77Skettenis if (how_many >= 0 && num_displayed >= how_many)
292*b725ae77Skettenis break;
293*b725ae77Skettenis }
294*b725ae77Skettenis do_cleanups (ui_out_chain);
295*b725ae77Skettenis }
296*b725ae77Skettenis
297*b725ae77Skettenis
298*b725ae77Skettenis static void
do_assembly_only(struct ui_out * uiout,struct disassemble_info * di,CORE_ADDR low,CORE_ADDR high,int how_many,struct ui_stream * stb)299*b725ae77Skettenis do_assembly_only (struct ui_out *uiout, struct disassemble_info * di,
300*b725ae77Skettenis CORE_ADDR low, CORE_ADDR high,
301*b725ae77Skettenis int how_many, struct ui_stream *stb)
302*b725ae77Skettenis {
303*b725ae77Skettenis int num_displayed = 0;
304*b725ae77Skettenis struct cleanup *ui_out_chain;
305*b725ae77Skettenis
306*b725ae77Skettenis ui_out_chain = make_cleanup_ui_out_list_begin_end (uiout, "asm_insns");
307*b725ae77Skettenis
308*b725ae77Skettenis num_displayed = dump_insns (uiout, di, low, high, how_many, stb);
309*b725ae77Skettenis
310*b725ae77Skettenis do_cleanups (ui_out_chain);
311*b725ae77Skettenis }
312*b725ae77Skettenis
313*b725ae77Skettenis /* Initialize the disassemble info struct ready for the specified
314*b725ae77Skettenis stream. */
315*b725ae77Skettenis
316*b725ae77Skettenis static int
fprintf_disasm(void * stream,const char * format,...)317*b725ae77Skettenis fprintf_disasm (void *stream, const char *format, ...)
318*b725ae77Skettenis {
319*b725ae77Skettenis va_list args;
320*b725ae77Skettenis va_start (args, format);
321*b725ae77Skettenis vfprintf_filtered (stream, format, args);
322*b725ae77Skettenis va_end (args);
323*b725ae77Skettenis /* Something non -ve. */
324*b725ae77Skettenis return 0;
325*b725ae77Skettenis }
326*b725ae77Skettenis
327*b725ae77Skettenis static struct disassemble_info
gdb_disassemble_info(struct gdbarch * gdbarch,struct ui_file * file)328*b725ae77Skettenis gdb_disassemble_info (struct gdbarch *gdbarch, struct ui_file *file)
329*b725ae77Skettenis {
330*b725ae77Skettenis struct disassemble_info di;
331*b725ae77Skettenis init_disassemble_info (&di, file, fprintf_disasm);
332*b725ae77Skettenis di.flavour = bfd_target_unknown_flavour;
333*b725ae77Skettenis di.memory_error_func = dis_asm_memory_error;
334*b725ae77Skettenis di.print_address_func = dis_asm_print_address;
335*b725ae77Skettenis /* NOTE: cagney/2003-04-28: The original code, from the old Insight
336*b725ae77Skettenis disassembler had a local optomization here. By default it would
337*b725ae77Skettenis access the executable file, instead of the target memory (there
338*b725ae77Skettenis was a growing list of exceptions though). Unfortunately, the
339*b725ae77Skettenis heuristic was flawed. Commands like "disassemble &variable"
340*b725ae77Skettenis didn't work as they relied on the access going to the target.
341*b725ae77Skettenis Further, it has been supperseeded by trust-read-only-sections
342*b725ae77Skettenis (although that should be superseeded by target_trust..._p()). */
343*b725ae77Skettenis di.read_memory_func = dis_asm_read_memory;
344*b725ae77Skettenis di.arch = gdbarch_bfd_arch_info (gdbarch)->arch;
345*b725ae77Skettenis di.mach = gdbarch_bfd_arch_info (gdbarch)->mach;
346*b725ae77Skettenis di.endian = gdbarch_byte_order (gdbarch);
347*b725ae77Skettenis return di;
348*b725ae77Skettenis }
349*b725ae77Skettenis
350*b725ae77Skettenis void
gdb_disassembly(struct ui_out * uiout,char * file_string,int line_num,int mixed_source_and_assembly,int how_many,CORE_ADDR low,CORE_ADDR high)351*b725ae77Skettenis gdb_disassembly (struct ui_out *uiout,
352*b725ae77Skettenis char *file_string,
353*b725ae77Skettenis int line_num,
354*b725ae77Skettenis int mixed_source_and_assembly,
355*b725ae77Skettenis int how_many, CORE_ADDR low, CORE_ADDR high)
356*b725ae77Skettenis {
357*b725ae77Skettenis struct ui_stream *stb = ui_out_stream_new (uiout);
358*b725ae77Skettenis struct cleanup *cleanups = make_cleanup_ui_out_stream_delete (stb);
359*b725ae77Skettenis struct disassemble_info di = gdb_disassemble_info (current_gdbarch, stb->stream);
360*b725ae77Skettenis /* To collect the instruction outputted from opcodes. */
361*b725ae77Skettenis struct symtab *symtab = NULL;
362*b725ae77Skettenis struct linetable_entry *le = NULL;
363*b725ae77Skettenis int nlines = -1;
364*b725ae77Skettenis
365*b725ae77Skettenis /* Assume symtab is valid for whole PC range */
366*b725ae77Skettenis symtab = find_pc_symtab (low);
367*b725ae77Skettenis
368*b725ae77Skettenis if (symtab != NULL && symtab->linetable != NULL)
369*b725ae77Skettenis {
370*b725ae77Skettenis /* Convert the linetable to a bunch of my_line_entry's. */
371*b725ae77Skettenis le = symtab->linetable->item;
372*b725ae77Skettenis nlines = symtab->linetable->nitems;
373*b725ae77Skettenis }
374*b725ae77Skettenis
375*b725ae77Skettenis if (!mixed_source_and_assembly || nlines <= 0
376*b725ae77Skettenis || symtab == NULL || symtab->linetable == NULL)
377*b725ae77Skettenis do_assembly_only (uiout, &di, low, high, how_many, stb);
378*b725ae77Skettenis
379*b725ae77Skettenis else if (mixed_source_and_assembly)
380*b725ae77Skettenis do_mixed_source_and_assembly (uiout, &di, nlines, le, low,
381*b725ae77Skettenis high, symtab, how_many, stb);
382*b725ae77Skettenis
383*b725ae77Skettenis do_cleanups (cleanups);
384*b725ae77Skettenis gdb_flush (gdb_stdout);
385*b725ae77Skettenis }
386*b725ae77Skettenis
387*b725ae77Skettenis /* Print the instruction at address MEMADDR in debugged memory,
388*b725ae77Skettenis on STREAM. Returns length of the instruction, in bytes. */
389*b725ae77Skettenis
390*b725ae77Skettenis int
gdb_print_insn(CORE_ADDR memaddr,struct ui_file * stream)391*b725ae77Skettenis gdb_print_insn (CORE_ADDR memaddr, struct ui_file *stream)
392*b725ae77Skettenis {
393*b725ae77Skettenis struct disassemble_info di = gdb_disassemble_info (current_gdbarch, stream);
394*b725ae77Skettenis return TARGET_PRINT_INSN (memaddr, &di);
395*b725ae77Skettenis }
396