PR symtab/11942
[binutils-gdb.git] / gdb / ax-gdb.c
index e79fe3895fc8a1777e2f54d1a43f47ba5b356c00..e01f359bd3fa28576d4facde47ee792041a2e75d 100644 (file)
@@ -219,6 +219,7 @@ const_expr (union exp_element **pc)
       {
        struct type *type = (*pc)[1].type;
        LONGEST k = (*pc)[2].longconst;
+
        (*pc) += 4;
        return value_from_longest (type, k);
       }
@@ -226,6 +227,7 @@ const_expr (union exp_element **pc)
     case OP_VAR_VALUE:
       {
        struct value *v = const_var_ref ((*pc)[2].symbol);
+
        (*pc) += 4;
        return v;
       }
@@ -329,7 +331,7 @@ maybe_const_expr (union exp_element **pc)
 
    Setting the flag trace_kludge to non-zero enables the code that
    emits the trace bytecodes at the appropriate points.  */
-static int trace_kludge;
+int trace_kludge;
 
 /* Scan for all static fields in the given class, including any base
    classes, and generate tracing bytecodes for each.  */
@@ -363,10 +365,9 @@ gen_trace_static_fields (struct gdbarch *gdbarch,
              break;
 
            case axs_lvalue_register:
-             /* We need to mention the register somewhere in the bytecode,
-                so ax_reqs will pick it up and add it to the mask of
-                registers used.  */
-             ax_reg (ax, value.u.reg);
+             /* We don't actually need the register's value to be pushed,
+                just note that we need it to be collected.  */
+             ax_reg_mask (ax, value.u.reg);
 
            default:
              break;
@@ -414,11 +415,11 @@ gen_traced_pop (struct gdbarch *gdbarch,
        break;
 
       case axs_lvalue_register:
-       /* We need to mention the register somewhere in the bytecode,
-          so ax_reqs will pick it up and add it to the mask of
-          registers used.  */
-       ax_reg (ax, value->u.reg);
-       ax_simple (ax, aop_pop);
+       /* We don't actually need the register's value to be on the
+          stack, and the target will get heartburn if the register is
+          larger than will fit in a stack, so just mark it for
+          collection and be done with it.  */
+       ax_reg_mask (ax, value->u.reg);
        break;
       }
   else
@@ -454,6 +455,7 @@ static void
 gen_extend (struct agent_expr *ax, struct type *type)
 {
   int bits = TYPE_LENGTH (type) * TARGET_CHAR_BIT;
+
   /* I just had to.  */
   ((TYPE_UNSIGNED (type) ? ax_zero_ext : ax_ext) (ax, bits));
 }
@@ -692,6 +694,7 @@ gen_var_ref (struct gdbarch *gdbarch, struct agent_expr *ax,
       {
        struct minimal_symbol *msym
          = lookup_minimal_symbol (SYMBOL_LINKAGE_NAME (var), NULL, NULL);
+
        if (!msym)
          error (_("Couldn't resolve symbol `%s'."), SYMBOL_PRINT_NAME (var));
 
@@ -819,6 +822,7 @@ gen_usual_unary (struct expression *exp, struct agent_expr *ax,
     case TYPE_CODE_ARRAY:
       {
        struct type *elements = TYPE_TARGET_TYPE (value->type);
+
        value->type = lookup_pointer_type (elements);
        value->kind = axs_rvalue;
        /* We don't need to generate any code; the address of the array
@@ -898,7 +902,7 @@ gen_conversion (struct agent_expr *ax, struct type *from, struct type *to)
 static int
 is_nontrivial_conversion (struct type *from, struct type *to)
 {
-  struct agent_expr *ax = new_agent_expr (0);
+  struct agent_expr *ax = new_agent_expr (NULL, 0);
   int nontrivial;
 
   /* Actually generate the code, and see if anything came out.  At the
@@ -1239,8 +1243,7 @@ gen_bitfield_ref (struct expression *exp, struct agent_expr *ax,
 {
   /* Note that ops[i] fetches 8 << i bits.  */
   static enum agent_op ops[]
-  =
-  {aop_ref8, aop_ref16, aop_ref32, aop_ref64};
+    = {aop_ref8, aop_ref16, aop_ref32, aop_ref64};
   static int num_ops = (sizeof (ops) / sizeof (ops[0]));
 
   /* We don't want to touch any byte that the bitfield doesn't
@@ -1568,7 +1571,6 @@ gen_struct_elt_for_reference (struct expression *exp,
 {
   struct type *t = type;
   int i;
-  struct value *v, *result;
 
   if (TYPE_CODE (t) != TYPE_CODE_STRUCT
       && TYPE_CODE (t) != TYPE_CODE_UNION)
@@ -1691,6 +1693,7 @@ gen_repeat (struct expression *exp, union exp_element **pc,
            struct agent_expr *ax, struct axs_value *value)
 {
   struct axs_value value1;
+
   /* We don't want to turn this into an rvalue, so no conversions
      here.  */
   gen_expr (exp, pc, ax, &value1);
@@ -1739,6 +1742,7 @@ gen_sizeof (struct expression *exp, union exp_element **pc,
      So we generate code for the operand, and then throw it away,
      replacing it with code that simply pushes its size.  */
   int start = ax->len;
+
   gen_expr (exp, pc, ax, value);
 
   /* Throw away the code we just generated.  */
@@ -1875,6 +1879,7 @@ gen_expr (struct expression *exp, union exp_element **pc,
        {
          char *name = internalvar_name ((*pc)[1].internalvar);
          struct trace_state_variable *tsv;
+
          (*pc) += 3;
          gen_expr (exp, pc, ax, value);
          tsv = find_trace_state_variable (name);
@@ -1900,6 +1905,7 @@ gen_expr (struct expression *exp, union exp_element **pc,
        {
          char *name = internalvar_name ((*pc)[1].internalvar);
          struct trace_state_variable *tsv;
+
          (*pc) += 3;
          tsv = find_trace_state_variable (name);
          if (tsv)
@@ -1946,6 +1952,7 @@ gen_expr (struct expression *exp, union exp_element **pc,
       {
        struct type *type = (*pc)[1].type;
        LONGEST k = (*pc)[2].longconst;
+
        (*pc) += 4;
        gen_int_literal (ax, value, k, type);
       }
@@ -1965,6 +1972,7 @@ gen_expr (struct expression *exp, union exp_element **pc,
       {
        const char *name = &(*pc)[2].string;
        int reg;
+
        (*pc) += 4 + BYTES_TO_EXP_ELEM ((*pc)[1].longconst + 1);
        reg = user_reg_map_name_to_regnum (exp->gdbarch, name, strlen (name));
        if (reg == -1)
@@ -1984,6 +1992,7 @@ gen_expr (struct expression *exp, union exp_element **pc,
       {
        const char *name = internalvar_name ((*pc)[1].internalvar);
        struct trace_state_variable *tsv;
+
        (*pc) += 3;
        tsv = find_trace_state_variable (name);
        if (tsv)
@@ -2010,6 +2019,7 @@ gen_expr (struct expression *exp, union exp_element **pc,
     case UNOP_CAST:
       {
        struct type *type = (*pc)[1].type;
+
        (*pc) += 3;
        gen_expr (exp, pc, ax, value);
        gen_cast (ax, value, type);
@@ -2019,6 +2029,7 @@ gen_expr (struct expression *exp, union exp_element **pc,
     case UNOP_MEMVAL:
       {
        struct type *type = check_typedef ((*pc)[1].type);
+
        (*pc) += 3;
        gen_expr (exp, pc, ax, value);
        /* I'm not sure I understand UNOP_MEMVAL entirely.  I think
@@ -2324,7 +2335,7 @@ gen_trace_for_var (CORE_ADDR scope, struct gdbarch *gdbarch,
                   struct symbol *var)
 {
   struct cleanup *old_chain = 0;
-  struct agent_expr *ax = new_agent_expr (scope);
+  struct agent_expr *ax = new_agent_expr (gdbarch, scope);
   struct axs_value value;
 
   old_chain = make_cleanup_free_agent_expr (ax);
@@ -2364,7 +2375,7 @@ struct agent_expr *
 gen_trace_for_expr (CORE_ADDR scope, struct expression *expr)
 {
   struct cleanup *old_chain = 0;
-  struct agent_expr *ax = new_agent_expr (scope);
+  struct agent_expr *ax = new_agent_expr (expr->gdbarch, scope);
   union exp_element *pc;
   struct axs_value value;
 
@@ -2372,6 +2383,7 @@ gen_trace_for_expr (CORE_ADDR scope, struct expression *expr)
 
   pc = expr->elts;
   trace_kludge = 1;
+  value.optimized_out = 0;
   gen_expr (expr, &pc, ax, &value);
 
   /* Make sure we record the final object, and get rid of it.  */
@@ -2398,7 +2410,7 @@ struct agent_expr *
 gen_eval_for_expr (CORE_ADDR scope, struct expression *expr)
 {
   struct cleanup *old_chain = 0;
-  struct agent_expr *ax = new_agent_expr (scope);
+  struct agent_expr *ax = new_agent_expr (expr->gdbarch, scope);
   union exp_element *pc;
   struct axs_value value;
 
@@ -2406,8 +2418,11 @@ gen_eval_for_expr (CORE_ADDR scope, struct expression *expr)
 
   pc = expr->elts;
   trace_kludge = 0;
+  value.optimized_out = 0;
   gen_expr (expr, &pc, ax, &value);
 
+  require_rvalue (ax, &value);
+
   /* Oh, and terminate.  */
   ax_simple (ax, aop_end);
 
@@ -2440,6 +2455,7 @@ agent_command (char *exp, int from_tty)
   old_chain = make_cleanup (free_current_contents, &expr);
   agent = gen_trace_for_expr (get_frame_pc (fi), expr);
   make_cleanup_free_agent_expr (agent);
+  ax_reqs (agent);
   ax_print (gdb_stdout, agent);
 
   /* It would be nice to call ax_reqs here to gather some general info
@@ -2475,6 +2491,7 @@ agent_eval_command (char *exp, int from_tty)
   old_chain = make_cleanup (free_current_contents, &expr);
   agent = gen_eval_for_expr (get_frame_pc (fi), expr);
   make_cleanup_free_agent_expr (agent);
+  ax_reqs (agent);
   ax_print (gdb_stdout, agent);
 
   /* It would be nice to call ax_reqs here to gather some general info