1 /* Disassemble support for GDB.
2 Copyright (C) 2002-2024 Free Software Foundation, Inc.
4 This file is part of GDB.
6 This program is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3 of the License, or
9 (at your option) any later version.
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with this program. If not, see <http://www.gnu.org/licenses/>. */
23 #include "disasm-flags.h"
29 /* A wrapper around a disassemble_info and a gdbarch. This is the core
30 set of data that all disassembler sub-classes will need. This class
31 doesn't actually implement the disassembling process, that is something
32 that sub-classes will do, with each sub-class doing things slightly
35 The constructor of this class is protected, you should not create
36 instances of this class directly, instead create an instance of an
37 appropriate sub-class. */
39 struct gdb_disassemble_info
41 DISABLE_COPY_AND_ASSIGN (gdb_disassemble_info
);
43 /* Return the gdbarch we are disassembling for. */
44 struct gdbarch
*arch ()
47 /* Return a pointer to the disassemble_info, this will be needed for
48 passing into the libopcodes disassembler. */
49 struct disassemble_info
*disasm_info ()
54 /* Types for the function callbacks within m_di. The actual function
55 signatures here are taken from include/dis-asm.h. */
56 using read_memory_ftype
57 = int (*) (bfd_vma
, bfd_byte
*, unsigned int, struct disassemble_info
*)
59 using memory_error_ftype
60 = void (*) (int, bfd_vma
, struct disassemble_info
*) noexcept
;
61 using print_address_ftype
62 = void (*) (bfd_vma
, struct disassemble_info
*) noexcept
;
64 = int (*) (void *, const char *, ...) noexcept
;
65 using fprintf_styled_ftype
66 = int (*) (void *, enum disassembler_style
, const char *, ...) noexcept
;
68 /* Constructor, many fields in m_di are initialized from GDBARCH. The
69 remaining arguments are function callbacks that are written into m_di.
70 Of these function callbacks FPRINTF_FUNC and FPRINTF_STYLED_FUNC must
71 not be nullptr. If READ_MEMORY_FUNC, MEMORY_ERROR_FUNC, or
72 PRINT_ADDRESS_FUNC are nullptr, then that field within m_di is left
73 with its default value (see the libopcodes function
74 init_disassemble_info for the defaults). */
75 gdb_disassemble_info (struct gdbarch
*gdbarch
,
76 read_memory_ftype read_memory_func
,
77 memory_error_ftype memory_error_func
,
78 print_address_ftype print_address_func
,
79 fprintf_ftype fprintf_func
,
80 fprintf_styled_ftype fprintf_styled_func
);
83 virtual ~gdb_disassemble_info ();
85 /* Stores data required for disassembling instructions in
87 struct disassemble_info m_di
;
90 /* The architecture we are disassembling for. */
91 struct gdbarch
*m_gdbarch
;
93 /* If we own the string in `m_di.disassembler_options', we do so
95 std::string m_disassembler_options_holder
;
98 /* A wrapper around gdb_disassemble_info. This class adds default
99 print functions that are supplied to the disassemble_info within the
100 parent class. These default print functions write to the stream, which
101 is also contained in the parent class.
103 As with the parent class, the constructor for this class is protected,
104 you should not create instances of this class, but create an
105 appropriate sub-class instead. */
107 struct gdb_printing_disassembler
: public gdb_disassemble_info
109 DISABLE_COPY_AND_ASSIGN (gdb_printing_disassembler
);
111 /* The stream that disassembler output is being written too. */
112 struct ui_file
*stream ()
117 /* Constructor. All the arguments are just passed to the parent class.
118 We also add the two print functions to the arguments passed to the
119 parent. See gdb_disassemble_info for a description of how the
120 arguments are handled. */
121 gdb_printing_disassembler (struct gdbarch
*gdbarch
,
122 struct ui_file
*stream
,
123 read_memory_ftype read_memory_func
,
124 memory_error_ftype memory_error_func
,
125 print_address_ftype print_address_func
)
126 : gdb_disassemble_info (gdbarch
, read_memory_func
,
127 memory_error_func
, print_address_func
,
128 fprintf_func
, fprintf_styled_func
),
131 gdb_assert (stream
!= nullptr);
134 /* Callback used as the disassemble_info's fprintf_func callback. The
135 DIS_INFO pointer is a pointer to a gdb_printing_disassembler object.
136 Content is written to the m_stream extracted from DIS_INFO. */
137 static int fprintf_func (void *dis_info
, const char *format
, ...) noexcept
138 ATTRIBUTE_PRINTF (2, 3);
140 /* Callback used as the disassemble_info's fprintf_styled_func callback.
141 The DIS_INFO pointer is a pointer to a gdb_printing_disassembler
142 object. Content is written to the m_stream extracted from DIS_INFO. */
143 static int fprintf_styled_func (void *dis_info
,
144 enum disassembler_style style
,
145 const char *format
, ...) noexcept
146 ATTRIBUTE_PRINTF(3,4);
148 /* Return true if the disassembler is considered inside a comment, false
150 bool in_comment_p () const
151 { return m_in_comment
; }
153 /* Set whether the disassembler should be considered as within comment
155 void set_in_comment (bool c
)
156 { m_in_comment
= c
; }
160 /* When libopcodes calls the fprintf_func and fprintf_styled_func
161 callbacks, a 'void *' argument is passed. We arrange, through our
162 call to init_disassemble_info that this argument will be a pointer to
163 a gdb_disassemble_info sub-class, specifically, a
164 gdb_printing_disassembler pointer. This helper function casts
165 DIS_INFO to the correct type (with some asserts), and then returns the
166 m_stream member variable. */
167 static ui_file
*stream_from_gdb_disassemble_info (void *dis_info
);
169 /* The stream to which output should be sent. */
170 struct ui_file
*m_stream
;
172 /* Are we inside a comment? This will be set true if the disassembler
173 uses styled output and emits a start of comment character. It is up
174 to the code that uses this disassembler class to reset this flag back
175 to false at a suitable time (e.g. at the end of every line). */
176 bool m_in_comment
= false;
179 /* A basic disassembler that doesn't actually print anything. */
181 struct gdb_non_printing_disassembler
: public gdb_disassemble_info
183 gdb_non_printing_disassembler (struct gdbarch
*gdbarch
,
184 read_memory_ftype read_memory_func
)
185 : gdb_disassemble_info (gdbarch
,
187 nullptr /* memory_error_func */,
188 nullptr /* print_address_func */,
190 null_fprintf_styled_func
)
195 /* Callback used as the disassemble_info's fprintf_func callback, this
196 doesn't write anything to STREAM, but just returns 0. */
197 static int null_fprintf_func (void *stream
, const char *format
, ...) noexcept
198 ATTRIBUTE_PRINTF(2,3);
200 /* Callback used as the disassemble_info's fprintf_styled_func callback,
201 , this doesn't write anything to STREAM, but just returns 0. */
202 static int null_fprintf_styled_func (void *stream
,
203 enum disassembler_style style
,
204 const char *format
, ...) noexcept
205 ATTRIBUTE_PRINTF(3,4);
208 /* This is a helper class, for use as an additional base-class, by some of
209 the disassembler classes below. This class just defines a static method
210 for reading from target memory, which can then be used by the various
211 disassembler sub-classes. */
213 struct gdb_disassembler_memory_reader
215 /* Implements the read_memory_func disassemble_info callback. */
216 static int dis_asm_read_memory (bfd_vma memaddr
, gdb_byte
*myaddr
,
218 struct disassemble_info
*info
) noexcept
;
221 /* A non-printing disassemble_info management class. The disassemble_info
222 setup by this class will not print anything to the output stream (there
223 is no output stream), and the instruction to be disassembled will be
224 read from target memory. */
226 struct gdb_non_printing_memory_disassembler
227 : public gdb_non_printing_disassembler
,
228 private gdb_disassembler_memory_reader
230 /* Constructor. GDBARCH is the architecture to disassemble for. */
231 gdb_non_printing_memory_disassembler (struct gdbarch
*gdbarch
)
232 :gdb_non_printing_disassembler (gdbarch
, dis_asm_read_memory
)
236 /* A disassembler class that provides 'print_insn', a method for
237 disassembling a single instruction to the output stream. */
239 struct gdb_disassembler
: public gdb_printing_disassembler
,
240 private gdb_disassembler_memory_reader
242 gdb_disassembler (struct gdbarch
*gdbarch
, struct ui_file
*file
)
243 : gdb_disassembler (gdbarch
, file
, dis_asm_read_memory
)
246 DISABLE_COPY_AND_ASSIGN (gdb_disassembler
);
248 /* Disassemble a single instruction at MEMADDR to the ui_file* that was
249 passed to the constructor. If a memory error occurs while
250 disassembling this instruction then an error will be thrown. */
251 int print_insn (CORE_ADDR memaddr
, int *branch_delay_insns
= NULL
);
254 gdb_disassembler (struct gdbarch
*gdbarch
, struct ui_file
*file
,
255 read_memory_ftype func
);
258 /* This member variable is given a value by calling dis_asm_memory_error.
259 If after calling into the libopcodes disassembler we get back a
260 negative value (which indicates an error), then, if this variable has
261 a value, we report a memory error to the user, otherwise, we report a
263 std::optional
<CORE_ADDR
> m_err_memaddr
;
265 /* The stream to which disassembler output will be written. */
268 /* Disassembler output is built up into this buffer. Whether this
269 string_file is created with styling support or not depends on the
270 value of use_ext_lang_colorization_p, as well as whether disassembler
271 styling in general is turned on, and also, whether *m_dest supports
273 string_file m_buffer
;
275 /* When true, m_buffer will be created without styling support,
276 otherwise, m_buffer will be created with styling support.
278 This field will initially be true, but will be set to false if
279 ext_lang_colorize_disasm fails to add styling at any time.
281 If the extension language is going to add the styling then m_buffer
282 should be created without styling support, the extension language will
283 then add styling at the end of the disassembly process.
285 If the extension language is not going to add the styling, then we
286 create m_buffer with styling support, and GDB will add minimal styling
287 (currently just to addresses and symbols) as it goes. */
288 static bool use_ext_lang_colorization_p
;
290 static void dis_asm_memory_error (int err
, bfd_vma memaddr
,
291 struct disassemble_info
*info
) noexcept
;
292 static void dis_asm_print_address (bfd_vma addr
,
293 struct disassemble_info
*info
) noexcept
;
295 /* Return true if we should use the extension language to apply
296 disassembler styling. This requires disassembler styling to be on
297 (i.e. 'set style disassembler enabled on'), the output stream needs to
298 support styling, and libopcode styling needs to be either off, or not
299 supported for the current architecture (libopcodes is used in
300 preference to the extension language method). */
301 bool use_ext_lang_for_styling () const;
303 /* Return true if we should use libopcodes to apply disassembler styling.
304 This requires disassembler styling to be on (i.e. 'set style
305 disassembler enabled on'), the output stream needs to support styling,
306 and libopcodes styling needs to be supported for the current
307 architecture, and not disabled by the user. */
308 bool use_libopcodes_for_styling () const;
311 /* An instruction to be disassembled. */
315 /* The address of the memory containing the instruction. */
318 /* An optional instruction number. If non-zero, it is printed first. */
321 /* True if the instruction was executed speculatively. */
322 unsigned int is_speculative
:1;
325 extern void gdb_disassembly (struct gdbarch
*gdbarch
, struct ui_out
*uiout
,
326 gdb_disassembly_flags flags
, int how_many
,
327 CORE_ADDR low
, CORE_ADDR high
);
329 /* Print the instruction at address MEMADDR in debugged memory,
330 on STREAM. Returns the length of the instruction, in bytes,
331 and, if requested, the number of branch delay slot instructions. */
333 extern int gdb_print_insn (struct gdbarch
*gdbarch
, CORE_ADDR memaddr
,
334 struct ui_file
*stream
, int *branch_delay_insns
);
336 /* Class used to pretty-print instructions. */
338 class gdb_pretty_print_disassembler
341 explicit gdb_pretty_print_disassembler (struct gdbarch
*gdbarch
,
342 struct ui_out
*uiout
)
344 m_insn_stb (uiout
->can_emit_style_escape ()),
345 m_di (gdbarch
, &m_insn_stb
)
348 /* Prints the instruction INSN into the saved ui_out and returns the
349 length of the printed instruction in bytes. */
350 int pretty_print_insn (const struct disasm_insn
*insn
,
351 gdb_disassembly_flags flags
);
354 /* Returns the architecture used for disassembling. */
355 struct gdbarch
*arch () { return m_di
.arch (); }
357 /* The ui_out that is used by pretty_print_insn. */
358 struct ui_out
*m_uiout
;
360 /* The buffer used to build the instruction string. The
361 disassembler is initialized with this stream. */
362 string_file m_insn_stb
;
364 /* The disassembler used for instruction printing. */
365 gdb_disassembler m_di
;
367 /* The buffer used to build the raw opcodes string. */
368 string_file m_opcode_stb
;
370 /* The buffer used to hold the opcode bytes (if required). */
371 gdb::byte_vector m_opcode_data
;
374 /* Return the length in bytes of the instruction at address MEMADDR in
377 extern int gdb_insn_length (struct gdbarch
*gdbarch
, CORE_ADDR memaddr
);
379 /* Return the length in bytes of INSN, originally at MEMADDR. MAX_LEN
380 is the size of the buffer containing INSN. */
382 extern int gdb_buffered_insn_length (struct gdbarch
*gdbarch
,
383 const gdb_byte
*insn
, int max_len
,
386 /* Returns GDBARCH's disassembler options. */
388 extern const char *get_disassembler_options (struct gdbarch
*gdbarch
);
390 /* Sets the active gdbarch's disassembler options to OPTIONS. */
392 extern void set_disassembler_options (const char *options
);