d7e747318f
This patch starts from the desire to eliminate
make_cleanup_ui_file_delete, but then goes beyond. It makes ui_file &
friends a real C++ class hierarchy, and switches temporary
ui_file-like objects to stack-based allocation.
- mem_fileopen -> string_file
mem_fileopen is replaced with a new string_file class that is treated
as a value class created on the stack. This alone eliminates most
make_cleanup_ui_file_delete calls, and, simplifies code a whole lot
(diffstat shows around 1k loc dropped.)
string_file's internal buffer is a std::string, thus the "string" in
the name. This simplifies the implementation much, compared to
mem_fileopen, which managed growing its internal buffer manually.
- ui_file_as_string, ui_file_strdup, ui_file_obsavestring all gone
The new string_file class has a string() method that provides direct
writable access to the internal std::string buffer. This replaced
ui_file_as_string, which forced a copy of the same data the stream had
inside. With direct access via a writable reference, we can instead
move the string out of the string_stream, avoiding deep string
copying.
Related, ui_file_xstrdup calls are replaced with xstrdup'ping the
stream's string, and ui_file_obsavestring is replaced by
obstack_copy0.
With all those out of the way, getting rid of the weird ui_file_put
mechanism was possible.
- New ui_file::printf, ui_file::puts, etc. methods
These simplify / clarify client code. I considered splitting
client-code changes, like these, e.g.:
- stb = mem_fileopen ();
- fprintf_unfiltered (stb, "%s%s%s",
- _("The valid values are:\n"),
- regdesc,
- _("The default is \"std\"."));
+ string_file stb;
+ stb.printf ("%s%s%s",
+ _("The valid values are:\n"),
+ regdesc,
+ _("The default is \"std\"."));
In two steps, with the first step leaving fprintf_unfiltered (etc.)
calls in place, and only afterwards do a pass to change all those to
call stb.printf etc.. I didn't do that split, because (when I tried),
it turned out to be pointless make-work: the first pass would have to
touch the fprintf_unfiltered line anyway, to replace "stb" with
"&stb".
- gdb_fopen replaced with stack-based objects
This avoids the need for cleanups or unique_ptr's. I.e., this:
struct ui_file *file = gdb_fopen (filename, "w");
if (filename == NULL)
perror_with_name (filename);
cleanups = make_cleanup_ui_file_delete (file);
// use file.
do_cleanups (cleanups);
is replaced with this:
stdio_file file;
if (!file.open (filename, "w"))
perror_with_name (filename);
// use file.
- odd contorsions in null_file_write / null_file_fputs around when to
call to_fputs / to_write eliminated.
- Global null_stream object
A few places that were allocating a ui_file in order to print to
"nowhere" are adjusted to instead refer to a new 'null_stream' global
stream.
- TUI's tui_sfileopen eliminated. TUI's ui_file much simplified
The TUI's ui_file was serving a dual purpose. It supported being used
as string buffer, and supported being backed by a stdio FILE. The
string buffer part is gone, replaced by using of string_file. The
'FILE *' support is now much simplified, by making the TUI's ui_file
inherit from stdio_file.
gdb/ChangeLog:
2017-02-02 Pedro Alves <palves@redhat.com>
* ada-lang.c (type_as_string): Use string_file.
* ada-valprint.c (ada_print_floating): Use string_file.
* ada-varobj.c (ada_varobj_scalar_image)
(ada_varobj_get_value_image): Use string_file.
* aix-thread.c (aix_thread_extra_thread_info): Use string_file.
* arm-tdep.c (_initialize_arm_tdep): Use string_printf.
* breakpoint.c (update_inserted_breakpoint_locations)
(insert_breakpoint_locations, reattach_breakpoints)
(print_breakpoint_location, print_one_detail_ranged_breakpoint)
(print_it_watchpoint): Use string_file.
(save_breakpoints): Use stdio_file.
* c-exp.y (oper): Use string_file.
* cli/cli-logging.c (set_logging_redirect): Use ui_file_up and
tee_file.
(pop_output_files): Use delete.
(handle_redirections): Use stdio_file and tee_file.
* cli/cli-setshow.c (do_show_command): Use string_file.
* compile/compile-c-support.c (c_compute_program): Use
string_file.
* compile/compile-c-symbols.c (generate_vla_size): Take a
'string_file &' instead of a 'ui_file *'.
(generate_c_for_for_one_variable): Take a 'string_file &' instead
of a 'ui_file *'. Use string_file.
(generate_c_for_variable_locations): Take a 'string_file &'
instead of a 'ui_file *'.
* compile/compile-internal.h (generate_c_for_for_one_variable):
Take a 'string_file &' instead of a 'ui_file *'.
* compile/compile-loc2c.c (push, pushf, unary, binary)
(print_label, pushf_register_address, pushf_register)
(do_compile_dwarf_expr_to_c): Take a 'string_file &' instead of a
'ui_file *'. Adjust.
* compile/compile.c (compile_to_object): Use string_file.
* compile/compile.h (compile_dwarf_expr_to_c)
(compile_dwarf_bounds_to_c): Take a 'string_file &' instead of a
'ui_file *'.
* cp-support.c (inspect_type): Use string_file and obstack_copy0.
(replace_typedefs_qualified_name): Use string_file and
obstack_copy0.
* disasm.c (gdb_pretty_print_insn): Use string_file.
(gdb_disassembly): Adjust reference the null_stream global.
(do_ui_file_delete): Delete.
(gdb_insn_length): Use null_stream.
* dummy-frame.c (maintenance_print_dummy_frames): Use stdio_file.
* dwarf2loc.c (dwarf2_compile_property_to_c)
(locexpr_generate_c_location, loclist_generate_c_location): Take a
'string_file &' instead of a 'ui_file *'.
* dwarf2loc.h (dwarf2_compile_property_to_c): Likewise.
* dwarf2read.c (do_ui_file_peek_last): Delete.
(dwarf2_compute_name): Use string_file.
* event-top.c (gdb_setup_readline): Use stdio_file.
* gdbarch.sh (verify_gdbarch): Use string_file.
* gdbtypes.c (safe_parse_type): Use null_stream.
* guile/scm-breakpoint.c (gdbscm_breakpoint_commands): Use
string_file.
* guile/scm-disasm.c (gdbscm_print_insn_from_port): Take a
'string_file *' instead of a 'ui_file *'.
(gdbscm_arch_disassemble): Use string_file.
* guile/scm-frame.c (frscm_print_frame_smob): Use string_file.
* guile/scm-ports.c (class ioscm_file_port): Now a class that
inherits from ui_file.
(ioscm_file_port_delete, ioscm_file_port_rewind)
(ioscm_file_port_put): Delete.
(ioscm_file_port_write): Rename to ...
(ioscm_file_port::write): ... this. Remove file_port_magic
checks.
(ioscm_file_port_new): Delete.
(ioscm_with_output_to_port_worker): Use ioscm_file_port and
ui_file_up.
* guile/scm-type.c (tyscm_type_name): Use string_file.
* guile/scm-value.c (vlscm_print_value_smob, gdbscm_value_print):
Use string_file.
* infcmd.c (print_return_value_1): Use string_file.
* infrun.c (print_target_wait_results): Use string_file.
* language.c (add_language): Use string_file.
* location.c (explicit_to_string_internal): Use string_file.
* main.c (captured_main_1): Use null_file.
* maint.c (maintenance_print_architecture): Use stdio_file.
* mi/mi-cmd-stack.c (list_arg_or_local): Use string_file.
* mi/mi-common.h (struct mi_interp) <out, err, log, targ,
event_channel>: Change type to mi_console_file pointer.
* mi/mi-console.c (mi_console_file_fputs, mi_console_file_flush)
(mi_console_file_delete): Delete.
(struct mi_console_file): Delete.
(mi_console_file_magic): Delete.
(mi_console_file_new): Delete.
(mi_console_file::mi_console_file): New.
(mi_console_file_delete): Delete.
(mi_console_file_fputs): Delete.
(mi_console_file::write): New.
(mi_console_raw_packet): Delete.
(mi_console_file::flush): New.
(mi_console_file_flush): Delete.
(mi_console_set_raw): Rename to ...
(mi_console_file::set_raw): ... this.
* mi/mi-console.h (class mi_console_file): New class.
(mi_console_file_new, mi_console_set_raw): Delete.
* mi/mi-interp.c (mi_interpreter_init): Use mi_console_file.
(mi_set_logging): Use delete and tee_file. Adjust.
* mi/mi-main.c (output_register): Use string_file.
(mi_cmd_data_evaluate_expression): Use string_file.
(mi_cmd_data_read_memory): Use string_file.
(mi_cmd_execute, print_variable_or_computed): Use string_file.
* mi/mi-out.c (mi_ui_out::main_stream): New.
(mi_ui_out::rewind): Use main_stream and
string_file.
(mi_ui_out::put): Use main_stream and string_file.
(mi_ui_out::mi_ui_out): Remove 'stream' parameter.
Allocate a 'string_file' instead.
(mi_out_new): Don't allocate a mem_fileopen stream here.
* mi/mi-out.h (mi_ui_out::mi_ui_out): Remove 'stream' parameter.
(mi_ui_out::main_stream): Declare method.
* printcmd.c (eval_command): Use string_file.
* psymtab.c (maintenance_print_psymbols): Use stdio_file.
* python/py-arch.c (archpy_disassemble): Use string_file.
* python/py-breakpoint.c (bppy_get_commands): Use string_file.
* python/py-frame.c (frapy_str): Use string_file.
* python/py-framefilter.c (py_print_type, py_print_single_arg):
Use string_file.
* python/py-type.c (typy_str): Use string_file.
* python/py-unwind.c (unwind_infopy_str): Use string_file.
* python/py-value.c (valpy_str): Use string_file.
* record-btrace.c (btrace_insn_history): Use string_file.
* regcache.c (regcache_print): Use stdio_file.
* reggroups.c (maintenance_print_reggroups): Use stdio_file.
* remote.c (escape_buffer): Use string_file.
* rust-lang.c (rust_get_disr_info): Use string_file.
* serial.c (serial_open_ops_1): Use stdio_file.
(do_serial_close): Use delete.
* stack.c (print_frame_arg): Use string_file.
(print_frame_args): Remove local mem_fileopen stream, not used.
(print_frame): Use string_file.
* symmisc.c (maintenance_print_symbols): Use stdio_file.
* symtab.h (struct symbol_computed_ops) <generate_c_location>:
Take a 'string_file *' instead of a 'ui_file *'.
* top.c (new_ui): Use stdio_file and stderr_file.
(free_ui): Use delete.
(execute_command_to_string): Use string_file.
(quit_confirm): Use string_file.
* tracepoint.c (collection_list::append_exp): Use string_file.
* tui/tui-disasm.c (tui_disassemble): Use string_file.
* tui/tui-file.c: Don't include "ui-file.h".
(enum streamtype, struct tui_stream): Delete.
(tui_file_new, tui_file_delete, tui_fileopen, tui_sfileopen)
(tui_file_isatty, tui_file_rewind, tui_file_put): Delete.
(tui_file::tui_file): New method.
(tui_file_fputs): Delete.
(tui_file_get_strbuf): Delete.
(tui_file::puts): New method.
(tui_file_adjust_strbuf): Delete.
(tui_file_flush): Delete.
(tui_file::flush): New method.
* tui/tui-file.h: Tweak intro comment.
Include ui-file.h.
(tui_fileopen, tui_sfileopen, tui_file_get_strbuf)
(tui_file_adjust_strbuf): Delete declarations.
(class tui_file): New class.
* tui/tui-io.c (tui_initialize_io): Use tui_file.
* tui/tui-regs.c (tui_restore_gdbout): Use delete.
(tui_register_format): Use string_stream.
* tui/tui-stack.c (tui_make_status_line): Use string_file.
(tui_get_function_from_frame): Use string_file.
* typeprint.c (type_to_string): Use string_file.
* ui-file.c (struct ui_file, ui_file_magic, ui_file_new): Delete.
(null_stream): New global.
(ui_file_delete): Delete.
(ui_file::ui_file): New.
(null_file_isatty): Delete.
(ui_file::~ui_file): New.
(null_file_rewind): Delete.
(ui_file::printf): New.
(null_file_put): Delete.
(null_file_flush): Delete.
(ui_file::putstr): New.
(null_file_write): Delete.
(ui_file::putstrn): New.
(null_file_read): Delete.
(ui_file::putc): New.
(null_file_fputs): Delete.
(null_file_write_async_safe): Delete.
(ui_file::vprintf): New.
(null_file_delete): Delete.
(null_file::write): New.
(null_file_fseek): Delete.
(null_file::puts): New.
(ui_file_data): Delete.
(null_file::write_async_safe): New.
(gdb_flush, ui_file_isatty): Adjust.
(ui_file_put, ui_file_rewind): Delete.
(ui_file_write): Adjust.
(ui_file_write_for_put): Delete.
(ui_file_write_async_safe, ui_file_read): Adjust.
(ui_file_fseek): Delete.
(fputs_unfiltered): Adjust.
(set_ui_file_flush, set_ui_file_isatty, set_ui_file_rewind)
(set_ui_file_put, set_ui_file_write, set_ui_file_write_async_safe)
(set_ui_file_read, set_ui_file_fputs, set_ui_file_fseek)
(set_ui_file_data): Delete.
(string_file::~string_file, string_file::write)
(struct accumulated_ui_file, do_ui_file_xstrdup, ui_file_xstrdup)
(do_ui_file_as_string, ui_file_as_string): Delete.
(do_ui_file_obsavestring, ui_file_obsavestring): Delete.
(struct mem_file): Delete.
(mem_file_new): Delete.
(stdio_file::stdio_file): New.
(mem_file_delete): Delete.
(stdio_file::stdio_file): New.
(mem_fileopen): Delete.
(stdio_file::~stdio_file): New.
(mem_file_rewind): Delete.
(stdio_file::set_stream): New.
(mem_file_put): Delete.
(stdio_file::open): New.
(mem_file_write): Delete.
(stdio_file_magic, struct stdio_file): Delete.
(stdio_file_new, stdio_file_delete, stdio_file_flush): Delete.
(stdio_file::flush): New.
(stdio_file_read): Rename to ...
(stdio_file::read): ... this. Adjust.
(stdio_file_write): Rename to ...
(stdio_file::write): ... this. Adjust.
(stdio_file_write_async_safe): Rename to ...
(stdio_file::write_async_safe) ... this. Adjust.
(stdio_file_fputs): Rename to ...
(stdio_file::puts) ... this. Adjust.
(stdio_file_isatty): Delete.
(stdio_file_fseek): Delete.
(stdio_file::isatty): New.
(stderr_file_write): Rename to ...
(stderr_file::write) ... this. Adjust.
(stderr_file_fputs): Rename to ...
(stderr_file::puts) ... this. Adjust.
(stderr_fileopen, stdio_fileopen, gdb_fopen): Delete.
(stderr_file::stderr_file): New.
(tee_file_magic): Delete.
(struct tee_file): Delete.
(tee_file::tee_file): New.
(tee_file_new): Delete.
(tee_file::~tee_file): New.
(tee_file_delete): Delete.
(tee_file_flush): Rename to ...
(tee_file::flush): ... this. Adjust.
(tee_file_write): Rename to ...
(tee_file::write): ... this. Adjust.
(tee_file::write_async_safe): New.
(tee_file_fputs): Rename to ...
(tee_file::puts): ... this. Adjust.
(tee_file_isatty): Rename to ...
(tee_file::isatty): ... this. Adjust.
* ui-file.h (struct obstack, struct ui_file): Don't
forward-declare.
(ui_file_new, ui_file_flush_ftype, set_ui_file_flush)
(ui_file_write_ftype)
(set_ui_file_write, ui_file_fputs_ftype, set_ui_file_fputs)
(ui_file_write_async_safe_ftype, set_ui_file_write_async_safe)
(ui_file_read_ftype, set_ui_file_read, ui_file_isatty_ftype)
(set_ui_file_isatty, ui_file_rewind_ftype, set_ui_file_rewind)
(ui_file_put_method_ftype, ui_file_put_ftype, set_ui_file_put)
(ui_file_delete_ftype, set_ui_file_data, ui_file_fseek_ftype)
(set_ui_file_fseek): Delete.
(ui_file_data, ui_file_delete, ui_file_rewind)
(struct ui_file): New.
(ui_file_up): New.
(class null_file): New.
(null_stream): Declare.
(ui_file_write_for_put, ui_file_put): Delete.
(ui_file_xstrdup, ui_file_as_string, ui_file_obsavestring):
Delete.
(ui_file_fseek, mem_fileopen, stdio_fileopen, stderr_fileopen)
(gdb_fopen, tee_file_new): Delete.
(struct string_file): New.
(struct stdio_file): New.
(stdio_file_up): New.
(struct stderr_file): New.
(class tee_file): New.
* ui-out.c (ui_out::field_stream): Take a 'string_file &' instead
of a 'ui_file *'. Adjust.
* ui-out.h (class ui_out) <field_stream>: Likewise.
* utils.c (do_ui_file_delete, make_cleanup_ui_file_delete)
(null_stream): Delete.
(error_stream): Take a 'string_file &' instead of a 'ui_file *'.
Adjust.
* utils.h (struct ui_file): Delete forward declaration..
(make_cleanup_ui_file_delete, null_stream): Delete declarations.
(error_stream): Take a 'string_file &' instead of a
'ui_file *'.
* varobj.c (varobj_value_get_print_value): Use string_file.
* xtensa-tdep.c (xtensa_verify_config): Use string_file.
* gdbarch.c: Regenerate.
1162 lines
29 KiB
C
1162 lines
29 KiB
C
/* Convert a DWARF location expression to C
|
||
|
||
Copyright (C) 2014-2017 Free Software Foundation, Inc.
|
||
|
||
This file is part of GDB.
|
||
|
||
This program is free software; you can redistribute it and/or modify
|
||
it under the terms of the GNU General Public License as published by
|
||
the Free Software Foundation; either version 3 of the License, or
|
||
(at your option) any later version.
|
||
|
||
This program is distributed in the hope that it will be useful,
|
||
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||
GNU General Public License for more details.
|
||
|
||
You should have received a copy of the GNU General Public License
|
||
along with this program. If not, see <http://www.gnu.org/licenses/>. */
|
||
|
||
#include "defs.h"
|
||
#include "dwarf2.h"
|
||
#include "dwarf2expr.h"
|
||
#include "dwarf2loc.h"
|
||
#include "ui-file.h"
|
||
#include "utils.h"
|
||
#include "compile-internal.h"
|
||
#include "compile.h"
|
||
#include "block.h"
|
||
#include "dwarf2-frame.h"
|
||
#include "gdb_vecs.h"
|
||
#include "value.h"
|
||
|
||
|
||
|
||
/* Information about a given instruction. */
|
||
|
||
struct insn_info
|
||
{
|
||
/* Stack depth at entry. */
|
||
|
||
unsigned int depth;
|
||
|
||
/* Whether this instruction has been visited. */
|
||
|
||
unsigned int visited : 1;
|
||
|
||
/* Whether this instruction needs a label. */
|
||
|
||
unsigned int label : 1;
|
||
|
||
/* Whether this instruction is DW_OP_GNU_push_tls_address or
|
||
DW_OP_form_tls_address. This is a hack until we can add a
|
||
feature to glibc to let us properly generate code for TLS. */
|
||
|
||
unsigned int is_tls : 1;
|
||
};
|
||
|
||
/* A helper function for compute_stack_depth that does the work. This
|
||
examines the DWARF expression starting from START and computes
|
||
stack effects.
|
||
|
||
NEED_TEMPVAR is an out parameter which is set if this expression
|
||
needs a special temporary variable to be emitted (see the code
|
||
generator).
|
||
INFO is an array of insn_info objects, indexed by offset from the
|
||
start of the DWARF expression.
|
||
TO_DO is a list of bytecodes which must be examined; it may be
|
||
added to by this function.
|
||
BYTE_ORDER and ADDR_SIZE describe this bytecode in the obvious way.
|
||
OP_PTR and OP_END are the bounds of the DWARF expression. */
|
||
|
||
static void
|
||
compute_stack_depth_worker (int start, int *need_tempvar,
|
||
struct insn_info *info,
|
||
VEC (int) **to_do,
|
||
enum bfd_endian byte_order, unsigned int addr_size,
|
||
const gdb_byte *op_ptr, const gdb_byte *op_end)
|
||
{
|
||
const gdb_byte * const base = op_ptr;
|
||
int stack_depth;
|
||
|
||
op_ptr += start;
|
||
gdb_assert (info[start].visited);
|
||
stack_depth = info[start].depth;
|
||
|
||
while (op_ptr < op_end)
|
||
{
|
||
enum dwarf_location_atom op = (enum dwarf_location_atom) *op_ptr;
|
||
uint64_t reg;
|
||
int64_t offset;
|
||
int ndx = op_ptr - base;
|
||
|
||
#define SET_CHECK_DEPTH(WHERE) \
|
||
if (info[WHERE].visited) \
|
||
{ \
|
||
if (info[WHERE].depth != stack_depth) \
|
||
error (_("inconsistent stack depths")); \
|
||
} \
|
||
else \
|
||
{ \
|
||
/* Stack depth not set, so set it. */ \
|
||
info[WHERE].visited = 1; \
|
||
info[WHERE].depth = stack_depth; \
|
||
}
|
||
|
||
SET_CHECK_DEPTH (ndx);
|
||
|
||
++op_ptr;
|
||
|
||
switch (op)
|
||
{
|
||
case DW_OP_lit0:
|
||
case DW_OP_lit1:
|
||
case DW_OP_lit2:
|
||
case DW_OP_lit3:
|
||
case DW_OP_lit4:
|
||
case DW_OP_lit5:
|
||
case DW_OP_lit6:
|
||
case DW_OP_lit7:
|
||
case DW_OP_lit8:
|
||
case DW_OP_lit9:
|
||
case DW_OP_lit10:
|
||
case DW_OP_lit11:
|
||
case DW_OP_lit12:
|
||
case DW_OP_lit13:
|
||
case DW_OP_lit14:
|
||
case DW_OP_lit15:
|
||
case DW_OP_lit16:
|
||
case DW_OP_lit17:
|
||
case DW_OP_lit18:
|
||
case DW_OP_lit19:
|
||
case DW_OP_lit20:
|
||
case DW_OP_lit21:
|
||
case DW_OP_lit22:
|
||
case DW_OP_lit23:
|
||
case DW_OP_lit24:
|
||
case DW_OP_lit25:
|
||
case DW_OP_lit26:
|
||
case DW_OP_lit27:
|
||
case DW_OP_lit28:
|
||
case DW_OP_lit29:
|
||
case DW_OP_lit30:
|
||
case DW_OP_lit31:
|
||
++stack_depth;
|
||
break;
|
||
|
||
case DW_OP_addr:
|
||
op_ptr += addr_size;
|
||
++stack_depth;
|
||
break;
|
||
|
||
case DW_OP_const1u:
|
||
case DW_OP_const1s:
|
||
op_ptr += 1;
|
||
++stack_depth;
|
||
break;
|
||
case DW_OP_const2u:
|
||
case DW_OP_const2s:
|
||
op_ptr += 2;
|
||
++stack_depth;
|
||
break;
|
||
case DW_OP_const4u:
|
||
case DW_OP_const4s:
|
||
op_ptr += 4;
|
||
++stack_depth;
|
||
break;
|
||
case DW_OP_const8u:
|
||
case DW_OP_const8s:
|
||
op_ptr += 8;
|
||
++stack_depth;
|
||
break;
|
||
case DW_OP_constu:
|
||
case DW_OP_consts:
|
||
op_ptr = safe_read_sleb128 (op_ptr, op_end, &offset);
|
||
++stack_depth;
|
||
break;
|
||
|
||
case DW_OP_reg0:
|
||
case DW_OP_reg1:
|
||
case DW_OP_reg2:
|
||
case DW_OP_reg3:
|
||
case DW_OP_reg4:
|
||
case DW_OP_reg5:
|
||
case DW_OP_reg6:
|
||
case DW_OP_reg7:
|
||
case DW_OP_reg8:
|
||
case DW_OP_reg9:
|
||
case DW_OP_reg10:
|
||
case DW_OP_reg11:
|
||
case DW_OP_reg12:
|
||
case DW_OP_reg13:
|
||
case DW_OP_reg14:
|
||
case DW_OP_reg15:
|
||
case DW_OP_reg16:
|
||
case DW_OP_reg17:
|
||
case DW_OP_reg18:
|
||
case DW_OP_reg19:
|
||
case DW_OP_reg20:
|
||
case DW_OP_reg21:
|
||
case DW_OP_reg22:
|
||
case DW_OP_reg23:
|
||
case DW_OP_reg24:
|
||
case DW_OP_reg25:
|
||
case DW_OP_reg26:
|
||
case DW_OP_reg27:
|
||
case DW_OP_reg28:
|
||
case DW_OP_reg29:
|
||
case DW_OP_reg30:
|
||
case DW_OP_reg31:
|
||
++stack_depth;
|
||
break;
|
||
|
||
case DW_OP_regx:
|
||
op_ptr = safe_read_uleb128 (op_ptr, op_end, ®);
|
||
++stack_depth;
|
||
break;
|
||
|
||
case DW_OP_breg0:
|
||
case DW_OP_breg1:
|
||
case DW_OP_breg2:
|
||
case DW_OP_breg3:
|
||
case DW_OP_breg4:
|
||
case DW_OP_breg5:
|
||
case DW_OP_breg6:
|
||
case DW_OP_breg7:
|
||
case DW_OP_breg8:
|
||
case DW_OP_breg9:
|
||
case DW_OP_breg10:
|
||
case DW_OP_breg11:
|
||
case DW_OP_breg12:
|
||
case DW_OP_breg13:
|
||
case DW_OP_breg14:
|
||
case DW_OP_breg15:
|
||
case DW_OP_breg16:
|
||
case DW_OP_breg17:
|
||
case DW_OP_breg18:
|
||
case DW_OP_breg19:
|
||
case DW_OP_breg20:
|
||
case DW_OP_breg21:
|
||
case DW_OP_breg22:
|
||
case DW_OP_breg23:
|
||
case DW_OP_breg24:
|
||
case DW_OP_breg25:
|
||
case DW_OP_breg26:
|
||
case DW_OP_breg27:
|
||
case DW_OP_breg28:
|
||
case DW_OP_breg29:
|
||
case DW_OP_breg30:
|
||
case DW_OP_breg31:
|
||
op_ptr = safe_read_sleb128 (op_ptr, op_end, &offset);
|
||
++stack_depth;
|
||
break;
|
||
case DW_OP_bregx:
|
||
{
|
||
op_ptr = safe_read_uleb128 (op_ptr, op_end, ®);
|
||
op_ptr = safe_read_sleb128 (op_ptr, op_end, &offset);
|
||
++stack_depth;
|
||
}
|
||
break;
|
||
case DW_OP_fbreg:
|
||
op_ptr = safe_read_sleb128 (op_ptr, op_end, &offset);
|
||
++stack_depth;
|
||
break;
|
||
|
||
case DW_OP_dup:
|
||
++stack_depth;
|
||
break;
|
||
|
||
case DW_OP_drop:
|
||
--stack_depth;
|
||
break;
|
||
|
||
case DW_OP_pick:
|
||
++op_ptr;
|
||
++stack_depth;
|
||
break;
|
||
|
||
case DW_OP_rot:
|
||
case DW_OP_swap:
|
||
*need_tempvar = 1;
|
||
break;
|
||
|
||
case DW_OP_over:
|
||
++stack_depth;
|
||
break;
|
||
|
||
case DW_OP_abs:
|
||
case DW_OP_neg:
|
||
case DW_OP_not:
|
||
case DW_OP_deref:
|
||
break;
|
||
|
||
case DW_OP_deref_size:
|
||
++op_ptr;
|
||
break;
|
||
|
||
case DW_OP_plus_uconst:
|
||
op_ptr = safe_read_uleb128 (op_ptr, op_end, ®);
|
||
break;
|
||
|
||
case DW_OP_div:
|
||
case DW_OP_shra:
|
||
case DW_OP_and:
|
||
case DW_OP_minus:
|
||
case DW_OP_mod:
|
||
case DW_OP_mul:
|
||
case DW_OP_or:
|
||
case DW_OP_plus:
|
||
case DW_OP_shl:
|
||
case DW_OP_shr:
|
||
case DW_OP_xor:
|
||
case DW_OP_le:
|
||
case DW_OP_ge:
|
||
case DW_OP_eq:
|
||
case DW_OP_lt:
|
||
case DW_OP_gt:
|
||
case DW_OP_ne:
|
||
--stack_depth;
|
||
break;
|
||
|
||
case DW_OP_call_frame_cfa:
|
||
++stack_depth;
|
||
break;
|
||
|
||
case DW_OP_GNU_push_tls_address:
|
||
case DW_OP_form_tls_address:
|
||
info[ndx].is_tls = 1;
|
||
break;
|
||
|
||
case DW_OP_skip:
|
||
offset = extract_signed_integer (op_ptr, 2, byte_order);
|
||
op_ptr += 2;
|
||
offset = op_ptr + offset - base;
|
||
/* If the destination has not been seen yet, add it to the
|
||
to-do list. */
|
||
if (!info[offset].visited)
|
||
VEC_safe_push (int, *to_do, offset);
|
||
SET_CHECK_DEPTH (offset);
|
||
info[offset].label = 1;
|
||
/* We're done with this line of code. */
|
||
return;
|
||
|
||
case DW_OP_bra:
|
||
offset = extract_signed_integer (op_ptr, 2, byte_order);
|
||
op_ptr += 2;
|
||
offset = op_ptr + offset - base;
|
||
--stack_depth;
|
||
/* If the destination has not been seen yet, add it to the
|
||
to-do list. */
|
||
if (!info[offset].visited)
|
||
VEC_safe_push (int, *to_do, offset);
|
||
SET_CHECK_DEPTH (offset);
|
||
info[offset].label = 1;
|
||
break;
|
||
|
||
case DW_OP_nop:
|
||
break;
|
||
|
||
default:
|
||
error (_("unhandled DWARF op: %s"), get_DW_OP_name (op));
|
||
}
|
||
}
|
||
|
||
gdb_assert (op_ptr == op_end);
|
||
|
||
#undef SET_CHECK_DEPTH
|
||
}
|
||
|
||
/* Compute the maximum needed stack depth of a DWARF expression, and
|
||
some other information as well.
|
||
|
||
BYTE_ORDER and ADDR_SIZE describe this bytecode in the obvious way.
|
||
NEED_TEMPVAR is an out parameter which is set if this expression
|
||
needs a special temporary variable to be emitted (see the code
|
||
generator).
|
||
IS_TLS is an out parameter which is set if this expression refers
|
||
to a TLS variable.
|
||
OP_PTR and OP_END are the bounds of the DWARF expression.
|
||
INITIAL_DEPTH is the initial depth of the DWARF expression stack.
|
||
INFO is an array of insn_info objects, indexed by offset from the
|
||
start of the DWARF expression.
|
||
|
||
This returns the maximum stack depth. */
|
||
|
||
static int
|
||
compute_stack_depth (enum bfd_endian byte_order, unsigned int addr_size,
|
||
int *need_tempvar, int *is_tls,
|
||
const gdb_byte *op_ptr, const gdb_byte *op_end,
|
||
int initial_depth,
|
||
struct insn_info **info)
|
||
{
|
||
unsigned char *set;
|
||
struct cleanup *outer_cleanup, *cleanup;
|
||
VEC (int) *to_do = NULL;
|
||
int stack_depth, i;
|
||
|
||
*info = XCNEWVEC (struct insn_info, op_end - op_ptr);
|
||
outer_cleanup = make_cleanup (xfree, *info);
|
||
|
||
cleanup = make_cleanup (VEC_cleanup (int), &to_do);
|
||
|
||
VEC_safe_push (int, to_do, 0);
|
||
(*info)[0].depth = initial_depth;
|
||
(*info)[0].visited = 1;
|
||
|
||
while (!VEC_empty (int, to_do))
|
||
{
|
||
int ndx = VEC_pop (int, to_do);
|
||
|
||
compute_stack_depth_worker (ndx, need_tempvar, *info, &to_do,
|
||
byte_order, addr_size,
|
||
op_ptr, op_end);
|
||
}
|
||
|
||
stack_depth = 0;
|
||
*is_tls = 0;
|
||
for (i = 0; i < op_end - op_ptr; ++i)
|
||
{
|
||
if ((*info)[i].depth > stack_depth)
|
||
stack_depth = (*info)[i].depth;
|
||
if ((*info)[i].is_tls)
|
||
*is_tls = 1;
|
||
}
|
||
|
||
do_cleanups (cleanup);
|
||
discard_cleanups (outer_cleanup);
|
||
return stack_depth + 1;
|
||
}
|
||
|
||
|
||
|
||
#define GCC_UINTPTR "__gdb_uintptr"
|
||
#define GCC_INTPTR "__gdb_intptr"
|
||
|
||
/* Emit code to push a constant. */
|
||
|
||
static void
|
||
push (int indent, string_file &stream, ULONGEST l)
|
||
{
|
||
fprintfi_filtered (indent, &stream,
|
||
"__gdb_stack[++__gdb_tos] = (" GCC_UINTPTR ") %s;\n",
|
||
hex_string (l));
|
||
}
|
||
|
||
/* Emit code to push an arbitrary expression. This works like
|
||
printf. */
|
||
|
||
static void pushf (int indent, string_file &stream, const char *format, ...)
|
||
ATTRIBUTE_PRINTF (3, 4);
|
||
|
||
static void
|
||
pushf (int indent, string_file &stream, const char *format, ...)
|
||
{
|
||
va_list args;
|
||
|
||
fprintfi_filtered (indent, &stream, "__gdb_stack[__gdb_tos + 1] = ");
|
||
va_start (args, format);
|
||
stream.vprintf (format, args);
|
||
va_end (args);
|
||
stream.puts (";\n");
|
||
|
||
fprintfi_filtered (indent, &stream, "++__gdb_tos;\n");
|
||
}
|
||
|
||
/* Emit code for a unary expression -- one which operates in-place on
|
||
the top-of-stack. This works like printf. */
|
||
|
||
static void unary (int indent, string_file &stream, const char *format, ...)
|
||
ATTRIBUTE_PRINTF (3, 4);
|
||
|
||
static void
|
||
unary (int indent, string_file &stream, const char *format, ...)
|
||
{
|
||
va_list args;
|
||
|
||
fprintfi_filtered (indent, &stream, "__gdb_stack[__gdb_tos] = ");
|
||
va_start (args, format);
|
||
stream.vprintf (format, args);
|
||
va_end (args);
|
||
stream.puts (";\n");
|
||
}
|
||
|
||
/* Emit code for a unary expression -- one which uses the top two
|
||
stack items, popping the topmost one. This works like printf. */
|
||
static void binary (int indent, string_file &stream, const char *format, ...)
|
||
ATTRIBUTE_PRINTF (3, 4);
|
||
|
||
static void
|
||
binary (int indent, string_file &stream, const char *format, ...)
|
||
{
|
||
va_list args;
|
||
|
||
fprintfi_filtered (indent, &stream, "__gdb_stack[__gdb_tos - 1] = ");
|
||
va_start (args, format);
|
||
stream.vprintf (format, args);
|
||
va_end (args);
|
||
stream.puts (";\n");
|
||
fprintfi_filtered (indent, &stream, "--__gdb_tos;\n");
|
||
}
|
||
|
||
/* Print the name of a label given its "SCOPE", an arbitrary integer
|
||
used for uniqueness, and its TARGET, the bytecode offset
|
||
corresponding to the label's point of definition. */
|
||
|
||
static void
|
||
print_label (string_file &stream, unsigned int scope, int target)
|
||
{
|
||
stream.printf ("__label_%u_%s", scope, pulongest (target));
|
||
}
|
||
|
||
/* Emit code that pushes a register's address on the stack.
|
||
REGISTERS_USED is an out parameter which is updated to note which
|
||
register was needed by this expression. */
|
||
|
||
static void
|
||
pushf_register_address (int indent, string_file &stream,
|
||
unsigned char *registers_used,
|
||
struct gdbarch *gdbarch, int regnum)
|
||
{
|
||
char *regname = compile_register_name_mangled (gdbarch, regnum);
|
||
struct cleanup *cleanups = make_cleanup (xfree, regname);
|
||
|
||
registers_used[regnum] = 1;
|
||
pushf (indent, stream,
|
||
"(" GCC_UINTPTR ") &" COMPILE_I_SIMPLE_REGISTER_ARG_NAME "->%s",
|
||
regname);
|
||
|
||
do_cleanups (cleanups);
|
||
}
|
||
|
||
/* Emit code that pushes a register's value on the stack.
|
||
REGISTERS_USED is an out parameter which is updated to note which
|
||
register was needed by this expression. OFFSET is added to the
|
||
register's value before it is pushed. */
|
||
|
||
static void
|
||
pushf_register (int indent, string_file &stream,
|
||
unsigned char *registers_used,
|
||
struct gdbarch *gdbarch, int regnum, uint64_t offset)
|
||
{
|
||
char *regname = compile_register_name_mangled (gdbarch, regnum);
|
||
struct cleanup *cleanups = make_cleanup (xfree, regname);
|
||
|
||
registers_used[regnum] = 1;
|
||
if (offset == 0)
|
||
pushf (indent, stream, COMPILE_I_SIMPLE_REGISTER_ARG_NAME "->%s",
|
||
regname);
|
||
else
|
||
pushf (indent, stream,
|
||
COMPILE_I_SIMPLE_REGISTER_ARG_NAME "->%s + (" GCC_UINTPTR ") %s",
|
||
regname, hex_string (offset));
|
||
|
||
do_cleanups (cleanups);
|
||
}
|
||
|
||
/* Compile a DWARF expression to C code.
|
||
|
||
INDENT is the indentation level to use.
|
||
STREAM is the stream where the code should be written.
|
||
|
||
TYPE_NAME names the type of the result of the DWARF expression.
|
||
For locations this is "void *" but for array bounds it will be an
|
||
integer type.
|
||
|
||
RESULT_NAME is the name of a variable in the resulting C code. The
|
||
result of the expression will be assigned to this variable.
|
||
|
||
SYM is the symbol corresponding to this expression.
|
||
PC is the location at which the expression is being evaluated.
|
||
ARCH is the architecture to use.
|
||
|
||
REGISTERS_USED is an out parameter which is updated to note which
|
||
registers were needed by this expression.
|
||
|
||
ADDR_SIZE is the DWARF address size to use.
|
||
|
||
OPT_PTR and OP_END are the bounds of the DWARF expression.
|
||
|
||
If non-NULL, INITIAL points to an initial value to write to the
|
||
stack. If NULL, no initial value is written.
|
||
|
||
PER_CU is the per-CU object used for looking up various other
|
||
things. */
|
||
|
||
static void
|
||
do_compile_dwarf_expr_to_c (int indent, string_file &stream,
|
||
const char *type_name,
|
||
const char *result_name,
|
||
struct symbol *sym, CORE_ADDR pc,
|
||
struct gdbarch *arch,
|
||
unsigned char *registers_used,
|
||
unsigned int addr_size,
|
||
const gdb_byte *op_ptr, const gdb_byte *op_end,
|
||
CORE_ADDR *initial,
|
||
struct dwarf2_per_cu_data *per_cu)
|
||
{
|
||
/* We keep a counter so that labels and other objects we create have
|
||
unique names. */
|
||
static unsigned int scope;
|
||
|
||
enum bfd_endian byte_order = gdbarch_byte_order (arch);
|
||
const gdb_byte * const base = op_ptr;
|
||
int need_tempvar = 0;
|
||
int is_tls = 0;
|
||
struct cleanup *cleanup;
|
||
struct insn_info *info;
|
||
int stack_depth;
|
||
|
||
++scope;
|
||
|
||
fprintfi_filtered (indent, &stream, "__attribute__ ((unused)) %s %s;\n",
|
||
type_name, result_name);
|
||
fprintfi_filtered (indent, &stream, "{\n");
|
||
indent += 2;
|
||
|
||
stack_depth = compute_stack_depth (byte_order, addr_size,
|
||
&need_tempvar, &is_tls,
|
||
op_ptr, op_end, initial != NULL,
|
||
&info);
|
||
cleanup = make_cleanup (xfree, info);
|
||
|
||
/* This is a hack until we can add a feature to glibc to let us
|
||
properly generate code for TLS. You might think we could emit
|
||
the address in the ordinary course of translating
|
||
DW_OP_GNU_push_tls_address, but since the operand appears on the
|
||
stack, it is relatively hard to find, and the idea of calling
|
||
target_translate_tls_address with OFFSET==0 and then adding the
|
||
offset by hand seemed too hackish. */
|
||
if (is_tls)
|
||
{
|
||
struct frame_info *frame = get_selected_frame (NULL);
|
||
struct value *val;
|
||
|
||
if (frame == NULL)
|
||
error (_("Symbol \"%s\" cannot be used because "
|
||
"there is no selected frame"),
|
||
SYMBOL_PRINT_NAME (sym));
|
||
|
||
val = read_var_value (sym, NULL, frame);
|
||
if (VALUE_LVAL (val) != lval_memory)
|
||
error (_("Symbol \"%s\" cannot be used for compilation evaluation "
|
||
"as its address has not been found."),
|
||
SYMBOL_PRINT_NAME (sym));
|
||
|
||
warning (_("Symbol \"%s\" is thread-local and currently can only "
|
||
"be referenced from the current thread in "
|
||
"compiled code."),
|
||
SYMBOL_PRINT_NAME (sym));
|
||
|
||
fprintfi_filtered (indent, &stream, "%s = %s;\n",
|
||
result_name,
|
||
core_addr_to_string (value_address (val)));
|
||
fprintfi_filtered (indent - 2, &stream, "}\n");
|
||
do_cleanups (cleanup);
|
||
return;
|
||
}
|
||
|
||
fprintfi_filtered (indent, &stream, GCC_UINTPTR " __gdb_stack[%d];\n",
|
||
stack_depth);
|
||
|
||
if (need_tempvar)
|
||
fprintfi_filtered (indent, &stream, GCC_UINTPTR " __gdb_tmp;\n");
|
||
fprintfi_filtered (indent, &stream, "int __gdb_tos = -1;\n");
|
||
|
||
if (initial != NULL)
|
||
pushf (indent, stream, "%s", core_addr_to_string (*initial));
|
||
|
||
while (op_ptr < op_end)
|
||
{
|
||
enum dwarf_location_atom op = (enum dwarf_location_atom) *op_ptr;
|
||
uint64_t uoffset, reg;
|
||
int64_t offset;
|
||
|
||
print_spaces (indent - 2, &stream);
|
||
if (info[op_ptr - base].label)
|
||
{
|
||
print_label (stream, scope, op_ptr - base);
|
||
stream.puts (":;");
|
||
}
|
||
stream.printf ("/* %s */\n", get_DW_OP_name (op));
|
||
|
||
/* This is handy for debugging the generated code:
|
||
fprintf_filtered (stream, "if (__gdb_tos != %d) abort ();\n",
|
||
(int) info[op_ptr - base].depth - 1);
|
||
*/
|
||
|
||
++op_ptr;
|
||
|
||
switch (op)
|
||
{
|
||
case DW_OP_lit0:
|
||
case DW_OP_lit1:
|
||
case DW_OP_lit2:
|
||
case DW_OP_lit3:
|
||
case DW_OP_lit4:
|
||
case DW_OP_lit5:
|
||
case DW_OP_lit6:
|
||
case DW_OP_lit7:
|
||
case DW_OP_lit8:
|
||
case DW_OP_lit9:
|
||
case DW_OP_lit10:
|
||
case DW_OP_lit11:
|
||
case DW_OP_lit12:
|
||
case DW_OP_lit13:
|
||
case DW_OP_lit14:
|
||
case DW_OP_lit15:
|
||
case DW_OP_lit16:
|
||
case DW_OP_lit17:
|
||
case DW_OP_lit18:
|
||
case DW_OP_lit19:
|
||
case DW_OP_lit20:
|
||
case DW_OP_lit21:
|
||
case DW_OP_lit22:
|
||
case DW_OP_lit23:
|
||
case DW_OP_lit24:
|
||
case DW_OP_lit25:
|
||
case DW_OP_lit26:
|
||
case DW_OP_lit27:
|
||
case DW_OP_lit28:
|
||
case DW_OP_lit29:
|
||
case DW_OP_lit30:
|
||
case DW_OP_lit31:
|
||
push (indent, stream, op - DW_OP_lit0);
|
||
break;
|
||
|
||
case DW_OP_addr:
|
||
op_ptr += addr_size;
|
||
/* Some versions of GCC emit DW_OP_addr before
|
||
DW_OP_GNU_push_tls_address. In this case the value is an
|
||
index, not an address. We don't support things like
|
||
branching between the address and the TLS op. */
|
||
if (op_ptr >= op_end || *op_ptr != DW_OP_GNU_push_tls_address)
|
||
uoffset += dwarf2_per_cu_text_offset (per_cu);
|
||
push (indent, stream, uoffset);
|
||
break;
|
||
|
||
case DW_OP_const1u:
|
||
push (indent, stream,
|
||
extract_unsigned_integer (op_ptr, 1, byte_order));
|
||
op_ptr += 1;
|
||
break;
|
||
case DW_OP_const1s:
|
||
push (indent, stream,
|
||
extract_signed_integer (op_ptr, 1, byte_order));
|
||
op_ptr += 1;
|
||
break;
|
||
case DW_OP_const2u:
|
||
push (indent, stream,
|
||
extract_unsigned_integer (op_ptr, 2, byte_order));
|
||
op_ptr += 2;
|
||
break;
|
||
case DW_OP_const2s:
|
||
push (indent, stream,
|
||
extract_signed_integer (op_ptr, 2, byte_order));
|
||
op_ptr += 2;
|
||
break;
|
||
case DW_OP_const4u:
|
||
push (indent, stream,
|
||
extract_unsigned_integer (op_ptr, 4, byte_order));
|
||
op_ptr += 4;
|
||
break;
|
||
case DW_OP_const4s:
|
||
push (indent, stream,
|
||
extract_signed_integer (op_ptr, 4, byte_order));
|
||
op_ptr += 4;
|
||
break;
|
||
case DW_OP_const8u:
|
||
push (indent, stream,
|
||
extract_unsigned_integer (op_ptr, 8, byte_order));
|
||
op_ptr += 8;
|
||
break;
|
||
case DW_OP_const8s:
|
||
push (indent, stream,
|
||
extract_signed_integer (op_ptr, 8, byte_order));
|
||
op_ptr += 8;
|
||
break;
|
||
case DW_OP_constu:
|
||
op_ptr = safe_read_uleb128 (op_ptr, op_end, &uoffset);
|
||
push (indent, stream, uoffset);
|
||
break;
|
||
case DW_OP_consts:
|
||
op_ptr = safe_read_sleb128 (op_ptr, op_end, &offset);
|
||
push (indent, stream, offset);
|
||
break;
|
||
|
||
case DW_OP_reg0:
|
||
case DW_OP_reg1:
|
||
case DW_OP_reg2:
|
||
case DW_OP_reg3:
|
||
case DW_OP_reg4:
|
||
case DW_OP_reg5:
|
||
case DW_OP_reg6:
|
||
case DW_OP_reg7:
|
||
case DW_OP_reg8:
|
||
case DW_OP_reg9:
|
||
case DW_OP_reg10:
|
||
case DW_OP_reg11:
|
||
case DW_OP_reg12:
|
||
case DW_OP_reg13:
|
||
case DW_OP_reg14:
|
||
case DW_OP_reg15:
|
||
case DW_OP_reg16:
|
||
case DW_OP_reg17:
|
||
case DW_OP_reg18:
|
||
case DW_OP_reg19:
|
||
case DW_OP_reg20:
|
||
case DW_OP_reg21:
|
||
case DW_OP_reg22:
|
||
case DW_OP_reg23:
|
||
case DW_OP_reg24:
|
||
case DW_OP_reg25:
|
||
case DW_OP_reg26:
|
||
case DW_OP_reg27:
|
||
case DW_OP_reg28:
|
||
case DW_OP_reg29:
|
||
case DW_OP_reg30:
|
||
case DW_OP_reg31:
|
||
dwarf_expr_require_composition (op_ptr, op_end, "DW_OP_regx");
|
||
pushf_register_address (indent, stream, registers_used, arch,
|
||
dwarf_reg_to_regnum_or_error
|
||
(arch, op - DW_OP_reg0));
|
||
break;
|
||
|
||
case DW_OP_regx:
|
||
op_ptr = safe_read_uleb128 (op_ptr, op_end, ®);
|
||
dwarf_expr_require_composition (op_ptr, op_end, "DW_OP_regx");
|
||
pushf_register_address (indent, stream, registers_used, arch,
|
||
dwarf_reg_to_regnum_or_error (arch, reg));
|
||
break;
|
||
|
||
case DW_OP_breg0:
|
||
case DW_OP_breg1:
|
||
case DW_OP_breg2:
|
||
case DW_OP_breg3:
|
||
case DW_OP_breg4:
|
||
case DW_OP_breg5:
|
||
case DW_OP_breg6:
|
||
case DW_OP_breg7:
|
||
case DW_OP_breg8:
|
||
case DW_OP_breg9:
|
||
case DW_OP_breg10:
|
||
case DW_OP_breg11:
|
||
case DW_OP_breg12:
|
||
case DW_OP_breg13:
|
||
case DW_OP_breg14:
|
||
case DW_OP_breg15:
|
||
case DW_OP_breg16:
|
||
case DW_OP_breg17:
|
||
case DW_OP_breg18:
|
||
case DW_OP_breg19:
|
||
case DW_OP_breg20:
|
||
case DW_OP_breg21:
|
||
case DW_OP_breg22:
|
||
case DW_OP_breg23:
|
||
case DW_OP_breg24:
|
||
case DW_OP_breg25:
|
||
case DW_OP_breg26:
|
||
case DW_OP_breg27:
|
||
case DW_OP_breg28:
|
||
case DW_OP_breg29:
|
||
case DW_OP_breg30:
|
||
case DW_OP_breg31:
|
||
op_ptr = safe_read_sleb128 (op_ptr, op_end, &offset);
|
||
pushf_register (indent, stream, registers_used, arch,
|
||
dwarf_reg_to_regnum_or_error (arch,
|
||
op - DW_OP_breg0),
|
||
offset);
|
||
break;
|
||
case DW_OP_bregx:
|
||
{
|
||
op_ptr = safe_read_uleb128 (op_ptr, op_end, ®);
|
||
op_ptr = safe_read_sleb128 (op_ptr, op_end, &offset);
|
||
pushf_register (indent, stream, registers_used, arch,
|
||
dwarf_reg_to_regnum_or_error (arch, reg), offset);
|
||
}
|
||
break;
|
||
case DW_OP_fbreg:
|
||
{
|
||
const gdb_byte *datastart;
|
||
size_t datalen;
|
||
const struct block *b;
|
||
struct symbol *framefunc;
|
||
char fb_name[50];
|
||
|
||
b = block_for_pc (pc);
|
||
|
||
if (!b)
|
||
error (_("No block found for address"));
|
||
|
||
framefunc = block_linkage_function (b);
|
||
|
||
if (!framefunc)
|
||
error (_("No function found for block"));
|
||
|
||
func_get_frame_base_dwarf_block (framefunc, pc,
|
||
&datastart, &datalen);
|
||
|
||
op_ptr = safe_read_sleb128 (op_ptr, op_end, &offset);
|
||
|
||
/* Generate a unique-enough name, in case the frame base
|
||
is computed multiple times in this expression. */
|
||
xsnprintf (fb_name, sizeof (fb_name), "__frame_base_%ld",
|
||
(long) (op_ptr - base));
|
||
|
||
do_compile_dwarf_expr_to_c (indent, stream,
|
||
GCC_UINTPTR, fb_name,
|
||
sym, pc,
|
||
arch, registers_used, addr_size,
|
||
datastart, datastart + datalen,
|
||
NULL, per_cu);
|
||
|
||
pushf (indent, stream, "%s + %s", fb_name, hex_string (offset));
|
||
}
|
||
break;
|
||
|
||
case DW_OP_dup:
|
||
pushf (indent, stream, "__gdb_stack[__gdb_tos]");
|
||
break;
|
||
|
||
case DW_OP_drop:
|
||
fprintfi_filtered (indent, &stream, "--__gdb_tos;\n");
|
||
break;
|
||
|
||
case DW_OP_pick:
|
||
offset = *op_ptr++;
|
||
pushf (indent, stream, "__gdb_stack[__gdb_tos - %s]",
|
||
plongest (offset));
|
||
break;
|
||
|
||
case DW_OP_swap:
|
||
fprintfi_filtered (indent, &stream,
|
||
"__gdb_tmp = __gdb_stack[__gdb_tos - 1];\n");
|
||
fprintfi_filtered (indent, &stream,
|
||
"__gdb_stack[__gdb_tos - 1] = "
|
||
"__gdb_stack[__gdb_tos];\n");
|
||
fprintfi_filtered (indent, &stream, ("__gdb_stack[__gdb_tos] = "
|
||
"__gdb_tmp;\n"));
|
||
break;
|
||
|
||
case DW_OP_over:
|
||
pushf (indent, stream, "__gdb_stack[__gdb_tos - 1]");
|
||
break;
|
||
|
||
case DW_OP_rot:
|
||
fprintfi_filtered (indent, &stream, ("__gdb_tmp = "
|
||
"__gdb_stack[__gdb_tos];\n"));
|
||
fprintfi_filtered (indent, &stream,
|
||
"__gdb_stack[__gdb_tos] = "
|
||
"__gdb_stack[__gdb_tos - 1];\n");
|
||
fprintfi_filtered (indent, &stream,
|
||
"__gdb_stack[__gdb_tos - 1] = "
|
||
"__gdb_stack[__gdb_tos -2];\n");
|
||
fprintfi_filtered (indent, &stream, "__gdb_stack[__gdb_tos - 2] = "
|
||
"__gdb_tmp;\n");
|
||
break;
|
||
|
||
case DW_OP_deref:
|
||
case DW_OP_deref_size:
|
||
{
|
||
int size;
|
||
const char *mode;
|
||
|
||
if (op == DW_OP_deref_size)
|
||
size = *op_ptr++;
|
||
else
|
||
size = addr_size;
|
||
|
||
mode = c_get_mode_for_size (size);
|
||
if (mode == NULL)
|
||
error (_("Unsupported size %d in %s"),
|
||
size, get_DW_OP_name (op));
|
||
|
||
/* Cast to a pointer of the desired type, then
|
||
dereference. */
|
||
fprintfi_filtered (indent, &stream,
|
||
"__gdb_stack[__gdb_tos] = "
|
||
"*((__gdb_int_%s *) "
|
||
"__gdb_stack[__gdb_tos]);\n",
|
||
mode);
|
||
}
|
||
break;
|
||
|
||
case DW_OP_abs:
|
||
unary (indent, stream,
|
||
"((" GCC_INTPTR ") __gdb_stack[__gdb_tos]) < 0 ? "
|
||
"-__gdb_stack[__gdb_tos] : __gdb_stack[__gdb_tos]");
|
||
break;
|
||
|
||
case DW_OP_neg:
|
||
unary (indent, stream, "-__gdb_stack[__gdb_tos]");
|
||
break;
|
||
|
||
case DW_OP_not:
|
||
unary (indent, stream, "~__gdb_stack[__gdb_tos]");
|
||
break;
|
||
|
||
case DW_OP_plus_uconst:
|
||
op_ptr = safe_read_uleb128 (op_ptr, op_end, ®);
|
||
unary (indent, stream, "__gdb_stack[__gdb_tos] + %s",
|
||
hex_string (reg));
|
||
break;
|
||
|
||
case DW_OP_div:
|
||
binary (indent, stream, ("((" GCC_INTPTR
|
||
") __gdb_stack[__gdb_tos-1]) / (("
|
||
GCC_INTPTR ") __gdb_stack[__gdb_tos])"));
|
||
break;
|
||
|
||
case DW_OP_shra:
|
||
binary (indent, stream,
|
||
"((" GCC_INTPTR ") __gdb_stack[__gdb_tos-1]) >> "
|
||
"__gdb_stack[__gdb_tos]");
|
||
break;
|
||
|
||
#define BINARY(OP) \
|
||
binary (indent, stream, "%s", "__gdb_stack[__gdb_tos-1] " #OP \
|
||
" __gdb_stack[__gdb_tos]"); \
|
||
break
|
||
|
||
case DW_OP_and:
|
||
BINARY (&);
|
||
case DW_OP_minus:
|
||
BINARY (-);
|
||
case DW_OP_mod:
|
||
BINARY (%);
|
||
case DW_OP_mul:
|
||
BINARY (*);
|
||
case DW_OP_or:
|
||
BINARY (|);
|
||
case DW_OP_plus:
|
||
BINARY (+);
|
||
case DW_OP_shl:
|
||
BINARY (<<);
|
||
case DW_OP_shr:
|
||
BINARY (>>);
|
||
case DW_OP_xor:
|
||
BINARY (^);
|
||
#undef BINARY
|
||
|
||
#define COMPARE(OP) \
|
||
binary (indent, stream, \
|
||
"(((" GCC_INTPTR ") __gdb_stack[__gdb_tos-1]) " #OP \
|
||
" ((" GCC_INTPTR \
|
||
") __gdb_stack[__gdb_tos]))"); \
|
||
break
|
||
|
||
case DW_OP_le:
|
||
COMPARE (<=);
|
||
case DW_OP_ge:
|
||
COMPARE (>=);
|
||
case DW_OP_eq:
|
||
COMPARE (==);
|
||
case DW_OP_lt:
|
||
COMPARE (<);
|
||
case DW_OP_gt:
|
||
COMPARE (>);
|
||
case DW_OP_ne:
|
||
COMPARE (!=);
|
||
#undef COMPARE
|
||
|
||
case DW_OP_call_frame_cfa:
|
||
{
|
||
int regnum;
|
||
CORE_ADDR text_offset;
|
||
LONGEST off;
|
||
const gdb_byte *cfa_start, *cfa_end;
|
||
|
||
if (dwarf2_fetch_cfa_info (arch, pc, per_cu,
|
||
®num, &off,
|
||
&text_offset, &cfa_start, &cfa_end))
|
||
{
|
||
/* Register. */
|
||
pushf_register (indent, stream, registers_used, arch, regnum,
|
||
off);
|
||
}
|
||
else
|
||
{
|
||
/* Another expression. */
|
||
char cfa_name[50];
|
||
|
||
/* Generate a unique-enough name, in case the CFA is
|
||
computed multiple times in this expression. */
|
||
xsnprintf (cfa_name, sizeof (cfa_name),
|
||
"__cfa_%ld", (long) (op_ptr - base));
|
||
|
||
do_compile_dwarf_expr_to_c (indent, stream,
|
||
GCC_UINTPTR, cfa_name,
|
||
sym, pc, arch, registers_used,
|
||
addr_size,
|
||
cfa_start, cfa_end,
|
||
&text_offset, per_cu);
|
||
pushf (indent, stream, "%s", cfa_name);
|
||
}
|
||
}
|
||
|
||
break;
|
||
|
||
case DW_OP_skip:
|
||
offset = extract_signed_integer (op_ptr, 2, byte_order);
|
||
op_ptr += 2;
|
||
fprintfi_filtered (indent, &stream, "goto ");
|
||
print_label (stream, scope, op_ptr + offset - base);
|
||
stream.puts (";\n");
|
||
break;
|
||
|
||
case DW_OP_bra:
|
||
offset = extract_signed_integer (op_ptr, 2, byte_order);
|
||
op_ptr += 2;
|
||
fprintfi_filtered (indent, &stream,
|
||
"if ((( " GCC_INTPTR
|
||
") __gdb_stack[__gdb_tos--]) != 0) goto ");
|
||
print_label (stream, scope, op_ptr + offset - base);
|
||
stream.puts (";\n");
|
||
break;
|
||
|
||
case DW_OP_nop:
|
||
break;
|
||
|
||
default:
|
||
error (_("unhandled DWARF op: %s"), get_DW_OP_name (op));
|
||
}
|
||
}
|
||
|
||
fprintfi_filtered (indent, &stream, "%s = __gdb_stack[__gdb_tos];\n",
|
||
result_name);
|
||
fprintfi_filtered (indent - 2, &stream, "}\n");
|
||
|
||
do_cleanups (cleanup);
|
||
}
|
||
|
||
/* See compile.h. */
|
||
|
||
void
|
||
compile_dwarf_expr_to_c (string_file &stream, const char *result_name,
|
||
struct symbol *sym, CORE_ADDR pc,
|
||
struct gdbarch *arch, unsigned char *registers_used,
|
||
unsigned int addr_size,
|
||
const gdb_byte *op_ptr, const gdb_byte *op_end,
|
||
struct dwarf2_per_cu_data *per_cu)
|
||
{
|
||
do_compile_dwarf_expr_to_c (2, stream, GCC_UINTPTR, result_name, sym, pc,
|
||
arch, registers_used, addr_size, op_ptr, op_end,
|
||
NULL, per_cu);
|
||
}
|
||
|
||
/* See compile.h. */
|
||
|
||
void
|
||
compile_dwarf_bounds_to_c (string_file &stream,
|
||
const char *result_name,
|
||
const struct dynamic_prop *prop,
|
||
struct symbol *sym, CORE_ADDR pc,
|
||
struct gdbarch *arch, unsigned char *registers_used,
|
||
unsigned int addr_size,
|
||
const gdb_byte *op_ptr, const gdb_byte *op_end,
|
||
struct dwarf2_per_cu_data *per_cu)
|
||
{
|
||
do_compile_dwarf_expr_to_c (2, stream, "unsigned long ", result_name,
|
||
sym, pc, arch, registers_used,
|
||
addr_size, op_ptr, op_end, NULL, per_cu);
|
||
}
|