From e18b27534c2181c92dc9b685adc05bcf6b685817 Mon Sep 17 00:00:00 2001
From: Jan Kratochvil <jan.kratochvil@redhat.com>
Date: Sun, 9 Oct 2011 19:34:19 +0000
Subject: gdb/ 	Display @entry parameter values (without references). 	*
 dwarf2expr.c (dwarf_block_to_fb_offset, dwarf_block_to_sp_offset): 	New
 functions. 	* dwarf2expr.h (dwarf_block_to_fb_offset,
 dwarf_block_to_sp_offset): 	New declarations. 	* dwarf2loc.c
 (dwarf2_find_location_expression): Support location list 	entry record. 
 (dwarf_entry_parameter_to_value, value_of_dwarf_reg_entry) 
 (value_of_dwarf_block_entry, locexpr_read_variable_at_entry): New 
 functions. 	(dwarf2_locexpr_funcs): Install
 locexpr_read_variable_at_entry. 	(loclist_read_variable_at_entry): New
 function. 	(dwarf2_loclist_funcs): Install
 loclist_read_variable_at_entry. 	* dwarf2read.c (read_call_site_scope):
 Support also DW_OP_fbreg in 	DW_AT_location, call dwarf_block_to_sp_offset
 for it. 	* frame.h (print_entry_values_no, print_entry_values_only) 
 (print_entry_values_preferred, print_entry_values_if_needed) 
 (print_entry_values_both, print_entry_values_compact) 
 (print_entry_values_default, print_entry_values): New declarations. 
 (struct frame_arg): New field entry_kind. 	(read_frame_arg): New
 parameter entryargp. 	* mi/mi-cmd-stack.c (list_arg_or_local): New
 gdb_assert for 	arg->entry_kind.  Optionally print the `@entry'
 suffix. 	(list_args_or_locals): New variable entryarg, initialize it. 
 Initialize also entry_kind of arg and entryarg.  Conditionalize 
 list_arg_or_local for arg, add list_arg_or_local for entryarg.  Call 	xfree
 for entryarg.error. 	* stack.c (print_entry_values_no,
 print_entry_values_only) 	(print_entry_values_preferred,
 print_entry_values_if_needed) 	(print_entry_values_both,
 print_entry_values_compact) 	(print_entry_values_default,
 print_entry_values_choices) 	(print_entry_values): New variables. 
 (print_frame_arg): New gdb_assert for arg->entry_kind.  Optionally 	print
 the `@entry' suffix, possibly in combination for 
 print_entry_values_compact. 	(read_frame_arg): New parameter entryargp, new
 variables entryval, 	entryval_error and val_equal.  Read in also entryargp,
 respect 	print_entry_values, compare the values using val_equal, fill
 in also 	argp->entry_kind (together with entryargp->entry_kind). 
 (print_frame_args): New variable entryarg, initialize it. 	Conditionalize
 print_frame_arg for arg, add print_frame_arg for 	entryarg.  Call xfree
 for entryarg.error. 	(_initialize_stack): Call add_setshow_enum_cmd for
 `entry-values'. 	* symtab.h (struct symbol_computed_ops): New field 
 read_variable_at_entry.

gdb/doc/
	Display @entry parameter values (without references).
	* gdb.texinfo (Tail Call Frames): Add anchor.  Add self tail call
	example.
	(Print Settings): New description of set print entry-values and show
	print entry-values.

gdb/testsuite/
	Display @entry parameter values (without references).
	* gdb.arch/amd64-entry-value.cc (locexpr, stacktest, data, data2)
	(different, validity, invalid): New functions.
	(main): Call them.
	* gdb.arch/amd64-entry-value.exp: New breakpoints breakhere_locexpr,
	stacktest, breakhere_stacktest, different, breakhere_different,
	breakhere_validity and breakhere_invalid.
	(entry: bt): Update for @entry.
	(entry_locexpr: *, entry_stack: *, entry_equal: *, entry_different: *)
	(entry_validity: *, entry_invalid: *): Many new tests.
	* gdb.base/break.exp
	(run until breakpoint set at small function, optimized file): Accept
	also the @entry suffix.
	* gdb.mi/Makefile.in (PROGS): Add mi2-amd64-entry-value.
	* gdb.mi/mi2-amd64-entry-value.c: New files.
	* gdb.mi/mi2-amd64-entry-value.exp: New files.
---
 gdb/dwarf2expr.c | 62 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 62 insertions(+)

(limited to 'gdb/dwarf2expr.c')

diff --git a/gdb/dwarf2expr.c b/gdb/dwarf2expr.c
index 2eb9d08..4fccc26 100644
--- a/gdb/dwarf2expr.c
+++ b/gdb/dwarf2expr.c
@@ -518,6 +518,68 @@ dwarf_block_to_dwarf_reg (const gdb_byte *buf, const gdb_byte *buf_end)
   return dwarf_reg;
 }
 
+/* If <BUF..BUF_END] contains DW_FORM_block* with single DW_OP_fbreg(X) fill
+   in FB_OFFSET_RETURN with the X offset and return 1.  Otherwise return 0.  */
+
+int
+dwarf_block_to_fb_offset (const gdb_byte *buf, const gdb_byte *buf_end,
+			  CORE_ADDR *fb_offset_return)
+{
+  LONGEST fb_offset;
+
+  if (buf_end <= buf)
+    return 0;
+
+  if (*buf != DW_OP_fbreg)
+    return 0;
+  buf++;
+
+  buf = read_sleb128 (buf, buf_end, &fb_offset);
+  *fb_offset_return = fb_offset;
+  if (buf != buf_end || fb_offset != (LONGEST) *fb_offset_return)
+    return 0;
+
+  return 1;
+}
+
+/* If <BUF..BUF_END] contains DW_FORM_block* with single DW_OP_bregSP(X) fill
+   in SP_OFFSET_RETURN with the X offset and return 1.  Otherwise return 0.
+   The matched SP register number depends on GDBARCH.  */
+
+int
+dwarf_block_to_sp_offset (struct gdbarch *gdbarch, const gdb_byte *buf,
+			  const gdb_byte *buf_end, CORE_ADDR *sp_offset_return)
+{
+  ULONGEST dwarf_reg;
+  LONGEST sp_offset;
+
+  if (buf_end <= buf)
+    return 0;
+  if (*buf >= DW_OP_breg0 && *buf <= DW_OP_breg31)
+    {
+      dwarf_reg = *buf - DW_OP_breg0;
+      buf++;
+    }
+  else
+    {
+      if (*buf != DW_OP_bregx)
+       return 0;
+      buf++;
+      buf = read_uleb128 (buf, buf_end, &dwarf_reg);
+    }
+
+  if (gdbarch_dwarf2_reg_to_regnum (gdbarch, dwarf_reg)
+      != gdbarch_sp_regnum (gdbarch))
+    return 0;
+
+  buf = read_sleb128 (buf, buf_end, &sp_offset);
+  *sp_offset_return = sp_offset;
+  if (buf != buf_end || sp_offset != (LONGEST) *sp_offset_return)
+    return 0;
+
+  return 1;
+}
+
 /* The engine for the expression evaluator.  Using the context in CTX,
    evaluate the expression between OP_PTR and OP_END.  */
 
-- 
cgit v1.1