2010-04-21 Stan Shebs <stan@codesourcery.com>
[deliverable/binutils-gdb.git] / gdb / tracepoint.c
index 5d194ffe0ab27963c8e577935c7f6bba37c5ff78..e50a1e0f990d4320d09c2975ba067b8e19a0b9a8 100644 (file)
@@ -1,7 +1,7 @@
 /* Tracing functionality for remote targets in custom GDB protocol
 
    Copyright (C) 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
-   2007, 2008, 2009 Free Software Foundation, Inc.
+   2007, 2008, 2009, 2010 Free Software Foundation, Inc.
 
    This file is part of GDB.
 
@@ -19,6 +19,7 @@
    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
 
 #include "defs.h"
+#include "arch-utils.h"
 #include "symtab.h"
 #include "frame.h"
 #include "gdbtypes.h"
@@ -31,7 +32,6 @@
 #include "inferior.h"
 #include "breakpoint.h"
 #include "tracepoint.h"
-#include "remote.h"
 #include "linespec.h"
 #include "regcache.h"
 #include "completer.h"
 #include "valprint.h"
 #include "gdbcore.h"
 #include "objfiles.h"
+#include "filenames.h"
+#include "gdbthread.h"
+#include "stack.h"
+#include "gdbcore.h"
 
 #include "ax.h"
 #include "ax-gdb.h"
 #include <unistd.h>
 #endif
 
+#ifndef O_LARGEFILE
+#define O_LARGEFILE 0
+#endif
+
+extern int hex2bin (const char *hex, gdb_byte *bin, int count);
+extern int bin2hex (const gdb_byte *bin, char *hex, int count);
+
+extern void stop_tracing ();
+
 /* Maximum length of an agent aexpression.
    This accounts for the fact that packets are limited to 400 bytes
    (which includes everything -- including the checksum), and assumes
    large.  (400 - 31)/2 == 184 */
 #define MAX_AGENT_EXPR_LEN     184
 
+/* A hook used to notify the UI of tracepoint operations.  */
+
+void (*deprecated_trace_find_hook) (char *arg, int from_tty);
+void (*deprecated_trace_start_stop_hook) (int start, int from_tty);
 
 extern void (*deprecated_readline_begin_hook) (char *, ...);
 extern char *(*deprecated_readline_hook) (char *);
@@ -105,6 +122,19 @@ extern void output_command (char *, int);
 
 /* ======= Important global variables: ======= */
 
+/* The list of all trace state variables.  We don't retain pointers to
+   any of these for any reason - API is by name or number only - so it
+   works to have a vector of objects.  */
+
+typedef struct trace_state_variable tsv_s;
+DEF_VEC_O(tsv_s);
+
+static VEC(tsv_s) *tvariables;
+
+/* The next integer to assign to a variable.  */
+
+static int next_tsv_number = 1;
+
 /* Number of last traceframe collected.  */
 static int traceframe_number;
 
@@ -120,6 +150,16 @@ static struct symtab_and_line traceframe_sal;
 /* Tracing command lists */
 static struct cmd_list_element *tfindlist;
 
+/* List of expressions to collect by default at each tracepoint hit.  */
+char *default_collect = "";
+
+static int disconnected_tracing;
+
+/* This variable controls whether we ask the target for a linear or
+   circular trace buffer.  */
+
+static int circular_trace_buffer;
+
 /* ======= Important command functions: ======= */
 static void trace_actions_command (char *, int);
 static void trace_start_command (char *, int);
@@ -131,7 +171,6 @@ static void trace_find_tracepoint_command (char *, int);
 static void trace_find_line_command (char *, int);
 static void trace_find_range_command (char *, int);
 static void trace_find_outside_command (char *, int);
-static void tracepoint_save_command (char *, int);
 static void trace_dump_command (char *, int);
 
 /* support routines */
@@ -141,67 +180,31 @@ static void add_aexpr (struct collection_list *, struct agent_expr *);
 static char *mem2hex (gdb_byte *, char *, int);
 static void add_register (struct collection_list *collection,
                          unsigned int regno);
-static struct cleanup *make_cleanup_free_actions (struct breakpoint *t);
-static void free_actions_list (char **actions_list);
-static void free_actions_list_cleanup_wrapper (void *);
+
+extern void send_disconnected_tracing_value (int value);
+
+static void free_uploaded_tps (struct uploaded_tp **utpp);
+static void free_uploaded_tsvs (struct uploaded_tsv **utsvp);
+
 
 extern void _initialize_tracepoint (void);
 
-/* Utility: returns true if "target remote" */
-static int
-target_is_remote (void)
-{
-  if (current_target.to_shortname &&
-      (strcmp (current_target.to_shortname, "remote") == 0
-       || strcmp (current_target.to_shortname, "extended-remote") == 0))
-    return 1;
-  else
-    return 0;
-}
+static struct trace_status trace_status;
 
-/* Utility: generate error from an incoming stub packet.  */
-static void
-trace_error (char *buf)
-{
-  if (*buf++ != 'E')
-    return;                    /* not an error msg */
-  switch (*buf)
-    {
-    case '1':                  /* malformed packet error */
-      if (*++buf == '0')       /*   general case: */
-       error (_("tracepoint.c: error in outgoing packet."));
-      else
-       error (_("tracepoint.c: error in outgoing packet at field #%ld."),
-              strtol (buf, NULL, 16));
-    case '2':
-      error (_("trace API error 0x%s."), ++buf);
-    default:
-      error (_("Target returns error code '%s'."), buf);
-    }
-}
+char *stop_reason_names[] = {
+  "tunknown",
+  "tnotrun",
+  "tstop",
+  "tfull",
+  "tdisconnected",
+  "tpasscount",
+  "terror"
+};
 
-/* Utility: wait for reply from stub, while accepting "O" packets.  */
-static char *
-remote_get_noisy_reply (char **buf_p,
-                       long *sizeof_buf)
+struct trace_status *
+current_trace_status ()
 {
-  do                           /* Loop on reply from remote stub.  */
-    {
-      char *buf;
-      QUIT;                    /* allow user to bail out with ^C */
-      getpkt (buf_p, sizeof_buf, 0);
-      buf = *buf_p;
-      if (buf[0] == 0)
-       error (_("Target does not support this command."));
-      else if (buf[0] == 'E')
-       trace_error (buf);
-      else if (buf[0] == 'O' &&
-              buf[1] != 'K')
-       remote_console_output (buf + 1);        /* 'O' message from stub */
-      else
-       return buf;             /* here's the actual reply */
-    }
-  while (1);
+  return &trace_status;
 }
 
 /* Set traceframe number to NUM.  */
@@ -268,10 +271,235 @@ set_traceframe_context (struct frame_info *trace_frame)
                            traceframe_sal.symtab->filename);
 }
 
-/* ACTIONS functions: */
+/* Create a new trace state variable with the given name.  */
+
+struct trace_state_variable *
+create_trace_state_variable (const char *name)
+{
+  struct trace_state_variable tsv;
+
+  memset (&tsv, 0, sizeof (tsv));
+  tsv.name = xstrdup (name);
+  tsv.number = next_tsv_number++;
+  return VEC_safe_push (tsv_s, tvariables, &tsv);
+}
+
+/* Look for a trace state variable of the given name.  */
+
+struct trace_state_variable *
+find_trace_state_variable (const char *name)
+{
+  struct trace_state_variable *tsv;
+  int ix;
+
+  for (ix = 0; VEC_iterate (tsv_s, tvariables, ix, tsv); ++ix)
+    if (strcmp (name, tsv->name) == 0)
+      return tsv;
+
+  return NULL;
+}
+
+void
+delete_trace_state_variable (const char *name)
+{
+  struct trace_state_variable *tsv;
+  int ix;
+
+  for (ix = 0; VEC_iterate (tsv_s, tvariables, ix, tsv); ++ix)
+    if (strcmp (name, tsv->name) == 0)
+      {
+       xfree ((void *)tsv->name);
+       VEC_unordered_remove (tsv_s, tvariables, ix);
+       return;
+      }
+
+  warning (_("No trace variable named \"$%s\", not deleting"), name);
+}
+
+/* The 'tvariable' command collects a name and optional expression to
+   evaluate into an initial value.  */
+
+void
+trace_variable_command (char *args, int from_tty)
+{
+  struct expression *expr;
+  struct cleanup *old_chain;
+  struct internalvar *intvar = NULL;
+  LONGEST initval = 0;
+  struct trace_state_variable *tsv;
+
+  if (!args || !*args)
+    error_no_arg (_("trace state variable name"));
+
+  /* All the possible valid arguments are expressions.  */
+  expr = parse_expression (args);
+  old_chain = make_cleanup (free_current_contents, &expr);
+
+  if (expr->nelts == 0)
+    error (_("No expression?"));
+
+  /* Only allow two syntaxes; "$name" and "$name=value".  */
+  if (expr->elts[0].opcode == OP_INTERNALVAR)
+    {
+      intvar = expr->elts[1].internalvar;
+    }
+  else if (expr->elts[0].opcode == BINOP_ASSIGN
+          && expr->elts[1].opcode == OP_INTERNALVAR)
+    {
+      intvar = expr->elts[2].internalvar;
+      initval = value_as_long (evaluate_subexpression_type (expr, 4));
+    }
+  else
+    error (_("Syntax must be $NAME [ = EXPR ]"));
+
+  if (!intvar)
+    error (_("No name given"));
+
+  if (strlen (internalvar_name (intvar)) <= 0)
+    error (_("Must supply a non-empty variable name"));
+
+  /* If the variable already exists, just change its initial value.  */
+  tsv = find_trace_state_variable (internalvar_name (intvar));
+  if (tsv)
+    {
+      tsv->initial_value = initval;
+      printf_filtered (_("Trace state variable $%s now has initial value %s.\n"),
+                      tsv->name, plongest (tsv->initial_value));
+      do_cleanups (old_chain);
+      return;
+    }
+
+  /* Create a new variable.  */
+  tsv = create_trace_state_variable (internalvar_name (intvar));
+  tsv->initial_value = initval;
+
+  printf_filtered (_("Trace state variable $%s created, with initial value %s.\n"),
+                  tsv->name, plongest (tsv->initial_value));
+
+  do_cleanups (old_chain);
+}
+
+void
+delete_trace_variable_command (char *args, int from_tty)
+{
+  int i, ix;
+  char **argv;
+  struct cleanup *back_to;
+  struct trace_state_variable *tsv;
+
+  if (args == NULL)
+    {
+      if (query (_("Delete all trace state variables? ")))
+       VEC_free (tsv_s, tvariables);
+      dont_repeat ();
+      return;
+    }
+
+  argv = gdb_buildargv (args);
+  back_to = make_cleanup_freeargv (argv);
+
+  for (i = 0; argv[i] != NULL; i++)
+    {
+      if (*argv[i] == '$')
+       delete_trace_state_variable (argv[i] + 1);
+      else
+       warning (_("Name \"%s\" not prefixed with '$', ignoring"), argv[i]);
+    }
+
+  do_cleanups (back_to);
+
+  dont_repeat ();
+}
+
+void
+tvariables_info_1 (void)
+{
+  struct trace_state_variable *tsv;
+  int ix;
+  int count = 0;
+  struct cleanup *back_to;
+
+  if (VEC_length (tsv_s, tvariables) == 0 && !ui_out_is_mi_like_p (uiout))
+    {
+      printf_filtered (_("No trace state variables.\n"));
+      return;
+    }
+
+  /* Try to acquire values from the target.  */
+  for (ix = 0; VEC_iterate (tsv_s, tvariables, ix, tsv); ++ix, ++count)
+    tsv->value_known = target_get_trace_state_variable_value (tsv->number,
+                                                             &(tsv->value));
+
+  back_to = make_cleanup_ui_out_table_begin_end (uiout, 3,
+                                                 count, "trace-variables");
+  ui_out_table_header (uiout, 15, ui_left, "name", "Name");
+  ui_out_table_header (uiout, 11, ui_left, "initial", "Initial");
+  ui_out_table_header (uiout, 11, ui_left, "current", "Current");
+
+  ui_out_table_body (uiout);
+
+  for (ix = 0; VEC_iterate (tsv_s, tvariables, ix, tsv); ++ix)
+    {
+      struct cleanup *back_to2;
+      char *c;
+      char *name;
+
+      back_to2 = make_cleanup_ui_out_tuple_begin_end (uiout, "variable");
+
+      name = concat ("$", tsv->name, NULL);
+      make_cleanup (xfree, name);
+      ui_out_field_string (uiout, "name", name);
+      ui_out_field_string (uiout, "initial", plongest (tsv->initial_value));
+
+      if (tsv->value_known)
+        c = plongest (tsv->value);
+      else if (ui_out_is_mi_like_p (uiout))
+        /* For MI, we prefer not to use magic string constants, but rather
+           omit the field completely.  The difference between unknown and
+           undefined does not seem important enough to represent.  */
+        c = NULL;
+      else if (current_trace_status ()->running || traceframe_number >= 0)
+       /* The value is/was defined, but we don't have it.  */
+        c = "<unknown>";
+      else
+       /* It is not meaningful to ask about the value.  */
+        c = "<undefined>";
+      if (c)
+        ui_out_field_string (uiout, "current", c);
+      ui_out_text (uiout, "\n");
+
+      do_cleanups (back_to2);
+    }
+
+  do_cleanups (back_to);
+}
+
+/* List all the trace state variables.  */
+
+static void
+tvariables_info (char *args, int from_tty)
+{
+  tvariables_info_1 ();
+}
+
+/* Stash definitions of tsvs into the given file.  */
+
+void
+save_trace_state_variables (struct ui_file *fp)
+{
+  struct trace_state_variable *tsv;
+  int ix;
 
-/* Prototypes for action-parsing utility commands  */
-static void read_actions (struct breakpoint *);
+  for (ix = 0; VEC_iterate (tsv_s, tvariables, ix, tsv); ++ix)
+    {
+      fprintf_unfiltered (fp, "tvariable $%s", tsv->name);
+      if (tsv->initial_value)
+       fprintf_unfiltered (fp, " = %s", plongest (tsv->initial_value));
+      fprintf_unfiltered (fp, "\n");
+    }
+}
+
+/* ACTIONS functions: */
 
 /* The three functions:
    collect_pseudocommand, 
@@ -300,179 +528,93 @@ collect_pseudocommand (char *args, int from_tty)
   error (_("This command can only be used in a tracepoint actions list."));
 }
 
+static void
+teval_pseudocommand (char *args, int from_tty)
+{
+  error (_("This command can only be used in a tracepoint actions list."));
+}
+
 /* Enter a list of actions for a tracepoint.  */
 static void
 trace_actions_command (char *args, int from_tty)
 {
   struct breakpoint *t;
-  char tmpbuf[128];
-  char *end_msg = "End with a line saying just \"end\".";
+  struct command_line *l;
 
   t = get_tracepoint_by_number (&args, 0, 1);
   if (t)
     {
-      sprintf (tmpbuf, "Enter actions for tracepoint %d, one per line.",
-              t->number);
-
-      if (from_tty)
-       {
-         if (deprecated_readline_begin_hook)
-           (*deprecated_readline_begin_hook) ("%s  %s\n", tmpbuf, end_msg);
-         else if (input_from_terminal_p ())
-           printf_filtered ("%s\n%s\n", tmpbuf, end_msg);
-       }
-
-      free_actions (t);
-      t->step_count = 0;       /* read_actions may set this */
-      read_actions (t);
-
-      if (deprecated_readline_end_hook)
-       (*deprecated_readline_end_hook) ();
-      /* tracepoints_changed () */
+      char *tmpbuf =
+       xstrprintf ("Enter actions for tracepoint %d, one per line.",
+                   t->number);
+      struct cleanup *cleanups = make_cleanup (xfree, tmpbuf);
+
+      l = read_command_lines (tmpbuf, from_tty, 1, check_tracepoint_command, t);
+      do_cleanups (cleanups);
+      breakpoint_set_commands (t, l);
     }
   /* else just return */
 }
 
-/* worker function */
-static void
-read_actions (struct breakpoint *t)
-{
-  char *line;
-  char *prompt1 = "> ", *prompt2 = "  > ";
-  char *prompt = prompt1;
-  enum actionline_type linetype;
-  extern FILE *instream;
-  struct action_line *next = NULL, *temp;
-  struct cleanup *old_chain;
-
-  /* Control-C quits instantly if typed while in this loop
-     since it should not wait until the user types a newline.  */
-  immediate_quit++;
-  /* FIXME: kettenis/20010823: Something is wrong here.  In this file
-     STOP_SIGNAL is never defined.  So this code has been left out, at
-     least for quite a while now.  Replacing STOP_SIGNAL with SIGTSTP
-     leads to compilation failures since the variable job_control
-     isn't declared.  Leave this alone for now.  */
-#ifdef STOP_SIGNAL
-  if (job_control)
-    signal (STOP_SIGNAL, handle_stop_sig);
-#endif
-  old_chain = make_cleanup_free_actions (t);
-  while (1)
-    {
-      /* Make sure that all output has been output.  Some machines may
-         let you get away with leaving out some of the gdb_flush, but
-         not all.  */
-      wrap_here ("");
-      gdb_flush (gdb_stdout);
-      gdb_flush (gdb_stderr);
-
-      if (deprecated_readline_hook && instream == NULL)
-       line = (*deprecated_readline_hook) (prompt);
-      else if (instream == stdin && ISATTY (instream))
-       {
-         line = gdb_readline_wrapper (prompt);
-         if (line && *line)    /* add it to command history */
-           add_history (line);
-       }
-      else
-       line = gdb_readline (0);
-
-      if (!line)
-        {
-          line = xstrdup ("end");
-          printf_filtered ("end\n");
-        }
-      
-      linetype = validate_actionline (&line, t);
-      if (linetype == BADLINE)
-       continue;               /* already warned -- collect another line */
-
-      temp = xmalloc (sizeof (struct action_line));
-      temp->next = NULL;
-      temp->action = line;
-
-      if (next == NULL)                /* first action for this tracepoint? */
-       t->actions = next = temp;
-      else
-       {
-         next->next = temp;
-         next = temp;
-       }
+/* Report the results of checking the agent expression, as errors or
+   internal errors.  */
 
-      if (linetype == STEPPING)        /* begin "while-stepping" */
-       {
-         if (prompt == prompt2)
-           {
-             warning (_("Already processing 'while-stepping'"));
-             continue;
-           }
-         else
-           prompt = prompt2;   /* change prompt for stepping actions */
-       }
-      else if (linetype == END)
-       {
-         if (prompt == prompt2)
-           {
-             prompt = prompt1; /* end of single-stepping actions */
-           }
-         else
-           {                   /* end of actions */
-             if (t->actions->next == NULL)
-               {
-                 /* An "end" all by itself with no other actions
-                    means this tracepoint has no actions.
-                    Discard empty list.  */
-                 free_actions (t);
-               }
-             break;
-           }
-       }
-    }
-#ifdef STOP_SIGNAL
-  if (job_control)
-    signal (STOP_SIGNAL, SIG_DFL);
-#endif
-  immediate_quit--;
-  discard_cleanups (old_chain);
+static void
+report_agent_reqs_errors (struct agent_expr *aexpr, struct agent_reqs *areqs)
+{
+  /* All of the "flaws" are serious bytecode generation issues that
+     should never occur.  */
+  if (areqs->flaw != agent_flaw_none)
+    internal_error (__FILE__, __LINE__, _("expression is malformed"));
+
+  /* If analysis shows a stack underflow, GDB must have done something
+     badly wrong in its bytecode generation.  */
+  if (areqs->min_height < 0)
+    internal_error (__FILE__, __LINE__,
+                   _("expression has min height < 0"));
+
+  /* Issue this error if the stack is predicted to get too deep.  The
+     limit is rather arbitrary; a better scheme might be for the
+     target to report how much stack it will have available.  The
+     depth roughly corresponds to parenthesization, so a limit of 20
+     amounts to 20 levels of expression nesting, which is actually
+     a pretty big hairy expression.  */
+  if (areqs->max_height > 20)
+    error (_("Expression is too complicated."));
 }
 
 /* worker function */
-enum actionline_type
+void
 validate_actionline (char **line, struct breakpoint *t)
 {
   struct cmd_list_element *c;
   struct expression *exp = NULL;
   struct cleanup *old_chain = NULL;
-  char *p;
+  char *p, *tmp_p;
+  struct bp_location *loc;
+  struct agent_expr *aexpr;
+  struct agent_reqs areqs;
 
   /* if EOF is typed, *line is NULL */
   if (*line == NULL)
-    return END;
+    return;
 
   for (p = *line; isspace ((int) *p);)
     p++;
 
   /* Symbol lookup etc.  */
   if (*p == '\0')      /* empty line: just prompt for another line.  */
-    return BADLINE;
+    return;
 
   if (*p == '#')               /* comment line */
-    return GENERIC;
+    return;
 
   c = lookup_cmd (&p, cmdlist, "", -1, 1);
   if (c == 0)
-    {
-      warning (_("'%s' is not an action that I know, or is ambiguous."), 
-              p);
-      return BADLINE;
-    }
+    error (_("`%s' is not a tracepoint action, or is ambiguous."), p);
 
   if (cmd_cfunc_eq (c, collect_pseudocommand))
     {
-      struct agent_expr *aexpr;
-      struct agent_reqs areqs;
-
       do
        {                       /* repeat over a comma-separated list */
          QUIT;                 /* allow user to bail out with ^C */
@@ -490,52 +632,84 @@ validate_actionline (char **line, struct breakpoint *t)
                }
              /* else fall thru, treat p as an expression and parse it!  */
            }
-         exp = parse_exp_1 (&p, block_for_pc (t->loc->address), 1);
-         old_chain = make_cleanup (free_current_contents, &exp);
-
-         if (exp->elts[0].opcode == OP_VAR_VALUE)
+         tmp_p = p;
+         for (loc = t->loc; loc; loc = loc->next)
            {
-             if (SYMBOL_CLASS (exp->elts[2].symbol) == LOC_CONST)
-               {
-                 warning (_("constant %s (value %ld) will not be collected."),
-                          SYMBOL_PRINT_NAME (exp->elts[2].symbol),
-                          SYMBOL_VALUE (exp->elts[2].symbol));
-                 return BADLINE;
-               }
-             else if (SYMBOL_CLASS (exp->elts[2].symbol) == LOC_OPTIMIZED_OUT)
+             p = tmp_p;
+             exp = parse_exp_1 (&p, block_for_pc (loc->address), 1);
+             old_chain = make_cleanup (free_current_contents, &exp);
+
+             if (exp->elts[0].opcode == OP_VAR_VALUE)
                {
-                 warning (_("%s is optimized away and cannot be collected."),
-                          SYMBOL_PRINT_NAME (exp->elts[2].symbol));
-                 return BADLINE;
+                 if (SYMBOL_CLASS (exp->elts[2].symbol) == LOC_CONST)
+                   {
+                     error (_("constant `%s' (value %ld) will not be collected."),
+                            SYMBOL_PRINT_NAME (exp->elts[2].symbol),
+                            SYMBOL_VALUE (exp->elts[2].symbol));
+                   }
+                 else if (SYMBOL_CLASS (exp->elts[2].symbol) == LOC_OPTIMIZED_OUT)
+                   {
+                     error (_("`%s' is optimized away and cannot be collected."),
+                            SYMBOL_PRINT_NAME (exp->elts[2].symbol));
+                   }
                }
+
+             /* We have something to collect, make sure that the expr to
+                bytecode translator can handle it and that it's not too
+                long.  */
+             aexpr = gen_trace_for_expr (loc->address, exp);
+             make_cleanup_free_agent_expr (aexpr);
+
+             if (aexpr->len > MAX_AGENT_EXPR_LEN)
+               error (_("Expression is too complicated."));
+
+             ax_reqs (aexpr, &areqs);
+             (void) make_cleanup (xfree, areqs.reg_mask);
+
+             report_agent_reqs_errors (aexpr, &areqs);
+
+             do_cleanups (old_chain);
            }
+       }
+      while (p && *p++ == ',');
+    }
 
-         /* We have something to collect, make sure that the expr to
-            bytecode translator can handle it and that it's not too
-            long.  */
-         aexpr = gen_trace_for_expr (t->loc->address, exp);
-         make_cleanup_free_agent_expr (aexpr);
+  else if (cmd_cfunc_eq (c, teval_pseudocommand))
+    {
+      do
+       {                       /* repeat over a comma-separated list */
+         QUIT;                 /* allow user to bail out with ^C */
+         while (isspace ((int) *p))
+           p++;
 
-         if (aexpr->len > MAX_AGENT_EXPR_LEN)
-           error (_("expression too complicated, try simplifying"));
+         tmp_p = p;
+         for (loc = t->loc; loc; loc = loc->next)
+           {
+             p = tmp_p;
+             /* Only expressions are allowed for this action.  */
+             exp = parse_exp_1 (&p, block_for_pc (loc->address), 1);
+             old_chain = make_cleanup (free_current_contents, &exp);
 
-         ax_reqs (aexpr, &areqs);
-         (void) make_cleanup (xfree, areqs.reg_mask);
+             /* We have something to evaluate, make sure that the expr to
+                bytecode translator can handle it and that it's not too
+                long.  */
+             aexpr = gen_eval_for_expr (loc->address, exp);
+             make_cleanup_free_agent_expr (aexpr);
 
-         if (areqs.flaw != agent_flaw_none)
-           error (_("malformed expression"));
+             if (aexpr->len > MAX_AGENT_EXPR_LEN)
+               error (_("Expression is too complicated."));
 
-         if (areqs.min_height < 0)
-           error (_("gdb: Internal error: expression has min height < 0"));
+             ax_reqs (aexpr, &areqs);
+             (void) make_cleanup (xfree, areqs.reg_mask);
 
-         if (areqs.max_height > 20)
-           error (_("expression too complicated, try simplifying"));
+             report_agent_reqs_errors (aexpr, &areqs);
 
-         do_cleanups (old_chain);
+             do_cleanups (old_chain);
+           }
        }
       while (p && *p++ == ',');
-      return GENERIC;
     }
+
   else if (cmd_cfunc_eq (c, while_stepping_pseudocommand))
     {
       char *steparg;           /* in case warning is necessary */
@@ -544,49 +718,15 @@ validate_actionline (char **line, struct breakpoint *t)
        p++;
       steparg = p;
 
-      if (*p == '\0' ||
-         (t->step_count = strtol (p, &p, 0)) == 0)
-       {
-         warning (_("'%s': bad step-count; command ignored."), *line);
-         return BADLINE;
-       }
-      return STEPPING;
-    }
-  else if (cmd_cfunc_eq (c, end_actions_pseudocommand))
-    return END;
-  else
-    {
-      warning (_("'%s' is not a supported tracepoint action."), *line);
-      return BADLINE;
-    }
-}
-
-/* worker function */
-void
-free_actions (struct breakpoint *t)
-{
-  struct action_line *line, *next;
-
-  for (line = t->actions; line; line = next)
-    {
-      next = line->next;
-      if (line->action)
-       xfree (line->action);
-      xfree (line);
+      if (*p == '\0' || (t->step_count = strtol (p, &p, 0)) == 0)
+       error (_("while-stepping step count `%s' is malformed."), *line);
     }
-  t->actions = NULL;
-}
 
-static void
-do_free_actions_cleanup (void *t)
-{
-  free_actions (t);
-}
+  else if (cmd_cfunc_eq (c, end_actions_pseudocommand))
+    ;
 
-static struct cleanup *
-make_cleanup_free_actions (struct breakpoint *t)
-{
-  return make_cleanup (do_free_actions_cleanup, t);
+  else
+    error (_("`%s' is not a supported tracepoint action."), *line);
 }
 
 enum {
@@ -723,11 +863,13 @@ static void
 collect_symbol (struct collection_list *collect, 
                struct symbol *sym,
                struct gdbarch *gdbarch,
-               long frame_regno, long frame_offset)
+               long frame_regno, long frame_offset,
+               CORE_ADDR scope)
 {
   unsigned long len;
   unsigned int reg;
   bfd_signed_vma offset;
+  int treat_as_expr = 0;
 
   len = TYPE_LENGTH (check_typedef (SYMBOL_TYPE (sym)));
   switch (SYMBOL_CLASS (sym))
@@ -752,7 +894,12 @@ collect_symbol (struct collection_list *collect,
                           SYMBOL_PRINT_NAME (sym), len,
                           tmp /* address */);
        }
-      add_memrange (collect, memrange_absolute, offset, len);
+      /* A struct may be a C++ class with static fields, go to general
+        expression handling.  */
+      if (TYPE_CODE (SYMBOL_TYPE (sym)) == TYPE_CODE_STRUCT)
+       treat_as_expr = 1;
+      else
+       add_memrange (collect, memrange_absolute, offset, len);
       break;
     case LOC_REGISTER:
       reg = SYMBOL_REGISTER_OPS (sym)->register_number (sym, gdbarch);
@@ -807,51 +954,141 @@ collect_symbol (struct collection_list *collect,
        }
       add_memrange (collect, reg, offset, len);
       break;
+
     case LOC_UNRESOLVED:
-      printf_filtered ("Don't know LOC_UNRESOLVED %s\n", 
-                      SYMBOL_PRINT_NAME (sym));
+      treat_as_expr = 1;
       break;
+
     case LOC_OPTIMIZED_OUT:
       printf_filtered ("%s has been optimized out of existence.\n",
                       SYMBOL_PRINT_NAME (sym));
       break;
-    }
-}
 
-/* Add all locals (or args) symbols to collection list */
-static void
-add_local_symbols (struct collection_list *collect,
-                  struct gdbarch *gdbarch, CORE_ADDR pc,
-                  long frame_regno, long frame_offset, int type)
-{
-  struct symbol *sym;
-  struct block *block;
-  struct dict_iterator iter;
-  int count = 0;
+    case LOC_COMPUTED:
+      treat_as_expr = 1;
+      break;
+    }
 
-  block = block_for_pc (pc);
-  while (block != 0)
+  /* Expressions are the most general case.  */
+  if (treat_as_expr)
     {
-      QUIT;                    /* allow user to bail out with ^C */
-      ALL_BLOCK_SYMBOLS (block, iter, sym)
+      struct agent_expr *aexpr;
+      struct cleanup *old_chain1 = NULL;
+      struct agent_reqs areqs;
+
+      aexpr = gen_trace_for_var (scope, gdbarch, sym);
+
+      /* It can happen that the symbol is recorded as a computed
+        location, but it's been optimized away and doesn't actually
+        have a location expression.  */
+      if (!aexpr)
+       {
+         printf_filtered ("%s has been optimized out of existence.\n",
+                          SYMBOL_PRINT_NAME (sym));
+         return;
+       }
+
+      old_chain1 = make_cleanup_free_agent_expr (aexpr);
+
+      ax_reqs (aexpr, &areqs);
+
+      report_agent_reqs_errors (aexpr, &areqs);
+
+      discard_cleanups (old_chain1);
+      add_aexpr (collect, aexpr);
+
+      /* take care of the registers */
+      if (areqs.reg_mask_len > 0)
        {
-         if (SYMBOL_IS_ARGUMENT (sym)
-             ? type == 'A'     /* collecting Arguments */
-             : type == 'L')    /* collecting Locals */
+         int ndx1, ndx2;
+
+         for (ndx1 = 0; ndx1 < areqs.reg_mask_len; ndx1++)
            {
-             count++;
-             collect_symbol (collect, sym, gdbarch,
-                             frame_regno, frame_offset);
+             QUIT;     /* allow user to bail out with ^C */
+             if (areqs.reg_mask[ndx1] != 0)
+               {
+                 /* assume chars have 8 bits */
+                 for (ndx2 = 0; ndx2 < 8; ndx2++)
+                   if (areqs.reg_mask[ndx1] & (1 << ndx2))
+                     /* it's used -- record it */
+                     add_register (collect, ndx1 * 8 + ndx2);
+               }
            }
        }
-      if (BLOCK_FUNCTION (block))
-       break;
-      else
-       block = BLOCK_SUPERBLOCK (block);
     }
-  if (count == 0)
-    warning (_("No %s found in scope."), 
-            type == 'L' ? "locals" : "args");
+}
+
+/* Data to be passed around in the calls to the locals and args
+   iterators.  */
+
+struct add_local_symbols_data
+{
+  struct collection_list *collect;
+  struct gdbarch *gdbarch;
+  CORE_ADDR pc;
+  long frame_regno;
+  long frame_offset;
+  int count;
+};
+
+/* The callback for the locals and args iterators  */
+
+static void
+do_collect_symbol (const char *print_name,
+                  struct symbol *sym,
+                  void *cb_data)
+{
+  struct add_local_symbols_data *p = cb_data;
+
+  collect_symbol (p->collect, sym, p->gdbarch, p->frame_regno,
+                 p->frame_offset, p->pc);
+  p->count++;
+}
+
+/* Add all locals (or args) symbols to collection list */
+static void
+add_local_symbols (struct collection_list *collect,
+                  struct gdbarch *gdbarch, CORE_ADDR pc,
+                  long frame_regno, long frame_offset, int type)
+{
+  struct block *block;
+  struct add_local_symbols_data cb_data;
+
+  cb_data.collect = collect;
+  cb_data.gdbarch = gdbarch;
+  cb_data.pc = pc;
+  cb_data.frame_regno = frame_regno;
+  cb_data.frame_offset = frame_offset;
+  cb_data.count = 0;
+
+  if (type == 'L')
+    {
+      block = block_for_pc (pc);
+      if (block == NULL)
+       {
+         warning (_("Can't collect locals; "
+                    "no symbol table info available.\n"));
+         return;
+       }
+
+      iterate_over_block_local_vars (block, do_collect_symbol, &cb_data);
+      if (cb_data.count == 0)
+       warning (_("No locals found in scope."));
+    }
+  else
+    {
+      pc = get_pc_function_start (pc);
+      block = block_for_pc (pc);
+      if (block == NULL)
+       {
+         warning (_("Can't collect args; no symbol table info available.\n"));
+         return;
+       }
+
+      iterate_over_block_arg_vars (block, do_collect_symbol, &cb_data);
+      if (cb_data.count == 0)
+       warning (_("No args found in scope."));
+    }
 }
 
 /* worker function */
@@ -982,64 +1219,31 @@ stringify_collection_list (struct collection_list *list, char *string)
     return *str_list;
 }
 
-static void
-free_actions_list_cleanup_wrapper (void *al)
-{
-  free_actions_list (al);
-}
-
-static void
-free_actions_list (char **actions_list)
-{
-  int ndx;
-
-  if (actions_list == 0)
-    return;
-
-  for (ndx = 0; actions_list[ndx]; ndx++)
-    xfree (actions_list[ndx]);
-
-  xfree (actions_list);
-}
 
-/* Render all actions into gdb protocol.  */
 static void
-encode_actions (struct breakpoint *t, char ***tdp_actions,
-               char ***stepping_actions)
+encode_actions_1 (struct command_line *action,
+                 struct breakpoint *t,
+                 struct bp_location *tloc,
+                 int frame_reg,
+                 LONGEST frame_offset,
+                 struct collection_list *collect,
+                 struct collection_list *stepping_list)
 {
-  static char tdp_buff[2048], step_buff[2048];
   char *action_exp;
   struct expression *exp = NULL;
-  struct action_line *action;
+  struct command_line *actions;
   int i;
   struct value *tempval;
-  struct collection_list *collect;
   struct cmd_list_element *cmd;
   struct agent_expr *aexpr;
-  int frame_reg;
-  LONGEST frame_offset;
-
-
-  clear_collection_list (&tracepoint_list);
-  clear_collection_list (&stepping_list);
-  collect = &tracepoint_list;
-
-  *tdp_actions = NULL;
-  *stepping_actions = NULL;
 
-  gdbarch_virtual_frame_pointer (t->gdbarch,
-                                t->loc->address, &frame_reg, &frame_offset);
-
-  for (action = t->actions; action; action = action->next)
+  for (; action; action = action->next)
     {
       QUIT;                    /* allow user to bail out with ^C */
-      action_exp = action->action;
+      action_exp = action->line;
       while (isspace ((int) *action_exp))
        action_exp++;
 
-      if (*action_exp == '#')  /* comment line */
-       return;
-
       cmd = lookup_cmd (&action_exp, cmdlist, "", -1, 1);
       if (cmd == 0)
        error (_("Bad action list item: %s"), action_exp);
@@ -1062,7 +1266,7 @@ encode_actions (struct breakpoint *t, char ***tdp_actions,
                {
                  add_local_symbols (collect,
                                     t->gdbarch,
-                                    t->loc->address,
+                                    tloc->address,
                                     frame_reg,
                                     frame_offset,
                                     'A');
@@ -1072,7 +1276,7 @@ encode_actions (struct breakpoint *t, char ***tdp_actions,
                {
                  add_local_symbols (collect,
                                     t->gdbarch,
-                                    t->loc->address,
+                                    tloc->address,
                                     frame_reg,
                                     frame_offset,
                                     'L');
@@ -1086,7 +1290,7 @@ encode_actions (struct breakpoint *t, char ***tdp_actions,
                  struct agent_reqs areqs;
 
                  exp = parse_exp_1 (&action_exp, 
-                                    block_for_pc (t->loc->address), 1);
+                                    block_for_pc (tloc->address), 1);
                  old_chain = make_cleanup (free_current_contents, &exp);
 
                  switch (exp->elts[0].opcode)
@@ -1120,22 +1324,18 @@ encode_actions (struct breakpoint *t, char ***tdp_actions,
                                      exp->elts[2].symbol,
                                      t->gdbarch,
                                      frame_reg,
-                                     frame_offset);
+                                     frame_offset,
+                                     tloc->address);
                      break;
 
                    default:    /* full-fledged expression */
-                     aexpr = gen_trace_for_expr (t->loc->address, exp);
+                     aexpr = gen_trace_for_expr (tloc->address, exp);
 
                      old_chain1 = make_cleanup_free_agent_expr (aexpr);
 
                      ax_reqs (aexpr, &areqs);
-                     if (areqs.flaw != agent_flaw_none)
-                       error (_("malformed expression"));
 
-                     if (areqs.min_height < 0)
-                       error (_("gdb: Internal error: expression has min height < 0"));
-                     if (areqs.max_height > 20)
-                       error (_("expression too complicated, try simplifying"));
+                     report_agent_reqs_errors (aexpr, &areqs);
 
                      discard_cleanups (old_chain1);
                      add_aexpr (collect, aexpr);
@@ -1167,25 +1367,115 @@ encode_actions (struct breakpoint *t, char ***tdp_actions,
            }
          while (action_exp && *action_exp++ == ',');
        }                       /* if */
-      else if (cmd_cfunc_eq (cmd, while_stepping_pseudocommand))
+      else if (cmd_cfunc_eq (cmd, teval_pseudocommand))
        {
-         collect = &stepping_list;
-       }
-      else if (cmd_cfunc_eq (cmd, end_actions_pseudocommand))
+         do
+           {                   /* repeat over a comma-separated list */
+             QUIT;             /* allow user to bail out with ^C */
+             while (isspace ((int) *action_exp))
+               action_exp++;
+
+               {
+                 unsigned long addr, len;
+                 struct cleanup *old_chain = NULL;
+                 struct cleanup *old_chain1 = NULL;
+                 struct agent_reqs areqs;
+
+                 exp = parse_exp_1 (&action_exp, 
+                                    block_for_pc (tloc->address), 1);
+                 old_chain = make_cleanup (free_current_contents, &exp);
+
+                 aexpr = gen_eval_for_expr (tloc->address, exp);
+                 old_chain1 = make_cleanup_free_agent_expr (aexpr);
+
+                 ax_reqs (aexpr, &areqs);
+
+                 report_agent_reqs_errors (aexpr, &areqs);
+
+                 discard_cleanups (old_chain1);
+                 /* Even though we're not officially collecting, add
+                    to the collect list anyway.  */
+                 add_aexpr (collect, aexpr);
+
+                 do_cleanups (old_chain);
+               }               /* do */
+           }
+         while (action_exp && *action_exp++ == ',');
+       }                       /* if */
+      else if (cmd_cfunc_eq (cmd, while_stepping_pseudocommand))
        {
-         if (collect == &stepping_list)        /* end stepping actions */
-           collect = &tracepoint_list;
-         else
-           break;              /* end tracepoint actions */
+         /* We check against nested while-stepping when setting
+            breakpoint action, so no way to run into nested
+            here.  */
+         gdb_assert (stepping_list);
+
+         encode_actions_1 (action->body_list[0], t, tloc, frame_reg, frame_offset,
+                           stepping_list, NULL);
        }
+      else
+       error (_("Invalid tracepoint command '%s'"), action->line);
     }                          /* for */
+}
+
+/* Render all actions into gdb protocol.  */
+/*static*/ void
+encode_actions (struct breakpoint *t, struct bp_location *tloc,
+               char ***tdp_actions, char ***stepping_actions)
+{
+  static char tdp_buff[2048], step_buff[2048];
+  char *default_collect_line = NULL;
+  struct command_line *actions;
+  struct command_line *default_collect_action = NULL;
+  int frame_reg;
+  LONGEST frame_offset;
+  struct cleanup *back_to;
+
+  back_to = make_cleanup (null_cleanup, NULL);
+
+  clear_collection_list (&tracepoint_list);
+  clear_collection_list (&stepping_list);
+
+  *tdp_actions = NULL;
+  *stepping_actions = NULL;
+
+  gdbarch_virtual_frame_pointer (t->gdbarch,
+                                t->loc->address, &frame_reg, &frame_offset);
+
+  actions = breakpoint_commands (t);
+
+  /* If there are default expressions to collect, make up a collect
+     action and prepend to the action list to encode.  Note that since
+     validation is per-tracepoint (local var "xyz" might be valid for
+     one tracepoint and not another, etc), we make up the action on
+     the fly, and don't cache it.  */
+  if (*default_collect)
+    {
+      char *line;
+
+      default_collect_line =  xstrprintf ("collect %s", default_collect);
+      make_cleanup (xfree, default_collect_line);
+
+      line = default_collect_line;
+      validate_actionline (&line, t);
+
+      default_collect_action = xmalloc (sizeof (struct command_line));
+      make_cleanup (xfree, default_collect_action);
+      default_collect_action->next = actions;
+      default_collect_action->line = line;
+      actions = default_collect_action;
+    }
+  encode_actions_1 (actions, t, tloc, frame_reg, frame_offset,
+                   &tracepoint_list, &stepping_list);
+
   memrange_sortmerge (&tracepoint_list);
   memrange_sortmerge (&stepping_list);
 
-  *tdp_actions = stringify_collection_list (&tracepoint_list, 
+  *tdp_actions = stringify_collection_list (&tracepoint_list,
                                            tdp_buff);
-  *stepping_actions = stringify_collection_list (&stepping_list, 
+  *stepping_actions = stringify_collection_list (&stepping_list,
                                                 step_buff);
+
+  do_cleanups (back_to);
 }
 
 static void
@@ -1202,300 +1492,480 @@ add_aexpr (struct collection_list *collect, struct agent_expr *aexpr)
   collect->next_aexpr_elt++;
 }
 
-static char *target_buf;
-static long target_buf_size;
-
-/* Set "transparent" memory ranges
-
-   Allow trace mechanism to treat text-like sections
-   (and perhaps all read-only sections) transparently, 
-   i.e. don't reject memory requests from these address ranges
-   just because they haven't been collected.  */
 
-static void
-remote_set_transparent_ranges (void)
+void
+start_tracing (void)
 {
-  asection *s;
-  bfd_size_type size;
-  bfd_vma lma;
-  int anysecs = 0;
+  char buf[2048];
+  VEC(breakpoint_p) *tp_vec = NULL;
+  int ix;
+  struct breakpoint *t;
+  struct trace_state_variable *tsv;
+  int any_enabled = 0;
+  
+  tp_vec = all_tracepoints ();
+
+  /* No point in tracing without any tracepoints... */
+  if (VEC_length (breakpoint_p, tp_vec) == 0)
+    {
+      VEC_free (breakpoint_p, tp_vec);
+      error (_("No tracepoints defined, not starting trace"));
+    }
 
-  if (!exec_bfd)
-    return;                    /* No information to give.  */
+  for (ix = 0; VEC_iterate (breakpoint_p, tp_vec, ix, t); ix++)
+    {
+      if (t->enable_state == bp_enabled)
+       {
+         any_enabled = 1;
+         break;
+       }
+    }
 
-  strcpy (target_buf, "QTro");
-  for (s = exec_bfd->sections; s; s = s->next)
+  /* No point in tracing with only disabled tracepoints.  */
+  if (!any_enabled)
     {
-      char tmp1[40], tmp2[40];
+      VEC_free (breakpoint_p, tp_vec);
+      error (_("No tracepoints enabled, not starting trace"));
+    }
 
-      if ((s->flags & SEC_LOAD) == 0 ||
-      /* (s->flags & SEC_CODE)     == 0 || */
-         (s->flags & SEC_READONLY) == 0)
-       continue;
+  target_trace_init ();
 
-      anysecs = 1;
-      lma = s->lma;
-      size = bfd_get_section_size (s);
-      sprintf_vma (tmp1, lma);
-      sprintf_vma (tmp2, lma + size);
-      sprintf (target_buf + strlen (target_buf), 
-              ":%s,%s", tmp1, tmp2);
+  for (ix = 0; VEC_iterate (breakpoint_p, tp_vec, ix, t); ix++)
+    {
+      t->number_on_target = 0;
+      target_download_tracepoint (t);
+      t->number_on_target = t->number;
     }
-  if (anysecs)
+  VEC_free (breakpoint_p, tp_vec);
+
+  /* Send down all the trace state variables too.  */
+  for (ix = 0; VEC_iterate (tsv_s, tvariables, ix, tsv); ++ix)
     {
-      putpkt (target_buf);
-      getpkt (&target_buf, &target_buf_size, 0);
+      target_download_trace_state_variable (tsv);
     }
+  
+  /* Tell target to treat text-like sections as transparent.  */
+  target_trace_set_readonly_regions ();
+  /* Set some mode flags.  */
+  target_set_disconnected_tracing (disconnected_tracing);
+  target_set_circular_trace_buffer (circular_trace_buffer);
+
+  /* Now insert traps and begin collecting data.  */
+  target_trace_start ();
+
+  /* Reset our local state.  */
+  set_traceframe_num (-1);
+  set_tracepoint_num (-1);
+  set_traceframe_context (NULL);
+  current_trace_status()->running = 1;
 }
 
 /* tstart command:
 
    Tell target to clear any previous trace experiment.
    Walk the list of tracepoints, and send them (and their actions)
-   to the target.  If no errors, 
+   to the target.  If no errors,
    Tell target to start a new trace experiment.  */
 
-void download_tracepoint (struct breakpoint *t);
-
 static void
 trace_start_command (char *args, int from_tty)
 {
-  VEC(breakpoint_p) *tp_vec = NULL;
-  int ix;
-  struct breakpoint *t;
-
   dont_repeat ();      /* Like "run", dangerous to repeat accidentally.  */
 
-  if (target_is_remote ())
+  if (current_trace_status ()->running)
     {
-      putpkt ("QTinit");
-      remote_get_noisy_reply (&target_buf, &target_buf_size);
-      if (strcmp (target_buf, "OK"))
-       error (_("Target does not support this command."));
+      if (from_tty
+         && !query (_("A trace is running already.  Start a new run? ")))
+       error (_("New trace run not started."));
+    }
 
-      tp_vec = all_tracepoints ();
-      for (ix = 0; VEC_iterate (breakpoint_p, tp_vec, ix, t); ix++)
-       {
-         download_tracepoint (t);
-       }
-      VEC_free (breakpoint_p, tp_vec);
+  start_tracing ();
+}
 
-      /* Tell target to treat text-like sections as transparent.  */
-      remote_set_transparent_ranges ();
-      /* Now insert traps and begin collecting data.  */
-      putpkt ("QTStart");
-      remote_get_noisy_reply (&target_buf, &target_buf_size);
-      if (strcmp (target_buf, "OK"))
-       error (_("Bogus reply from target: %s"), target_buf);
-      set_traceframe_num (-1); /* All old traceframes invalidated.  */
-      set_tracepoint_num (-1);
-      set_traceframe_context (NULL);
-      trace_running_p = 1;
-      if (deprecated_trace_start_stop_hook)
-       deprecated_trace_start_stop_hook (1, from_tty);
+/* tstop command */
+static void
+trace_stop_command (char *args, int from_tty)
+{
+  if (!current_trace_status ()->running)
+    error (_("Trace is not running."));
 
-    }
-  else
-    error (_("Trace can only be run on remote targets."));
+  stop_tracing ();
 }
 
-/* Send the definition of a single tracepoint to the target.  */
-
 void
-download_tracepoint (struct breakpoint *t)
+stop_tracing (void)
 {
-  char tmp[40];
-  char buf[2048];
-  char **tdp_actions;
-  char **stepping_actions;
-  int ndx;
-  struct cleanup *old_chain = NULL;
-
-  sprintf_vma (tmp, (t->loc ? t->loc->address : 0));
-  sprintf (buf, "QTDP:%x:%s:%c:%lx:%x", t->number, 
-          tmp, /* address */
-          (t->enable_state == bp_enabled ? 'E' : 'D'),
-          t->step_count, t->pass_count);
-
-  if (t->actions)
-    strcat (buf, "-");
-  putpkt (buf);
-  remote_get_noisy_reply (&target_buf, &target_buf_size);
-  if (strcmp (target_buf, "OK"))
-    error (_("Target does not support tracepoints."));
-
-  if (!t->actions)
-    return;
+  target_trace_stop ();
+  /* should change in response to reply? */
+  current_trace_status ()->running = 0;
+}
 
-  encode_actions (t, &tdp_actions, &stepping_actions);
-  old_chain = make_cleanup (free_actions_list_cleanup_wrapper,
-                           tdp_actions);
-  (void) make_cleanup (free_actions_list_cleanup_wrapper, stepping_actions);
+/* tstatus command */
+static void
+trace_status_command (char *args, int from_tty)
+{
+  struct trace_status *ts = current_trace_status ();
+  int status;
+  
+  status = target_get_trace_status (ts);
 
-  /* do_single_steps (t); */
-  if (tdp_actions)
+  if (status == -1)
     {
-      for (ndx = 0; tdp_actions[ndx]; ndx++)
+      if (ts->from_file)
+       printf_filtered (_("Using a trace file.\n"));
+      else
        {
-         QUIT; /* allow user to bail out with ^C */
-         sprintf (buf, "QTDP:-%x:%s:%s%c",
-                  t->number, tmp, /* address */
-                  tdp_actions[ndx],
-                  ((tdp_actions[ndx + 1] || stepping_actions)
-                   ? '-' : 0));
-         putpkt (buf);
-         remote_get_noisy_reply (&target_buf,
-                                 &target_buf_size);
-         if (strcmp (target_buf, "OK"))
-           error (_("Error on target while setting tracepoints."));
+         printf_filtered (_("Trace can not be run on this target.\n"));
+         return;
        }
     }
-  if (stepping_actions)
+
+  if (!ts->running_known)
+    {
+      printf_filtered (_("Run/stop status is unknown.\n"));
+    }
+  else if (ts->running)
+    {
+      printf_filtered (_("Trace is running on the target.\n"));
+    }
+  else
     {
-      for (ndx = 0; stepping_actions[ndx]; ndx++)
+      switch (ts->stop_reason)
        {
-         QUIT; /* allow user to bail out with ^C */
-         sprintf (buf, "QTDP:-%x:%s:%s%s%s",
-                  t->number, tmp, /* address */
-                  ((ndx == 0) ? "S" : ""),
-                  stepping_actions[ndx],
-                  (stepping_actions[ndx + 1] ? "-" : ""));
-         putpkt (buf);
-         remote_get_noisy_reply (&target_buf,
-                                 &target_buf_size);
-         if (strcmp (target_buf, "OK"))
-           error (_("Error on target while setting tracepoints."));
+       case trace_never_run:
+         printf_filtered (_("No trace has been run on the target.\n"));
+         break;
+       case tstop_command:
+         printf_filtered (_("Trace stopped by a tstop command.\n"));
+         break;
+       case trace_buffer_full:
+         printf_filtered (_("Trace stopped because the buffer was full.\n"));
+         break;
+       case trace_disconnected:
+         printf_filtered (_("Trace stopped because of disconnection.\n"));
+         break;
+       case tracepoint_passcount:
+         printf_filtered (_("Trace stopped by tracepoint %d.\n"),
+                          ts->stopping_tracepoint);
+         break;
+       case tracepoint_error:
+         if (ts->stopping_tracepoint)
+           printf_filtered (_("Trace stopped by an error (%s, tracepoint %d).\n"),
+                            ts->error_desc, ts->stopping_tracepoint);
+         else
+           printf_filtered (_("Trace stopped by an error (%s).\n"),
+                            ts->error_desc);
+         break;
+       case trace_stop_reason_unknown:
+         printf_filtered (_("Trace stopped for an unknown reason.\n"));
+         break;
+       default:
+         printf_filtered (_("Trace stopped for some other reason (%d).\n"),
+                          ts->stop_reason);
+         break;
        }
     }
-  do_cleanups (old_chain);
-}
 
-/* tstop command */
-static void
-trace_stop_command (char *args, int from_tty)
-{
-  if (target_is_remote ())
+  if (ts->traceframes_created >= 0
+      && ts->traceframe_count != ts->traceframes_created)
     {
-      putpkt ("QTStop");
-      remote_get_noisy_reply (&target_buf, &target_buf_size);
-      if (strcmp (target_buf, "OK"))
-       error (_("Bogus reply from target: %s"), target_buf);
-      trace_running_p = 0;
-      if (deprecated_trace_start_stop_hook)
-       deprecated_trace_start_stop_hook (0, from_tty);
+      printf_filtered (_("Buffer contains %d trace frames (of %d created total).\n"),
+                      ts->traceframe_count, ts->traceframes_created);
+    }
+  else if (ts->traceframe_count >= 0)
+    {
+      printf_filtered (_("Collected %d trace frames.\n"),
+                      ts->traceframe_count);
     }
-  else
-    error (_("Trace can only be run on remote targets."));
-}
-
-unsigned long trace_running_p;
 
-/* tstatus command */
-static void
-trace_status_command (char *args, int from_tty)
-{
-  if (target_is_remote ())
+  if (ts->buffer_free >= 0)
     {
-      putpkt ("qTStatus");
-      remote_get_noisy_reply (&target_buf, &target_buf_size);
+      if (ts->buffer_size >= 0)
+       {
+         printf_filtered (_("Trace buffer has %d bytes of %d bytes free"),
+                          ts->buffer_free, ts->buffer_size);
+         if (ts->buffer_size > 0)
+           printf_filtered (_(" (%d%% full)"),
+                            ((int) ((((long long) (ts->buffer_size
+                                                   - ts->buffer_free)) * 100)
+                                    / ts->buffer_size)));
+         printf_filtered (_(".\n"));
+       }
+      else
+       printf_filtered (_("Trace buffer has %d bytes free.\n"),
+                        ts->buffer_free);
+    }
+
+  if (ts->disconnected_tracing)
+    printf_filtered (_("Trace will continue if GDB disconnects.\n"));
+  else
+    printf_filtered (_("Trace will stop if GDB disconnects.\n"));
 
-      if (target_buf[0] != 'T' ||
-         (target_buf[1] != '0' && target_buf[1] != '1'))
-       error (_("Bogus reply from target: %s"), target_buf);
+  if (ts->circular_buffer)
+    printf_filtered (_("Trace buffer is circular.\n"));
 
-      /* exported for use by the GUI */
-      trace_running_p = (target_buf[1] == '1');
-    }
+  /* Now report on what we're doing with tfind.  */
+  if (traceframe_number >= 0)
+    printf_filtered (_("Looking at trace frame %d, tracepoint %d.\n"),
+                    traceframe_number, tracepoint_number);
   else
-    error (_("Trace can only be run on remote targets."));
+    printf_filtered (_("Not looking at any trace frame.\n"));
 }
 
-/* Worker function for the various flavors of the tfind command.  */
-static void
-finish_tfind_command (char **msg,
-                     long *sizeof_msg,
-                     int from_tty)
+/* Report the trace status to uiout, in a way suitable for MI, and not
+   suitable for CLI.  If ON_STOP is true, suppress a few fields that
+   are not meaningful in the -trace-stop response.
+
+   The implementation is essentially parallel to trace_status_command, but
+   merging them will result in unreadable code.  */
+void
+trace_status_mi (int on_stop)
 {
-  int target_frameno = -1, target_tracept = -1;
-  struct frame_id old_frame_id;
-  char *reply;
+  struct trace_status *ts = current_trace_status ();
+  int status;
+  char *string_status;
 
-  old_frame_id = get_frame_id (get_current_frame ());
+  status = target_get_trace_status (ts);
 
-  putpkt (*msg);
-  reply = remote_get_noisy_reply (msg, sizeof_msg);
+  if (status == -1 && !ts->from_file)
+    {
+      ui_out_field_string (uiout, "supported", "0");
+      return;
+    }
 
-  while (reply && *reply)
-    switch (*reply)
-      {
-      case 'F':
-       if ((target_frameno = (int) strtol (++reply, &reply, 16)) == -1)
-         {
-           /* A request for a non-existant trace frame has failed.
-              Our response will be different, depending on FROM_TTY:
-
-              If FROM_TTY is true, meaning that this command was 
-              typed interactively by the user, then give an error
-              and DO NOT change the state of traceframe_number etc.
-
-              However if FROM_TTY is false, meaning that we're either
-              in a script, a loop, or a user-defined command, then 
-              DON'T give an error, but DO change the state of
-              traceframe_number etc. to invalid.
-
-              The rationalle is that if you typed the command, you
-              might just have committed a typo or something, and you'd
-              like to NOT lose your current debugging state.  However
-              if you're in a user-defined command or especially in a
-              loop, then you need a way to detect that the command
-              failed WITHOUT aborting.  This allows you to write
-              scripts that search thru the trace buffer until the end,
-              and then continue on to do something else.  */
-
-           if (from_tty)
-             error (_("Target failed to find requested trace frame."));
-           else
-             {
-               if (info_verbose)
-                 printf_filtered ("End of trace buffer.\n");
-               /* The following will not recurse, since it's
-                  special-cased.  */
-               trace_find_command ("-1", from_tty);
-               reply = NULL;   /* Break out of loop 
-                                  (avoid recursive nonsense).  */
-             }
-         }
-       break;
-      case 'T':
-       if ((target_tracept = (int) strtol (++reply, &reply, 16)) == -1)
-         error (_("Target failed to find requested trace frame."));
-       break;
-      case 'O':                /* "OK"? */
-       if (reply[1] == 'K' && reply[2] == '\0')
-         reply += 2;
-       else
-         error (_("Bogus reply from target: %s"), reply);
-       break;
-      default:
-       error (_("Bogus reply from target: %s"), reply);
-      }
+  if (ts->from_file)
+    ui_out_field_string (uiout, "supported", "file");
+  else if (!on_stop)
+    ui_out_field_string (uiout, "supported", "1");
 
-  reinit_frame_cache ();
-  registers_changed ();
-  set_traceframe_num (target_frameno);
-  set_tracepoint_num (target_tracept);
-  if (target_frameno == -1)
-    set_traceframe_context (NULL);
-  else
-    set_traceframe_context (get_current_frame ());
+  gdb_assert (ts->running_known);
 
-  if (from_tty)
+  if (ts->running)
     {
-      enum print_what print_what;
+      ui_out_field_string (uiout, "running", "1");
+
+      /* Unlike CLI, do not show the state of 'disconnected-tracing' variable.
+        Given that the frontend gets the status either on -trace-stop, or from
+        -trace-status after re-connection, it does not seem like this
+        information is necessary for anything.  It is not necessary for either
+        figuring the vital state of the target nor for navigation of trace
+        frames.  If the frontend wants to show the current state is some
+        configure dialog, it can request the value when such dialog is
+        invoked by the user.  */
+    }
+  else
+    {
+      char *stop_reason = NULL;
+      int stopping_tracepoint = -1;
 
-      /* NOTE: in immitation of the step command, try to determine
-         whether we have made a transition from one function to
-         another.  If so, we'll print the "stack frame" (ie. the new
+      if (!on_stop)
+       ui_out_field_string (uiout, "running", "0");
+
+      if (ts->stop_reason != trace_stop_reason_unknown)
+       {
+         switch (ts->stop_reason)
+           {
+           case tstop_command:
+             stop_reason = "request";
+             break;
+           case trace_buffer_full:
+             stop_reason = "overflow";
+             break;
+           case trace_disconnected:
+             stop_reason = "disconnection";
+             break;
+           case tracepoint_passcount:
+             stop_reason = "passcount";
+             stopping_tracepoint = ts->stopping_tracepoint;
+             break;
+           case tracepoint_error:
+             stop_reason = "error";
+             stopping_tracepoint = ts->stopping_tracepoint;
+             break;
+           }
+         
+         if (stop_reason)
+           {
+             ui_out_field_string (uiout, "stop-reason", stop_reason);
+             if (stopping_tracepoint != -1)
+               ui_out_field_int (uiout, "stopping-tracepoint",
+                                 stopping_tracepoint);
+             if (ts->stop_reason == tracepoint_error)
+               ui_out_field_string (uiout, "error-description",
+                                    ts->error_desc);
+           }
+       }
+    }
+
+  if (ts->traceframe_count != -1)
+    ui_out_field_int (uiout, "frames", ts->traceframe_count);
+  if (ts->traceframes_created != -1)
+    ui_out_field_int (uiout, "frames-created", ts->traceframes_created);
+  if (ts->buffer_size != -1)
+    ui_out_field_int (uiout, "buffer-size", ts->buffer_size);
+  if (ts->buffer_free != -1)
+    ui_out_field_int (uiout, "buffer-free", ts->buffer_free);
+
+  ui_out_field_int (uiout, "disconnected",  ts->disconnected_tracing);
+  ui_out_field_int (uiout, "circular",  ts->circular_buffer);
+}
+
+/* This function handles the details of what to do about an ongoing
+   tracing run if the user has asked to detach or otherwise disconnect
+   from the target.  */
+void
+disconnect_tracing (int from_tty)
+{
+  /* It can happen that the target that was tracing went away on its
+     own, and we didn't notice.  Get a status update, and if the
+     current target doesn't even do tracing, then assume it's not
+     running anymore.  */
+  if (target_get_trace_status (current_trace_status ()) < 0)
+    current_trace_status ()->running = 0;
+
+  /* If running interactively, give the user the option to cancel and
+     then decide what to do differently with the run.  Scripts are
+     just going to disconnect and let the target deal with it,
+     according to how it's been instructed previously via
+     disconnected-tracing.  */
+  if (current_trace_status ()->running && from_tty)
+    {
+      if (current_trace_status ()->disconnected_tracing)
+       {
+         if (!query (_("Trace is running and will continue after detach; detach anyway? ")))
+           error (_("Not confirmed."));
+       }
+      else
+       {
+         if (!query (_("Trace is running but will stop on detach; detach anyway? ")))
+           error (_("Not confirmed."));
+       }
+    }
+
+  /* Also we want to be out of tfind mode, otherwise things can get
+     confusing upon reconnection.  Just use these calls instead of
+     full tfind_1 behavior because we're in the middle of detaching,
+     and there's no point to updating current stack frame etc.  */
+  set_traceframe_number (-1);
+  set_traceframe_context (NULL);
+}
+
+/* Worker function for the various flavors of the tfind command.  */
+void
+tfind_1 (enum trace_find_type type, int num,
+        ULONGEST addr1, ULONGEST addr2,
+        int from_tty)
+{
+  int target_frameno = -1, target_tracept = -1;
+  struct frame_id old_frame_id = null_frame_id;
+  char *reply;
+  struct breakpoint *tp;
+
+  /* Only try to get the current stack frame if we have a chance of
+     succeeding.  In particular, if we're trying to get a first trace
+     frame while all threads are running, it's not going to succeed,
+     so leave it with a default value and let the frame comparison
+     below (correctly) decide to print out the source location of the
+     trace frame.  */
+  if (!(type == tfind_number && num == -1)
+      && (has_stack_frames () || traceframe_number >= 0))
+    old_frame_id = get_frame_id (get_current_frame ());
+
+  target_frameno = target_trace_find (type, num, addr1, addr2,
+                                     &target_tracept);
+  
+  if (type == tfind_number
+      && num == -1
+      && target_frameno == -1)
+    {
+      /* We told the target to get out of tfind mode, and it did.  */
+    }
+  else if (target_frameno == -1)
+    {
+      /* A request for a non-existent trace frame has failed.
+        Our response will be different, depending on FROM_TTY:
+
+        If FROM_TTY is true, meaning that this command was 
+        typed interactively by the user, then give an error
+        and DO NOT change the state of traceframe_number etc.
+
+        However if FROM_TTY is false, meaning that we're either
+        in a script, a loop, or a user-defined command, then 
+        DON'T give an error, but DO change the state of
+        traceframe_number etc. to invalid.
+
+        The rationalle is that if you typed the command, you
+        might just have committed a typo or something, and you'd
+        like to NOT lose your current debugging state.  However
+        if you're in a user-defined command or especially in a
+        loop, then you need a way to detect that the command
+        failed WITHOUT aborting.  This allows you to write
+        scripts that search thru the trace buffer until the end,
+        and then continue on to do something else.  */
+  
+      if (from_tty)
+       error (_("Target failed to find requested trace frame."));
+      else
+       {
+         if (info_verbose)
+           printf_filtered ("End of trace buffer.\n");
+#if 0 /* dubious now? */
+         /* The following will not recurse, since it's
+            special-cased.  */
+         trace_find_command ("-1", from_tty);
+#endif
+       }
+    }
+  
+  tp = get_tracepoint_by_number_on_target (target_tracept);
+
+  reinit_frame_cache ();
+  registers_changed ();
+  target_dcache_invalidate ();
+  set_traceframe_num (target_frameno);
+  set_tracepoint_num (tp ? tp->number : target_tracept);
+  if (target_frameno == -1)
+    set_traceframe_context (NULL);
+  else
+    set_traceframe_context (get_current_frame ());
+
+  if (traceframe_number >= 0)
+    {
+      /* Use different branches for MI and CLI to make CLI messages
+        i18n-eable.  */
+      if (ui_out_is_mi_like_p (uiout))
+       {
+         ui_out_field_string (uiout, "found", "1");
+         ui_out_field_int (uiout, "tracepoint", tracepoint_number);
+         ui_out_field_int (uiout, "traceframe", traceframe_number);
+       }
+      else
+       {
+         printf_unfiltered (_("Found trace frame %d, tracepoint %d\n"),
+                            traceframe_number, tracepoint_number);
+       }
+    }
+  else
+    {
+      if (ui_out_is_mi_like_p (uiout))
+       ui_out_field_string (uiout, "found", "0");
+      else if (type == tfind_number && num == -1)
+       printf_unfiltered (_("No longer looking at any trace frame\n"));
+      else /* this case may never occur, check */
+       printf_unfiltered (_("No trace frame found\n"));
+    }
+
+  /* If we're in nonstop mode and getting out of looking at trace
+     frames, there won't be any current frame to go back to and
+     display.  */
+  if (from_tty
+      && (has_stack_frames () || traceframe_number >= 0))
+    {
+      enum print_what print_what;
+
+      /* NOTE: in imitation of the step command, try to determine
+         whether we have made a transition from one function to
+         another.  If so, we'll print the "stack frame" (ie. the new
          function and it's arguments) -- otherwise we'll just show the
          new source line.  */
 
@@ -1530,38 +2000,35 @@ trace_find_command (char *args, int from_tty)
 { /* this should only be called with a numeric argument */
   int frameno = -1;
 
-  if (target_is_remote ())
+  if (current_trace_status ()->running && !current_trace_status ()->from_file)
+    error ("May not look at trace frames while trace is running.");
+  
+  if (args == 0 || *args == 0)
+    { /* TFIND with no args means find NEXT trace frame.  */
+      if (traceframe_number == -1)
+       frameno = 0;    /* "next" is first one */
+        else
+       frameno = traceframe_number + 1;
+    }
+  else if (0 == strcmp (args, "-"))
     {
-      if (deprecated_trace_find_hook)
-       deprecated_trace_find_hook (args, from_tty);
-
-      if (args == 0 || *args == 0)
-       { /* TFIND with no args means find NEXT trace frame.  */
-         if (traceframe_number == -1)
-           frameno = 0;        /* "next" is first one */
-         else
-           frameno = traceframe_number + 1;
-       }
-      else if (0 == strcmp (args, "-"))
-       {
-         if (traceframe_number == -1)
-           error (_("not debugging trace buffer"));
-         else if (from_tty && traceframe_number == 0)
-           error (_("already at start of trace buffer"));
-
-         frameno = traceframe_number - 1;
-       }
-      else
-       frameno = parse_and_eval_long (args);
+      if (traceframe_number == -1)
+       error (_("not debugging trace buffer"));
+      else if (from_tty && traceframe_number == 0)
+       error (_("already at start of trace buffer"));
+      
+      frameno = traceframe_number - 1;
+      }
+  /* A hack to work around eval's need for fp to have been collected.  */
+  else if (0 == strcmp (args, "-1"))
+    frameno = -1;
+  else
+    frameno = parse_and_eval_long (args);
 
-      if (frameno < -1)
-       error (_("invalid input (%d is less than zero)"), frameno);
+  if (frameno < -1)
+    error (_("invalid input (%d is less than zero)"), frameno);
 
-      sprintf (target_buf, "QTFrame:%x", frameno);
-      finish_tfind_command (&target_buf, &target_buf_size, from_tty);
-    }
-  else
-    error (_("Trace can only be run on remote targets."));
+  tfind_1 (tfind_number, frameno, 0, 0, from_tty);
 }
 
 /* tfind end */
@@ -1592,19 +2059,15 @@ trace_find_pc_command (char *args, int from_tty)
   CORE_ADDR pc;
   char tmp[40];
 
-  if (target_is_remote ())
-    {
-      if (args == 0 || *args == 0)
-       pc = regcache_read_pc (get_current_regcache ());
-      else
-       pc = parse_and_eval_address (args);
+  if (current_trace_status ()->running && !current_trace_status ()->from_file)
+    error ("May not look at trace frames while trace is running.");
 
-      sprintf_vma (tmp, pc);
-      sprintf (target_buf, "QTFrame:pc:%s", tmp);
-      finish_tfind_command (&target_buf, &target_buf_size, from_tty);
-    }
+  if (args == 0 || *args == 0)
+    pc = regcache_read_pc (get_current_regcache ());
   else
-    error (_("Trace can only be run on remote targets."));
+    pc = parse_and_eval_address (args);
+
+  tfind_1 (tfind_pc, 0, pc, 0, from_tty);
 }
 
 /* tfind tracepoint command */
@@ -1612,24 +2075,29 @@ static void
 trace_find_tracepoint_command (char *args, int from_tty)
 {
   int tdp;
+  struct breakpoint *tp;
 
-  if (target_is_remote ())
+  if (current_trace_status ()->running && !current_trace_status ()->from_file)
+    error ("May not look at trace frames while trace is running.");
+
+  if (args == 0 || *args == 0)
     {
-      if (args == 0 || *args == 0)
-       {
-         if (tracepoint_number == -1)
-           error (_("No current tracepoint -- please supply an argument."));
-         else
-           tdp = tracepoint_number;    /* default is current TDP */
-       }
+      if (tracepoint_number == -1)
+       error (_("No current tracepoint -- please supply an argument."));
       else
-       tdp = parse_and_eval_long (args);
-
-      sprintf (target_buf, "QTFrame:tdp:%x", tdp);
-      finish_tfind_command (&target_buf, &target_buf_size, from_tty);
+       tdp = tracepoint_number;        /* default is current TDP */
     }
   else
-    error (_("Trace can only be run on remote targets."));
+    tdp = parse_and_eval_long (args);
+
+  /* If we have the tracepoint on hand, use the number that the
+     target knows about (which may be different if we disconnected
+     and reconnected).  */
+  tp = get_tracepoint (tdp);
+  if (tp)
+    tdp = tp->number_on_target;
+
+  tfind_1 (tfind_tp, tdp, 0, 0, from_tty);
 }
 
 /* TFIND LINE command:
@@ -1649,87 +2117,61 @@ trace_find_line_command (char *args, int from_tty)
   struct cleanup *old_chain;
   char   startpc_str[40], endpc_str[40];
 
-  if (target_is_remote ())
-    {
-      if (args == 0 || *args == 0)
-       {
-         sal = find_pc_line (get_frame_pc (get_current_frame ()), 0);
-         sals.nelts = 1;
-         sals.sals = (struct symtab_and_line *)
-           xmalloc (sizeof (struct symtab_and_line));
-         sals.sals[0] = sal;
-       }
-      else
-       {
-         sals = decode_line_spec (args, 1);
-         sal = sals.sals[0];
-       }
+  if (current_trace_status ()->running && !current_trace_status ()->from_file)
+    error ("May not look at trace frames while trace is running.");
 
-      old_chain = make_cleanup (xfree, sals.sals);
-      if (sal.symtab == 0)
-       {
-         printf_filtered ("TFIND: No line number information available");
-         if (sal.pc != 0)
-           {
-             /* This is useful for "info line *0x7f34".  If we can't
-                tell the user about a source line, at least let them
-                have the symbolic address.  */
-             printf_filtered (" for address ");
-             wrap_here ("  ");
-             print_address (sal.pc, gdb_stdout);
-             printf_filtered (";\n -- will attempt to find by PC. \n");
-           }
-         else
-           {
-             printf_filtered (".\n");
-             return;           /* No line, no PC; what can we do?  */
-           }
-       }
-      else if (sal.line > 0
-              && find_line_pc_range (sal, &start_pc, &end_pc))
-       {
-         if (start_pc == end_pc)
-           {
-             printf_filtered ("Line %d of \"%s\"",
-                              sal.line, sal.symtab->filename);
-             wrap_here ("  ");
-             printf_filtered (" is at address ");
-             print_address (start_pc, gdb_stdout);
-             wrap_here ("  ");
-             printf_filtered (" but contains no code.\n");
-             sal = find_pc_line (start_pc, 0);
-             if (sal.line > 0 &&
-                 find_line_pc_range (sal, &start_pc, &end_pc) &&
-                 start_pc != end_pc)
-               printf_filtered ("Attempting to find line %d instead.\n",
-                                sal.line);
-             else
-               error (_("Cannot find a good line."));
-           }
-       }
-      else
-       /* Is there any case in which we get here, and have an address
-          which the user would want to see?  If we have debugging
-          symbols and no line numbers?  */
-       error (_("Line number %d is out of range for \"%s\"."),
-              sal.line, sal.symtab->filename);
-
-      sprintf_vma (startpc_str, start_pc);
-      sprintf_vma (endpc_str, end_pc - 1);
-      /* Find within range of stated line.  */
-      if (args && *args)
-       sprintf (target_buf, "QTFrame:range:%s:%s", 
-                startpc_str, endpc_str);
-      /* Find OUTSIDE OF range of CURRENT line.  */
-      else
-       sprintf (target_buf, "QTFrame:outside:%s:%s", 
-                startpc_str, endpc_str);
-      finish_tfind_command (&target_buf, &target_buf_size,
-                           from_tty);
-      do_cleanups (old_chain);
+  if (args == 0 || *args == 0)
+    {
+      sal = find_pc_line (get_frame_pc (get_current_frame ()), 0);
+      sals.nelts = 1;
+      sals.sals = (struct symtab_and_line *)
+       xmalloc (sizeof (struct symtab_and_line));
+      sals.sals[0] = sal;
+    }
+  else
+    {
+      sals = decode_line_spec (args, 1);
+      sal = sals.sals[0];
     }
+  
+  old_chain = make_cleanup (xfree, sals.sals);
+  if (sal.symtab == 0)
+    error (_("No line number information available."));
+
+  if (sal.line > 0 && find_line_pc_range (sal, &start_pc, &end_pc))
+    {
+      if (start_pc == end_pc)
+       {
+         printf_filtered ("Line %d of \"%s\"",
+                          sal.line, sal.symtab->filename);
+         wrap_here ("  ");
+         printf_filtered (" is at address ");
+         print_address (get_current_arch (), start_pc, gdb_stdout);
+         wrap_here ("  ");
+         printf_filtered (" but contains no code.\n");
+         sal = find_pc_line (start_pc, 0);
+         if (sal.line > 0
+             && find_line_pc_range (sal, &start_pc, &end_pc)
+             && start_pc != end_pc)
+           printf_filtered ("Attempting to find line %d instead.\n",
+                            sal.line);
+         else
+           error (_("Cannot find a good line."));
+       }
+      }
+    else
+    /* Is there any case in which we get here, and have an address
+       which the user would want to see?  If we have debugging
+       symbols and no line numbers?  */
+    error (_("Line number %d is out of range for \"%s\"."),
+          sal.line, sal.symtab->filename);
+
+  /* Find within range of stated line.  */
+  if (args && *args)
+    tfind_1 (tfind_range, 0, start_pc, end_pc - 1, from_tty);
   else
-    error (_("Trace can only be run on remote targets."));
+    tfind_1 (tfind_outside, 0, start_pc, end_pc - 1, from_tty);
+  do_cleanups (old_chain);
 }
 
 /* tfind range command */
@@ -1740,35 +2182,30 @@ trace_find_range_command (char *args, int from_tty)
   char start_str[40], stop_str[40];
   char *tmp;
 
-  if (target_is_remote ())
-    {
-      if (args == 0 || *args == 0)
-       { /* XXX FIXME: what should default behavior be?  */
-         printf_filtered ("Usage: tfind range <startaddr>,<endaddr>\n");
-         return;
-       }
+  if (current_trace_status ()->running && !current_trace_status ()->from_file)
+    error ("May not look at trace frames while trace is running.");
 
-      if (0 != (tmp = strchr (args, ',')))
-       {
-         *tmp++ = '\0';        /* terminate start address */
-         while (isspace ((int) *tmp))
-           tmp++;
-         start = parse_and_eval_address (args);
-         stop = parse_and_eval_address (tmp);
-       }
-      else
-       {                       /* no explicit end address? */
-         start = parse_and_eval_address (args);
-         stop = start + 1;     /* ??? */
-       }
+  if (args == 0 || *args == 0)
+    { /* XXX FIXME: what should default behavior be?  */
+      printf_filtered ("Usage: tfind range <startaddr>,<endaddr>\n");
+      return;
+    }
 
-      sprintf_vma (start_str, start);
-      sprintf_vma (stop_str, stop);
-      sprintf (target_buf, "QTFrame:range:%s:%s", start_str, stop_str);
-      finish_tfind_command (&target_buf, &target_buf_size, from_tty);
+  if (0 != (tmp = strchr (args, ',')))
+    {
+      *tmp++ = '\0';   /* terminate start address */
+      while (isspace ((int) *tmp))
+       tmp++;
+      start = parse_and_eval_address (args);
+      stop = parse_and_eval_address (tmp);
     }
   else
-    error (_("Trace can only be run on remote targets."));
+    {                  /* no explicit end address? */
+      start = parse_and_eval_address (args);
+      stop = start + 1;        /* ??? */
+    }
+
+  tfind_1 (tfind_range, 0, start, stop, from_tty);
 }
 
 /* tfind outside command */
@@ -1779,35 +2216,30 @@ trace_find_outside_command (char *args, int from_tty)
   char start_str[40], stop_str[40];
   char *tmp;
 
-  if (target_is_remote ())
-    {
-      if (args == 0 || *args == 0)
-       { /* XXX FIXME: what should default behavior be? */
-         printf_filtered ("Usage: tfind outside <startaddr>,<endaddr>\n");
-         return;
-       }
+  if (current_trace_status ()->running && !current_trace_status ()->from_file)
+    error ("May not look at trace frames while trace is running.");
 
-      if (0 != (tmp = strchr (args, ',')))
-       {
-         *tmp++ = '\0';        /* terminate start address */
-         while (isspace ((int) *tmp))
-           tmp++;
-         start = parse_and_eval_address (args);
-         stop = parse_and_eval_address (tmp);
-       }
-      else
-       {                       /* no explicit end address? */
-         start = parse_and_eval_address (args);
-         stop = start + 1;     /* ??? */
-       }
+  if (args == 0 || *args == 0)
+    { /* XXX FIXME: what should default behavior be? */
+      printf_filtered ("Usage: tfind outside <startaddr>,<endaddr>\n");
+      return;
+    }
 
-      sprintf_vma (start_str, start);
-      sprintf_vma (stop_str, stop);
-      sprintf (target_buf, "QTFrame:outside:%s:%s", start_str, stop_str);
-      finish_tfind_command (&target_buf, &target_buf_size, from_tty);
+  if (0 != (tmp = strchr (args, ',')))
+    {
+      *tmp++ = '\0';   /* terminate start address */
+      while (isspace ((int) *tmp))
+       tmp++;
+      start = parse_and_eval_address (args);
+      stop = parse_and_eval_address (tmp);
     }
   else
-    error (_("Trace can only be run on remote targets."));
+    {                  /* no explicit end address? */
+      start = parse_and_eval_address (args);
+      stop = start + 1;        /* ??? */
+    }
+
+  tfind_1 (tfind_outside, 0, start, stop, from_tty);
 }
 
 /* info scope command: list the locals for a scope.  */
@@ -1873,7 +2305,8 @@ scope_info (char *args, int from_tty)
              break;
            case LOC_STATIC:
              printf_filtered ("in static storage at address ");
-             printf_filtered ("%s", paddress (SYMBOL_VALUE_ADDRESS (sym)));
+             printf_filtered ("%s", paddress (gdbarch,
+                                              SYMBOL_VALUE_ADDRESS (sym)));
              break;
            case LOC_REGISTER:
              /* GDBARCH is the architecture associated with the objfile
@@ -1915,11 +2348,13 @@ scope_info (char *args, int from_tty)
              continue;
            case LOC_LABEL:
              printf_filtered ("a label at address ");
-             printf_filtered ("%s", paddress (SYMBOL_VALUE_ADDRESS (sym)));
+             printf_filtered ("%s", paddress (gdbarch,
+                                              SYMBOL_VALUE_ADDRESS (sym)));
              break;
            case LOC_BLOCK:
              printf_filtered ("a function at address ");
-             printf_filtered ("%s", paddress (BLOCK_START (SYMBOL_BLOCK_VALUE (sym))));
+             printf_filtered ("%s",
+               paddress (gdbarch, BLOCK_START (SYMBOL_BLOCK_VALUE (sym))));
              break;
            case LOC_UNRESOLVED:
              msym = lookup_minimal_symbol (SYMBOL_LINKAGE_NAME (sym),
@@ -1929,14 +2364,17 @@ scope_info (char *args, int from_tty)
              else
                {
                  printf_filtered ("static storage at address ");
-                 printf_filtered ("%s", paddress (SYMBOL_VALUE_ADDRESS (msym)));
+                 printf_filtered ("%s",
+                   paddress (gdbarch, SYMBOL_VALUE_ADDRESS (msym)));
                }
              break;
            case LOC_OPTIMIZED_OUT:
              printf_filtered ("optimized out.\n");
              continue;
            case LOC_COMPUTED:
-             SYMBOL_COMPUTED_OPS (sym)->describe_location (sym, gdb_stdout);
+             SYMBOL_COMPUTED_OPS (sym)->describe_location (sym,
+                                                           BLOCK_START (block),
+                                                           gdb_stdout);
              break;
            }
          if (SYMBOL_TYPE (sym))
@@ -1961,58 +2399,26 @@ replace_comma (void *data)
   *comma = ',';
 }
 
-/* tdump command */
+
+/* Helper for trace_dump_command.  Dump the action list starting at
+   ACTION.  STEPPING_ACTIONS is true if we're iterating over the
+   actions of the body of a while-stepping action.  STEPPING_FRAME is
+   set if the current traceframe was determined to be a while-stepping
+   traceframe.  */
+
 static void
-trace_dump_command (char *args, int from_tty)
+trace_dump_actions (struct command_line *action,
+                   int stepping_actions, int stepping_frame,
+                   int from_tty)
 {
-  struct regcache *regcache;
-  struct gdbarch *gdbarch;
-  struct breakpoint *t;
-  struct action_line *action;
   char *action_exp, *next_comma;
-  struct cleanup *old_cleanups;
-  int stepping_actions = 0;
-  int stepping_frame = 0;
-
-  if (!target_is_remote ())
-    {
-      error (_("Trace can only be run on remote targets."));
-      return;
-    }
-
-  if (tracepoint_number == -1)
-    {
-      warning (_("No current trace frame."));
-      return;
-    }
-
-  t = get_tracepoint (tracepoint_number);
-
-  if (t == NULL)
-    error (_("No known tracepoint matches 'current' tracepoint #%d."),
-          tracepoint_number);
-
-  old_cleanups = make_cleanup (null_cleanup, NULL);
 
-  printf_filtered ("Data collected at tracepoint %d, trace frame %d:\n",
-                  tracepoint_number, traceframe_number);
-
-  /* The current frame is a trap frame if the frame PC is equal
-     to the tracepoint PC.  If not, then the current frame was
-     collected during single-stepping.  */
-
-  regcache = get_current_regcache ();
-  gdbarch = get_regcache_arch (regcache);
-
-  stepping_frame = (t->loc->address != (regcache_read_pc (regcache)
-                                  - gdbarch_decr_pc_after_break (gdbarch)));
-
-  for (action = t->actions; action; action = action->next)
+  for (; action != NULL; action = action->next)
     {
       struct cmd_list_element *cmd;
 
       QUIT;                    /* allow user to bail out with ^C */
-      action_exp = action->action;
+      action_exp = action->line;
       while (isspace ((int) *action_exp))
        action_exp++;
 
@@ -2027,9 +2433,13 @@ trace_dump_command (char *args, int from_tty)
        error (_("Bad action list item: %s"), action_exp);
 
       if (cmd_cfunc_eq (cmd, while_stepping_pseudocommand))
-       stepping_actions = 1;
-      else if (cmd_cfunc_eq (cmd, end_actions_pseudocommand))
-       stepping_actions = 0;
+       {
+         int i;
+
+         for (i = 0; i < action->body_count; ++i)
+           trace_dump_actions (action->body_list[i],
+                               1, stepping_frame, from_tty);
+       }
       else if (cmd_cfunc_eq (cmd, collect_pseudocommand))
        {
          /* Display the collected data.
@@ -2075,61 +2485,1618 @@ trace_dump_command (char *args, int from_tty)
            }
        }
     }
-  discard_cleanups (old_cleanups);
 }
 
-/* Convert the memory pointed to by mem into hex, placing result in buf.
- * Return a pointer to the last char put in buf (null)
- * "stolen" from sparc-stub.c
- */
-
-static const char hexchars[] = "0123456789abcdef";
+/* The tdump command.  */
 
-static char *
-mem2hex (gdb_byte *mem, char *buf, int count)
+static void
+trace_dump_command (char *args, int from_tty)
 {
-  gdb_byte ch;
+  struct regcache *regcache;
+  struct breakpoint *t;
+  int stepping_frame = 0;
+  struct bp_location *loc;
+  char *line, *default_collect_line = NULL;
+  struct command_line *actions, *default_collect_action = NULL;
+  struct cleanup *old_chain = NULL;
 
-  while (count-- > 0)
+  if (tracepoint_number == -1)
     {
-      ch = *mem++;
+      warning (_("No current trace frame."));
+      return;
+    }
 
-      *buf++ = hexchars[ch >> 4];
-      *buf++ = hexchars[ch & 0xf];
+  t = get_tracepoint (tracepoint_number);
+
+  if (t == NULL)
+    error (_("No known tracepoint matches 'current' tracepoint #%d."),
+          tracepoint_number);
+
+  printf_filtered ("Data collected at tracepoint %d, trace frame %d:\n",
+                  tracepoint_number, traceframe_number);
+
+  /* The current frame is a trap frame if the frame PC is equal
+     to the tracepoint PC.  If not, then the current frame was
+     collected during single-stepping.  */
+
+  regcache = get_current_regcache ();
+
+  /* If the traceframe's address matches any of the tracepoint's
+     locations, assume it is a direct hit rather than a while-stepping
+     frame.  (FIXME this is not reliable, should record each frame's
+     type.)  */
+  stepping_frame = 1;
+  for (loc = t->loc; loc; loc = loc->next)
+    if (loc->address == regcache_read_pc (regcache))
+      stepping_frame = 0;
+
+  actions = breakpoint_commands (t);
+
+  /* If there is a default-collect list, make up a collect command,
+     prepend to the tracepoint's commands, and pass the whole mess to
+     the trace dump scanner.  We need to validate because
+     default-collect might have been junked since the trace run.  */
+  if (*default_collect)
+    {
+      default_collect_line = xstrprintf ("collect %s", default_collect);
+      old_chain = make_cleanup (xfree, default_collect_line);
+      line = default_collect_line;
+      validate_actionline (&line, t);
+      default_collect_action = xmalloc (sizeof (struct command_line));
+      make_cleanup (xfree, default_collect_action);
+      default_collect_action->next = actions;
+      default_collect_action->line = line;
+      actions = default_collect_action;
     }
 
-  *buf = 0;
+  trace_dump_actions (actions, 0, stepping_frame, from_tty);
 
-  return buf;
+  if (*default_collect)
+    do_cleanups (old_chain);
 }
 
-int
-get_traceframe_number (void)
+/* Encode a piece of a tracepoint's source-level definition in a form
+   that is suitable for both protocol and saving in files.  */
+/* This version does not do multiple encodes for long strings; it should
+   return an offset to the next piece to encode.  FIXME  */
+
+extern int
+encode_source_string (int tpnum, ULONGEST addr,
+                     char *srctype, char *src, char *buf, int buf_size)
 {
-  return traceframe_number;
+  if (80 + strlen (srctype) > buf_size)
+    error (_("Buffer too small for source encoding"));
+  sprintf (buf, "%x:%s:%s:%x:%x:",
+          tpnum, phex_nz (addr, sizeof (addr)), srctype, 0, (int) strlen (src));
+  if (strlen (buf) + strlen (src) * 2 >= buf_size)
+    error (_("Source string too long for buffer"));
+  bin2hex (src, buf + strlen (buf), 0);
+  return -1;
 }
 
+extern int trace_regblock_size;
+
+/* Save tracepoint data to file named FILENAME.  If TARGET_DOES_SAVE is
+   non-zero, the save is performed on the target, otherwise GDB obtains all
+   trace data and saves it locally.  */
 
-/* module initialization */
 void
-_initialize_tracepoint (void)
+trace_save (const char *filename, int target_does_save)
 {
-  struct cmd_list_element *c;
+  struct cleanup *cleanup;
+  char *pathname;
+  struct trace_status *ts = current_trace_status ();
+  int err, status;
+  FILE *fp;
+  struct uploaded_tp *uploaded_tps = NULL, *utp;
+  struct uploaded_tsv *uploaded_tsvs = NULL, *utsv;
+  int a;
+  char *act;
+  LONGEST gotten = 0;
+  ULONGEST offset = 0;
+#define MAX_TRACE_UPLOAD 2000
+  gdb_byte buf[MAX_TRACE_UPLOAD];
+  int written;
+
+  /* If the target is to save the data to a file on its own, then just
+     send the command and be done with it.  */
+  if (target_does_save)
+    {
+      err = target_save_trace_data (filename);
+      if (err < 0)
+       error (_("Target failed to save trace data to '%s'."),
+              filename);
+      return;
+    }
 
-  traceframe_number = -1;
-  tracepoint_number = -1;
+  /* Get the trace status first before opening the file, so if the
+     target is losing, we can get out without touching files.  */
+  status = target_get_trace_status (ts);
 
-  if (tracepoint_list.list == NULL)
+  pathname = tilde_expand (filename);
+  cleanup = make_cleanup (xfree, pathname);
+
+  fp = fopen (pathname, "w");
+  if (!fp)
+    error (_("Unable to open file '%s' for saving trace data (%s)"),
+          filename, safe_strerror (errno));
+  make_cleanup_fclose (fp);
+
+  /* Write a file header, with a high-bit-set char to indicate a
+     binary file, plus a hint as what this file is, and a version
+     number in case of future needs.  */
+  written = fwrite ("\x7fTRACE0\n", 8, 1, fp);
+  if (written < 1)
+    perror_with_name (pathname);
+
+  /* Write descriptive info.  */
+
+  /* Write out the size of a register block.  */
+  fprintf (fp, "R %x\n", trace_regblock_size);
+
+  /* Write out status of the tracing run (aka "tstatus" info).  */
+  fprintf (fp, "status %c;%s",
+          (ts->running ? '1' : '0'), stop_reason_names[ts->stop_reason]);
+  if (ts->stop_reason == tracepoint_error)
     {
-      tracepoint_list.listsize = 128;
-      tracepoint_list.list = xmalloc
-       (tracepoint_list.listsize * sizeof (struct memrange));
+      char *buf = (char *) alloca (strlen (ts->error_desc) * 2 + 1);
+      bin2hex ((gdb_byte *) ts->error_desc, buf, 0);
+      fprintf (fp, ":%s", buf);
     }
-  if (tracepoint_list.aexpr_list == NULL)
+  fprintf (fp, ":%x", ts->stopping_tracepoint);
+  if (ts->traceframe_count >= 0)
+    fprintf (fp, ";tframes:%x", ts->traceframe_count);
+  if (ts->traceframes_created >= 0)
+    fprintf (fp, ";tcreated:%x", ts->traceframes_created);
+  if (ts->buffer_free >= 0)
+    fprintf (fp, ";tfree:%x", ts->buffer_free);
+  if (ts->buffer_size >= 0)
+    fprintf (fp, ";tsize:%x", ts->buffer_size);
+  if (ts->disconnected_tracing)
+    fprintf (fp, ";disconn:%x", ts->disconnected_tracing);
+  if (ts->circular_buffer)
+    fprintf (fp, ";circular:%x", ts->circular_buffer);
+  fprintf (fp, "\n");
+
+  /* Note that we want to upload tracepoints and save those, rather
+     than simply writing out the local ones, because the user may have
+     changed tracepoints in GDB in preparation for a future tracing
+     run, or maybe just mass-deleted all types of breakpoints as part
+     of cleaning up.  So as not to contaminate the session, leave the
+     data in its uploaded form, don't make into real tracepoints.  */
+
+  /* Get trace state variables first, they may be checked when parsing
+     uploaded commands.  */
+
+  target_upload_trace_state_variables (&uploaded_tsvs);
+
+  for (utsv = uploaded_tsvs; utsv; utsv = utsv->next)
     {
-      tracepoint_list.aexpr_listsize = 128;
-      tracepoint_list.aexpr_list = xmalloc
-       (tracepoint_list.aexpr_listsize * sizeof (struct agent_expr *));
+      char *buf = "";
+
+      if (utsv->name)
+       {
+         buf = (char *) xmalloc (strlen (utsv->name) * 2 + 1);
+         bin2hex ((gdb_byte *) (utsv->name), buf, 0);
+       }
+
+      fprintf (fp, "tsv %x:%s:%x:%s\n",
+              utsv->number, phex_nz (utsv->initial_value, 8),
+              utsv->builtin, buf);
+
+      if (utsv->name)
+       xfree (buf);
+    }
+
+  free_uploaded_tsvs (&uploaded_tsvs);
+
+  target_upload_tracepoints (&uploaded_tps);
+
+  for (utp = uploaded_tps; utp; utp = utp->next)
+    {
+      fprintf (fp, "tp T%x:%s:%c:%x:%x",
+              utp->number, phex_nz (utp->addr, sizeof (utp->addr)),
+              (utp->enabled ? 'E' : 'D'), utp->step, utp->pass);
+      if (utp->type == bp_fast_tracepoint)
+       fprintf (fp, ":F%x", utp->orig_size);
+      if (utp->cond)
+       fprintf (fp, ":X%x,%s", (unsigned int) strlen (utp->cond) / 2,
+                utp->cond);
+      fprintf (fp, "\n");
+      for (a = 0; VEC_iterate (char_ptr, utp->actions, a, act); ++a)
+       fprintf (fp, "tp A%x:%s:%s\n",
+                utp->number, phex_nz (utp->addr, sizeof (utp->addr)), act);
+      for (a = 0; VEC_iterate (char_ptr, utp->actions, a, act); ++a)
+       fprintf (fp, "tp S%x:%s:%s\n",
+                utp->number, phex_nz (utp->addr, sizeof (utp->addr)), act);
+      if (utp->at_string)
+       {
+         encode_source_string (utp->number, utp->addr,
+                               "at", utp->at_string, buf, MAX_TRACE_UPLOAD);
+         fprintf (fp, "tp Z%s\n", buf);
+       }
+      if (utp->cond_string)
+       {
+         encode_source_string (utp->number, utp->addr,
+                               "cond", utp->cond_string, buf, MAX_TRACE_UPLOAD);
+         fprintf (fp, "tp Z%s\n", buf);
+       }
+      for (a = 0; VEC_iterate (char_ptr, utp->cmd_strings, a, act); ++a)
+       {
+         encode_source_string (utp->number, utp->addr, "cmd", act,
+                               buf, MAX_TRACE_UPLOAD);
+         fprintf (fp, "tp Z%s\n", buf);
+       }
+    }
+
+  free_uploaded_tps (&uploaded_tps);
+
+  /* Mark the end of the definition section.  */
+  fprintf (fp, "\n");
+
+  /* Get and write the trace data proper.  We ask for big blocks, in
+     the hopes of efficiency, but will take less if the target has
+     packet size limitations or some such.  */
+  while (1)
+    {
+      gotten = target_get_raw_trace_data (buf, offset, MAX_TRACE_UPLOAD);
+      if (gotten < 0)
+       error (_("Failure to get requested trace buffer data"));
+      /* No more data is forthcoming, we're done.  */
+      if (gotten == 0)
+       break;
+      written = fwrite (buf, gotten, 1, fp);
+      if (written < 1)
+       perror_with_name (pathname);
+      offset += gotten;
+    }
+
+  /* Mark the end of trace data.  (We know that gotten is 0 at this point.)  */
+  written = fwrite (&gotten, 4, 1, fp);
+  if (written < 1)
+    perror_with_name (pathname);
+
+  do_cleanups (cleanup);
+}
+
+static void
+trace_save_command (char *args, int from_tty)
+{
+  int target_does_save = 0;
+  char **argv;
+  char *filename = NULL;
+  struct cleanup *back_to;
+
+  if (args == NULL)
+    error_no_arg (_("file in which to save trace data"));
+
+  argv = gdb_buildargv (args);
+  back_to = make_cleanup_freeargv (argv);
+
+  for (; *argv; ++argv)
+    {
+      if (strcmp (*argv, "-r") == 0)
+       target_does_save = 1;
+      else if (**argv == '-')
+       error (_("unknown option `%s'"), *argv);
+      else
+       filename = *argv;
+    }
+
+  if (!filename)
+    error_no_arg (_("file in which to save trace data"));
+
+  trace_save (filename, target_does_save);
+
+  if (from_tty)
+    printf_filtered (_("Trace data saved to file '%s'.\n"), args);
+
+  do_cleanups (back_to);
+}
+
+/* Tell the target what to do with an ongoing tracing run if GDB
+   disconnects for some reason.  */
+
+void
+send_disconnected_tracing_value (int value)
+{
+  target_set_disconnected_tracing (value);
+}
+
+static void
+set_disconnected_tracing (char *args, int from_tty,
+                         struct cmd_list_element *c)
+{
+  send_disconnected_tracing_value (disconnected_tracing);
+}
+
+static void
+set_circular_trace_buffer (char *args, int from_tty,
+                          struct cmd_list_element *c)
+{
+  target_set_circular_trace_buffer (circular_trace_buffer);
+}
+
+/* Convert the memory pointed to by mem into hex, placing result in buf.
+ * Return a pointer to the last char put in buf (null)
+ * "stolen" from sparc-stub.c
+ */
+
+static const char hexchars[] = "0123456789abcdef";
+
+static char *
+mem2hex (gdb_byte *mem, char *buf, int count)
+{
+  gdb_byte ch;
+
+  while (count-- > 0)
+    {
+      ch = *mem++;
+
+      *buf++ = hexchars[ch >> 4];
+      *buf++ = hexchars[ch & 0xf];
+    }
+
+  *buf = 0;
+
+  return buf;
+}
+
+int
+get_traceframe_number (void)
+{
+  return traceframe_number;
+}
+
+/* Make the traceframe NUM be the current trace frame.  Does nothing
+   if NUM is already current.  */
+
+void
+set_traceframe_number (int num)
+{
+  int newnum;
+
+  if (traceframe_number == num)
+    {
+      /* Nothing to do.  */
+      return;
+    }
+
+  newnum = target_trace_find (tfind_number, num, 0, 0, NULL);
+
+  if (newnum != num)
+    warning (_("could not change traceframe"));
+
+  traceframe_number = newnum;
+
+  /* Changing the traceframe changes our view of registers and of the
+     frame chain.  */
+  registers_changed ();
+}
+
+/* A cleanup used when switching away and back from tfind mode.  */
+
+struct current_traceframe_cleanup
+{
+  /* The traceframe we were inspecting.  */
+  int traceframe_number;
+};
+
+static void
+do_restore_current_traceframe_cleanup (void *arg)
+{
+  struct current_traceframe_cleanup *old = arg;
+
+  set_traceframe_number (old->traceframe_number);
+}
+
+static void
+restore_current_traceframe_cleanup_dtor (void *arg)
+{
+  struct current_traceframe_cleanup *old = arg;
+
+  xfree (old);
+}
+
+struct cleanup *
+make_cleanup_restore_current_traceframe (void)
+{
+  struct current_traceframe_cleanup *old;
+
+  old = xmalloc (sizeof (struct current_traceframe_cleanup));
+  old->traceframe_number = traceframe_number;
+
+  return make_cleanup_dtor (do_restore_current_traceframe_cleanup, old,
+                           restore_current_traceframe_cleanup_dtor);
+}
+
+/* Given a number and address, return an uploaded tracepoint with that
+   number, creating if necessary.  */
+
+struct uploaded_tp *
+get_uploaded_tp (int num, ULONGEST addr, struct uploaded_tp **utpp)
+{
+  struct uploaded_tp *utp;
+
+  for (utp = *utpp; utp; utp = utp->next)
+    if (utp->number == num && utp->addr == addr)
+      return utp;
+  utp = (struct uploaded_tp *) xmalloc (sizeof (struct uploaded_tp));
+  memset (utp, 0, sizeof (struct uploaded_tp));
+  utp->number = num;
+  utp->addr = addr;
+  utp->actions = NULL;
+  utp->step_actions = NULL;
+  utp->cmd_strings = NULL;
+  utp->next = *utpp;
+  *utpp = utp;
+  return utp;
+}
+
+static void
+free_uploaded_tps (struct uploaded_tp **utpp)
+{
+  struct uploaded_tp *next_one;
+
+  while (*utpp)
+    {
+      next_one = (*utpp)->next;
+      xfree (*utpp);
+      *utpp = next_one;
+    }
+}
+
+/* Given a number and address, return an uploaded tracepoint with that
+   number, creating if necessary.  */
+
+struct uploaded_tsv *
+get_uploaded_tsv (int num, struct uploaded_tsv **utsvp)
+{
+  struct uploaded_tsv *utsv;
+
+  for (utsv = *utsvp; utsv; utsv = utsv->next)
+    if (utsv->number == num)
+      return utsv;
+  utsv = (struct uploaded_tsv *) xmalloc (sizeof (struct uploaded_tsv));
+  memset (utsv, 0, sizeof (struct uploaded_tsv));
+  utsv->number = num;
+  utsv->next = *utsvp;
+  *utsvp = utsv;
+  return utsv;
+}
+
+static void
+free_uploaded_tsvs (struct uploaded_tsv **utsvp)
+{
+  struct uploaded_tsv *next_one;
+
+  while (*utsvp)
+    {
+      next_one = (*utsvp)->next;
+      xfree (*utsvp);
+      *utsvp = next_one;
+    }
+}
+
+/* Look for an existing tracepoint that seems similar enough to the
+   uploaded one.  Enablement isn't compared, because the user can
+   toggle that freely, and may have done so in anticipation of the
+   next trace run.  */
+
+struct breakpoint *
+find_matching_tracepoint (struct uploaded_tp *utp)
+{
+  VEC(breakpoint_p) *tp_vec = all_tracepoints ();
+  int ix;
+  struct breakpoint *t;
+  struct bp_location *loc;
+
+  for (ix = 0; VEC_iterate (breakpoint_p, tp_vec, ix, t); ix++)
+    {
+      if (t->type == utp->type
+         && t->step_count == utp->step
+         && t->pass_count == utp->pass
+         /* FIXME also test conditionals and actions */
+         )
+       {
+         /* Scan the locations for an address match.  */
+         for (loc = t->loc; loc; loc = loc->next)
+           {
+             if (loc->address == utp->addr)
+               return t;
+           }
+       }
+    }
+  return NULL;
+}
+
+/* Given a list of tracepoints uploaded from a target, attempt to
+   match them up with existing tracepoints, and create new ones if not
+   found.  */
+
+void
+merge_uploaded_tracepoints (struct uploaded_tp **uploaded_tps)
+{
+  struct uploaded_tp *utp;
+  struct breakpoint *t;
+
+  /* Look for GDB tracepoints that match up with our uploaded versions.  */
+  for (utp = *uploaded_tps; utp; utp = utp->next)
+    {
+      t = find_matching_tracepoint (utp);
+      if (t)
+       printf_filtered (_("Assuming tracepoint %d is same as target's tracepoint %d at %s.\n"),
+                        t->number, utp->number, paddress (get_current_arch (), utp->addr));
+      else
+       {
+         t = create_tracepoint_from_upload (utp);
+         if (t)
+           printf_filtered (_("Created tracepoint %d for target's tracepoint %d at %s.\n"),
+                            t->number, utp->number, paddress (get_current_arch (), utp->addr));
+         else
+           printf_filtered (_("Failed to create tracepoint for target's tracepoint %d at %s, skipping it.\n"),
+                            utp->number, paddress (get_current_arch (), utp->addr));
+       }
+      /* Whether found or created, record the number used by the
+        target, to help with mapping target tracepoints back to their
+        counterparts here.  */
+      if (t)
+       t->number_on_target = utp->number;
+    }
+
+  free_uploaded_tps (uploaded_tps);
+}
+
+/* Trace state variables don't have much to identify them beyond their
+   name, so just use that to detect matches.  */
+
+struct trace_state_variable *
+find_matching_tsv (struct uploaded_tsv *utsv)
+{
+  if (!utsv->name)
+    return NULL;
+
+  return find_trace_state_variable (utsv->name);
+}
+
+struct trace_state_variable *
+create_tsv_from_upload (struct uploaded_tsv *utsv)
+{
+  const char *namebase;
+  char buf[20];
+  int try_num = 0;
+  struct trace_state_variable *tsv;
+
+  if (utsv->name)
+    {
+      namebase = utsv->name;
+      sprintf (buf, "%s", namebase);
+    }
+  else
+    {
+      namebase = "__tsv";
+      sprintf (buf, "%s_%d", namebase, try_num++);
+    }
+
+  /* Fish for a name that is not in use.  */
+  /* (should check against all internal vars?) */
+  while (find_trace_state_variable (buf))
+    sprintf (buf, "%s_%d", namebase, try_num++);
+
+  /* We have an available name, create the variable.  */
+  tsv = create_trace_state_variable (xstrdup (buf));
+  tsv->initial_value = utsv->initial_value;
+  tsv->builtin = utsv->builtin;
+
+  return tsv;
+}
+
+/* Given a list of uploaded trace state variables, try to match them
+   up with existing variables, or create additional ones.  */
+
+void
+merge_uploaded_trace_state_variables (struct uploaded_tsv **uploaded_tsvs)
+{
+  int ix;
+  struct uploaded_tsv *utsv;
+  struct trace_state_variable *tsv;
+  int highest;
+
+  /* Most likely some numbers will have to be reassigned as part of
+     the merge, so clear them all in anticipation.  */
+  for (ix = 0; VEC_iterate (tsv_s, tvariables, ix, tsv); ++ix)
+    tsv->number = 0;
+
+  for (utsv = *uploaded_tsvs; utsv; utsv = utsv->next)
+    {
+      tsv = find_matching_tsv (utsv);
+      if (tsv)
+       printf_filtered (_("Assuming trace state variable $%s is same as target's variable %d.\n"),
+                        tsv->name, utsv->number);
+      else
+       {
+         tsv = create_tsv_from_upload (utsv);
+         printf_filtered (_("Created trace state variable $%s for target's variable %d.\n"),
+                          tsv->name, utsv->number);
+       }
+      /* Give precedence to numberings that come from the target.  */
+      if (tsv)
+       tsv->number = utsv->number;
+    }
+
+  /* Renumber everything that didn't get a target-assigned number.  */
+  highest = 0;
+  for (ix = 0; VEC_iterate (tsv_s, tvariables, ix, tsv); ++ix)
+    if (tsv->number > highest)
+      highest = tsv->number;
+
+  ++highest;
+  for (ix = 0; VEC_iterate (tsv_s, tvariables, ix, tsv); ++ix)
+    if (tsv->number == 0)
+      tsv->number = highest++;
+
+  free_uploaded_tsvs (uploaded_tsvs);
+}
+
+/* target tfile command */
+
+struct target_ops tfile_ops;
+
+/* Fill in tfile_ops with its defined operations and properties.  */
+
+#define TRACE_HEADER_SIZE 8
+
+char *trace_filename;
+int trace_fd = -1;
+off_t trace_frames_offset;
+off_t cur_offset;
+int cur_data_size;
+int trace_regblock_size;
+
+static void tfile_interp_line (char *line,
+                              struct uploaded_tp **utpp,
+                              struct uploaded_tsv **utsvp);
+
+static void
+tfile_open (char *filename, int from_tty)
+{
+  char *temp;
+  struct cleanup *old_chain;
+  int flags;
+  int scratch_chan;
+  char header[TRACE_HEADER_SIZE];
+  char linebuf[1000]; /* should be max remote packet size or so */
+  char byte;
+  int bytes, i, gotten;
+  struct trace_status *ts;
+  struct uploaded_tp *uploaded_tps = NULL;
+  struct uploaded_tsv *uploaded_tsvs = NULL;
+
+  target_preopen (from_tty);
+  if (!filename)
+    error (_("No trace file specified."));
+
+  filename = tilde_expand (filename);
+  if (!IS_ABSOLUTE_PATH(filename))
+    {
+      temp = concat (current_directory, "/", filename, (char *)NULL);
+      xfree (filename);
+      filename = temp;
+    }
+
+  old_chain = make_cleanup (xfree, filename);
+
+  flags = O_BINARY | O_LARGEFILE;
+  flags |= O_RDONLY;
+  scratch_chan = open (filename, flags, 0);
+  if (scratch_chan < 0)
+    perror_with_name (filename);
+
+  /* Looks semi-reasonable.  Toss the old trace file and work on the new.  */
+
+  discard_cleanups (old_chain);        /* Don't free filename any more */
+  unpush_target (&tfile_ops);
+
+  push_target (&tfile_ops);
+
+  trace_filename = xstrdup (filename);
+  trace_fd = scratch_chan;
+
+  bytes = 0;
+  /* Read the file header and test for validity.  */
+  gotten = read (trace_fd, &header, TRACE_HEADER_SIZE);
+  if (gotten < 0)
+    perror_with_name (trace_filename);
+  else if (gotten < TRACE_HEADER_SIZE)
+    error (_("Premature end of file while reading trace file"));
+
+  bytes += TRACE_HEADER_SIZE;
+  if (!(header[0] == 0x7f
+       && (strncmp (header + 1, "TRACE0\n", 7) == 0)))
+    error (_("File is not a valid trace file."));
+
+  trace_regblock_size = 0;
+  ts = current_trace_status ();
+  /* We know we're working with a file.  */
+  ts->from_file = 1;
+  /* Set defaults in case there is no status line.  */
+  ts->running_known = 0;
+  ts->stop_reason = trace_stop_reason_unknown;
+  ts->traceframe_count = -1;
+  ts->buffer_free = 0;
+  ts->disconnected_tracing = 0;
+  ts->circular_buffer = 0;
+
+  /* Read through a section of newline-terminated lines that
+     define things like tracepoints.  */
+  i = 0;
+  while (1)
+    {
+      gotten = read (trace_fd, &byte, 1);
+      if (gotten < 0)
+       perror_with_name (trace_filename);
+      else if (gotten < 1)
+       error (_("Premature end of file while reading trace file"));
+
+      ++bytes;
+      if (byte == '\n')
+       {
+         /* Empty line marks end of the definition section.  */
+         if (i == 0)
+           break;
+         linebuf[i] = '\0';
+         i = 0;
+         tfile_interp_line (linebuf, &uploaded_tps, &uploaded_tsvs);
+       }
+      else
+       linebuf[i++] = byte;
+      if (i >= 1000)
+       error (_("Excessively long lines in trace file"));
+    }
+
+  /* Add the file's tracepoints and variables into the current mix.  */
+
+  /* Get trace state variables first, they may be checked when parsing
+     uploaded commands.  */
+  merge_uploaded_trace_state_variables (&uploaded_tsvs);
+
+  merge_uploaded_tracepoints (&uploaded_tps);
+
+  /* Record the starting offset of the binary trace data.  */
+  trace_frames_offset = bytes;
+
+  /* If we don't have a blocksize, we can't interpret the
+     traceframes.  */
+  if (trace_regblock_size == 0)
+    error (_("No register block size recorded in trace file"));
+  if (ts->traceframe_count <= 0)
+    {
+      warning ("No traceframes present in this file.");
+      return;
+    }
+
+#define TFILE_PID (1)
+  inferior_appeared (current_inferior (), TFILE_PID);
+  inferior_ptid = pid_to_ptid (TFILE_PID);
+  add_thread_silent (inferior_ptid);
+
+  post_create_inferior (&tfile_ops, from_tty);
+
+#if 0
+  /* FIXME this will get defined in MI patch submission */
+  tfind_1 (tfind_number, 0, 0, 0, 0);
+#endif
+}
+
+/* Interpret the given line from the definitions part of the trace
+   file.  */
+
+static void
+tfile_interp_line (char *line,
+                  struct uploaded_tp **utpp, struct uploaded_tsv **utsvp)
+{
+  char *p = line;
+
+  if (strncmp (p, "R ", strlen ("R ")) == 0)
+    {
+      p += strlen ("R ");
+      trace_regblock_size = strtol (p, &p, 16);
+    }
+  else if (strncmp (p, "status ", strlen ("status ")) == 0)
+    {
+      p += strlen ("status ");
+      parse_trace_status (p, current_trace_status ());
+    }
+  else if (strncmp (p, "tp ", strlen ("tp ")) == 0)
+    {
+      p += strlen ("tp ");
+      parse_tracepoint_definition (p, utpp);
+    }
+  else if (strncmp (p, "tsv ", strlen ("tsv ")) == 0)
+    {
+      p += strlen ("tsv ");
+      parse_tsv_definition (p, utsvp);
+    }
+  else
+    warning ("Ignoring trace file definition \"%s\"", line);
+}
+
+/* Parse the part of trace status syntax that is shared between
+   the remote protocol and the trace file reader.  */
+
+extern char *unpack_varlen_hex (char *buff, ULONGEST *result);
+
+void
+parse_trace_status (char *line, struct trace_status *ts)
+{
+  char *p = line, *p1, *p2, *p_temp;
+  ULONGEST val;
+
+  ts->running_known = 1;
+  ts->running = (*p++ == '1');
+  ts->stop_reason = trace_stop_reason_unknown;
+  xfree (ts->error_desc);
+  ts->error_desc = NULL;
+  ts->traceframe_count = -1;
+  ts->traceframes_created = -1;
+  ts->buffer_free = -1;
+  ts->buffer_size = -1;
+  ts->disconnected_tracing = 0;
+  ts->circular_buffer = 0;
+
+  while (*p++)
+    {
+      p1 = strchr (p, ':');
+      if (p1 == NULL)
+       error (_("Malformed trace status, at %s\n\
+Status line: '%s'\n"), p, line);
+      if (strncmp (p, stop_reason_names[trace_buffer_full], p1 - p) == 0)
+       {
+         p = unpack_varlen_hex (++p1, &val);
+         ts->stop_reason = trace_buffer_full;
+       }
+      else if (strncmp (p, stop_reason_names[trace_never_run], p1 - p) == 0)
+       {
+         p = unpack_varlen_hex (++p1, &val);
+         ts->stop_reason = trace_never_run;
+       }
+      else if (strncmp (p, stop_reason_names[tracepoint_passcount], p1 - p) == 0)
+       {
+         p = unpack_varlen_hex (++p1, &val);
+         ts->stop_reason = tracepoint_passcount;
+         ts->stopping_tracepoint = val;
+       }
+      else if (strncmp (p, stop_reason_names[tstop_command], p1 - p) == 0)
+       {
+         p = unpack_varlen_hex (++p1, &val);
+         ts->stop_reason = tstop_command;
+       }
+      else if (strncmp (p, stop_reason_names[trace_disconnected], p1 - p) == 0)
+       {
+         p = unpack_varlen_hex (++p1, &val);
+         ts->stop_reason = trace_disconnected;
+       }
+      else if (strncmp (p, stop_reason_names[tracepoint_error], p1 - p) == 0)
+       {
+         p2 = strchr (++p1, ':');
+         if (p2 != p1)
+           {
+             int end;
+
+             ts->error_desc = xmalloc ((p2 - p1) / 2 + 1);
+             end = hex2bin (p1, ts->error_desc, (p2 - p1) / 2);
+             ts->error_desc[end] = '\0';
+           }
+         else
+           ts->error_desc = xstrdup ("");
+
+         p = unpack_varlen_hex (++p2, &val);
+         ts->stopping_tracepoint = val;
+         ts->stop_reason = tracepoint_error;
+       }
+      else if (strncmp (p, "tframes", p1 - p) == 0)
+       {
+         p = unpack_varlen_hex (++p1, &val);
+         ts->traceframe_count = val;
+       }
+      else if (strncmp (p, "tcreated", p1 - p) == 0)
+       {
+         p = unpack_varlen_hex (++p1, &val);
+         ts->traceframes_created = val;
+       }
+      else if (strncmp (p, "tfree", p1 - p) == 0)
+       {
+         p = unpack_varlen_hex (++p1, &val);
+         ts->buffer_free = val;
+       }
+      else if (strncmp (p, "tsize", p1 - p) == 0)
+       {
+         p = unpack_varlen_hex (++p1, &val);
+         ts->buffer_size = val;
+       }
+      else if (strncmp (p, "disconn", p1 - p) == 0)
+       {
+         p = unpack_varlen_hex (++p1, &val);
+         ts->disconnected_tracing = val;
+       }
+      else if (strncmp (p, "circular", p1 - p) == 0)
+       {
+         p = unpack_varlen_hex (++p1, &val);
+         ts->circular_buffer = val;
+       }
+      else
+       {
+         /* Silently skip unknown optional info.  */
+         p_temp = strchr (p1 + 1, ';');
+         if (p_temp)
+           p = p_temp;
+         else
+           /* Must be at the end.  */
+           break;
+       }
+    }
+}
+
+/* Given a line of text defining a part of a tracepoint, parse it into
+   an "uploaded tracepoint".  */
+
+void
+parse_tracepoint_definition (char *line, struct uploaded_tp **utpp)
+{
+  char *p;
+  char piece;
+  ULONGEST num, addr, step, pass, orig_size, xlen, start;
+  int enabled, i, end;
+  enum bptype type;
+  char *cond, *srctype, *src, *buf;
+  struct uploaded_tp *utp = NULL;
+
+  p = line;
+  /* Both tracepoint and action definitions start with the same number
+     and address sequence.  */
+  piece = *p++;
+  p = unpack_varlen_hex (p, &num);
+  p++;  /* skip a colon */
+  p = unpack_varlen_hex (p, &addr);
+  p++;  /* skip a colon */
+  if (piece == 'T')
+    {
+      enabled = (*p++ == 'E');
+      p++;  /* skip a colon */
+      p = unpack_varlen_hex (p, &step);
+      p++;  /* skip a colon */
+      p = unpack_varlen_hex (p, &pass);
+      type = bp_tracepoint;
+      cond = NULL;
+      /* Thumb through optional fields.  */
+      while (*p == ':')
+       {
+         p++;  /* skip a colon */
+         if (*p == 'F')
+           {
+             type = bp_fast_tracepoint;
+             p++;
+             p = unpack_varlen_hex (p, &orig_size);
+           }
+         else if (*p == 'X')
+           {
+             p++;
+             p = unpack_varlen_hex (p, &xlen);
+             p++;  /* skip a comma */
+             cond = (char *) xmalloc (2 * xlen + 1);
+             strncpy (cond, p, 2 * xlen);
+             cond[2 * xlen] = '\0';
+             p += 2 * xlen;
+           }
+         else
+           warning (_("Unrecognized char '%c' in tracepoint definition, skipping rest"), *p);
+       }
+      utp = get_uploaded_tp (num, addr, utpp);
+      utp->type = type;
+      utp->enabled = enabled;
+      utp->step = step;
+      utp->pass = pass;
+      utp->cond = cond;
+    }
+  else if (piece == 'A')
+    {
+      utp = get_uploaded_tp (num, addr, utpp);
+      VEC_safe_push (char_ptr, utp->actions, xstrdup (p));
+    }
+  else if (piece == 'S')
+    {
+      utp = get_uploaded_tp (num, addr, utpp);
+      VEC_safe_push (char_ptr, utp->step_actions, xstrdup (p));
+    }
+  else if (piece == 'Z')
+    {
+      /* Parse a chunk of source form definition.  */
+      utp = get_uploaded_tp (num, addr, utpp);
+      srctype = p;
+      p = strchr (p, ':');
+      p++;  /* skip a colon */
+      p = unpack_varlen_hex (p, &start);
+      p++;  /* skip a colon */
+      p = unpack_varlen_hex (p, &xlen);
+      p++;  /* skip a colon */
+
+      buf = alloca (strlen (line));
+
+      end = hex2bin (p, (gdb_byte *) buf, strlen (p) / 2);
+      buf[end] = '\0';
+
+      if (strncmp (srctype, "at:", strlen ("at:")) == 0)
+       utp->at_string = xstrdup (buf);
+      else if (strncmp (srctype, "cond:", strlen ("cond:")) == 0)
+       utp->cond_string = xstrdup (buf);
+      else if (strncmp (srctype, "cmd:", strlen ("cmd:")) == 0)
+       VEC_safe_push (char_ptr, utp->cmd_strings, xstrdup (buf));
+    }
+  else
+    {
+      /* Don't error out, the target might be sending us optional
+        info that we don't care about.  */
+      warning (_("Unrecognized tracepoint piece '%c', ignoring"), piece);
+    }
+}
+
+/* Convert a textual description of a trace state variable into an
+   uploaded object.  */
+
+void
+parse_tsv_definition (char *line, struct uploaded_tsv **utsvp)
+{
+  char *p, *buf;
+  ULONGEST num, initval, builtin;
+  int end;
+  struct uploaded_tsv *utsv = NULL;
+
+  buf = alloca (strlen (line));
+
+  p = line;
+  p = unpack_varlen_hex (p, &num);
+  p++; /* skip a colon */
+  p = unpack_varlen_hex (p, &initval);
+  p++; /* skip a colon */
+  p = unpack_varlen_hex (p, &builtin);
+  p++; /* skip a colon */
+  end = hex2bin (p, (gdb_byte *) buf, strlen (p) / 2);
+  buf[end] = '\0';
+
+  utsv = get_uploaded_tsv (num, utsvp);
+  utsv->initial_value = initval;
+  utsv->builtin = builtin;
+  utsv->name = xstrdup (buf);
+}
+
+/* Close the trace file and generally clean up.  */
+
+static void
+tfile_close (int quitting)
+{
+  int pid;
+
+  if (trace_fd < 0)
+    return;
+
+  pid = ptid_get_pid (inferior_ptid);
+  inferior_ptid = null_ptid;   /* Avoid confusion from thread stuff */
+  exit_inferior_silent (pid);
+
+  close (trace_fd);
+  trace_fd = -1;
+  if (trace_filename)
+    xfree (trace_filename);
+}
+
+static void
+tfile_files_info (struct target_ops *t)
+{
+  /* (it would be useful to mention the name of the file) */
+  printf_filtered ("Looking at a trace file.\n");
+}
+
+/* The trace status for a file is that tracing can never be run.  */
+
+static int
+tfile_get_trace_status (struct trace_status *ts)
+{
+  /* Other bits of trace status were collected as part of opening the
+     trace files, so nothing to do here.  */
+
+  return -1;
+}
+
+/* Given the position of a traceframe in the file, figure out what
+   address the frame was collected at.  This would normally be the
+   value of a collected PC register, but if not available, we
+   improvise.  */
+
+static ULONGEST
+tfile_get_traceframe_address (off_t tframe_offset)
+{
+  ULONGEST addr = 0;
+  short tpnum;
+  struct breakpoint *tp;
+  off_t saved_offset = cur_offset;
+  int gotten;
+
+  /* FIXME dig pc out of collected registers */
+
+  /* Fall back to using tracepoint address.  */
+  lseek (trace_fd, tframe_offset, SEEK_SET);
+  gotten = read (trace_fd, &tpnum, 2);
+  if (gotten < 0)
+    perror_with_name (trace_filename);
+  else if (gotten < 2)
+    error (_("Premature end of file while reading trace file"));
+
+  tp = get_tracepoint_by_number_on_target (tpnum);
+  /* FIXME this is a poor heuristic if multiple locations */
+  if (tp && tp->loc)
+    addr = tp->loc->address;
+
+  /* Restore our seek position.  */
+  cur_offset = saved_offset;
+  lseek (trace_fd, cur_offset, SEEK_SET);
+  return addr;
+}
+
+/* Given a type of search and some parameters, scan the collection of
+   traceframes in the file looking for a match.  When found, return
+   both the traceframe and tracepoint number, otherwise -1 for
+   each.  */
+
+static int
+tfile_trace_find (enum trace_find_type type, int num,
+                 ULONGEST addr1, ULONGEST addr2, int *tpp)
+{
+  short tpnum;
+  int tfnum = 0, found = 0, gotten;
+  int data_size;
+  struct breakpoint *tp;
+  off_t offset, tframe_offset;
+  ULONGEST tfaddr;
+
+  lseek (trace_fd, trace_frames_offset, SEEK_SET);
+  offset = trace_frames_offset;
+  while (1)
+    {
+      tframe_offset = offset;
+      gotten = read (trace_fd, &tpnum, 2);
+      if (gotten < 0)
+       perror_with_name (trace_filename);
+      else if (gotten < 2)
+       error (_("Premature end of file while reading trace file"));
+      offset += 2;
+      if (tpnum == 0)
+       break;
+      gotten = read (trace_fd, &data_size, 4); 
+      if (gotten < 0)
+       perror_with_name (trace_filename);
+      else if (gotten < 4)
+       error (_("Premature end of file while reading trace file"));
+      offset += 4;
+      switch (type)
+       {
+       case tfind_number:
+         if (tfnum == num)
+           found = 1;
+         break;
+       case tfind_pc:
+         tfaddr = tfile_get_traceframe_address (tframe_offset);
+         if (tfaddr == addr1)
+           found = 1;
+         break;
+       case tfind_tp:
+         tp = get_tracepoint (num);
+         if (tp && tpnum == tp->number_on_target)
+           found = 1;
+         break;
+       case tfind_range:
+         tfaddr = tfile_get_traceframe_address (tframe_offset);
+         if (addr1 <= tfaddr && tfaddr <= addr2)
+           found = 1;
+         break;
+       case tfind_outside:
+         tfaddr = tfile_get_traceframe_address (tframe_offset);
+         if (!(addr1 <= tfaddr && tfaddr <= addr2))
+           found = 1;
+         break;
+       default:
+         internal_error (__FILE__, __LINE__, _("unknown tfind type"));
+       }
+      if (found)
+       {
+         if (tpp)
+           *tpp = tpnum;
+         cur_offset = offset;
+         cur_data_size = data_size;
+         return tfnum;
+       }
+      /* Skip past the traceframe's data.  */
+      lseek (trace_fd, data_size, SEEK_CUR);
+      offset += data_size;
+      /* Update our own count of traceframes.  */
+      ++tfnum;
+    }
+  /* Did not find what we were looking for.  */
+  if (tpp)
+    *tpp = -1;
+  return -1;
+}
+
+/* Look for a block of saved registers in the traceframe, and get the
+   requested register from it.  */
+
+static void
+tfile_fetch_registers (struct target_ops *ops,
+                      struct regcache *regcache, int regno)
+{
+  struct gdbarch *gdbarch = get_regcache_arch (regcache);
+  char block_type;
+  int i, pos, offset, regn, regsize, gotten, pc_regno;
+  unsigned short mlen;
+  char *regs;
+
+  /* An uninitialized reg size says we're not going to be
+     successful at getting register blocks.  */
+  if (!trace_regblock_size)
+    return;
+
+  regs = alloca (trace_regblock_size);
+
+  lseek (trace_fd, cur_offset, SEEK_SET);
+  pos = 0;
+  while (pos < cur_data_size)
+    {
+      gotten = read (trace_fd, &block_type, 1);
+      if (gotten < 0)
+       perror_with_name (trace_filename);
+      else if (gotten < 1)
+       error (_("Premature end of file while reading trace file"));
+
+      ++pos;
+      switch (block_type)
+       {
+       case 'R':
+         gotten = read (trace_fd, regs, trace_regblock_size);
+         if (gotten < 0)
+           perror_with_name (trace_filename);
+         else if (gotten < trace_regblock_size)
+           error (_("Premature end of file while reading trace file"));
+
+         /* Assume the block is laid out in GDB register number order,
+            each register with the size that it has in GDB.  */
+         offset = 0;
+         for (regn = 0; regn < gdbarch_num_regs (gdbarch); regn++)
+           {
+             regsize = register_size (gdbarch, regn);
+             /* Make sure we stay within block bounds.  */
+             if (offset + regsize >= trace_regblock_size)
+               break;
+             if (!regcache_valid_p (regcache, regn))
+               {
+                 if (regno == regn)
+                   {
+                     regcache_raw_supply (regcache, regno, regs + offset);
+                     break;
+                   }
+                 else if (regno == -1)
+                   {
+                     regcache_raw_supply (regcache, regn, regs + offset);
+                   }
+               }
+             offset += regsize;
+           }
+         return;
+       case 'M':
+         lseek (trace_fd, 8, SEEK_CUR);
+         gotten = read (trace_fd, &mlen, 2);
+         if (gotten < 0)
+           perror_with_name (trace_filename);
+         else if (gotten < 2)
+           error (_("Premature end of file while reading trace file"));
+         lseek (trace_fd, mlen, SEEK_CUR);
+         pos += (8 + 2 + mlen);
+         break;
+       case 'V':
+         lseek (trace_fd, 4 + 8, SEEK_CUR);
+         pos += (4 + 8);
+         break;
+       default:
+         error ("Unknown block type '%c' (0x%x) in trace frame",
+                block_type, block_type);
+         break;
+       }
+    }
+
+  /* We get here if no register data has been found.  Although we
+     don't like making up numbers, GDB has all manner of troubles when
+     the target says some register is not available.  Filling in with
+     zeroes is a reasonable fallback.  */
+  for (regn = 0; regn < gdbarch_num_regs (gdbarch); regn++)
+    regcache_raw_supply (regcache, regn, NULL);
+
+  /* We can often usefully guess that the PC is going to be the same
+     as the address of the tracepoint.  */
+  pc_regno = gdbarch_pc_regnum (gdbarch);
+  if (pc_regno >= 0 && (regno == -1 || regno == pc_regno))
+    {
+      struct breakpoint *tp = get_tracepoint (tracepoint_number);
+
+      if (tp && tp->loc)
+       {
+         /* But don't try to guess if tracepoint is multi-location...  */
+         if (tp->loc->next)
+           {
+             warning ("Tracepoint %d has multiple locations, cannot infer $pc",
+                      tp->number);
+             return;
+           }
+         /* ... or does while-stepping.  */
+         if (tp->step_count > 0)
+           {
+             warning ("Tracepoint %d does while-stepping, cannot infer $pc",
+                      tp->number);
+             return;
+           }
+
+         store_unsigned_integer (regs, register_size (gdbarch, pc_regno),
+                                 gdbarch_byte_order (gdbarch),
+                                 tp->loc->address);
+         regcache_raw_supply (regcache, pc_regno, regs);
+       }
+    }
+}
+
+static LONGEST
+tfile_xfer_partial (struct target_ops *ops, enum target_object object,
+                   const char *annex, gdb_byte *readbuf,
+                   const gdb_byte *writebuf, ULONGEST offset, LONGEST len)
+{
+  char block_type;
+  int pos, gotten;
+  ULONGEST maddr, amt;
+  unsigned short mlen;
+
+  /* We're only doing regular memory for now.  */
+  if (object != TARGET_OBJECT_MEMORY)
+    return -1;
+
+  if (readbuf == NULL)
+    error ("tfile_xfer_partial: trace file is read-only");
+
+  lseek (trace_fd, cur_offset, SEEK_SET);
+  pos = 0;
+  while (pos < cur_data_size)
+    {
+      gotten = read (trace_fd, &block_type, 1);
+      if (gotten < 0)
+       perror_with_name (trace_filename);
+      else if (gotten < 1)
+       error (_("Premature end of file while reading trace file"));
+      ++pos;
+      switch (block_type)
+       {
+       case 'R':
+         lseek (trace_fd, trace_regblock_size, SEEK_CUR);
+         pos += trace_regblock_size;
+         break;
+       case 'M':
+         gotten = read (trace_fd, &maddr, 8);
+         if (gotten < 0)
+           perror_with_name (trace_filename);
+         else if (gotten < 8)
+           error (_("Premature end of file while reading trace file"));
+
+         gotten = read (trace_fd, &mlen, 2);
+         if (gotten < 0)
+           perror_with_name (trace_filename);
+         else if (gotten < 2)
+           error (_("Premature end of file while reading trace file"));
+         /* If the block includes the first part of the desired
+            range, return as much it has; GDB will re-request the
+            remainder, which might be in a different block of this
+            trace frame.  */
+         if (maddr <= offset && offset < (maddr + mlen))
+           {
+             amt = (maddr + mlen) - offset;
+             if (amt > len)
+               amt = len;
+
+             gotten = read (trace_fd, readbuf, amt);
+             if (gotten < 0)
+               perror_with_name (trace_filename);
+             /* While it's acceptable to return less than was
+                originally asked for, it's not acceptable to return
+                less than what this block claims to contain.  */
+             else if (gotten < amt)
+               error (_("Premature end of file while reading trace file"));
+             return amt;
+           }
+         lseek (trace_fd, mlen, SEEK_CUR);
+         pos += (8 + 2 + mlen);
+         break;
+       case 'V':
+         lseek (trace_fd, 4 + 8, SEEK_CUR);
+         pos += (4 + 8);
+         break;
+       default:
+         error ("Unknown block type '%c' (0x%x) in traceframe",
+                block_type, block_type);
+         break;
+       }
+    }
+
+  /* It's unduly pedantic to refuse to look at the executable for
+     read-only pieces; so do the equivalent of readonly regions aka
+     QTro packet.  */
+  /* FIXME account for relocation at some point */
+  if (exec_bfd)
+    {
+      asection *s;
+      bfd_size_type size;
+      bfd_vma lma;
+
+      for (s = exec_bfd->sections; s; s = s->next)
+       {
+         if ((s->flags & SEC_LOAD) == 0 ||
+             (s->flags & SEC_READONLY) == 0)
+           continue;
+
+         lma = s->lma;
+         size = bfd_get_section_size (s);
+         if (lma <= offset && offset < (lma + size))
+           {
+             amt = (lma + size) - offset;
+             if (amt > len)
+               amt = len;
+
+             amt = bfd_get_section_contents (exec_bfd, s,
+                                             readbuf, offset - lma, amt);
+             return amt;
+           }
+       }
+    }
+
+  /* Indicate failure to find the requested memory block.  */
+  return -1;
+}
+
+/* Iterate through the blocks of a trace frame, looking for a 'V'
+   block with a matching tsv number.  */
+
+static int
+tfile_get_trace_state_variable_value (int tsvnum, LONGEST *val)
+{
+  char block_type;
+  int pos, vnum, gotten;
+  unsigned short mlen;
+
+  lseek (trace_fd, cur_offset, SEEK_SET);
+  pos = 0;
+  while (pos < cur_data_size)
+    {
+      gotten = read (trace_fd, &block_type, 1);
+      if (gotten < 0)
+       perror_with_name (trace_filename);
+      else if (gotten < 1)
+       error (_("Premature end of file while reading trace file"));
+      ++pos;
+      switch (block_type)
+       {
+       case 'R':
+         lseek (trace_fd, trace_regblock_size, SEEK_CUR);
+         pos += trace_regblock_size;
+         break;
+       case 'M':
+         lseek (trace_fd, 8, SEEK_CUR);
+         gotten = read (trace_fd, &mlen, 2);
+         if (gotten < 0)
+           perror_with_name (trace_filename);
+         else if (gotten < 2)
+           error (_("Premature end of file while reading trace file"));
+         lseek (trace_fd, mlen, SEEK_CUR);
+         pos += (8 + 2 + mlen);
+         break;
+       case 'V':
+         gotten = read (trace_fd, &vnum, 4);
+         if (gotten < 0)
+           perror_with_name (trace_filename);
+         else if (gotten < 4)
+           error (_("Premature end of file while reading trace file"));
+         if (tsvnum == vnum)
+           {
+             gotten = read (trace_fd, val, 8);
+             if (gotten < 0)
+               perror_with_name (trace_filename);
+             else if (gotten < 8)
+               error (_("Premature end of file while reading trace file"));
+             return 1;
+           }
+         lseek (trace_fd, 8, SEEK_CUR);
+         pos += (4 + 8);
+         break;
+       default:
+         error ("Unknown block type '%c' (0x%x) in traceframe",
+                block_type, block_type);
+         break;
+       }
+    }
+  /* Didn't find anything.  */
+  return 0;
+}
+
+static int
+tfile_has_all_memory (struct target_ops *ops)
+{
+  return 1;
+}
+
+static int
+tfile_has_memory (struct target_ops *ops)
+{
+  return 1;
+}
+
+static int
+tfile_has_stack (struct target_ops *ops)
+{
+  return 1;
+}
+
+static int
+tfile_has_registers (struct target_ops *ops)
+{
+  return 1;
+}
+
+static void
+init_tfile_ops (void)
+{
+  tfile_ops.to_shortname = "tfile";
+  tfile_ops.to_longname = "Local trace dump file";
+  tfile_ops.to_doc =
+    "Use a trace file as a target.  Specify the filename of the trace file.";
+  tfile_ops.to_open = tfile_open;
+  tfile_ops.to_close = tfile_close;
+  tfile_ops.to_fetch_registers = tfile_fetch_registers;
+  tfile_ops.to_xfer_partial = tfile_xfer_partial;
+  tfile_ops.to_files_info = tfile_files_info;
+  tfile_ops.to_get_trace_status = tfile_get_trace_status;
+  tfile_ops.to_trace_find = tfile_trace_find;
+  tfile_ops.to_get_trace_state_variable_value = tfile_get_trace_state_variable_value;
+  /* core_stratum might seem more logical, but GDB doesn't like having
+     more than one core_stratum vector.  */
+  tfile_ops.to_stratum = process_stratum;
+  tfile_ops.to_has_all_memory = tfile_has_all_memory;
+  tfile_ops.to_has_memory = tfile_has_memory;
+  tfile_ops.to_has_stack = tfile_has_stack;
+  tfile_ops.to_has_registers = tfile_has_registers;
+  tfile_ops.to_magic = OPS_MAGIC;
+}
+
+/* module initialization */
+void
+_initialize_tracepoint (void)
+{
+  struct cmd_list_element *c;
+
+  traceframe_number = -1;
+  tracepoint_number = -1;
+
+  if (tracepoint_list.list == NULL)
+    {
+      tracepoint_list.listsize = 128;
+      tracepoint_list.list = xmalloc
+       (tracepoint_list.listsize * sizeof (struct memrange));
+    }
+  if (tracepoint_list.aexpr_list == NULL)
+    {
+      tracepoint_list.aexpr_listsize = 128;
+      tracepoint_list.aexpr_list = xmalloc
+       (tracepoint_list.aexpr_listsize * sizeof (struct agent_expr *));
     }
 
   if (stepping_list.list == NULL)
@@ -2156,18 +4123,40 @@ _initialize_tracepoint (void)
   add_com ("tdump", class_trace, trace_dump_command,
           _("Print everything collected at the current tracepoint."));
 
+  add_com ("tsave", class_trace, trace_save_command, _("\
+Save the trace data to a file.\n\
+Use the '-r' option to direct the target to save directly to the file,\n\
+using its own filesystem."));
+
+  c = add_com ("tvariable", class_trace, trace_variable_command,_("\
+Define a trace state variable.\n\
+Argument is a $-prefixed name, optionally followed\n\
+by '=' and an expression that sets the initial value\n\
+at the start of tracing."));
+  set_cmd_completer (c, expression_completer);
+
+  add_cmd ("tvariable", class_trace, delete_trace_variable_command, _("\
+Delete one or more trace state variables.\n\
+Arguments are the names of the variables to delete.\n\
+If no arguments are supplied, delete all variables."), &deletelist);
+  /* FIXME add a trace variable completer */
+
+  add_info ("tvariables", tvariables_info, _("\
+Status of trace state variables and their values.\n\
+"));
+
   add_prefix_cmd ("tfind", class_trace, trace_find_command, _("\
 Select a trace frame;\n\
 No argument means forward by one frame; '-' means backward by one frame."),
                  &tfindlist, "tfind ", 1, &cmdlist);
 
   add_cmd ("outside", class_trace, trace_find_outside_command, _("\
-Select a trace frame whose PC is outside the given range.\n\
+Select a trace frame whose PC is outside the given range (exclusive).\n\
 Usage: tfind outside addr1, addr2"),
           &tfindlist);
 
   add_cmd ("range", class_trace, trace_find_range_command, _("\
-Select a trace frame whose PC is in the given range.\n\
+Select a trace frame whose PC is in the given range (inclusive).\n\
 Usage: tfind range addr1,addr2"),
           &tfindlist);
 
@@ -2238,12 +4227,51 @@ Also accepts the following special arguments:\n\
     $locals -- all variables local to the block/function scope.\n\
 Note: this command can only be used in a tracepoint \"actions\" list."));
 
+  add_com ("teval", class_trace, teval_pseudocommand, _("\
+Specify one or more expressions to be evaluated at a tracepoint.\n\
+Accepts a comma-separated list of (one or more) expressions.\n\
+The result of each evaluation will be discarded.\n\
+Note: this command can only be used in a tracepoint \"actions\" list."));
+
   add_com ("actions", class_trace, trace_actions_command, _("\
 Specify the actions to be taken at a tracepoint.\n\
 Tracepoint actions may include collecting of specified data, \n\
 single-stepping, or enabling/disabling other tracepoints, \n\
 depending on target's capabilities."));
 
-  target_buf_size = 2048;
-  target_buf = xmalloc (target_buf_size);
+  default_collect = xstrdup ("");
+  add_setshow_string_cmd ("default-collect", class_trace,
+                         &default_collect, _("\
+Set the list of expressions to collect by default"), _("\
+Show the list of expressions to collect by default"), NULL,
+                         NULL, NULL,
+                         &setlist, &showlist);
+
+  add_setshow_boolean_cmd ("disconnected-tracing", no_class,
+                          &disconnected_tracing, _("\
+Set whether tracing continues after GDB disconnects."), _("\
+Show whether tracing continues after GDB disconnects."), _("\
+Use this to continue a tracing run even if GDB disconnects\n\
+or detaches from the target.  You can reconnect later and look at\n\
+trace data collected in the meantime."),
+                          set_disconnected_tracing,
+                          NULL,
+                          &setlist,
+                          &showlist);
+
+  add_setshow_boolean_cmd ("circular-trace-buffer", no_class,
+                          &circular_trace_buffer, _("\
+Set target's use of circular trace buffer."), _("\
+Show target's use of circular trace buffer."), _("\
+Use this to make the trace buffer into a circular buffer,\n\
+which will discard traceframes (oldest first) instead of filling\n\
+up and stopping the trace run."),
+                          set_circular_trace_buffer,
+                          NULL,
+                          &setlist,
+                          &showlist);
+
+  init_tfile_ops ();
+
+  add_target (&tfile_ops);
 }
This page took 0.068618 seconds and 4 git commands to generate.