projects / deliverable / binutils-gdb.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
2007-09-06 H.J. Lu <hongjiu.lu@intel.com>
[deliverable/binutils-gdb.git] / gas / dw2gencfi.c
diff --git a/gas/dw2gencfi.c b/gas/dw2gencfi.c
index 8083e5d966bd226c38dca1dbf186c9978d1e495e..fb7daea60b1a74f24d3e13c54e9d30cd8714e60c 100644 (file)
--- a/gas/dw2gencfi.c
+++ b/gas/dw2gencfi.c
@@ -1,12 +1,12 @@
 /* dw2gencfi.c - Support for generating Dwarf2 CFI information.
 /* dw2gencfi.c - Support for generating Dwarf2 CFI information.
-   Copyright 2003 Free Software Foundation, Inc.
+   Copyright 2003, 2004, 2005, 2006, 2007 Free Software Foundation, Inc.
    Contributed by Michal Ludvig <mludvig@suse.cz>
 
    This file is part of GAS, the GNU Assembler.
 
    GAS is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    Contributed by Michal Ludvig <mludvig@suse.cz>
 
    This file is part of GAS, the GNU Assembler.
 
    GAS is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
-   the Free Software Foundation; either version 2, or (at your option)
+   the Free Software Foundation; either version 3, or (at your option)
    any later version.
 
    GAS is distributed in the hope that it will be useful,
    any later version.
 
    GAS is distributed in the hope that it will be useful,
@@ -16,808 +16,1333 @@
 
    You should have received a copy of the GNU General Public License
    along with GAS; see the file COPYING.  If not, write to the Free
 
    You should have received a copy of the GNU General Public License
    along with GAS; see the file COPYING.  If not, write to the Free
-   Software Foundation, 59 Temple Place - Suite 330, Boston, MA
-   02111-1307, USA.  */
+   Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
+   02110-1301, USA.  */
 
 
-#include <errno.h>
 #include "as.h"
 #include "dw2gencfi.h"
 #include "as.h"
 #include "dw2gencfi.h"
+#include "subsegs.h"
 
 
-struct cie_entry
+
+/* We re-use DWARF2_LINE_MIN_INSN_LENGTH for the code alignment field
+   of the CIE.  Default to 1 if not otherwise specified.  */
+#ifndef  DWARF2_LINE_MIN_INSN_LENGTH
+# define DWARF2_LINE_MIN_INSN_LENGTH 1
+#endif
+
+/* If TARGET_USE_CFIPOP is defined, it is required that the target
+   provide the following definitions.  Otherwise provide them to 
+   allow compilation to continue.  */
+#ifndef TARGET_USE_CFIPOP
+# ifndef  DWARF2_DEFAULT_RETURN_COLUMN
+#  define DWARF2_DEFAULT_RETURN_COLUMN 0
+# endif
+# ifndef  DWARF2_CIE_DATA_ALIGNMENT
+#  define DWARF2_CIE_DATA_ALIGNMENT 1
+# endif
+#endif
+
+#ifndef EH_FRAME_ALIGNMENT
+# define EH_FRAME_ALIGNMENT (bfd_get_arch_size (stdoutput) == 64 ? 3 : 2)
+#endif
+
+#ifndef tc_cfi_frame_initial_instructions
+# define tc_cfi_frame_initial_instructions() ((void)0)
+#endif
+
+
+struct cfi_insn_data
 {
 {
-  unsigned long offset;
-  size_t size;
-  void *data;
-  struct cie_entry *next;
+  struct cfi_insn_data *next;
+  int insn;
+  union {
+    struct {
+      unsigned reg;
+      offsetT offset;
+    } ri;
+
+    struct {
+      unsigned reg1;
+      unsigned reg2;
+    } rr;
+
+    unsigned r;
+    offsetT i;
+
+    struct {
+      symbolS *lab1;
+      symbolS *lab2;
+    } ll;
+
+    struct cfi_escape_data {
+      struct cfi_escape_data *next;
+      expressionS exp;
+    } *esc;
+  } u;
 };
 
 };
 
-struct cfi_data
+struct fde_entry
 {
 {
-  enum cfi_insn insn;
-  long param[2];
-  struct cfi_data *next;
+  struct fde_entry *next;
+  symbolS *start_address;
+  symbolS *end_address;
+  struct cfi_insn_data *data;
+  struct cfi_insn_data **last;
+  unsigned char per_encoding;
+  unsigned char lsda_encoding;
+  expressionS personality;
+  expressionS lsda;
+  unsigned int return_column;
+  unsigned int signal_frame;
 };
 
 };
 
-struct cfi_info
+struct cie_entry
 {
 {
-  addressT start_address;
-  addressT end_address;
-  addressT last_address;
-  const char *labelname;
-  struct cfi_data *data;
-  struct cfi_info *next;
+  struct cie_entry *next;
+  symbolS *start_address;
+  unsigned int return_column;
+  unsigned int signal_frame;
+  unsigned char per_encoding;
+  unsigned char lsda_encoding;
+  expressionS personality;
+  struct cfi_insn_data *first, *last;
 };
 
 };
 
-/* Current open CFI entry.  */
-static struct cfi_info *cfi_info;
+
+/* List of FDE entries.  */
+static struct fde_entry *all_fde_data;
+static struct fde_entry **last_fde_data = &all_fde_data;
 
 /* List of CIEs so that they could be reused.  */
 static struct cie_entry *cie_root;
 
 
 /* List of CIEs so that they could be reused.  */
 static struct cie_entry *cie_root;
 
-/* Current target config.  */
-static struct cfi_config current_config;
+/* Stack of old CFI data, for save/restore.  */
+struct cfa_save_data
+{
+  struct cfa_save_data *next;
+  offsetT cfa_offset;
+};
 
 
-/* This is the main entry point to the CFI machinery.  */
-static void dot_cfi (int arg);
+/* Current open FDE entry.  */
+struct frch_cfi_data
+{
+  struct fde_entry *cur_fde_data;
+  symbolS *last_address;
+  offsetT cur_cfa_offset;
+  struct cfa_save_data *cfa_save_stack;
+};
+\f
+/* Construct a new FDE structure and add it to the end of the fde list.  */
 
 
-const pseudo_typeS cfi_pseudo_table[] =
-  {
-    { "cfi_verbose", dot_cfi, CFI_verbose },
-    { "cfi_startproc", dot_cfi, CFI_startproc },
-    { "cfi_endproc", dot_cfi, CFI_endproc },
-    { "cfi_def_cfa", dot_cfi, CFA_def_cfa },
-    { "cfi_def_cfa_register", dot_cfi, CFA_def_cfa_register },
-    { "cfi_def_cfa_offset", dot_cfi, CFA_def_cfa_offset },
-    { "cfi_adjust_cfa_offset", dot_cfi, CFI_adjust_cfa_offset },
-    { "cfi_offset", dot_cfi, CFA_offset },
-    { "cfi_register", dot_cfi, CFA_register },
-    { NULL, NULL, 0 }
-  };
+static struct fde_entry *
+alloc_fde_entry (void)
+{
+  struct fde_entry *fde = xcalloc (1, sizeof (struct fde_entry));
+
+  frchain_now->frch_cfi_data = xcalloc (1, sizeof (struct frch_cfi_data));
+  frchain_now->frch_cfi_data->cur_fde_data = fde;
+  *last_fde_data = fde;
+  last_fde_data = &fde->next;
+
+  fde->last = &fde->data;
+  fde->return_column = DWARF2_DEFAULT_RETURN_COLUMN;
+  fde->per_encoding = DW_EH_PE_omit;
+  fde->lsda_encoding = DW_EH_PE_omit;
 
 
-static const char *
-cfi_insn_str (enum cfi_insn insn)
+  return fde;
+}
+
+/* The following functions are available for a backend to construct its
+   own unwind information, usually from legacy unwind directives.  */
+
+/* Construct a new INSN structure and add it to the end of the insn list
+   for the currently active FDE.  */
+
+static struct cfi_insn_data *
+alloc_cfi_insn_data (void)
 {
 {
-  switch (insn)
-    {
-    case CFA_nop:
-      return "CFA_nop";
-    case CFA_set_loc:
-      return "CFA_set_loc";
-    case CFA_advance_loc1:
-      return "CFA_advance_loc1";
-    case CFA_advance_loc2:
-      return "CFA_advance_loc2";
-    case CFA_advance_loc4:
-      return "CFA_advance_loc4";
-    case CFA_offset_extended:
-      return "CFA_offset_extended";
-    case CFA_resotre_extended:
-      return "CFA_resotre_extended";
-    case CFA_undefined:
-      return "CFA_undefined";
-    case CFA_same_value:
-      return "CFA_same_value";
-    case CFA_register:
-      return "CFA_register";
-    case CFA_remember_state:
-      return "CFA_remember_state";
-    case CFA_restore_state:
-      return "CFA_restore_state";
-    case CFA_def_cfa:
-      return "CFA_def_cfa";
-    case CFA_def_cfa_register:
-      return "CFA_def_cfa_register";
-    case CFA_def_cfa_offset:
-      return "CFA_def_cfa_offset";
-    case CFA_advance_loc:
-      return "CFA_advance_loc";
-    case CFA_offset:
-      return "CFA_offset";
-    case CFA_restore:
-      return "CFA_restore";
-    default:
-      break;
-    }
+  struct cfi_insn_data *insn = xcalloc (1, sizeof (struct cfi_insn_data));
+  struct fde_entry *cur_fde_data = frchain_now->frch_cfi_data->cur_fde_data;
+
+  *cur_fde_data->last = insn;
+  cur_fde_data->last = &insn->next;
 
 
-  return "CFA_unknown";
+  return insn;
 }
 
 }
 
-static struct cfi_data *
-alloc_cfi_data (void)
+/* Construct a new FDE structure that begins at LABEL.  */
+
+void 
+cfi_new_fde (symbolS *label)
 {
 {
-  return (struct cfi_data *) xcalloc (sizeof (struct cfi_info), 1);
+  struct fde_entry *fde = alloc_fde_entry ();
+  fde->start_address = label;
+  frchain_now->frch_cfi_data->last_address = label;
 }
 
 }
 
-static struct cfi_info *
-alloc_cfi_info (void)
+/* End the currently open FDE.  */
+
+void 
+cfi_end_fde (symbolS *label)
 {
 {
-  return (struct cfi_info *) xcalloc (sizeof (struct cfi_info), 1);
+  frchain_now->frch_cfi_data->cur_fde_data->end_address = label;
+  free (frchain_now->frch_cfi_data);
+  frchain_now->frch_cfi_data = NULL;
 }
 
 }
 
-/* Parse arguments.  */
-static int
-cfi_parse_arg (long *param, int resolvereg)
+/* Set the return column for the current FDE.  */
+
+void
+cfi_set_return_column (unsigned regno)
 {
 {
-  long value;
-  int retval = -1;
-  int nchars;
+  frchain_now->frch_cfi_data->cur_fde_data->return_column = regno;
+}
 
 
-  assert (param != NULL);
-  SKIP_WHITESPACE ();
+/* Universal functions to store new instructions.  */
 
 
-  if (sscanf (input_line_pointer, "%li%n", &value, &nchars) >= 1)
-    {
-      input_line_pointer += nchars;
-      retval = 1;
-    }
-#ifdef tc_regname_to_dw2regnum
-  else if (resolvereg && ((is_name_beginner (*input_line_pointer))
-                          || (*input_line_pointer == '%'
-                              && is_name_beginner (*(++input_line_pointer)))))
-    {
-      char *name, c, *p;
+static void
+cfi_add_CFA_insn(int insn)
+{
+  struct cfi_insn_data *insn_ptr = alloc_cfi_insn_data ();
 
 
-      name = input_line_pointer;
-      c = get_symbol_end ();
-      p = input_line_pointer;
+  insn_ptr->insn = insn;
+}
 
 
-      if ((value = tc_regname_to_dw2regnum (name)) >= 0)
-       retval = 1;
+static void
+cfi_add_CFA_insn_reg (int insn, unsigned regno)
+{
+  struct cfi_insn_data *insn_ptr = alloc_cfi_insn_data ();
 
 
-      *p = c;
-    }
-#endif
-  else
-    as_bad (resolvereg ?
-           _("can't convert argument to a register number") :
-           _("can't convert argument to an integer"));
+  insn_ptr->insn = insn;
+  insn_ptr->u.r = regno;
+}
 
 
-  if (retval > 0)
-    *param = value;
+static void
+cfi_add_CFA_insn_offset (int insn, offsetT offset)
+{
+  struct cfi_insn_data *insn_ptr = alloc_cfi_insn_data ();
 
 
-  SKIP_WHITESPACE ();
-  if (*input_line_pointer == ',')
-    {
-      input_line_pointer++;
-      SKIP_WHITESPACE ();
-    }
+  insn_ptr->insn = insn;
+  insn_ptr->u.i = offset;
+}
+
+static void
+cfi_add_CFA_insn_reg_reg (int insn, unsigned reg1, unsigned reg2)
+{
+  struct cfi_insn_data *insn_ptr = alloc_cfi_insn_data ();
+
+  insn_ptr->insn = insn;
+  insn_ptr->u.rr.reg1 = reg1;
+  insn_ptr->u.rr.reg2 = reg2;
+}
+
+static void
+cfi_add_CFA_insn_reg_offset (int insn, unsigned regno, offsetT offset)
+{
+  struct cfi_insn_data *insn_ptr = alloc_cfi_insn_data ();
+
+  insn_ptr->insn = insn;
+  insn_ptr->u.ri.reg = regno;
+  insn_ptr->u.ri.offset = offset;
+}
+
+/* Add a CFI insn to advance the PC from the last address to LABEL.  */
+
+void
+cfi_add_advance_loc (symbolS *label)
+{
+  struct cfi_insn_data *insn = alloc_cfi_insn_data ();
+
+  insn->insn = DW_CFA_advance_loc;
+  insn->u.ll.lab1 = frchain_now->frch_cfi_data->last_address;
+  insn->u.ll.lab2 = label;
 
 
-  return retval;
+  frchain_now->frch_cfi_data->last_address = label;
 }
 
 }
 
-static int
-cfi_parse_reg (long *param)
+/* Add a DW_CFA_offset record to the CFI data.  */
+
+void
+cfi_add_CFA_offset (unsigned regno, offsetT offset)
+{
+  unsigned int abs_data_align;
+
+  assert (DWARF2_CIE_DATA_ALIGNMENT != 0);
+  cfi_add_CFA_insn_reg_offset (DW_CFA_offset, regno, offset);
+
+  abs_data_align = (DWARF2_CIE_DATA_ALIGNMENT < 0
+                   ? -DWARF2_CIE_DATA_ALIGNMENT : DWARF2_CIE_DATA_ALIGNMENT);
+  if (offset % abs_data_align)
+    as_bad (_("register save offset not a multiple of %u"), abs_data_align);
+}
+
+/* Add a DW_CFA_def_cfa record to the CFI data.  */
+
+void
+cfi_add_CFA_def_cfa (unsigned regno, offsetT offset)
+{
+  cfi_add_CFA_insn_reg_offset (DW_CFA_def_cfa, regno, offset);
+  frchain_now->frch_cfi_data->cur_cfa_offset = offset;
+}
+
+/* Add a DW_CFA_register record to the CFI data.  */
+
+void
+cfi_add_CFA_register (unsigned reg1, unsigned reg2)
 {
 {
-  return cfi_parse_arg (param, 1);
+  cfi_add_CFA_insn_reg_reg (DW_CFA_register, reg1, reg2);
 }
 
 }
 
-static int
-cfi_parse_const (long *param)
+/* Add a DW_CFA_def_cfa_register record to the CFI data.  */
+
+void
+cfi_add_CFA_def_cfa_register (unsigned regno)
 {
 {
-  return cfi_parse_arg (param, 0);
+  cfi_add_CFA_insn_reg (DW_CFA_def_cfa_register, regno);
 }
 
 }
 
+/* Add a DW_CFA_def_cfa_offset record to the CFI data.  */
+
 void
 void
-cfi_add_insn (enum cfi_insn insn, long param0, long param1)
+cfi_add_CFA_def_cfa_offset (offsetT offset)
 {
 {
-  struct cfi_data *data_ptr;
+  cfi_add_CFA_insn_offset (DW_CFA_def_cfa_offset, offset);
+  frchain_now->frch_cfi_data->cur_cfa_offset = offset;
+}
+
+void
+cfi_add_CFA_restore (unsigned regno)
+{
+  cfi_add_CFA_insn_reg (DW_CFA_restore, regno);
+}
+
+void
+cfi_add_CFA_undefined (unsigned regno)
+{
+  cfi_add_CFA_insn_reg (DW_CFA_undefined, regno);
+}
 
 
-  if (!cfi_info->data)
+void
+cfi_add_CFA_same_value (unsigned regno)
+{
+  cfi_add_CFA_insn_reg (DW_CFA_same_value, regno);
+}
+
+void
+cfi_add_CFA_remember_state (void)
+{
+  struct cfa_save_data *p;
+
+  cfi_add_CFA_insn (DW_CFA_remember_state);
+
+  p = xmalloc (sizeof (*p));
+  p->cfa_offset = frchain_now->frch_cfi_data->cur_cfa_offset;
+  p->next = frchain_now->frch_cfi_data->cfa_save_stack;
+  frchain_now->frch_cfi_data->cfa_save_stack = p;
+}
+
+void
+cfi_add_CFA_restore_state (void)
+{
+  struct cfa_save_data *p;
+
+  cfi_add_CFA_insn (DW_CFA_restore_state);
+
+  p = frchain_now->frch_cfi_data->cfa_save_stack;
+  if (p)
     {
     {
-      cfi_info->data = alloc_cfi_data ();
-      data_ptr = cfi_info->data;
+      frchain_now->frch_cfi_data->cur_cfa_offset = p->cfa_offset;
+      frchain_now->frch_cfi_data->cfa_save_stack = p->next;
+      free (p);
     }
   else
     }
   else
-    {
-      data_ptr = cfi_info->data;
+    as_bad (_("CFI state restore without previous remember"));
+}
 
 
-      while (data_ptr && data_ptr->next)
-       data_ptr = data_ptr->next;
+\f
+/* Parse CFI assembler directives.  */
 
 
-      data_ptr->next = alloc_cfi_data ();
+static void dot_cfi (int);
+static void dot_cfi_escape (int);
+static void dot_cfi_startproc (int);
+static void dot_cfi_endproc (int);
+static void dot_cfi_personality (int);
+static void dot_cfi_lsda (int);
 
 
-      data_ptr = data_ptr->next;
-    }
+/* Fake CFI type; outside the byte range of any real CFI insn.  */
+#define CFI_adjust_cfa_offset  0x100
+#define CFI_return_column      0x101
+#define CFI_rel_offset         0x102
+#define CFI_escape             0x103
+#define CFI_signal_frame       0x104
 
 
-  data_ptr->insn = insn;
-  data_ptr->param[0] = param0;
-  data_ptr->param[1] = param1;
-}
+const pseudo_typeS cfi_pseudo_table[] =
+  {
+    { "cfi_startproc", dot_cfi_startproc, 0 },
+    { "cfi_endproc", dot_cfi_endproc, 0 },
+    { "cfi_def_cfa", dot_cfi, DW_CFA_def_cfa },
+    { "cfi_def_cfa_register", dot_cfi, DW_CFA_def_cfa_register },
+    { "cfi_def_cfa_offset", dot_cfi, DW_CFA_def_cfa_offset },
+    { "cfi_adjust_cfa_offset", dot_cfi, CFI_adjust_cfa_offset },
+    { "cfi_offset", dot_cfi, DW_CFA_offset },
+    { "cfi_rel_offset", dot_cfi, CFI_rel_offset },
+    { "cfi_register", dot_cfi, DW_CFA_register },
+    { "cfi_return_column", dot_cfi, CFI_return_column },
+    { "cfi_restore", dot_cfi, DW_CFA_restore },
+    { "cfi_undefined", dot_cfi, DW_CFA_undefined },
+    { "cfi_same_value", dot_cfi, DW_CFA_same_value },
+    { "cfi_remember_state", dot_cfi, DW_CFA_remember_state },
+    { "cfi_restore_state", dot_cfi, DW_CFA_restore_state },
+    { "cfi_window_save", dot_cfi, DW_CFA_GNU_window_save },
+    { "cfi_escape", dot_cfi_escape, 0 },
+    { "cfi_signal_frame", dot_cfi, CFI_signal_frame },
+    { "cfi_personality", dot_cfi_personality, 0 },
+    { "cfi_lsda", dot_cfi_lsda, 0 },
+    { NULL, NULL, 0 }
+  };
 
 static void
 
 static void
-cfi_advance_loc (void)
+cfi_parse_separator (void)
 {
 {
-  addressT curr_address = frag_now_fix ();
-  if (cfi_info->last_address == curr_address)
-    return;
-  cfi_add_insn (CFA_advance_loc,
-               (long) (curr_address - cfi_info->last_address), 0);
-  cfi_info->last_address = curr_address;
+  SKIP_WHITESPACE ();
+  if (*input_line_pointer == ',')
+    input_line_pointer++;
+  else
+    as_bad (_("missing separator"));
 }
 
 }
 
-static long
-get_current_offset (struct cfi_info *info)
+static unsigned
+cfi_parse_reg (void)
 {
 {
-  long current_offset = 0;
-  struct cfi_data *data = info->data;
+  int regno;
+  expressionS exp;
+
+#ifdef tc_regname_to_dw2regnum
+  SKIP_WHITESPACE ();
+  if (is_name_beginner (*input_line_pointer)
+      || (*input_line_pointer == '%'
+         && is_name_beginner (*++input_line_pointer)))
+    {
+      char *name, c;
+
+      name = input_line_pointer;
+      c = get_symbol_end ();
+
+      if ((regno = tc_regname_to_dw2regnum (name)) < 0)
+       {
+         as_bad (_("bad register expression"));
+         regno = 0;
+       }
+
+      *input_line_pointer = c;
+      return regno;
+    }
+#endif
 
 
-  current_offset = 0;
-  while (data)
+  expression_and_evaluate (&exp);
+  switch (exp.X_op)
     {
     {
-      if (data->insn == CFA_def_cfa)
-       current_offset = data->param[1];
-      else if (data->insn == CFA_def_cfa_offset)
-       current_offset = data->param[0];
-      data = data->next;
+    case O_register:
+    case O_constant:
+      regno = exp.X_add_number;
+      break;
+
+    default:
+      as_bad (_("bad register expression"));
+      regno = 0;
+      break;
     }
 
     }
 
-  return current_offset;
+  return regno;
+}
+
+static offsetT
+cfi_parse_const (void)
+{
+  return get_absolute_expression ();
 }
 
 static void
 }
 
 static void
-cfi_make_insn (int arg)
+dot_cfi (int arg)
 {
 {
-  long param[2] = { 0, 0 };
+  offsetT offset;
+  unsigned reg1, reg2;
 
 
-  if (!cfi_info)
+  if (frchain_now->frch_cfi_data == NULL)
     {
       as_bad (_("CFI instruction used without previous .cfi_startproc"));
     {
       as_bad (_("CFI instruction used without previous .cfi_startproc"));
+      ignore_rest_of_line ();
       return;
     }
 
       return;
     }
 
-  cfi_advance_loc ();
+  /* If the last address was not at the current PC, advance to current.  */
+  if (symbol_get_frag (frchain_now->frch_cfi_data->last_address) != frag_now
+      || S_GET_VALUE (frchain_now->frch_cfi_data->last_address)
+        != frag_now_fix ())
+    cfi_add_advance_loc (symbol_temp_new_now ());
 
   switch (arg)
     {
 
   switch (arg)
     {
-      /* Instructions that take two arguments (register, integer). */
-    case CFA_offset:
-    case CFA_def_cfa:
-      if (cfi_parse_reg (&param[0]) < 0)
-       {
-         as_bad (_("first argument to %s is not a register"),
-                 cfi_insn_str (arg));
-         return;
-       }
-      if (cfi_parse_const (&param[1]) < 0)
-       {
-         as_bad (_("second argument to %s is not a number"),
-                 cfi_insn_str (arg));
-         return;
-       }
+    case DW_CFA_offset:
+      reg1 = cfi_parse_reg ();
+      cfi_parse_separator ();
+      offset = cfi_parse_const ();
+      cfi_add_CFA_offset (reg1, offset);
       break;
 
       break;
 
-    case CFA_register:
-      if (cfi_parse_reg (&param[0]) < 0)
-       {
-         as_bad (_("first argument to %s is not a register"),
-                 cfi_insn_str (arg));
-         return;
-       }
-      if (cfi_parse_reg (&param[1]) < 0)
-       {
-         as_bad (_("second argument to %s is not a register"),
-                 cfi_insn_str (arg));
-         return;
-       }
+    case CFI_rel_offset:
+      reg1 = cfi_parse_reg ();
+      cfi_parse_separator ();
+      offset = cfi_parse_const ();
+      cfi_add_CFA_offset (reg1,
+                         offset - frchain_now->frch_cfi_data->cur_cfa_offset);
       break;
 
       break;
 
-      /* Instructions that take one register argument.  */
-    case CFA_def_cfa_register:
-      if (cfi_parse_reg (&param[0]) < 0)
-       {
-         as_bad (_("argument to %s is not a register"), cfi_insn_str (arg));
-         return;
-       }
+    case DW_CFA_def_cfa:
+      reg1 = cfi_parse_reg ();
+      cfi_parse_separator ();
+      offset = cfi_parse_const ();
+      cfi_add_CFA_def_cfa (reg1, offset);
+      break;
+
+    case DW_CFA_register:
+      reg1 = cfi_parse_reg ();
+      cfi_parse_separator ();
+      reg2 = cfi_parse_reg ();
+      cfi_add_CFA_register (reg1, reg2);
+      break;
+
+    case DW_CFA_def_cfa_register:
+      reg1 = cfi_parse_reg ();
+      cfi_add_CFA_def_cfa_register (reg1);
+      break;
+
+    case DW_CFA_def_cfa_offset:
+      offset = cfi_parse_const ();
+      cfi_add_CFA_def_cfa_offset (offset);
       break;
 
       break;
 
-      /* Instructions that take one integer argument.  */
-    case CFA_def_cfa_offset:
-      if (cfi_parse_const (&param[0]) < 0)
+    case CFI_adjust_cfa_offset:
+      offset = cfi_parse_const ();
+      cfi_add_CFA_def_cfa_offset (frchain_now->frch_cfi_data->cur_cfa_offset
+                                 + offset);
+      break;
+
+    case DW_CFA_restore:
+      for (;;)
        {
        {
-         as_bad (_("argument to %s is not a number"), cfi_insn_str (arg));
-         return;
+         reg1 = cfi_parse_reg ();
+         cfi_add_CFA_restore (reg1);
+         SKIP_WHITESPACE ();
+         if (*input_line_pointer != ',')
+           break;
+         ++input_line_pointer;
        }
       break;
 
        }
       break;
 
-      /* Special handling for pseudo-instruction.  */
-    case CFI_adjust_cfa_offset:
-      if (cfi_parse_const (&param[0]) < 0)
+    case DW_CFA_undefined:
+      for (;;)
        {
        {
-         as_bad (_("argument to %s is not a number"),
-                   ".cfi_adjust_cfa_offset");
-         return;
+         reg1 = cfi_parse_reg ();
+         cfi_add_CFA_undefined (reg1);
+         SKIP_WHITESPACE ();
+         if (*input_line_pointer != ',')
+           break;
+         ++input_line_pointer;
        }
        }
-      param[0] += get_current_offset (cfi_info);
-      arg = CFA_def_cfa_offset;
+      break;
+
+    case DW_CFA_same_value:
+      reg1 = cfi_parse_reg ();
+      cfi_add_CFA_same_value (reg1);
+      break;
+
+    case CFI_return_column:
+      reg1 = cfi_parse_reg ();
+      cfi_set_return_column (reg1);
+      break;
+
+    case DW_CFA_remember_state:
+      cfi_add_CFA_remember_state ();
+      break;
+
+    case DW_CFA_restore_state:
+      cfi_add_CFA_restore_state ();
+      break;
+
+    case DW_CFA_GNU_window_save:
+      cfi_add_CFA_insn (DW_CFA_GNU_window_save);
+      break;
+
+    case CFI_signal_frame:
+      frchain_now->frch_cfi_data->cur_fde_data->signal_frame = 1;
       break;
 
     default:
       break;
 
     default:
-      as_bad (_("unknown CFI instruction %d (%s)"), arg, cfi_insn_str (arg));
-      return;
+      abort ();
     }
     }
-  cfi_add_insn (arg, param[0], param[1]);
+
+  demand_empty_rest_of_line ();
 }
 
 }
 
-static symbolS *
-cfi_get_label (void)
+static void
+dot_cfi_escape (int ignored ATTRIBUTE_UNUSED)
 {
 {
-  char symname[40], *symbase=".Llbl_cfi";
-  symbolS *symbolP;
-  unsigned int i = 0;
+  struct cfi_escape_data *head, **tail, *e;
+  struct cfi_insn_data *insn;
 
 
-  snprintf (symname, sizeof (symname), "%s_0x%lx",
-           symbase, (long) frag_now_fix ());
-  while ((symbolP = symbol_find (symname)))
+  if (frchain_now->frch_cfi_data == NULL)
     {
     {
-      if ((S_GET_VALUE (symbolP) == frag_now_fix ())
-         && (S_GET_SEGMENT (symbolP) == now_seg))
-       {
-         return symbolP;
-       }
-      snprintf (symname, sizeof (symname), "%s_0x%lx_%u",
-               symbase, (long) frag_now_fix (), i++);
+      as_bad (_("CFI instruction used without previous .cfi_startproc"));
+      ignore_rest_of_line ();
+      return;
+    }
+
+  /* If the last address was not at the current PC, advance to current.  */
+  if (symbol_get_frag (frchain_now->frch_cfi_data->last_address) != frag_now
+      || S_GET_VALUE (frchain_now->frch_cfi_data->last_address)
+        != frag_now_fix ())
+    cfi_add_advance_loc (symbol_temp_new_now ());
+
+  tail = &head;
+  do
+    {
+      e = xmalloc (sizeof (*e));
+      do_parse_cons_expression (&e->exp, 1);
+      *tail = e;
+      tail = &e->next;
     }
     }
-  symbolP = (symbolS *) local_symbol_make (symname, now_seg,
-                                          (valueT) frag_now_fix (),
-                                          frag_now);
-  return symbolP;
+  while (*input_line_pointer++ == ',');
+  *tail = NULL;
+
+  insn = alloc_cfi_insn_data ();
+  insn->insn = CFI_escape;
+  insn->u.esc = head;
+
+  --input_line_pointer;
+  demand_empty_rest_of_line ();
 }
 
 static void
 }
 
 static void
-dot_cfi_startproc (void)
+dot_cfi_personality (int ignored ATTRIBUTE_UNUSED)
 {
 {
-  const char *simple = "simple";
+  struct fde_entry *fde;
+  offsetT encoding;
 
 
-  if (cfi_info)
+  if (frchain_now->frch_cfi_data == NULL)
     {
     {
-      as_bad (_("previous CFI entry not closed (missing .cfi_endproc)"));
+      as_bad (_("CFI instruction used without previous .cfi_startproc"));
+      ignore_rest_of_line ();
       return;
     }
 
       return;
     }
 
-#if defined(TARGET_USE_CFIPOP)
-  /* Because this file is linked even for architectures that 
-     don't use CFI, we must wrap this call.  */
-  if (current_config.addr_length == 0)
-    tc_cfi_init ();
+  fde = frchain_now->frch_cfi_data->cur_fde_data;
+  encoding = get_absolute_expression ();
+  if (encoding == DW_EH_PE_omit)
+    {
+      demand_empty_rest_of_line ();
+      fde->per_encoding = encoding;
+      return;
+    }
+
+  if ((encoding & 0xff) != encoding
+      || ((encoding & 0x70) != 0
+#if defined DIFF_EXPR_OK || defined tc_cfi_emit_pcrel_expr
+         && (encoding & 0x70) != DW_EH_PE_pcrel
 #endif
 #endif
+         )
+        /* leb128 can be handled, but does something actually need it?  */
+      || (encoding & 7) == DW_EH_PE_uleb128
+      || (encoding & 7) > DW_EH_PE_udata8)
+    {
+      as_bad (_("invalid or unsupported encoding in .cfi_personality"));
+      ignore_rest_of_line ();
+      return;
+    }
 
 
-  cfi_info = alloc_cfi_info ();
+  if (*input_line_pointer++ != ',')
+    {
+      as_bad (_(".cfi_personality requires encoding and symbol arguments"));
+      ignore_rest_of_line ();
+      return;
+    }
 
 
-  cfi_info->start_address = frag_now_fix ();
-  cfi_info->last_address = cfi_info->start_address;
-  cfi_info->labelname = S_GET_NAME (cfi_get_label ());
+  expression_and_evaluate (&fde->personality);
+  switch (fde->personality.X_op)
+    {
+    case O_symbol:
+      break;
+    case O_constant:
+      if ((encoding & 0x70) == DW_EH_PE_pcrel)
+       encoding = DW_EH_PE_omit;
+      break;
+    default:
+      encoding = DW_EH_PE_omit;
+      break;
+    }
 
 
-  SKIP_WHITESPACE ();
-#ifdef tc_cfi_frame_initial_instructions
-  if (strncmp (simple, input_line_pointer, strlen (simple)) != 0)
-    tc_cfi_frame_initial_instructions ();
-  else
-    input_line_pointer += strlen (simple);
-#endif
+  fde->per_encoding = encoding;
+
+  if (encoding == DW_EH_PE_omit)
+    {
+      as_bad (_("wrong second argument to .cfi_personality"));
+      ignore_rest_of_line ();
+      return;
+    }
+
+  demand_empty_rest_of_line ();
 }
 
 }
 
-#define cfi_is_advance_insn(insn)                              \
-  ((insn >= CFA_set_loc && insn <= CFA_advance_loc4)           \
-   || insn == CFA_advance_loc)
+static void
+dot_cfi_lsda (int ignored ATTRIBUTE_UNUSED)
+{
+  struct fde_entry *fde;
+  offsetT encoding;
 
 
-/* Output CFI instructions to the file.  */
+  if (frchain_now->frch_cfi_data == NULL)
+    {
+      as_bad (_("CFI instruction used without previous .cfi_startproc"));
+      ignore_rest_of_line ();
+      return;
+    }
 
 
-enum data_types
-  {
-    t_ascii = 0,
-    t_byte = 1,
-    t_half = 2,
-    t_long = 4,
-    t_quad = 8,
-    t_uleb128 = 0x10,
-    t_sleb128 = 0x11
-  };
+  fde = frchain_now->frch_cfi_data->cur_fde_data;
+  encoding = get_absolute_expression ();
+  if (encoding == DW_EH_PE_omit)
+    {
+      demand_empty_rest_of_line ();
+      fde->lsda_encoding = encoding;
+      return;
+    }
 
 
-static int
-output_data (char **p, unsigned long *size, enum data_types type, long value)
-{
-  char *ptr = *p;
-  unsigned int ret_size;
+  if ((encoding & 0xff) != encoding
+      || ((encoding & 0x70) != 0
+#if defined DIFF_EXPR_OK || defined tc_cfi_emit_pcrel_expr
+         && (encoding & 0x70) != DW_EH_PE_pcrel
+#endif
+         )
+        /* leb128 can be handled, but does something actually need it?  */
+      || (encoding & 7) == DW_EH_PE_uleb128
+      || (encoding & 7) > DW_EH_PE_udata8)
+    {
+      as_bad (_("invalid or unsupported encoding in .cfi_lsda"));
+      ignore_rest_of_line ();
+      return;
+    }
 
 
-  switch (type)
+  if (*input_line_pointer++ != ',')
     {
     {
-    case t_byte:
-      ret_size = 1;
-      break;
-    case t_half:
-      ret_size = 2;
-      break;
-    case t_long:
-      ret_size = 4;
+      as_bad (_(".cfi_lsda requires encoding and symbol arguments"));
+      ignore_rest_of_line ();
+      return;
+    }
+
+  fde->lsda_encoding = encoding;
+
+  expression_and_evaluate (&fde->lsda);
+  switch (fde->lsda.X_op)
+    {
+    case O_symbol:
       break;
       break;
-    case t_quad:
-    case t_uleb128:
-    case t_sleb128:
-      ret_size = 8;
+    case O_constant:
+      if ((encoding & 0x70) == DW_EH_PE_pcrel)
+       encoding = DW_EH_PE_omit;
       break;
     default:
       break;
     default:
-      /* This should never happen - throw an internal error.  */
-      as_fatal (_("unknown type %d"), type);
-      return 0;
+      encoding = DW_EH_PE_omit;
+      break;
     }
 
     }
 
-  if (*size < ret_size)
+  fde->lsda_encoding = encoding;
+
+  if (encoding == DW_EH_PE_omit)
     {
     {
-      as_bad (_("output_data buffer is too small"));
-      return 0;
+      as_bad (_("wrong second argument to .cfi_lsda"));
+      ignore_rest_of_line ();
+      return;
     }
 
     }
 
-  switch (type)
+  demand_empty_rest_of_line ();
+}
+
+static void
+dot_cfi_startproc (int ignored ATTRIBUTE_UNUSED)
+{
+  int simple = 0;
+
+  if (frchain_now->frch_cfi_data != NULL)
     {
     {
-    case t_byte:
-      *ptr = (char) value;
-      if (verbose)
-       printf ("\t.byte\t0x%x\n", (unsigned char) *ptr);
-      break;
-    case t_half:
-      *(short *) ptr = (short) value & 0xFFFF;
-      if (verbose)
-       printf ("\t.half\t0x%x\n", (unsigned short) *ptr);
-      break;
-    case t_long:
-      *(int *) ptr = (int) value & 0xFFFFFFFF;
-      if (verbose)
-       printf ("\t.long\t0x%x\n", (unsigned int) *ptr);
-      break;
-    case t_quad:
-      *(long long *) ptr = (long long) value & 0xFFFFFFFF;
-      if (verbose)
-       printf ("\t.quad\t0x%x\n", (unsigned int) *ptr);
-      break;
-    case t_uleb128:
-    case t_sleb128:
-      ret_size = output_leb128 (ptr, value, type == t_sleb128);
-      if (verbose)
-       printf ("\t.%s\t0x%lx\n",
-               type == t_sleb128 ? "sleb128" : "uleb128",
-               value);
-      break;
-    default:
-      as_fatal (_("unknown type %d"), type);
-      return 0;
+      as_bad (_("previous CFI entry not closed (missing .cfi_endproc)"));
+      ignore_rest_of_line ();
+      return;
     }
 
     }
 
-  *size -= ret_size;
-  *p += ret_size;
+  cfi_new_fde (symbol_temp_new_now ());
 
 
-  return ret_size;
+  SKIP_WHITESPACE ();
+  if (is_name_beginner (*input_line_pointer))
+    {
+      char *name, c;
+
+      name = input_line_pointer;
+      c = get_symbol_end ();
+
+      if (strcmp (name, "simple") == 0)
+       {
+         simple = 1;
+         *input_line_pointer = c;
+       }
+      else
+       input_line_pointer = name;
+    }
+  demand_empty_rest_of_line ();
+
+  frchain_now->frch_cfi_data->cur_cfa_offset = 0;
+  if (!simple)
+    tc_cfi_frame_initial_instructions ();
+}
+
+static void
+dot_cfi_endproc (int ignored ATTRIBUTE_UNUSED)
+{
+  if (frchain_now->frch_cfi_data == NULL)
+    {
+      as_bad (_(".cfi_endproc without corresponding .cfi_startproc"));
+      ignore_rest_of_line ();
+      return;
+    }
+
+  cfi_end_fde (symbol_temp_new_now ());
+
+  demand_empty_rest_of_line ();
+}
+
+\f
+/* Emit a single byte into the current segment.  */
+
+static inline void
+out_one (int byte)
+{
+  FRAG_APPEND_1_CHAR (byte);
 }
 
 }
 
-static int
-cfi_output_insn (struct cfi_data *data, char **buf, unsigned long *buf_size)
+/* Emit a two-byte word into the current segment.  */
+
+static inline void
+out_two (int data)
+{
+  md_number_to_chars (frag_more (2), data, 2);
+}
+
+/* Emit a four byte word into the current segment.  */
+
+static inline void
+out_four (int data)
+{
+  md_number_to_chars (frag_more (4), data, 4);
+}
+
+/* Emit an unsigned "little-endian base 128" number.  */
+
+static void
+out_uleb128 (addressT value)
+{
+  output_leb128 (frag_more (sizeof_leb128 (value, 0)), value, 0);
+}
+
+/* Emit an unsigned "little-endian base 128" number.  */
+
+static void
+out_sleb128 (offsetT value)
 {
 {
-  char **pbuf = buf, *orig_buf = *buf;
-  unsigned long size;
+  output_leb128 (frag_more (sizeof_leb128 (value, 1)), value, 1);
+}
 
 
-  if (!data || !buf)
-    as_fatal (_("cfi_output_insn called with NULL pointer"));
+static void
+output_cfi_insn (struct cfi_insn_data *insn)
+{
+  offsetT offset;
+  unsigned int regno;
 
 
-  switch (data->insn)
+  switch (insn->insn)
     {
     {
-    case CFA_advance_loc:
-      if (verbose)
-       printf ("\t# %s(%ld)\n", cfi_insn_str (data->insn),
-               data->param[0]);
-      if (data->param[0] <= 0x3F)
+    case DW_CFA_advance_loc:
+      {
+       symbolS *from = insn->u.ll.lab1;
+       symbolS *to = insn->u.ll.lab2;
+
+       if (symbol_get_frag (to) == symbol_get_frag (from))
+         {
+           addressT delta = S_GET_VALUE (to) - S_GET_VALUE (from);
+           addressT scaled = delta / DWARF2_LINE_MIN_INSN_LENGTH;
+
+           if (scaled <= 0x3F)
+             out_one (DW_CFA_advance_loc + scaled);
+           else if (delta <= 0xFF)
+             {
+               out_one (DW_CFA_advance_loc1);
+               out_one (delta);
+             }
+           else if (delta <= 0xFFFF)
+             {
+               out_one (DW_CFA_advance_loc2);
+               out_two (delta);
+             }
+           else
+             {
+               out_one (DW_CFA_advance_loc4);
+               out_four (delta);
+             }
+         }
+       else
+         {
+           expressionS exp;
+
+           exp.X_op = O_subtract;
+           exp.X_add_symbol = to;
+           exp.X_op_symbol = from;
+           exp.X_add_number = 0;
+
+           /* The code in ehopt.c expects that one byte of the encoding
+              is already allocated to the frag.  This comes from the way
+              that it scans the .eh_frame section looking first for the
+              .byte DW_CFA_advance_loc4.  */
+           frag_more (1);
+
+           frag_var (rs_cfa, 4, 0, DWARF2_LINE_MIN_INSN_LENGTH << 3,
+                     make_expr_symbol (&exp), frag_now_fix () - 1,
+                     (char *) frag_now);
+         }
+      }
+      break;
+
+    case DW_CFA_def_cfa:
+      offset = insn->u.ri.offset;
+      if (offset < 0)
        {
        {
-         output_data (pbuf, buf_size, t_byte, CFA_advance_loc +
-                      (data->param[0] / current_config.code_align));
+         out_one (DW_CFA_def_cfa_sf);
+         out_uleb128 (insn->u.ri.reg);
+         out_sleb128 (offset / DWARF2_CIE_DATA_ALIGNMENT);
        }
        }
-      else if (data->param[0] <= 0xFF)
+      else
        {
        {
-         output_data (pbuf, buf_size, t_byte, CFA_advance_loc1);
-         output_data (pbuf, buf_size, t_byte,
-                      data->param[0] / current_config.code_align);
+         out_one (DW_CFA_def_cfa);
+         out_uleb128 (insn->u.ri.reg);
+         out_uleb128 (offset);
        }
        }
-      else if (data->param[0] <= 0xFFFF)
+      break;
+
+    case DW_CFA_def_cfa_register:
+    case DW_CFA_undefined:
+    case DW_CFA_same_value:
+      out_one (insn->insn);
+      out_uleb128 (insn->u.r);
+      break;
+
+    case DW_CFA_def_cfa_offset:
+      offset = insn->u.i;
+      if (offset < 0)
        {
        {
-         output_data (pbuf, buf_size, t_byte, CFA_advance_loc2);
-         output_data (pbuf, buf_size, t_half,
-                      data->param[0] / current_config.code_align);
+         out_one (DW_CFA_def_cfa_offset_sf);
+         out_sleb128 (offset / DWARF2_CIE_DATA_ALIGNMENT);
        }
       else
        {
        }
       else
        {
-         output_data (pbuf, buf_size, t_byte, CFA_advance_loc4);
-         output_data (pbuf, buf_size, t_long,
-                      data->param[0] / current_config.code_align);
+         out_one (DW_CFA_def_cfa_offset);
+         out_uleb128 (offset);
        }
       break;
 
        }
       break;
 
-    case CFA_def_cfa:
-      if (verbose)
-       printf ("\t# CFA_def_cfa(%ld,%ld)\n",
-               data->param[0], data->param[1]);
-      output_data (pbuf, buf_size, t_byte, CFA_def_cfa);
-      output_data (pbuf, buf_size, t_uleb128, data->param[0]);
-      output_data (pbuf, buf_size, t_uleb128, data->param[1]);
-      break;
-
-    case CFA_def_cfa_register:
-    case CFA_def_cfa_offset:
-      if (verbose)
-       printf ("\t# %s(%ld)\n", cfi_insn_str (data->insn),
-               data->param[0]);
-      output_data (pbuf, buf_size, t_byte, data->insn);
-      output_data (pbuf, buf_size, t_uleb128, data->param[0]);
+    case DW_CFA_restore:
+      regno = insn->u.r;
+      if (regno <= 0x3F)
+       {
+         out_one (DW_CFA_restore + regno);
+       }
+      else
+       {
+         out_one (DW_CFA_restore_extended);
+         out_uleb128 (regno);
+       }
       break;
 
       break;
 
-    case CFA_offset:
-      if (verbose)
-       printf ("\t# %s(%ld,%ld)\n", cfi_insn_str (data->insn),
-               data->param[0], data->param[1]);
-
-      /* Check whether to use CFA_offset or CFA_offset_extended.  */
-      if (data->param[0] <= 0x3F)
-       output_data (pbuf, buf_size, t_byte, CFA_offset + data->param[0]);
+    case DW_CFA_offset:
+      regno = insn->u.ri.reg;
+      offset = insn->u.ri.offset / DWARF2_CIE_DATA_ALIGNMENT;
+      if (offset < 0)
+       {
+         out_one (DW_CFA_offset_extended_sf);
+         out_uleb128 (regno);
+         out_sleb128 (offset);
+       }
+      else if (regno <= 0x3F)
+       {
+         out_one (DW_CFA_offset + regno);
+         out_uleb128 (offset);
+       }
       else
        {
       else
        {
-         output_data (pbuf, buf_size, t_byte, CFA_offset_extended);
-         output_data (pbuf, buf_size, t_uleb128, data->param[0]);
+         out_one (DW_CFA_offset_extended);
+         out_uleb128 (regno);
+         out_uleb128 (offset);
        }
        }
-      output_data (pbuf, buf_size, t_uleb128,
-                  data->param[1] / current_config.data_align);
       break;
 
       break;
 
-    case CFA_register:
-      if (verbose)
-       printf ("\t# %s(%ld,%ld)\n", cfi_insn_str (data->insn),
-               data->param[0], data->param[1]);
-      output_data (pbuf, buf_size, t_byte, CFA_register);
-      output_data (pbuf, buf_size, t_uleb128, data->param[0]);
-      output_data (pbuf, buf_size, t_uleb128, data->param[1]);
+    case DW_CFA_register:
+      out_one (DW_CFA_register);
+      out_uleb128 (insn->u.rr.reg1);
+      out_uleb128 (insn->u.rr.reg2);
+      break;
+
+    case DW_CFA_remember_state:
+    case DW_CFA_restore_state:
+      out_one (insn->insn);
       break;
 
       break;
 
-    case CFA_nop:
-      if (verbose)
-       printf ("\t# CFA_nop\n");
-      output_data (pbuf, buf_size, t_byte, CFA_nop);
+    case DW_CFA_GNU_window_save:
+      out_one (DW_CFA_GNU_window_save);
       break;
 
       break;
 
+    case CFI_escape:
+      {
+       struct cfi_escape_data *e;
+       for (e = insn->u.esc; e ; e = e->next)
+         emit_expr (&e->exp, 1);
+       break;
+      }
+
     default:
     default:
-      as_warn ("CFA_unknown[%d](%ld,%ld)", data->insn,
-              data->param[0], data->param[1]);
+      abort ();
     }
     }
-  size = *pbuf - orig_buf;
-  *buf = *pbuf;
-  *buf_size -= size;
-  return size;
 }
 
 }
 
-static void
-dot_cfi_endproc (void)
-{
-  struct cfi_data *data_ptr;
-  struct cie_entry *cie_ptr;
-  char *cie_buf, *fde_buf, *pbuf, *where;
-  unsigned long buf_size, cie_size, fde_size, last_cie_offset;
-  unsigned long fde_initloc_offset, fde_len_offset, fde_offset;
-  void *saved_seg, *cfi_seg;
-  expressionS exp;
-
-  if (! cfi_info)
+static offsetT
+encoding_size (unsigned char encoding)
+{
+  if (encoding == DW_EH_PE_omit)
+    return 0;
+  switch (encoding & 0x7)
     {
     {
-      as_bad (_(".cfi_endproc without corresponding .cfi_startproc"));
-      return;
+    case 0:
+      return bfd_get_arch_size (stdoutput) == 64 ? 8 : 4;
+    case DW_EH_PE_udata2:
+      return 2;
+    case DW_EH_PE_udata4:
+      return 4;
+    case DW_EH_PE_udata8:
+      return 8;
+    default:
+      abort ();
     }
     }
-  cfi_info->end_address = frag_now_fix ();
-
-  /* Open .eh_frame section.  */
-  saved_seg = now_seg;
-  cfi_seg = subseg_new (".eh_frame", 0);
-  bfd_set_section_flags (stdoutput, cfi_seg,
-                        SEC_ALLOC | SEC_LOAD | SEC_RELOC | SEC_DATA);
-  subseg_set (cfi_seg, 0);
+}
 
 
-  /* Build CIE.  */
-  cie_buf = xcalloc (1024, 1);
-  /* Skip space for CIE length.  */
-  pbuf = cie_buf + 4;
-  buf_size = 1020;
-
-  if (verbose)
-    printf ("# CIE *****\n");
-
-  /* CIE id.  */
-  output_data (&pbuf, &buf_size, t_long, 0x0);
-  /* Version.  */
-  output_data (&pbuf, &buf_size, t_byte, 1);
-  /* Augmentation.  */
-  output_data (&pbuf, &buf_size, t_byte, 0);
-  /* Code alignment.  */
-  output_data (&pbuf, &buf_size, t_uleb128, current_config.code_align);
-  /* Data alignment.  */
-  output_data (&pbuf, &buf_size, t_sleb128, current_config.data_align);
-  /* Return address column.  */
-  output_data (&pbuf, &buf_size, t_byte, current_config.ra_column);
-
-  /* Build CFI instructions.  */
-  data_ptr = cfi_info->data;
-  while (data_ptr && !cfi_is_advance_insn (data_ptr->insn))
+static void
+output_cie (struct cie_entry *cie)
+{
+  symbolS *after_size_address, *end_address;
+  expressionS exp;
+  struct cfi_insn_data *i;
+  offsetT augmentation_size;
+
+  cie->start_address = symbol_temp_new_now ();
+  after_size_address = symbol_temp_make ();
+  end_address = symbol_temp_make ();
+
+  exp.X_op = O_subtract;
+  exp.X_add_symbol = end_address;
+  exp.X_op_symbol = after_size_address;
+  exp.X_add_number = 0;
+
+  emit_expr (&exp, 4);                         /* Length.  */
+  symbol_set_value_now (after_size_address);
+  out_four (0);                                        /* CIE id.  */
+  out_one (DW_CIE_VERSION);                    /* Version.  */
+  out_one ('z');                               /* Augmentation.  */
+  if (cie->per_encoding != DW_EH_PE_omit)
+    out_one ('P');
+  if (cie->lsda_encoding != DW_EH_PE_omit)
+    out_one ('L');
+  out_one ('R');
+  if (cie->signal_frame)
+    out_one ('S');
+  out_one (0);
+  out_uleb128 (DWARF2_LINE_MIN_INSN_LENGTH);   /* Code alignment.  */
+  out_sleb128 (DWARF2_CIE_DATA_ALIGNMENT);     /* Data alignment.  */
+  if (DW_CIE_VERSION == 1)                     /* Return column.  */
+    out_one (cie->return_column);
+  else
+    out_uleb128 (cie->return_column);
+  augmentation_size = 1 + (cie->lsda_encoding != DW_EH_PE_omit);
+  if (cie->per_encoding != DW_EH_PE_omit)
+    augmentation_size += 1 + encoding_size (cie->per_encoding);
+  out_uleb128 (augmentation_size);             /* Augmentation size.  */
+  if (cie->per_encoding != DW_EH_PE_omit)
     {
     {
-      cfi_output_insn (data_ptr, &pbuf, &buf_size);
-      data_ptr = data_ptr->next;
+      offsetT size = encoding_size (cie->per_encoding);
+      out_one (cie->per_encoding);
+      exp = cie->personality;
+      if ((cie->per_encoding & 0x70) == DW_EH_PE_pcrel)
+       {
+#ifdef DIFF_EXPR_OK
+         exp.X_op = O_subtract;
+         exp.X_op_symbol = symbol_temp_new_now ();
+         emit_expr (&exp, size);
+#elif defined (tc_cfi_emit_pcrel_expr)
+         tc_cfi_emit_pcrel_expr (&exp, size);
+#else
+         abort ();
+#endif
+       }
+      else
+       emit_expr (&exp, size);
     }
     }
+  if (cie->lsda_encoding != DW_EH_PE_omit)
+    out_one (cie->lsda_encoding);
+#if defined DIFF_EXPR_OK || defined tc_cfi_emit_pcrel_expr
+  out_one (DW_EH_PE_pcrel | DW_EH_PE_sdata4);
+#else
+  out_one (DW_EH_PE_sdata4);
+#endif
+
+  if (cie->first)
+    for (i = cie->first; i != cie->last; i = i->next)
+      output_cfi_insn (i);
 
 
-  /* Align the whole data to current_config.eh_align.  */
-  cie_size = pbuf - cie_buf;
-  cie_size += current_config.eh_align - cie_size % current_config.eh_align;
+  frag_align (2, DW_CFA_nop, 0);
+  symbol_set_value_now (end_address);
+}
 
 
-  /* CIE length.  */
-  pbuf = cie_buf;
-  output_data (&pbuf, &buf_size, t_long, cie_size - 4);
+static void
+output_fde (struct fde_entry *fde, struct cie_entry *cie,
+           struct cfi_insn_data *first, int align)
+{
+  symbolS *after_size_address, *end_address;
+  expressionS exp;
+  offsetT augmentation_size;
+
+  after_size_address = symbol_temp_make ();
+  end_address = symbol_temp_make ();
+
+  exp.X_op = O_subtract;
+  exp.X_add_symbol = end_address;
+  exp.X_op_symbol = after_size_address;
+  exp.X_add_number = 0;
+  emit_expr (&exp, 4);                         /* Length.  */
+  symbol_set_value_now (after_size_address);
+
+  exp.X_add_symbol = after_size_address;
+  exp.X_op_symbol = cie->start_address;
+  emit_expr (&exp, 4);                         /* CIE offset.  */
+
+#ifdef DIFF_EXPR_OK
+  exp.X_add_symbol = fde->start_address;
+  exp.X_op_symbol = symbol_temp_new_now ();
+  emit_expr (&exp, 4);                         /* Code offset.  */
+#else
+  exp.X_op = O_symbol;
+  exp.X_add_symbol = fde->start_address;
+  exp.X_op_symbol = NULL;
+#ifdef tc_cfi_emit_pcrel_expr
+  tc_cfi_emit_pcrel_expr (&exp, 4);            /* Code offset.  */
+#else
+  emit_expr (&exp, 4);                         /* Code offset.  */
+#endif
+  exp.X_op = O_subtract;
+#endif
 
 
-  /* OK, we built the CIE. Let's write it to the file...  */
-  last_cie_offset = frag_now_fix ();
+  exp.X_add_symbol = fde->end_address;
+  exp.X_op_symbol = fde->start_address;                /* Code length.  */
+  emit_expr (&exp, 4);
 
 
-  /* Check if we have already emitted the exactly same CIE. 
-     If yes then use its offset instead and don't put out 
-     the new one.  */
-  cie_ptr = cie_root;
-  while (cie_ptr)
-    {
-      if (cie_ptr->size == cie_size - 4
-         && memcmp (cie_ptr->data, cie_buf + 4, cie_ptr->size) == 0)
-       break;
-      cie_ptr = cie_ptr->next;
-    }
+  augmentation_size = encoding_size (fde->lsda_encoding);
+  out_uleb128 (augmentation_size);             /* Augmentation size.  */
 
 
-  /* If we have found the same CIE, use it...  */
-  if (cie_ptr)
-    {
-      if (verbose)
-       printf ("# Duplicate CIE found. Previous is at offset %lu\n",
-               cie_ptr->offset);
-      last_cie_offset = cie_ptr->offset;
-    }
-  else
+  if (fde->lsda_encoding != DW_EH_PE_omit)
     {
     {
-      /* Otherwise join this CIE to the list.  */
-      where = (unsigned char *) frag_more (cie_size);
-      memcpy (where, cie_buf, cie_size);
-      if (cie_root)
+      exp = fde->lsda;
+      if ((fde->lsda_encoding & 0x70) == DW_EH_PE_pcrel)
        {
        {
-         cie_ptr = cie_root;
-         while (cie_ptr->next)
-           cie_ptr = cie_ptr->next;
-         cie_ptr->next = calloc (sizeof (struct cie_entry), 1);
-         cie_ptr = cie_ptr->next;
+#ifdef DIFF_EXPR_OK
+         exp.X_op = O_subtract;
+         exp.X_op_symbol = symbol_temp_new_now ();
+         emit_expr (&exp, augmentation_size);
+#elif defined (tc_cfi_emit_pcrel_expr)
+         tc_cfi_emit_pcrel_expr (&exp, augmentation_size);
+#else
+         abort ();
+#endif
        }
       else
        }
       else
-       {
-         cie_root = calloc (sizeof (struct cie_entry), 1);
-         cie_ptr = cie_root;
-       }
-
-      cie_ptr->size = cie_size - 4;
-      cie_ptr->data = calloc (cie_ptr->size, 1);
-      cie_ptr->offset = last_cie_offset;
-      memcpy (cie_ptr->data, cie_buf + 4, cie_ptr->size);
+       emit_expr (&exp, augmentation_size);
     }
 
     }
 
-  /* Clean up.  */
-  free (cie_buf);
+  for (; first; first = first->next)
+    output_cfi_insn (first);
 
 
-  /* Build the FDE...  */
-  fde_buf = xcalloc (1024, 1);
-  pbuf = fde_buf;
-  buf_size = 1024;
+  frag_align (align, DW_CFA_nop, 0);
+  symbol_set_value_now (end_address);
+}
 
 
-  /* Offset of this FDE in current fragment.  */
-  fde_offset = frag_now_fix ();
+static struct cie_entry *
+select_cie_for_fde (struct fde_entry *fde, struct cfi_insn_data **pfirst)
+{
+  struct cfi_insn_data *i, *j;
+  struct cie_entry *cie;
 
 
-  if (verbose)
+  for (cie = cie_root; cie; cie = cie->next)
     {
     {
-      printf ("# FDE: start=0x%lx, end=0x%lx, delta=%d\n",
-             (long) cfi_info->start_address,
-             (long) cfi_info->end_address,
-             (int) (cfi_info->end_address - cfi_info->start_address));
-    }
-
-  /* FDE length (t_long, 4 bytes) - will be set later.  */
-  fde_len_offset = pbuf - fde_buf;
-  pbuf += 4;
-  buf_size -= 4;
-
-  /* CIE pointer - offset from here.  */
-  output_data (&pbuf, &buf_size, t_long, fde_offset - last_cie_offset + 4);
-
-  /* FDE initial location - this must be set relocatable!  */
-  fde_initloc_offset = pbuf - fde_buf + fde_offset;
-  output_data (&pbuf, &buf_size, current_config.addr_length,
-              cfi_info->start_address);
+      if (cie->return_column != fde->return_column
+         || cie->signal_frame != fde->signal_frame
+         || cie->per_encoding != fde->per_encoding
+         || cie->lsda_encoding != fde->lsda_encoding)
+       continue;
+      if (cie->per_encoding != DW_EH_PE_omit)
+       {
+         if (cie->personality.X_op != fde->personality.X_op
+             || cie->personality.X_add_number
+                != fde->personality.X_add_number)
+           continue;
+         switch (cie->personality.X_op)
+           {
+           case O_constant:
+             if (cie->personality.X_unsigned != fde->personality.X_unsigned)
+               continue;
+             break;
+           case O_symbol:
+             if (cie->personality.X_add_symbol
+                 != fde->personality.X_add_symbol)
+               continue;
+             break;
+           default:
+             abort ();
+           }
+       }
+      for (i = cie->first, j = fde->data;
+          i != cie->last && j != NULL;
+          i = i->next, j = j->next)
+       {
+         if (i->insn != j->insn)
+           goto fail;
+         switch (i->insn)
+           {
+           case DW_CFA_advance_loc:
+           case DW_CFA_remember_state:
+             /* We reached the first advance/remember in the FDE,
+                but did not reach the end of the CIE list.  */
+             goto fail;
+
+           case DW_CFA_offset:
+           case DW_CFA_def_cfa:
+             if (i->u.ri.reg != j->u.ri.reg)
+               goto fail;
+             if (i->u.ri.offset != j->u.ri.offset)
+               goto fail;
+             break;
+
+           case DW_CFA_register:
+             if (i->u.rr.reg1 != j->u.rr.reg1)
+               goto fail;
+             if (i->u.rr.reg2 != j->u.rr.reg2)
+               goto fail;
+             break;
+
+           case DW_CFA_def_cfa_register:
+           case DW_CFA_restore:
+           case DW_CFA_undefined:
+           case DW_CFA_same_value:
+             if (i->u.r != j->u.r)
+               goto fail;
+             break;
+
+           case DW_CFA_def_cfa_offset:
+             if (i->u.i != j->u.i)
+               goto fail;
+             break;
+
+           case CFI_escape:
+             /* Don't bother matching these for now.  */
+             goto fail;
+
+           default:
+             abort ();
+           }
+       }
 
 
-  /* FDE address range.  */
-  output_data (&pbuf, &buf_size, current_config.addr_length,
-              cfi_info->end_address - cfi_info->start_address);
+      /* Success if we reached the end of the CIE list, and we've either
+        run out of FDE entries or we've encountered an advance,
+        remember, or escape.  */
+      if (i == cie->last
+         && (!j
+             || j->insn == DW_CFA_advance_loc
+             || j->insn == DW_CFA_remember_state
+             || j->insn == CFI_escape))
+       {
+         *pfirst = j;
+         return cie;
+       }
 
 
-  while (data_ptr)
-    {
-      cfi_output_insn (data_ptr, &pbuf, &buf_size);
-      data_ptr = data_ptr->next;
+    fail:;
     }
 
     }
 
-  fde_size = pbuf - fde_buf;
-  fde_size += current_config.eh_align - fde_size % current_config.eh_align;
-
-  /* Now we can set FDE length.  */
-  pbuf = fde_buf + fde_len_offset;
-  buf_size = 4;
-  output_data (&pbuf, &buf_size, t_long, fde_size - 4);
-
-  /* Copy FDE to objfile.  */
-  where = (unsigned char *) frag_more (fde_size);
-  memcpy (where, fde_buf, fde_size);
-
-  /* Set relocation for initial address.  */
-  buf_size = current_config.addr_length;
-  memset (&exp, 0, sizeof (exp));
-  exp.X_op = O_symbol;
-  exp.X_add_symbol = symbol_find (cfi_info->labelname);
-  fix_new_exp (frag_now, fde_initloc_offset,
-              current_config.addr_length,
-              &exp, 0, current_config.reloc_type);
-
-  /* Clean up.  */
-  free (fde_buf);
+  cie = xmalloc (sizeof (struct cie_entry));
+  cie->next = cie_root;
+  cie_root = cie;
+  cie->return_column = fde->return_column;
+  cie->signal_frame = fde->signal_frame;
+  cie->per_encoding = fde->per_encoding;
+  cie->lsda_encoding = fde->lsda_encoding;
+  cie->personality = fde->personality;
+  cie->first = fde->data;
+
+  for (i = cie->first; i ; i = i->next)
+    if (i->insn == DW_CFA_advance_loc
+       || i->insn == DW_CFA_remember_state
+       || i->insn == CFI_escape)
+      break;
 
 
-  free (cfi_info);
-  cfi_info = NULL;
+  cie->last = i;
+  *pfirst = i;
+   
+  output_cie (cie);
 
 
-  /* Restore previous segment.  */
-  subseg_set (saved_seg, 0);
+  return cie;
 }
 
 void
 }
 
 void
-dot_cfi (int arg)
+cfi_finish (void)
 {
 {
-  long param;
+  segT cfi_seg;
+  struct fde_entry *fde;
+  int save_flag_traditional_format;
 
 
-  switch (arg)
+  if (all_fde_data == 0)
+    return;
+
+  /* Open .eh_frame section.  */
+  cfi_seg = subseg_new (".eh_frame", 0);
+  bfd_set_section_flags (stdoutput, cfi_seg,
+                        SEC_ALLOC | SEC_LOAD | SEC_DATA | SEC_READONLY);
+  subseg_set (cfi_seg, 0);
+  record_alignment (cfi_seg, EH_FRAME_ALIGNMENT);
+
+  /* Make sure check_eh_frame doesn't do anything with our output.  */
+  save_flag_traditional_format = flag_traditional_format;
+  flag_traditional_format = 1;
+
+  for (fde = all_fde_data; fde ; fde = fde->next)
     {
     {
-    case CFI_startproc:
-      dot_cfi_startproc ();
-      break;
-    case CFI_endproc:
-      dot_cfi_endproc ();
-      break;
-    case CFA_def_cfa:
-    case CFA_def_cfa_register:
-    case CFA_def_cfa_offset:
-    case CFA_offset:
-    case CFA_register:
-    case CFI_adjust_cfa_offset:
-      cfi_make_insn (arg);
-      break;
-    case CFI_verbose:
-      if (cfi_parse_const (&param) >= 0)
-       verbose = (int) param;
-      else
-       verbose = 1;
-      break;
-    default:
-      as_bad (_("unknown CFI code 0x%x (%s)"), arg, cfi_insn_str (arg));
-      break;
-    }
-  ignore_rest_of_line ();
-}
+      struct cfi_insn_data *first;
+      struct cie_entry *cie;
 
 
-void
-cfi_set_config (struct cfi_config *cfg)
-{
-  assert (cfg != NULL);
-  assert (cfg->addr_length > 0);
+      if (fde->end_address == NULL)
+       {
+         as_bad (_("open CFI at the end of file; missing .cfi_endproc directive"));
+         fde->end_address = fde->start_address;
+       }
 
 
-  current_config = *cfg;
-}
+      cie = select_cie_for_fde (fde, &first);
+      output_fde (fde, cie, first, fde->next == NULL ? EH_FRAME_ALIGNMENT : 2);
+    }
 
 
-void
-cfi_finish (void)
-{
-  if (cfi_info)
-    as_bad (_("open CFI at the end of file; missing .cfi_endproc directive"));
+  flag_traditional_format = save_flag_traditional_format;
 }
 }
GDB Binutils - Deliverables
This page took 0.041148 seconds and 4 git commands to generate.