Changes to let cons handle bignums like general expressions.
[binutils-gdb.git] / gas / read.c
index d50ed86147a3c64a49a8cecce1ea9bff5ceda0ec..f741f465d74abfdcf2888235fa0419d7d364a101 100644 (file)
@@ -1,5 +1,5 @@
 /* read.c - read a source file -
-   Copyright (C) 1986, 1987, 1990, 1991 Free Software Foundation, Inc.
+   Copyright (C) 1986, 1987, 1990, 1991, 1993 Free Software Foundation, Inc.
 
 This file is part of GAS, the GNU Assembler.
 
@@ -40,13 +40,15 @@ the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
 #include <ctype.h>
 
 #include "as.h"
-#ifdef BFD_ASSEMBLER
 #include "subsegs.h"
-#endif
 
 #include "obstack.h"
 #include "listing.h"
 
+/* We need this, despite the apparent object format dependency, since
+   it defines stab types, which all object formats can use now. */
+
+#include "aout/stab_gnu.h"
 
 #ifndef TC_START_LABEL
 #define TC_START_LABEL(x,y) (x==':')
@@ -68,6 +70,11 @@ char *input_line_pointer;    /*->next char of source file to parse. */
 die horribly;
 #endif
 
+#ifndef LEX_AT
+/* The m88k unfortunately uses @ as a label beginner.  */
+#define LEX_AT 0
+#endif
+
 /* used by is_... macros. our ctype[] */
 const char lex_type[256] =
 {
@@ -75,7 +82,7 @@ const char lex_type[256] =
   0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,      /* PQRSTUVWXYZ[\]^_ */
   0, 0, 0, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0,      /* _!"#$%&'()*+,-./ */
   1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0,      /* 0123456789:;<=>? */
-  0, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,      /* @ABCDEFGHIJKLMNO */
+  LEX_AT, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, /* @ABCDEFGHIJKLMNO */
   3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 0, 0, 0, 3,      /* PQRSTUVWXYZ[\]^_ */
   0, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3,      /* `abcdefghijklmno */
   3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 0, 0, 0, 0,      /* pqrstuvwxyz{|}~. */
@@ -102,8 +109,13 @@ char is_end_of_line[256] =
   _, _, _, _, _, _, _, _, _, _, 99, _, _, _, _, _,     /* @abcdefghijklmno */
 #endif
   _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _,      /* */
+#ifdef TC_HPPA
+  _,99, _, _, _, _, _, _, _, _, _, _, _, _, _, _,      /* _!"#$%&'()*+,-./ */
+  _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _,      /* 0123456789:;<=>? */
+#else
   _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _,      /* */
   _, _, _, _, _, _, _, _, _, _, _, 99, _, _, _, _,     /* 0123456789:;<=>? */
+#endif
   _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _,      /* */
   _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _,      /* */
   _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _,      /* */
@@ -121,12 +133,6 @@ char is_end_of_line[256] =
 static char *buffer;   /* 1st char of each buffer of lines is here. */
 static char *buffer_limit;     /*->1 + last char in buffer. */
 
-static char *bignum_low;       /* Lowest char of bignum. */
-static char *bignum_limit;     /* 1st illegal address of bignum. */
-static char *bignum_high;      /* Highest char of bignum. */
-/* May point to (bignum_start-1). */
-/* Never >= bignum_limit. */
-
 int target_big_endian;
 
 static char *old_buffer;       /* JF a hack */
@@ -147,12 +153,9 @@ int new_broken_words;
 
 static char *demand_copy_string PARAMS ((int *lenP));
 int is_it_end_of_statement PARAMS ((void));
-unsigned int next_char_of_string PARAMS ((void));
+static segT get_segmented_expression PARAMS ((expressionS *expP));
 static segT get_known_segmented_expression PARAMS ((expressionS * expP));
-static void grow_bignum PARAMS ((void));
 static void pobegin PARAMS ((void));
-
-extern int listing;
 \f
 
 void
@@ -163,16 +166,14 @@ read_begin ()
   pobegin ();
   obj_read_begin_hook ();
 
-  obstack_begin (&notes, 5000);
-  obstack_begin (&cond_obstack, 960);
-
-#define BIGNUM_BEGIN_SIZE (16)
-  bignum_low = xmalloc ((long) BIGNUM_BEGIN_SIZE);
-  bignum_limit = bignum_low + BIGNUM_BEGIN_SIZE;
+  /* Something close -- but not too close -- to a multiple of 1024.
+     The debugging malloc I'm using has 24 bytes of overhead.  */
+  obstack_begin (&notes, 5090);
+  obstack_begin (&cond_obstack, 990);
 
   /* Use machine dependent syntax */
   for (p = line_separator_chars; *p; p++)
-    is_end_of_line[*p] = 1;
+    is_end_of_line[(unsigned char) *p] = 1;
   /* Use more.  FIXME-SOMEDAY. */
 }
 \f
@@ -190,6 +191,9 @@ static const pseudo_typeS potable[] =
   {"byte", cons, 1},
   {"comm", s_comm, 0},
   {"data", s_data, 0},
+#ifdef S_SET_DESC
+  {"desc", s_desc, 0},
+#endif
 /* dim */
   {"double", float_cons, 'd'},
 /* dsect */
@@ -224,11 +228,11 @@ static const pseudo_typeS potable[] =
   {"long", cons, 4},
   {"lsym", s_lsym, 0},
   {"nolist", listing_list, 0}, /* Turn listing off */
-  {"octa", big_cons, 16},
+  {"octa", cons, 16},
   {"org", s_org, 0},
   {"psize", listing_psize, 0}, /* set paper size */
 /* print */
-  {"quad", big_cons, 8},
+  {"quad", cons, 8},
   {"sbttl", listing_title, 1}, /* Subtitle of listing */
 /* scl */
 /* sect */
@@ -237,12 +241,17 @@ static const pseudo_typeS potable[] =
   {"single", float_cons, 'f'},
 /* size */
   {"space", s_space, 0},
+  {"stabd", s_stab, 'd'},
+  {"stabn", s_stab, 'n'},
+  {"stabs", s_stab, 's'},
+  {"string", stringer, 1},
 /* tag */
   {"text", s_text, 0},
   {"title", listing_title, 0}, /* Listing title */
 /* type */
 /* use */
 /* val */
+  {"xstabs", s_xstab, 's'},
   {"word", cons, 2},
   {NULL}                       /* end sentinel */
 };
@@ -250,7 +259,7 @@ static const pseudo_typeS potable[] =
 static void 
 pobegin ()
 {
-  char *errtxt;                        /* error text */
+  const char *errtxt;                  /* error text */
   const pseudo_typeS *pop;
 
   po_hash = hash_new ();
@@ -259,7 +268,7 @@ pobegin ()
   for (pop = md_pseudo_table; pop->poc_name; pop++)
     {
       errtxt = hash_insert (po_hash, pop->poc_name, (char *) pop);
-      if (errtxt && *errtxt)
+      if (errtxt)
        {
          as_fatal ("error constructing md pseudo-op table");
        }                       /* on error */
@@ -269,7 +278,7 @@ pobegin ()
   for (pop = obj_pseudo_table; pop->poc_name; pop++)
     {
       errtxt = hash_insert (po_hash, pop->poc_name, (char *) pop);
-      if (errtxt && *errtxt)
+      if (errtxt)
        {
          if (!strcmp (errtxt, "exists"))
            {
@@ -289,7 +298,7 @@ pobegin ()
   for (pop = potable; pop->poc_name; pop++)
     {
       errtxt = hash_insert (po_hash, pop->poc_name, (char *) pop);
-      if (errtxt && *errtxt)
+      if (errtxt)
        {
          if (!strcmp (errtxt, "exists"))
            {
@@ -308,13 +317,13 @@ pobegin ()
   return;
 }                              /* pobegin() */
 \f
-#define HANDLE_CONDITIONAL_ASSEMBLY()  \
-  if (ignore_input ())                                 \
-    {                                                  \
-      while (! is_end_of_line[*input_line_pointer++])  \
-       if (input_line_pointer == buffer_limit)         \
-         break;                                        \
-      continue;                                                \
+#define HANDLE_CONDITIONAL_ASSEMBLY()                                  \
+  if (ignore_input ())                                                 \
+    {                                                                  \
+      while (! is_end_of_line[(unsigned char) *input_line_pointer++])  \
+       if (input_line_pointer == buffer_limit)                         \
+         break;                                                        \
+      continue;                                                                \
     }
 
 
@@ -330,7 +339,6 @@ read_a_source_file (name)
   register char c;
   register char *s;            /* string of symbol, '\0' appended */
   register int temp;
-  /* register struct frag * fragP; JF unused *//* a frag we just made */
   pseudo_typeS *pop;
 
   buffer = input_scrub_new_file (name);
@@ -422,7 +430,12 @@ read_a_source_file (name)
 
 
                }
-             else if (c == '=' || input_line_pointer[1] == '=')
+             else if (c == '='
+                      || (input_line_pointer[1] == '='
+#ifdef TC_EQUAL_IN_INSN
+                          && ! TC_EQUAL_IN_INSN (c, input_line_pointer)
+#endif
+                          ))
                {
                  equals (s);
                  demand_empty_rest_of_line ();
@@ -433,7 +446,17 @@ read_a_source_file (name)
                  if (!done_pseudo (s))
 
 #else
-                 if (*s == '.')
+
+                 pop = NULL;
+
+#ifdef NO_PSEUDO_DOT
+                 /* The m88k uses pseudo-ops without a period.  */
+                 pop = (pseudo_typeS *) hash_find (po_hash, s);
+                 if (pop != NULL && pop->poc_handler == NULL)
+                   pop = NULL;
+#endif
+
+                 if (pop != NULL || *s == '.')
                    {
                      /*
                       * PSEUDO - OP.
@@ -443,10 +466,11 @@ read_a_source_file (name)
                       * already know that the pseudo-op begins with a '.'.
                       */
 
-                     pop = (pseudo_typeS *) hash_find (po_hash, s + 1);
+                     if (pop == NULL)
+                       pop = (pseudo_typeS *) hash_find (po_hash, s + 1);
 
                      /* Print the error msg now, while we still can */
-                     if (!pop)
+                     if (pop == NULL)
                        {
                          as_bad ("Unknown pseudo-op:  `%s'", s);
                          *input_line_pointer = c;
@@ -484,7 +508,11 @@ read_a_source_file (name)
                      /* WARNING: c has char, which may be end-of-line. */
                      /* Also: input_line_pointer->`\0` where c was. */
                      *input_line_pointer = c;
-                     while (!is_end_of_line[*input_line_pointer])
+                     while (!is_end_of_line[(unsigned char) *input_line_pointer]
+#ifdef TC_EOL_IN_INSN
+                            || TC_EOL_IN_INSN (input_line_pointer)
+#endif
+                            )
                        {
                          input_line_pointer++;
                        }
@@ -504,7 +532,7 @@ read_a_source_file (name)
            }                   /* if (is_name_beginner(c) */
 
 
-         if (is_end_of_line[c])
+         if (is_end_of_line[(unsigned char) c])
            {
              continue;
            }                   /* empty statement */
@@ -560,7 +588,7 @@ read_a_source_file (name)
              char *ends;
              char *new_buf;
              char *new_tmp;
-             int new_length;
+             unsigned int new_length;
              char *tmp_buf = 0;
              extern char *scrub_string, *scrub_last_string;
 
@@ -574,8 +602,8 @@ read_a_source_file (name)
 
              if (!ends)
                {
-                 int tmp_len;
-                 int num;
+                 unsigned int tmp_len;
+                 unsigned int num;
 
                  /* The end of the #APP wasn't in this buffer.  We
                     keep reading in buffers until we find the #NO_APP
@@ -583,7 +611,7 @@ read_a_source_file (name)
                     guarentee it. . . */
                  tmp_len = buffer_limit - s;
                  tmp_buf = xmalloc (tmp_len + 1);
-                 bcopy (s, tmp_buf, tmp_len);
+                 memcpy (tmp_buf, s, tmp_len);
                  do
                    {
                      new_tmp = input_scrub_next_buffer (&buffer);
@@ -599,7 +627,7 @@ read_a_source_file (name)
                        num = buffer_limit - buffer;
 
                      tmp_buf = xrealloc (tmp_buf, tmp_len + num);
-                     bcopy (buffer, tmp_buf + tmp_len, num);
+                     memcpy (tmp_buf, buffer + tmp_len, num);
                      tmp_len += num;
                    }
                  while (!ends);
@@ -671,7 +699,8 @@ read_a_source_file (name)
 }                              /* read_a_source_file() */
 
 void 
-s_abort ()
+s_abort (ignore)
+     int ignore;
 {
   as_fatal (".abort detected.  Abandoning ship.");
 }                              /* s_abort() */
@@ -686,7 +715,7 @@ s_align_bytes (arg)
   unsigned int i = 0;
   unsigned long max_alignment = 1 << 15;
 
-  if (is_end_of_line[*input_line_pointer])
+  if (is_end_of_line[(unsigned char) *input_line_pointer])
     temp = arg;                        /* Default value from pseudo-op table */
   else
     temp = get_absolute_expression ();
@@ -720,16 +749,17 @@ s_align_bytes (arg)
     temp_fill = 0;
   /* Only make a frag if we HAVE to. . . */
   if (temp && !need_pass_2)
-    frag_align (temp, (int) temp_fill);
+    frag_align ((int) temp, (int) temp_fill);
 
-  record_alignment (now_seg, temp);
+  record_alignment (now_seg, (int) temp);
 
   demand_empty_rest_of_line ();
 }                              /* s_align_bytes() */
 
 /* For machines where ".align 4" means align to 2**4 boundary. */
 void 
-s_align_ptwo ()
+s_align_ptwo (ignore)
+     int ignore;
 {
   register int temp;
   register long temp_fill;
@@ -763,12 +793,13 @@ s_align_ptwo ()
 }                              /* s_align_ptwo() */
 
 void 
-s_comm ()
+s_comm (ignore)
+     int ignore;
 {
   register char *name;
   register char c;
   register char *p;
-  register int temp;
+  offsetT temp;
   register symbolS *symbolP;
 
   name = input_line_pointer;
@@ -786,7 +817,7 @@ s_comm ()
   input_line_pointer++;                /* skip ',' */
   if ((temp = get_absolute_expression ()) < 0)
     {
-      as_warn (".COMMon length (%d.) <0! Ignored.", temp);
+      as_warn (".COMMon length (%ld.) <0! Ignored.", (long) temp);
       ignore_rest_of_line ();
       return;
     }
@@ -801,36 +832,42 @@ s_comm ()
     }
   if (S_GET_VALUE (symbolP))
     {
-      if (S_GET_VALUE (symbolP) != temp)
-       as_bad ("Length of .comm \"%s\" is already %d. Not changed to %d.",
+      if (S_GET_VALUE (symbolP) != (valueT) temp)
+       as_bad ("Length of .comm \"%s\" is already %ld. Not changed to %ld.",
                S_GET_NAME (symbolP),
-               S_GET_VALUE (symbolP),
-               temp);
+               (long) S_GET_VALUE (symbolP),
+               (long) temp);
     }
   else
     {
-      S_SET_VALUE (symbolP, temp);
+      S_SET_VALUE (symbolP, (valueT) temp);
       S_SET_EXTERNAL (symbolP);
     }
 #ifdef OBJ_VMS
-       if ( (!temp) || !flagseen['1'])
-               S_GET_OTHER(symbolP)  = const_flag;
+  if ( (!temp) || !flagseen['1'])
+    S_GET_OTHER(symbolP) = const_flag;
 #endif /* not OBJ_VMS */
   know (symbolP->sy_frag == &zero_address_frag);
   demand_empty_rest_of_line ();
 }                              /* s_comm() */
 
 void
-s_data ()
+s_data (ignore)
+     int ignore;
 {
+  segT section;
   register int temp;
 
   temp = get_absolute_expression ();
-#ifdef BFD_ASSEMBLER
-  subseg_set (data_section, (subsegT) temp);
-#else
-  subseg_new (data_section, (subsegT) temp);
-#endif
+  if (flagseen['R'])
+    {
+      section = text_section;
+      temp += 1000;
+    }
+  else
+    section = data_section;
+
+  subseg_set (section, (subsegT) temp);
 
 #ifdef OBJ_VMS
   const_flag = 0;
@@ -868,7 +905,10 @@ s_app_file (appfile)
 #ifdef OBJ_COFF
   c_dot_file_symbol (s);
 #endif /* OBJ_COFF */
-}                              /* s_app_file() */
+#ifdef OBJ_ELF
+  elf_file_symbol (s);
+#endif
+}
 
 /* Handle the .appline pseudo-op.  This is automatically generated by
    do_scrub_next_char when a preprocessor # line comment is seen.
@@ -876,7 +916,8 @@ s_app_file (appfile)
    specific pseudo-ops.  */
 
 void
-s_app_line ()
+s_app_line (ignore)
+     int ignore;
 {
   int l;
 
@@ -891,7 +932,8 @@ s_app_line ()
 }
 
 void 
-s_fill ()
+s_fill (ignore)
+     int ignore;
 {
   long temp_repeat = 0;
   long temp_size = 1;
@@ -931,14 +973,14 @@ s_fill ()
   if (temp_size && !need_pass_2)
     {
       p = frag_var (rs_fill, (int) temp_size, (int) temp_size, (relax_substateT) 0, (symbolS *) 0, temp_repeat, (char *) 0);
-      memset (p, 0, (int) temp_size);
+      memset (p, 0, (unsigned int) temp_size);
       /* The magic number BSD_FILL_SIZE_CROCK_4 is from BSD 4.2 VAX
        * flavoured AS.  The following bizzare behaviour is to be
        * compatible with above.  I guess they tried to take up to 8
        * bytes from a 4-byte expression and they forgot to sign
        * extend. Un*x Sux. */
 #define BSD_FILL_SIZE_CROCK_4 (4)
-      md_number_to_chars (p, temp_fill,
+      md_number_to_chars (p, (valueT) temp_fill,
                          (temp_size > BSD_FILL_SIZE_CROCK_4
                           ? BSD_FILL_SIZE_CROCK_4
                           : (int) temp_size));
@@ -951,11 +993,12 @@ s_fill ()
 }
 
 void 
-s_globl ()
+s_globl (ignore)
+     int ignore;
 {
-  register char *name;
-  register int c;
-  register symbolS *symbolP;
+  char *name;
+  int c;
+  symbolS *symbolP;
 
   do
     {
@@ -975,7 +1018,7 @@ s_globl ()
     }
   while (c == ',');
   demand_empty_rest_of_line ();
-}                              /* s_globl() */
+}
 
 void 
 s_lcomm (needs_align)
@@ -1072,13 +1115,9 @@ s_lcomm (needs_align)
        (S_GET_SEGMENT (symbolP) == bss_seg
        || (!S_IS_DEFINED (symbolP) && S_GET_VALUE (symbolP) == 0)))
     {
-      char *p;
+      char *pfrag;
 
-#ifdef BFD_ASSEMBLER
       subseg_set (bss_seg, 1);
-#else
-      subseg_new (bss_seg, 1);
-#endif
 
       if (align)
        frag_align (align, 0);
@@ -1087,9 +1126,9 @@ s_lcomm (needs_align)
        symbolP->sy_frag->fr_symbol = NULL;
 
       symbolP->sy_frag = frag_now;
-      p = frag_var (rs_org, 1, 1, (relax_substateT)0, symbolP,
-                   temp, (char *)0);
-      *p = 0;
+      pfrag = frag_var (rs_org, 1, 1, (relax_substateT)0, symbolP,
+                       temp, (char *)0);
+      *pfrag = 0;
 
       S_SET_SEGMENT (symbolP, bss_seg);
 
@@ -1108,34 +1147,18 @@ s_lcomm (needs_align)
       as_bad ("Ignoring attempt to re-define symbol %s.", name);
     }
 
-#ifdef BFD_ASSEMBLER
   subseg_set (current_seg, current_subseg);
-#else
-  subseg_new (current_seg, current_subseg);
-#endif
 
   demand_empty_rest_of_line ();
 }                              /* s_lcomm() */
 
-void
-s_long ()
-{
-  cons (4);
-}
-
-void
-s_int ()
-{
-  cons (4);
-}
-
 void 
-s_lsym ()
+s_lsym (ignore)
+     int ignore;
 {
   register char *name;
   register char c;
   register char *p;
-  register segT segment;
   expressionS exp;
   register symbolS *symbolP;
 
@@ -1154,12 +1177,11 @@ s_lsym ()
       return;
     }
   input_line_pointer++;
-  segment = expression (&exp);
-  if (segment != absolute_section
-      && segment != reg_section
-      && ! SEG_NORMAL (segment))
+  expression (&exp);
+  if (exp.X_op != O_constant
+      && exp.X_op != O_register)
     {
-      as_bad ("Bad expression: %s", segment_name (segment));
+      as_bad ("bad expression");
       ignore_rest_of_line ();
       return;
     }
@@ -1178,8 +1200,11 @@ s_lsym ()
     {
       /* The name might be an undefined .global symbol; be sure to
         keep the "external" bit. */
-      S_SET_SEGMENT (symbolP, segment);
-      S_SET_VALUE (symbolP, (valueT) (exp.X_add_number));
+      S_SET_SEGMENT (symbolP,
+                    (exp.X_op == O_constant
+                     ? absolute_section
+                     : reg_section));
+      S_SET_VALUE (symbolP, (valueT) exp.X_add_number);
     }
   else
     {
@@ -1190,7 +1215,8 @@ s_lsym ()
 }                              /* s_lsym() */
 
 void 
-s_org ()
+s_org (ignore)
+     int ignore;
 {
   register segT segment;
   expressionS exp;
@@ -1229,7 +1255,8 @@ s_org ()
 }                              /* s_org() */
 
 void 
-s_set ()
+s_set (ignore)
+     int ignore;
 {
   register char *name;
   register char delim;
@@ -1339,16 +1366,13 @@ s_space (mult)
 }                              /* s_space() */
 
 void
-s_text ()
+s_text (ignore)
+     int ignore;
 {
   register int temp;
 
   temp = get_absolute_expression ();
-#ifdef BFD_ASSEMBLER
   subseg_set (text_section, (subsegT) temp);
-#else
-  subseg_new (text_section, (subsegT) temp);
-#endif
   demand_empty_rest_of_line ();
 }                              /* s_text() */
 \f
@@ -1357,7 +1381,7 @@ void
 demand_empty_rest_of_line ()
 {
   SKIP_WHITESPACE ();
-  if (is_end_of_line[*input_line_pointer])
+  if (is_end_of_line[(unsigned char) *input_line_pointer])
     {
       input_line_pointer++;
     }
@@ -1371,7 +1395,7 @@ demand_empty_rest_of_line ()
 void
 ignore_rest_of_line ()         /* For suspect lines: gives warning. */
 {
-  if (!is_end_of_line[*input_line_pointer])
+  if (!is_end_of_line[(unsigned char) *input_line_pointer])
     {
       if (isprint (*input_line_pointer))
        as_bad ("Rest of line ignored. First ignored character is `%c'.",
@@ -1380,13 +1404,13 @@ ignore_rest_of_line ()          /* For suspect lines: gives warning. */
        as_bad ("Rest of line ignored. First ignored character valued 0x%x.",
                *input_line_pointer);
       while (input_line_pointer < buffer_limit
-            && !is_end_of_line[*input_line_pointer])
+            && !is_end_of_line[(unsigned char) *input_line_pointer])
        {
          input_line_pointer++;
        }
     }
   input_line_pointer++;                /* Return pointing just after end-of-line. */
-  know (is_end_of_line[input_line_pointer[-1]]);
+  know (is_end_of_line[(unsigned char) input_line_pointer[-1]]);
 }
 
 /*
@@ -1398,14 +1422,12 @@ ignore_rest_of_line ()          /* For suspect lines: gives warning. */
  * Out:        Input_line_pointer->just after any whitespace after expression.
  *     Tried to set symbol to value of expression.
  *     Will change symbols type, value, and frag;
- *     May set need_pass_2 == 1.
  */
 void
 pseudo_set (symbolP)
      symbolS *symbolP;
 {
   expressionS exp;
-  register segT segment;
 #if defined(OBJ_AOUT) | defined(OBJ_BOUT)
   int ext;
 #endif /* OBJ_AOUT or OBJ_BOUT */
@@ -1416,121 +1438,76 @@ pseudo_set (symbolP)
   ext = S_IS_EXTERNAL (symbolP);
 #endif /* OBJ_AOUT or OBJ_BOUT */
 
-  if ((segment = expression (&exp)) == absent_section)
-    {
-      as_bad ("Missing expression: absolute 0 assumed");
-      exp.X_seg = absolute_section;
-      exp.X_add_number = 0;
-    }
+  (void) expression (&exp);
 
-  if (segment == reg_section)
+  if (exp.X_op == O_illegal)
+    as_bad ("illegal expression; zero assumed");
+  else if (exp.X_op == O_absent)
+    as_bad ("missing expression; zero assumed");
+  else if (exp.X_op == O_big)
+    as_bad ("%s number invalid; zero assumed",
+           exp.X_add_number > 0 ? "bignum" : "floating point");
+  else if (exp.X_op == O_subtract
+          && (S_GET_SEGMENT (exp.X_add_symbol)
+              == S_GET_SEGMENT (exp.X_op_symbol))
+          && SEG_NORMAL (S_GET_SEGMENT (exp.X_add_symbol))
+          && exp.X_add_symbol->sy_frag == exp.X_op_symbol->sy_frag)
     {
-      S_SET_SEGMENT (symbolP, reg_section);
-      S_SET_VALUE (symbolP, exp.X_add_number);
-      symbolP->sy_frag = &zero_address_frag;
+      exp.X_op = O_constant;
+      exp.X_add_number = (S_GET_VALUE (exp.X_add_symbol)
+                         - S_GET_VALUE (exp.X_op_symbol));
     }
-  else if (segment == big_section)
+
+  switch (exp.X_op)
     {
-      as_bad ("%s number invalid. Absolute 0 assumed.",
-             exp.X_add_number > 0 ? "Bignum" : "Floating-Point");
+    case O_illegal:
+    case O_absent:
+    case O_big:
+      exp.X_add_number = 0;
+      /* Fall through.  */
+    case O_constant:
       S_SET_SEGMENT (symbolP, absolute_section);
 #if defined(OBJ_AOUT) | defined(OBJ_BOUT)
       /* @@ Fix this right for BFD.  */
-      ext ? S_SET_EXTERNAL (symbolP) :
+      if (ext)
+       S_SET_EXTERNAL (symbolP);
+      else
        S_CLEAR_EXTERNAL (symbolP);
 #endif /* OBJ_AOUT or OBJ_BOUT */
-      S_SET_VALUE (symbolP, 0);
+      S_SET_VALUE (symbolP, (valueT) exp.X_add_number);
       symbolP->sy_frag = &zero_address_frag;
-    }
-  else if (segment == absent_section)
-    {
-      as_warn ("No expression:  Using absolute 0");
-      S_SET_SEGMENT (symbolP, absolute_section);
-#if defined(OBJ_AOUT) | defined(OBJ_BOUT)
-      /* @@ Fix this right for BFD.  */
-      ext ? S_SET_EXTERNAL (symbolP) :
-       S_CLEAR_EXTERNAL (symbolP);
-#endif /* OBJ_AOUT or OBJ_BOUT */
-      S_SET_VALUE (symbolP, 0);
+      break;
+
+    case O_register:
+      S_SET_SEGMENT (symbolP, reg_section);
+      S_SET_VALUE (symbolP, (valueT) exp.X_add_number);
       symbolP->sy_frag = &zero_address_frag;
-    }
-  else if (segment == diff_section)
-    {
-      if (exp.X_add_symbol && exp.X_subtract_symbol
-         && (S_GET_SEGMENT (exp.X_add_symbol) ==
-             S_GET_SEGMENT (exp.X_subtract_symbol)))
-       {
-         if (exp.X_add_symbol->sy_frag == exp.X_subtract_symbol->sy_frag)
-           {
-             exp.X_add_number += S_GET_VALUE (exp.X_add_symbol) -
-               S_GET_VALUE (exp.X_subtract_symbol);
-             goto abs;
-           }
-         as_bad ("Invalid expression: separation between symbols `%s'",
-                 S_GET_NAME (exp.X_add_symbol));
-         as_bad (" and `%s' may not be constant",
-                 S_GET_NAME (exp.X_subtract_symbol));
-         need_pass_2++;
-       }
+      break;
+
+    case O_symbol:
+      if (S_GET_SEGMENT (exp.X_add_symbol) == undefined_section)
+       symbolP->sy_value = exp;
       else
        {
-         as_bad ("Complex expression. Absolute segment assumed.");
-         goto abs;
-       }
-    }
-  else if (segment == absolute_section)
-    {
-    abs:
-      S_SET_SEGMENT (symbolP, absolute_section);
+         S_SET_SEGMENT (symbolP, S_GET_SEGMENT (exp.X_add_symbol));
 #if defined(OBJ_AOUT) | defined(OBJ_BOUT)
-      /* @@ Fix this right for BFD.  */
-      ext ? S_SET_EXTERNAL (symbolP) :
-       S_CLEAR_EXTERNAL (symbolP);
+         /* @@ Fix this right for BFD!  */
+         if (ext)
+           S_SET_EXTERNAL (symbolP);
+         else
+           S_CLEAR_EXTERNAL (symbolP);
 #endif /* OBJ_AOUT or OBJ_BOUT */
-      S_SET_VALUE (symbolP, exp.X_add_number);
-      symbolP->sy_frag = &zero_address_frag;
-    }
-  else if (segment == pass1_section)
-    {
-      symbolP->sy_forward = exp.X_add_symbol;
-      as_bad ("Unknown expression");
-      know (need_pass_2 == 1);
-    }
-  else if (segment == undefined_section)
-    {
-      symbolP->sy_forward = exp.X_add_symbol;
-    }
-  else
-    {
-#ifndef BFD_ASSEMBLER
-#ifndef MANY_SEGMENTS
-      switch (segment)
-       {
-       case SEG_DATA:
-       case SEG_TEXT:
-       case SEG_BSS:
-         break;
-
-       default:
-         as_fatal ("failed sanity check.");
-       }                       /* switch on segment */
-#endif
-#endif
-      S_SET_SEGMENT (symbolP, segment);
-#if defined(OBJ_AOUT) | defined(OBJ_BOUT)
-      /* @@ Fix this right for BFD!  */
-      if (ext)
-       {
-         S_SET_EXTERNAL (symbolP);
+         S_SET_VALUE (symbolP,
+                      exp.X_add_number + S_GET_VALUE (exp.X_add_symbol));
+         symbolP->sy_frag = exp.X_add_symbol->sy_frag;
        }
-      else
-       {
-         S_CLEAR_EXTERNAL (symbolP);
-       }                       /* if external */
-#endif /* OBJ_AOUT or OBJ_BOUT */
+      break;
 
-      S_SET_VALUE (symbolP, exp.X_add_number + S_GET_VALUE (exp.X_add_symbol));
-      symbolP->sy_frag = exp.X_add_symbol->sy_frag;
+    default:
+      /* The value is some complex expression.
+        FIXME: Should we set the segment to anything?  */
+      symbolP->sy_value = exp;
+      break;
     }
 }
 \f
@@ -1539,7 +1516,7 @@ pseudo_set (symbolP)
  *
  * CONStruct more frag of .bytes, or .words etc.
  * Should need_pass_2 be 1 then emit no frag(s).
- * This understands EXPRESSIONS, as opposed to big_cons().
+ * This understands EXPRESSIONS.
  *
  * Bug (?)
  *
@@ -1549,505 +1526,524 @@ pseudo_set (symbolP)
  * in the case of a long. Not worth the crocks required to fix it.
  */
 
+/* Select a parser for cons expressions.  */
+
+/* Some targets need to parse the expression in various fancy ways.
+   You can define TC_PARSE_CONS_EXPRESSION to do whatever you like
+   (for example, the HPPA does this).  Otherwise, you can define
+   BITFIELD_CONS_EXPRESSIONS to permit bitfields to be specified, or
+   REPEAT_CONS_EXPRESSIONS to permit repeat counts.  If none of these
+   are defined, which is the normal case, then only simple expressions
+   are permitted.  */
+
+#ifndef TC_PARSE_CONS_EXPRESSION
+#ifdef BITFIELD_CONS_EXPRESSIONS
+#define TC_PARSE_CONS_EXPRESSION(EXP, NBYTES) parse_bitfield_cons (EXP, NBYTES)
+static void 
+parse_bitfield_cons PARAMS ((expressionS *exp, unsigned int nbytes));
+#endif
+#ifdef MRI
+#define TC_PARSE_CONS_EXPRESSION(EXP, NBYTES) parse_mri_cons (EXP)
+static void
+parse_mri_cons PARAMS ((expressionS *exp));
+#endif
+#ifdef REPEAT_CONS_EXPRESSIONS
+#define TC_PARSE_CONS_EXPRESSION(EXP, NBYTES) parse_repeat_cons (EXP, NBYTES)
+static void
+parse_repeat_cons PARAMS ((expressionS *exp, unsigned int nbytes));
+#endif
+
+/* If we haven't gotten one yet, just call expression.  */
+#ifndef TC_PARSE_CONS_EXPRESSION
+#define TC_PARSE_CONS_EXPRESSION(EXP, NBYTES) expression (EXP)
+#endif
+#endif
+
 /* worker to do .byte etc statements */
 /* clobbers input_line_pointer, checks */
 /* end-of-line. */
 void 
 cons (nbytes)
-     register unsigned int nbytes;     /* 1=.byte, 2=.word, 4=.long */
+     register int nbytes;      /* 1=.byte, 2=.word, 4=.long */
 {
-  register char c;
-  register long mask;          /* High-order bits we will left-truncate, */
-  /* but includes sign bit also. */
-  register long get;           /* what we get */
-  register long use;           /* get after truncation. */
-  register long unmask;                /* what bits we will store */
-  register char *p;
-  register segT segment;
   expressionS exp;
 
-  /*
-   * Input_line_pointer->1st char after pseudo-op-code and could legally
-   * be a end-of-line. (Or, less legally an eof - which we cope with.)
-   */
-  /* JF << of >= number of bits in the object is undefined.  In particular
-     SPARC (Sun 4) has problems */
-
-  if (nbytes >= sizeof (long))
+  if (is_it_end_of_statement ())
     {
-      mask = 0;
+      demand_empty_rest_of_line ();
+      return;
     }
-  else
+
+  do
     {
-      mask = ~0 << (BITS_PER_CHAR * nbytes);   /* Don't store these bits. */
-    }                          /* bigger than a long */
+      TC_PARSE_CONS_EXPRESSION (&exp, (unsigned int) nbytes);
+      emit_expr (&exp, (unsigned int) nbytes);
+    }
+  while (*input_line_pointer++ == ',');
 
-  unmask = ~mask;              /* Do store these bits. */
+  input_line_pointer--;                /* Put terminator back into stream. */
+  demand_empty_rest_of_line ();
+}                              /* cons() */
 
-#ifdef NEVER
-  "Do this mod if you want every overflow check to assume SIGNED 2's complement data.";
-  mask = ~(unmask >> 1);       /* Includes sign bit now. */
-#endif
+/* Put the contents of expression EXP into the object file using
+   NBYTES bytes.  If need_pass_2 is 1, this does nothing.  */
 
-  /*
-   * The following awkward logic is to parse ZERO or more expressions,
-   * comma seperated. Recall an expression includes its leading &
-   * trailing blanks. We fake a leading ',' if there is (supposed to
-   * be) a 1st expression, and keep demanding 1 expression for each ','.
-   */
-  if (is_it_end_of_statement ())
-    {
-      c = 0;                   /* Skip loop. */
-      input_line_pointer++;    /* Matches end-of-loop 'correction'. */
-    }
-  else
-    {
-      c = ',';
-    }                          /* if the end else fake it */
+void
+emit_expr (exp, nbytes)
+     expressionS *exp;
+     unsigned int nbytes;
+{
+  operatorT op;
+  register char *p;
+  valueT extra_digit = 0;
+
+  /* Don't do anything if we are going to make another pass.  */
+  if (need_pass_2)
+    return;
 
-  /* Do loop. */
-  while (c == ',')
+  op = exp->X_op;
+
+  /* Handle a negative bignum.  */
+  if (op == O_uminus
+      && exp->X_add_number == 0
+      && exp->X_add_symbol->sy_value.X_op == O_big
+      && exp->X_add_symbol->sy_value.X_add_number > 0)
     {
-#ifdef WANT_BITFIELDS
-      unsigned int bits_available = BITS_PER_CHAR * nbytes;
-      /* used for error messages and rescanning */
-      char *hold = input_line_pointer;
-#endif /* WANT_BITFIELDS */
-#ifdef MRI
-      if (*input_line_pointer == '\'')
-       {
-         /* An MRI style string, cut into as many bytes as will fit
-          into a nbyte chunk, left justify if necessary, and sepatate
-          with commas so we can try again later */
-         int scan = 0;
-         unsigned int result = 0;
-         input_line_pointer++;
-         for (scan = 0; scan < nbytes; scan++)
-           {
-             if (*input_line_pointer == '\'')
-               {
-                 if (input_line_pointer[1] == '\'')
-                   {
-                     input_line_pointer++;
-                   }
-                 else
-                   break;
-               }
-             result = (result << 8) | (*input_line_pointer++);
-           }
+      int i;
+      unsigned long carry;
 
-         /* Left justify */
-         while (scan < nbytes)
-           {
-             result <<= 8;
-             scan++;
-           }
-         /* Create correct expression */
-         exp.X_add_symbol = 0;
-         exp.X_add_number = result;
-         exp.X_seg = segment = absolute_section;
-         /* Fake it so that we can read the next char too */
-         if (input_line_pointer[0] != '\'' ||
-          (input_line_pointer[0] == '\'' && input_line_pointer[1] == '\''))
-           {
-             input_line_pointer -= 2;
-             input_line_pointer[0] = ',';
-             input_line_pointer[1] = '\'';
-           }
-         else
-           input_line_pointer++;
+      exp = &exp->X_add_symbol->sy_value;
+
+      /* Negate the bignum: one's complement each digit and add 1.  */
+      carry = 1;
+      for (i = 0; i < exp->X_add_number; i++)
+       {
+         unsigned long next;
 
+         next = (((~ (generic_bignum[i] & LITTLENUM_MASK))
+                  & LITTLENUM_MASK)
+                 + carry);
+         generic_bignum[i] = next & LITTLENUM_MASK;
+         carry = next >> LITTLENUM_NUMBER_OF_BITS;
        }
-      else
-#endif
-       /* At least scan over the expression. */
-       segment = expression (&exp);
-
-#ifdef WANT_BITFIELDS
-      /* Some other assemblers, (eg, asm960), allow
-        bitfields after ".byte" as w:x,y:z, where w and
-        y are bitwidths and x and y are values.  They
-        then pack them all together. We do a little
-        better in that we allow them in words, longs,
-        etc. and we'll pack them in target byte order
-        for you.
-       
-        The rules are: pack least significat bit first,
-        if a field doesn't entirely fit, put it in the
-        next unit.  Overflowing the bitfield is
-        explicitly *not* even a warning.  The bitwidth
-        should be considered a "mask".
-       
-        FIXME-SOMEDAY: If this is considered generally
-        useful, this logic should probably be reworked.
-        xoxorich. */
-
-      if (*input_line_pointer == ':')
-       {                       /* bitfields */
-         long value = 0;
-
-         for (;;)
-           {
-             unsigned long width;
 
-             if (*input_line_pointer != ':')
-               {
-                 input_line_pointer = hold;
-                 break;
-               }               /* next piece is not a bitfield */
-
-             /* In the general case, we can't allow
-                full expressions with symbol
-                differences and such.  The relocation
-                entries for symbols not defined in this
-                assembly would require arbitrary field
-                widths, positions, and masks which most
-                of our current object formats don't
-                support.
-               
-                In the specific case where a symbol
-                *is* defined in this assembly, we
-                *could* build fixups and track it, but
-                this could lead to confusion for the
-                backends.  I'm lazy. I'll take any
-                SEG_ABSOLUTE. I think that means that
-                you can use a previous .set or
-                .equ type symbol.  xoxorich. */
-
-             if (segment == absent_section)
-               {
-                 as_warn ("Using a bit field width of zero.");
-                 exp.X_add_number = 0;
-                 segment = absolute_section;
-               }               /* implied zero width bitfield */
+      /* We can ignore any carry out, because it will be handled by
+        extra_digit if it is needed.  */
 
-             if (segment != absolute_section)
-               {
-                 *input_line_pointer = '\0';
-                 as_bad ("Field width \"%s\" too complex for a bitfield.\n", hold);
-                 *input_line_pointer = ':';
-                 demand_empty_rest_of_line ();
-                 return;
-               }               /* too complex */
+      extra_digit = (valueT) -1;
+      op = O_big;
+    }
 
-             if ((width = exp.X_add_number) > (BITS_PER_CHAR * nbytes))
-               {
-                 as_warn ("Field width %d too big to fit in %d bytes: truncated to %d bits.",
-                          width, nbytes, (BITS_PER_CHAR * nbytes));
-                 width = BITS_PER_CHAR * nbytes;
-               }               /* too big */
+  if (op == O_absent || op == O_illegal)
+    {
+      as_warn ("zero assumed for missing expression");
+      exp->X_add_number = 0;
+      op = O_constant;
+    }
+  else if (op == O_big && exp->X_add_number <= 0)
+    {
+      as_bad ("floating point number invalid; zero assumed");
+      exp->X_add_number = 0;
+      op = O_constant;
+    }
+  else if (op == O_register)
+    {
+      as_warn ("register value used as expression");
+      op = O_constant;
+    }
 
-             if (width > bits_available)
-               {
-                 /* FIXME-SOMEDAY: backing up and
-                    reparsing is wasteful */
-                 input_line_pointer = hold;
-                 exp.X_add_number = value;
-                 break;
-               }               /* won't fit */
+  p = frag_more ((int) nbytes);
 
-             hold = ++input_line_pointer;      /* skip ':' */
+#ifndef WORKING_DOT_WORD
+  /* If we have the difference of two symbols in a word, save it on
+     the broken_words list.  See the code in write.c.  */
+  if (op == O_subtract && nbytes == 2)
+    {
+      struct broken_word *x;
+
+      x = (struct broken_word *) xmalloc (sizeof (struct broken_word));
+      x->next_broken_word = broken_words;
+      broken_words = x;
+      x->frag = frag_now;
+      x->word_goes_here = p;
+      x->dispfrag = 0;
+      x->add = exp->X_add_symbol;
+      x->sub = exp->X_op_symbol;
+      x->addnum = exp->X_add_number;
+      x->added = 0;
+      new_broken_words++;
+      return;
+    }
+#endif
 
-             if ((segment = expression (&exp)) != absolute_section)
-               {
-                 char cache = *input_line_pointer;
+  /* If we have an integer, but the number of bytes is too large to
+     pass to md_number_to_chars, handle it as a bignum.  */
+  if (op == O_constant && nbytes > sizeof (valueT))
+    {
+      valueT val;
+      int gencnt;
 
-                 *input_line_pointer = '\0';
-                 as_bad ("Field value \"%s\" too complex for a bitfield.\n", hold);
-                 *input_line_pointer = cache;
-                 demand_empty_rest_of_line ();
-                 return;
-               }               /* too complex */
+      if (! exp->X_unsigned && exp->X_add_number < 0)
+       extra_digit = (valueT) -1;
+      val = (valueT) exp->X_add_number;
+      gencnt = 0;
+      do
+       {
+         generic_bignum[gencnt] = val & LITTLENUM_MASK;
+         val >>= LITTLENUM_NUMBER_OF_BITS;
+         ++gencnt;
+       }
+      while (val != 0);
+      op = exp->X_op = O_big;
+      exp->X_add_number = gencnt;
+    }
 
-             value |= (~(-1 << width) & exp.X_add_number)
-               << ((BITS_PER_CHAR * nbytes) - bits_available);
+  if (op == O_constant)
+    {
+      register long get;
+      register long use;
+      register long mask;
+      register long unmask;
 
-             if ((bits_available -= width) == 0
-                 || is_it_end_of_statement ()
-                 || *input_line_pointer != ',')
-               {
-                 break;
-               }               /* all the bitfields we're gonna get */
+      /* JF << of >= number of bits in the object is undefined.  In
+        particular SPARC (Sun 4) has problems */
+      if (nbytes >= sizeof (long))
+       mask = 0;
+      else
+       mask = ~0 << (BITS_PER_CHAR * nbytes);  /* Don't store these bits. */
 
-             hold = ++input_line_pointer;
-             segment = expression (&exp);
-           }                   /* forever loop */
+      unmask = ~mask;          /* Do store these bits. */
 
-         exp.X_add_number = value;
-         segment = absolute_section;
-       }                       /* if looks like a bitfield */
-#endif /* WANT_BITFIELDS */
+#ifdef NEVER
+      "Do this mod if you want every overflow check to assume SIGNED 2's complement data.";
+      mask = ~(unmask >> 1);   /* Includes sign bit now. */
+#endif
 
-      if (!need_pass_2)
-       {                       /* Still worthwhile making frags. */
+      get = exp->X_add_number;
+      use = get & unmask;
+      if ((get & mask) != 0 && (get & mask) != mask)
+       {               /* Leading bits contain both 0s & 1s. */
+         as_warn ("Value 0x%lx truncated to 0x%lx.", get, use);
+       }
+      /* put bytes in right order. */
+      md_number_to_chars (p, (valueT) use, (int) nbytes);
+    }
+  else if (op == O_big)
+    {
+      int size;
+      LITTLENUM_TYPE *nums;
 
-         /* Don't call this if we are going to junk this pass anyway! */
-         know (segment != pass1_section);
+      know (nbytes % CHARS_PER_LITTLENUM == 0);
 
-         if (segment == diff_section && exp.X_add_symbol == NULL)
-           {
-             as_bad ("Subtracting symbol \"%s\"(segment\"%s\") is too hard. Absolute segment assumed.",
-                     S_GET_NAME (exp.X_subtract_symbol),
-                     segment_name (S_GET_SEGMENT (exp.X_subtract_symbol)));
-             segment = absolute_section;
-             /* Leave exp . X_add_number alone. */
-           }
-         p = frag_more (nbytes);
-         if (segment == big_section)
+      size = exp->X_add_number * CHARS_PER_LITTLENUM;
+      if (nbytes < size)
+       {
+         as_warn ("Bignum truncated to %d bytes", nbytes);
+         size = nbytes;
+       }
+
+      if (target_big_endian)
+       {
+         while (nbytes > size)
            {
-             as_bad ("%s number invalid. Absolute 0 assumed.",
-                     exp.X_add_number > 0 ? "Bignum" : "Floating-Point");
-             md_number_to_chars (p, (long) 0, nbytes);
+             md_number_to_chars (p, extra_digit, CHARS_PER_LITTLENUM);
+             nbytes -= CHARS_PER_LITTLENUM;
+             p += CHARS_PER_LITTLENUM;
            }
-         else if (segment == absent_section)
+
+         nums = generic_bignum + size / CHARS_PER_LITTLENUM;
+         while (size > 0)
            {
-             as_warn ("0 assumed for missing expression");
-             exp.X_add_number = 0;
-             know (exp.X_add_symbol == NULL);
-             goto abs_sec;
+             --nums;
+             md_number_to_chars (p, (valueT) *nums, CHARS_PER_LITTLENUM);
+             size -= CHARS_PER_LITTLENUM;
+             p += CHARS_PER_LITTLENUM;
            }
-         else if (segment == absolute_section)
+       }
+      else
+       {
+         nums = generic_bignum;
+         while (size > 0)
            {
-           abs_sec:
-             get = exp.X_add_number;
-             use = get & unmask;
-             if ((get & mask) && (get & mask) != mask)
-               {               /* Leading bits contain both 0s & 1s. */
-                 as_warn ("Value 0x%x truncated to 0x%x.", get, use);
-               }
-             md_number_to_chars (p, use, nbytes);      /* put bytes in right order. */
+             md_number_to_chars (p, (valueT) *nums, CHARS_PER_LITTLENUM);
+             ++nums;
+             size -= CHARS_PER_LITTLENUM;
+             p += CHARS_PER_LITTLENUM;
+             nbytes -= CHARS_PER_LITTLENUM;
            }
-         else if (segment == diff_section)
+
+         while (nbytes > 0)
            {
-#ifndef WORKING_DOT_WORD
-             if (nbytes == 2)
-               {
-                 struct broken_word *x;
-
-                 x = (struct broken_word *) xmalloc (sizeof (struct broken_word));
-                 x->next_broken_word = broken_words;
-                 broken_words = x;
-                 x->frag = frag_now;
-                 x->word_goes_here = p;
-                 x->dispfrag = 0;
-                 x->add = exp.X_add_symbol;
-                 x->sub = exp.X_subtract_symbol;
-                 x->addnum = exp.X_add_number;
-                 x->added = 0;
-                 new_broken_words++;
-                 goto after_switch;
-               }
-#endif
-             goto defalt;
+             md_number_to_chars (p, extra_digit, CHARS_PER_LITTLENUM);
+             nbytes -= CHARS_PER_LITTLENUM;
+             p += CHARS_PER_LITTLENUM;
            }
-         else
-           /* undefined_section, others */
-           {
-           defalt:
-             md_number_to_chars (p, (long) 0, nbytes);
+       }
+    }
+  else
+    {
+      md_number_to_chars (p, (valueT) 0, (int) nbytes);
+
+      /* Now we need to generate a fixS to record the symbol value.
+        This is easy for BFD.  For other targets it can be more
+        complex.  For very complex cases (currently, the HPPA and
+        NS32K), you can define TC_CONS_FIX_NEW to do whatever you
+        want.  For simpler cases, you can define TC_CONS_RELOC to be
+        the name of the reloc code that should be stored in the fixS.
+        If neither is defined, the code uses NO_RELOC if it is
+        defined, and otherwise uses 0.  */
+
 #ifdef BFD_ASSEMBLER
-             fix_new (frag_now, p - frag_now->fr_literal, nbytes,
-                      exp.X_add_symbol, exp.X_subtract_symbol,
-                      exp.X_add_number, 0,
-                      /* @@ Should look at CPU word size.  */
-                      BFD_RELOC_32);
+#ifdef TC_CONS_FIX_NEW
+      TC_CONS_FIX_NEW (frag_now, p - frag_now->fr_literal, nbytes, exp);
 #else
-#ifdef TC_NS32K
-             fix_new_ns32k (frag_now, p - frag_now->fr_literal, nbytes,
-                            exp.X_add_symbol, exp.X_subtract_symbol,
-                            exp.X_add_number, 0, 0, 2, 0, 0);
-#else
-#if defined(TC_SPARC) || defined(TC_A29K)
-             fix_new (frag_now, p - frag_now->fr_literal, nbytes,
-                      exp.X_add_symbol, exp.X_subtract_symbol,
-                      exp.X_add_number, 0, RELOC_32);
+      fix_new_exp (frag_now, p - frag_now->fr_literal, (int) nbytes, exp, 0,
+                  /* @@ Should look at CPU word size.  */
+                  nbytes == 2 ? BFD_RELOC_16
+                  : nbytes == 8 ? BFD_RELOC_64
+                  : BFD_RELOC_32);
+#endif
 #else
-#if defined(TC_H8300)
-             fix_new (frag_now, p - frag_now->fr_literal, nbytes,
-                      exp.X_add_symbol, exp.X_subtract_symbol,
-                      exp.X_add_number, 0, R_RELWORD);
-
+#ifdef TC_CONS_FIX_NEW
+      TC_CONS_FIX_NEW (frag_now, p - frag_now->fr_literal, nbytes, exp);
 #else
+      /* Figure out which reloc number to use.  Use TC_CONS_RELOC if
+        it is defined, otherwise use NO_RELOC if it is defined,
+        otherwise use 0.  */
+#ifndef TC_CONS_RELOC
 #ifdef NO_RELOC
-             fix_new (frag_now, p - frag_now->fr_literal, nbytes,
-                      exp.X_add_symbol, exp.X_subtract_symbol,
-                      exp.X_add_number, 0, NO_RELOC);
+#define TC_CONS_RELOC NO_RELOC
 #else
-             fix_new (frag_now, p - frag_now->fr_literal, nbytes,
-                      exp.X_add_symbol, exp.X_subtract_symbol,
-                      exp.X_add_number, 0, 0);
-#endif /* NO_RELOC */
-#endif /* tc_h8300 */
-#endif /* tc_sparc|tc_a29k */
-#endif /* TC_NS32K */
+#define TC_CONS_RELOC 0
+#endif
+#endif
+      fix_new_exp (frag_now, p - frag_now->fr_literal, (int) nbytes, exp, 0,
+                  TC_CONS_RELOC);
+#endif /* TC_CONS_FIX_NEW */
 #endif /* BFD_ASSEMBLER */
-           }                   /* switch(segment) */
-       after_switch:
-         ;
-       }                       /* if (!need_pass_2) */
-      c = *input_line_pointer++;
-    }                          /* while(c==',') */
-  input_line_pointer--;                /* Put terminator back into stream. */
-  demand_empty_rest_of_line ();
-}                              /* cons() */
+    }
+}
 \f
-/*
- *                     big_cons()
- *
- * CONStruct more frag(s) of .quads, or .octa etc.
- * Makes 0 or more new frags.
- * If need_pass_2 == 1, generate no frag.
- * This understands only bignums, not expressions. Cons() understands
- * expressions.
- *
- * Constants recognised are '0...'(octal) '0x...'(hex) '...'(decimal).
- *
- * This creates objects with struct obstack_control objs, destroying
- * any context objs held about a partially completed object. Beware!
- *
- *
- * I think it sucks to have 2 different types of integers, with 2
- * routines to read them, store them etc.
- * It would be nicer to permit bignums in expressions and only
- * complain if the result overflowed. However, due to "efficiency"...
- */
-/* worker to do .quad etc statements */
-/* clobbers input_line_pointer, checks */
-/* end-of-line. */
-/* 8=.quad 16=.octa ... */
+#ifdef BITFIELD_CONS_EXPRESSIONS
 
-void 
-big_cons (nbytes)
-     register int nbytes;
+/* i960 assemblers, (eg, asm960), allow bitfields after ".byte" as
+   w:x,y:z, where w and y are bitwidths and x and y are values.  They
+   then pack them all together. We do a little better in that we allow
+   them in words, longs, etc. and we'll pack them in target byte order
+   for you.
+
+   The rules are: pack least significat bit first, if a field doesn't
+   entirely fit, put it in the next unit.  Overflowing the bitfield is
+   explicitly *not* even a warning.  The bitwidth should be considered
+   a "mask".
+
+   To use this function the tc-XXX.h file should define
+   BITFIELD_CONS_EXPRESSIONS.  */
+
+static void 
+parse_bitfield_cons (exp, nbytes)
+     expressionS *exp;
+     unsigned int nbytes;
 {
-  register char c;             /* input_line_pointer->c. */
-  register int radix;
-  register long length;                /* Number of chars in an object. */
-  register int digit;          /* Value of 1 digit. */
-  register int carry;          /* For multi-precision arithmetic. */
-  register int work;           /* For multi-precision arithmetic. */
-  register char *p;            /* For multi-precision arithmetic. */
+  unsigned int bits_available = BITS_PER_CHAR * nbytes;
+  char *hold = input_line_pointer;
 
-  extern const char hex_value[];       /* In hex_value.c. */
+  (void) expression (exp);
 
-  /*
-   * The following awkward logic is to parse ZERO or more strings,
-   * comma seperated. Recall an expression includes its leading &
-   * trailing blanks. We fake a leading ',' if there is (supposed to
-   * be) a 1st expression, and keep demanding 1 expression for each ','.
-   */
-  if (is_it_end_of_statement ())
-    {
-      c = 0;                   /* Skip loop. */
-    }
-  else
-    {
-      c = ',';                 /* Do loop. */
-      --input_line_pointer;
-    }
-  while (c == ',')
-    {
-      ++input_line_pointer;
-      SKIP_WHITESPACE ();
-      c = *input_line_pointer;
-      /* C contains 1st non-blank character of what we hope is a number. */
-      if (c == '0')
+  if (*input_line_pointer == ':')
+    {                  /* bitfields */
+      long value = 0;
+
+      for (;;)
        {
-         c = *++input_line_pointer;
-         if (c == 'x' || c == 'X')
+         unsigned long width;
+
+         if (*input_line_pointer != ':')
            {
-             c = *++input_line_pointer;
-             radix = 16;
-           }
-         else
+             input_line_pointer = hold;
+             break;
+           }                   /* next piece is not a bitfield */
+
+         /* In the general case, we can't allow
+            full expressions with symbol
+            differences and such.  The relocation
+            entries for symbols not defined in this
+            assembly would require arbitrary field
+            widths, positions, and masks which most
+            of our current object formats don't
+            support.
+            
+            In the specific case where a symbol
+            *is* defined in this assembly, we
+            *could* build fixups and track it, but
+            this could lead to confusion for the
+            backends.  I'm lazy. I'll take any
+            SEG_ABSOLUTE. I think that means that
+            you can use a previous .set or
+            .equ type symbol.  xoxorich. */
+
+         if (exp->X_op == O_absent)
            {
-             radix = 8;
-           }
-       }
-      else
-       {
-         radix = 10;
-       }
-      /*
-       * This feature (?) is here to stop people worrying about
-       * mysterious zero constants: which is what they get when
-       * they completely omit digits.
-       */
-      if (hex_value[c] >= radix)
-       {
-         as_bad ("Missing digits. 0 assumed.");
-       }
-      bignum_high = bignum_low - 1;    /* Start constant with 0 chars. */
-      for (; (digit = hex_value[c]) < radix; c = *++input_line_pointer)
-       {
-         /* Multiply existing number by radix, then add digit. */
-         carry = digit;
-         for (p = bignum_low; p <= bignum_high; p++)
+             as_warn ("using a bit field width of zero");
+             exp->X_add_number = 0;
+             exp->X_op = O_constant;
+           }                   /* implied zero width bitfield */
+
+         if (exp->X_op != O_constant)
            {
-             work = (*p & MASK_CHAR) * radix + carry;
-             *p = work & MASK_CHAR;
-             carry = work >> BITS_PER_CHAR;
-           }
-         if (carry)
+             *input_line_pointer = '\0';
+             as_bad ("field width \"%s\" too complex for a bitfield", hold);
+             *input_line_pointer = ':';
+             demand_empty_rest_of_line ();
+             return;
+           }                   /* too complex */
+
+         if ((width = exp->X_add_number) > (BITS_PER_CHAR * nbytes))
            {
-             grow_bignum ();
-             *bignum_high = carry & MASK_CHAR;
-             know ((carry & ~MASK_CHAR) == 0);
-           }
-       }
-      length = bignum_high - bignum_low + 1;
-      if (length > nbytes)
-       {
-         as_warn ("Most significant bits truncated in integer constant.");
-       }
-      else
-       {
-         register long leading_zeroes;
+             as_warn ("field width %lu too big to fit in %d bytes: truncated to %d bits",
+                      width, nbytes, (BITS_PER_CHAR * nbytes));
+             width = BITS_PER_CHAR * nbytes;
+           }                   /* too big */
 
-         for (leading_zeroes = nbytes - length;
-              leading_zeroes;
-              leading_zeroes--)
+         if (width > bits_available)
            {
-             grow_bignum ();
-             *bignum_high = 0;
-           }
-       }
-      if (!need_pass_2)
+             /* FIXME-SOMEDAY: backing up and reparsing is wasteful.  */
+             input_line_pointer = hold;
+             exp->X_add_number = value;
+             break;
+           }                   /* won't fit */
+
+         hold = ++input_line_pointer; /* skip ':' */
+
+         (void) expression (exp);
+         if (exp->X_op != O_constant)
+           {
+             char cache = *input_line_pointer;
+
+             *input_line_pointer = '\0';
+             as_bad ("field value \"%s\" too complex for a bitfield", hold);
+             *input_line_pointer = cache;
+             demand_empty_rest_of_line ();
+             return;
+           }                   /* too complex */
+
+         value |= ((~(-1 << width) & exp->X_add_number)
+                   << ((BITS_PER_CHAR * nbytes) - bits_available));
+
+         if ((bits_available -= width) == 0
+             || is_it_end_of_statement ()
+             || *input_line_pointer != ',')
+           {
+             break;
+           }                   /* all the bitfields we're gonna get */
+
+         hold = ++input_line_pointer;
+         (void) expression (exp);
+       }                       /* forever loop */
+
+      exp->X_add_number = value;
+      exp->X_op = O_constant;
+      exp->X_unsigned = 1;
+    }                          /* if looks like a bitfield */
+}                              /* parse_bitfield_cons() */
+
+#endif /* BITFIELD_CONS_EXPRESSIONS */
+\f
+#ifdef MRI
+
+static void
+parse_mri_cons (exp, nbytes)
+     expressionS *exp;
+     unsigned int nbytes;
+{
+  if (*input_line_pointer == '\'')
+    {
+      /* An MRI style string, cut into as many bytes as will fit into
+        a nbyte chunk, left justify if necessary, and separate with
+        commas so we can try again later */
+      int scan = 0;
+      unsigned int result = 0;
+      input_line_pointer++;
+      for (scan = 0; scan < nbytes; scan++)
        {
-         char *src = bignum_low;
-         p = frag_more (nbytes);
-         if (target_big_endian)
+         if (*input_line_pointer == '\'')
            {
-             int i;
-             for (i = nbytes - 1; i >= 0; i--)
-               p[i] = *src++;
+             if (input_line_pointer[1] == '\'')
+               {
+                 input_line_pointer++;
+               }
+             else
+               break;
            }
-         else
-           bcopy (bignum_low, p, (int) nbytes);
+         result = (result << 8) | (*input_line_pointer++);
        }
-      /* C contains character after number. */
-      SKIP_WHITESPACE ();
-      c = *input_line_pointer;
-      /* C contains 1st non-blank character after number. */
+
+      /* Left justify */
+      while (scan < nbytes)
+       {
+         result <<= 8;
+         scan++;
+       }
+      /* Create correct expression */
+      exp->X_op = O_constant;
+      exp->X_add_number = result;
+      /* Fake it so that we can read the next char too */
+      if (input_line_pointer[0] != '\'' ||
+         (input_line_pointer[0] == '\'' && input_line_pointer[1] == '\''))
+       {
+         input_line_pointer -= 2;
+         input_line_pointer[0] = ',';
+         input_line_pointer[1] = '\'';
+       }
+      else
+       input_line_pointer++;
     }
-  demand_empty_rest_of_line ();
-}                              /* big_cons() */
+  else
+    expression (&exp);
+}
 
-/* Extend bignum by 1 char. */
-static void 
-grow_bignum ()
+#endif /* MRI */
+\f
+#ifdef REPEAT_CONS_EXPRESSIONS
+
+/* Parse a repeat expression for cons.  This is used by the MIPS
+   assembler.  The format is NUMBER:COUNT; NUMBER appears in the
+   object file COUNT times.
+
+   To use this for a target, define REPEAT_CONS_EXPRESSIONS.  */
+
+static void
+parse_repeat_cons (exp, nbytes)
+     expressionS *exp;
+     unsigned int nbytes;
 {
-  register long length;
+  expressionS count;
+  register int i;
+
+  expression (exp);
 
-  bignum_high++;
-  if (bignum_high >= bignum_limit)
+  if (*input_line_pointer != ':')
     {
-      length = bignum_limit - bignum_low;
-      bignum_low = xrealloc (bignum_low, length + length);
-      bignum_high = bignum_low + length;
-      bignum_limit = bignum_low + length + length;
+      /* No repeat count.  */
+      return;
+    }
+
+  ++input_line_pointer;
+  expression (&count);
+  if (count.X_op != O_constant
+      || count.X_add_number <= 0)
+    {
+      as_warn ("Unresolvable or nonpositive repeat count; using 1");
+      return;
     }
-}                              /* grow_bignum(); */
+
+  /* The cons function is going to output this expression once.  So we
+     output it count - 1 times.  */
+  for (i = count.X_add_number - 1; i > 0; i--)
+    emit_expr (exp, nbytes);
+}
+
+#endif /* REPEAT_CONS_EXPRESSIONS */
 \f
 /*
  *                     float_cons()
@@ -2069,69 +2065,79 @@ grow_bignum ()
  *
  */
 
-void                           /* JF was static, but can't be if VAX.C is goning to use it */
-float_cons (float_type)                /* Worker to do .float etc statements. */
+void
+float_cons (float_type)
      /* Clobbers input_line-pointer, checks end-of-line. */
      register int float_type;  /* 'f':.ffloat ... 'F':.float ... */
 {
   register char *p;
-  register char c;
   int length;                  /* Number of chars in an object. */
   register char *err;          /* Error from scanning floating literal. */
   char temp[MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT];
 
-  /*
-   * The following awkward logic is to parse ZERO or more strings,
-   * comma seperated. Recall an expression includes its leading &
-   * trailing blanks. We fake a leading ',' if there is (supposed to
-   * be) a 1st expression, and keep demanding 1 expression for each ','.
-   */
   if (is_it_end_of_statement ())
     {
-      c = 0;                   /* Skip loop. */
-      ++input_line_pointer;    /*->past termintor. */
-    }
-  else
-    {
-      c = ',';                 /* Do loop. */
+      demand_empty_rest_of_line ();
+      return;
     }
-  while (c == ',')
+
+  do
     {
       /* input_line_pointer->1st char of a flonum (we hope!). */
       SKIP_WHITESPACE ();
+
       /* Skip any 0{letter} that may be present. Don't even check if the
        * letter is legal. Someone may invent a "z" format and this routine
        * has no use for such information. Lusers beware: you get
        * diagnostics if your input is ill-conditioned.
        */
-
       if (input_line_pointer[0] == '0' && isalpha (input_line_pointer[1]))
        input_line_pointer += 2;
 
       err = md_atof (float_type, temp, &length);
       know (length <= MAXIMUM_NUMBER_OF_CHARS_FOR_FLOAT);
       know (length > 0);
-      if (err && *err)
+      if (err)
        {
          as_bad ("Bad floating literal: %s", err);
          ignore_rest_of_line ();
-         /* Input_line_pointer->just after end-of-line. */
-         c = 0;                /* Break out of loop. */
+         return;
        }
-      else
+
+      if (!need_pass_2)
        {
-         if (!need_pass_2)
+         int count;
+
+         count = 1;
+
+#ifdef REPEAT_CONS_EXPRESSIONS
+         if (*input_line_pointer == ':')
+           {
+             expressionS count_exp;
+
+             ++input_line_pointer;
+             expression (&count_exp);
+             if (count_exp.X_op != O_constant
+                 || count_exp.X_add_number <= 0)
+               {
+                 as_warn ("unresolvable or nonpositive repeat count; using 1");
+               }
+             else
+               count = count_exp.X_add_number;
+           }
+#endif
+
+         while (--count >= 0)
            {
              p = frag_more (length);
-             bcopy (temp, p, length);
+             memcpy (p, temp, (unsigned int) length);
            }
-         SKIP_WHITESPACE ();
-         c = *input_line_pointer++;
-         /* C contains 1st non-white character after number. */
-         /* input_line_pointer->just after terminator (c). */
        }
+      SKIP_WHITESPACE ();
     }
-  --input_line_pointer;                /*->terminator (is not ','). */
+  while (*input_line_pointer++ == ',');
+
+  --input_line_pointer;                /* Put terminator back into stream.  */
   demand_empty_rest_of_line ();
 }                              /* float_cons() */
 \f
@@ -2308,16 +2314,16 @@ get_segmented_expression (expP)
   register segT retval;
 
   retval = expression (expP);
-  if (retval == pass1_section
-      || retval == absent_section
-      || retval == big_section)
+  if (expP->X_op == O_illegal
+      || expP->X_op == O_absent
+      || expP->X_op == O_big)
     {
-      as_bad ("Expected address expression: absolute 0 assumed");
-      retval = expP->X_seg = absolute_section;
+      as_bad ("expected address expression; zero assumed");
+      expP->X_op = O_constant;
       expP->X_add_number = 0;
-      expP->X_add_symbol = expP->X_subtract_symbol = 0;
+      retval = absolute_section;
     }
-  return (retval);             /* SEG_ ABSOLUTE,UNKNOWN,DATA,TEXT,BSS */
+  return retval;
 }
 
 static segT 
@@ -2325,60 +2331,46 @@ get_known_segmented_expression (expP)
      register expressionS *expP;
 {
   register segT retval;
-  register CONST char *name1;
-  register CONST char *name2;
 
   if ((retval = get_segmented_expression (expP)) == undefined_section)
     {
-      name1 = expP->X_add_symbol ? S_GET_NAME (expP->X_add_symbol) : "";
-      name2 = expP->X_subtract_symbol ?
-       S_GET_NAME (expP->X_subtract_symbol) :
-       "";
-      if (name1 && name2)
-       {
-         as_warn ("Symbols \"%s\" \"%s\" are undefined: absolute 0 assumed.",
-                  name1, name2);
-       }
+      /* There is no easy way to extract the undefined symbol from the
+        expression.  */
+      if (expP->X_add_symbol != NULL
+         && S_GET_SEGMENT (expP->X_add_symbol) != expr_section)
+       as_warn ("symbol \"%s\" undefined; zero assumed",
+                S_GET_NAME (expP->X_add_symbol));
       else
-       {
-         as_warn ("Symbol \"%s\" undefined: absolute 0 assumed.",
-                  name1 ? name1 : name2);
-       }
-      retval = expP->X_seg = absolute_section;
+       as_warn ("some symbol undefined; zero assumed");
+      retval = absolute_section;
+      expP->X_op = O_constant;
       expP->X_add_number = 0;
-      expP->X_add_symbol = expP->X_subtract_symbol = NULL;
     }
-  know (retval == absolute_section
-       || retval == diff_section
-       || SEG_NORMAL (retval));
+  know (retval == absolute_section || SEG_NORMAL (retval));
   return (retval);
-
 }                              /* get_known_segmented_expression() */
 
-
-
-/* static */ long              /* JF was static, but can't be if the MD pseudos are to use it */
+offsetT
 get_absolute_expression ()
 {
   expressionS exp;
-  register segT s;
 
-  if ((s = expression (&exp)) != absolute_section)
+  expression (&exp);
+  if (exp.X_op != O_constant)
     {
-      if (s != absent_section)
-       {
-         as_bad ("Bad Absolute Expression, absolute 0 assumed.");
-       }
+      if (exp.X_op != O_absent)
+       as_bad ("bad absolute expression; zero assumed");
       exp.X_add_number = 0;
     }
-  return (exp.X_add_number);
+  return exp.X_add_number;
 }
 
 char                           /* return terminator */
 get_absolute_expression_and_terminator (val_pointer)
      long *val_pointer;                /* return value of expression */
 {
-  *val_pointer = get_absolute_expression ();
+  /* FIXME: val_pointer should probably be offsetT *.  */
+  *val_pointer = (long) get_absolute_expression ();
   return (*input_line_pointer++);
 }
 \f
@@ -2467,7 +2459,7 @@ int
 is_it_end_of_statement ()
 {
   SKIP_WHITESPACE ();
-  return (is_end_of_line[*input_line_pointer]);
+  return (is_end_of_line[(unsigned char) *input_line_pointer]);
 }                              /* is_it_end_of_statement() */
 
 void 
@@ -2524,7 +2516,7 @@ s_include (arg)
 
   filename = demand_copy_string (&i);
   demand_empty_rest_of_line ();
-  path = xmalloc (i + include_dir_maxlen + 5 /* slop */ );
+  path = xmalloc ((unsigned long) i + include_dir_maxlen + 5 /* slop */ );
   for (i = 0; i < include_dir_count; i++)
     {
       strcpy (path, include_dirs[i]);
@@ -2574,7 +2566,7 @@ void
 s_ignore (arg)
      int arg;
 {
-  while (!is_end_of_line[*input_line_pointer])
+  while (!is_end_of_line[(unsigned char) *input_line_pointer])
     {
       ++input_line_pointer;
     }
@@ -2582,5 +2574,349 @@ s_ignore (arg)
 
   return;
 }                              /* s_ignore() */
+\f
+/*
+ * Handle .stabX directives, which used to be open-coded.
+ * So much creeping featurism overloaded the semantics that we decided
+ * to put all .stabX thinking in one place. Here.
+ *
+ * We try to make any .stabX directive legal. Other people's AS will often
+ * do assembly-time consistency checks: eg assigning meaning to n_type bits
+ * and "protecting" you from setting them to certain values. (They also zero
+ * certain bits before emitting symbols. Tut tut.)
+ *
+ * If an expression is not absolute we either gripe or use the relocation
+ * information. Other people's assemblers silently forget information they
+ * don't need and invent information they need that you didn't supply.
+ */
+
+/*
+ * Build a string dictionary entry for a .stabX symbol.
+ * The symbol is added to the .<secname>str section.
+ */
+
+#ifdef SEPARATE_STAB_SECTIONS
+
+unsigned int
+get_stab_string_offset (string, secname)
+     const char *string;
+     const char *secname;
+{
+  unsigned int length;
+  unsigned int retval;
+
+  retval = 0;
+  length = strlen (string);
+  if (length > 0)
+    {                          /* Ordinary case. */
+      segT save_seg;
+      subsegT save_subseg;
+      char *newsecname;
+      segT seg;
+      int aligned;
+      char *p;
+
+      save_seg = now_seg;
+      save_subseg = now_subseg;
+
+      /* Create the stab string section.  */
+      newsecname = xmalloc ((unsigned long) (strlen (secname) + 4));
+      strcpy (newsecname, secname);
+      strcat (newsecname, "str");
+
+      seg = subseg_new (newsecname, 0);
+
+      retval = seg_info (seg)->stabu.stab_string_size;
+      if (retval > 0)
+       free (newsecname);
+      else
+       {
+         /* Make sure the first string is empty.  */
+         p = frag_more (1);
+         *p = 0;
+         retval = seg_info (seg)->stabu.stab_string_size = 1;
+#ifdef BFD_ASSEMBLER
+         bfd_set_section_flags (stdoutput, seg, SEC_READONLY);
+#else
+         free (newsecname);
+#endif
+       }
+
+      p = frag_more (length + 1);
+      strcpy (p, string);
+
+      seg_info (seg)->stabu.stab_string_size += length + 1;
+
+      subseg_set (save_seg, save_subseg);
+    }
+
+  return retval;
+}
+
+#endif /* SEPARATE_STAB_SECTIONS */
+
+/* This can handle different kinds of stabs (s,n,d) and different
+   kinds of stab sections. */
+
+static void 
+s_stab_generic (what, secname)
+     int what;
+     char *secname;
+{
+  long longint;
+  char *string;
+  int type;
+  int other;
+  int desc;
+
+  /* The general format is:
+     .stabs "STRING",TYPE,OTHER,DESC,VALUE
+     .stabn TYPE,OTHER,DESC,VALUE
+     .stabd TYPE,OTHER,DESC
+     At this point input_line_pointer points after the pseudo-op and
+     any trailing whitespace.  The argument what is one of 's', 'n' or
+     'd' indicating which type of .stab this is.  */
+
+  if (what != 's')
+    string = "";
+  else
+    {
+      int length;
+
+      string = demand_copy_C_string (&length);
+      SKIP_WHITESPACE ();
+      if (*input_line_pointer == ',')
+       input_line_pointer++;
+      else
+       {
+         as_warn (".stabs: Missing comma");
+         ignore_rest_of_line ();
+         return;
+       }
+    }
+
+  if (get_absolute_expression_and_terminator (&longint) != ',')
+    {
+      as_warn (".stab%c: Missing comma", what);
+      ignore_rest_of_line ();
+      return;
+    }
+  type = longint;
+
+  if (get_absolute_expression_and_terminator (&longint) != ',')
+    {
+      as_warn (".stab%c: Missing comma", what);
+      ignore_rest_of_line ();
+      return;
+    }
+  other = longint;
+
+  desc = get_absolute_expression ();
+  if (what == 's' || what == 'n')
+    {
+      if (*input_line_pointer != ',')
+       {
+         as_warn (".stab%c: Missing comma", what);
+         ignore_rest_of_line ();
+         return;
+       }
+      input_line_pointer++;
+      SKIP_WHITESPACE ();
+    }
+
+  /* We have not gathered the type, other, and desc information.  For
+     .stabs or .stabn, input_line_pointer is now pointing at the
+     value.  */
+
+#ifdef SEPARATE_STAB_SECTIONS
+  /* Output the stab information in a separate section.  This is used
+     at least for COFF and ELF.  */
+  {
+    segT saved_seg = now_seg;
+    subsegT saved_subseg = now_subseg;
+    fragS *saved_frag = frag_now;
+    valueT dot;
+    segT seg;
+    unsigned int stroff;
+    char *p;
+    
+    dot = frag_now_fix ();
+
+    seg = subseg_new (secname, 0);
+
+    if (! seg_info (seg)->hadone)
+      {
+#ifdef BFD_ASSEMBLER
+       bfd_set_section_flags (stdoutput, seg, SEC_READONLY | SEC_RELOC);
+#endif
+#ifdef INIT_STAB_SECTION
+       INIT_STAB_SECTION (seg);
+#endif
+       seg_info (seg)->hadone = 1;
+      }
+
+    stroff = get_stab_string_offset (string, secname);
+
+    /* At least for now, stabs in a special stab section are always
+       output as 12 byte blocks of information.  */
+    p = frag_more (8);
+    md_number_to_chars (p, (valueT) stroff, 4);
+    md_number_to_chars (p + 4, (valueT) type, 1);
+    md_number_to_chars (p + 5, (valueT) other, 1);
+    md_number_to_chars (p + 6, (valueT) desc, 2);
+
+    if (what == 's' || what == 'n')
+      {
+       /* Pick up the value from the input line.  */
+       cons (4);
+       input_line_pointer--;
+      }
+    else
+      {
+       const char *fake;
+       symbolS *symbol;
+       expressionS exp;
+
+       /* Arrange for a value representing the current location.  */
+#ifdef DOT_LABEL_PREFIX
+       fake = ".L0\001";
+#else
+       fake = "L0\001";
+#endif
+       symbol = symbol_new (fake, saved_seg, dot, saved_frag);
+
+       exp.X_op = O_symbol;
+       exp.X_add_symbol = symbol;
+       exp.X_add_number = 0;
+
+       emit_expr (&exp, 4);
+      }
+
+#ifdef OBJ_PROCESS_STAB
+    OBJ_PROCESS_STAB (seg, string, stroff, type, other, desc);
+#endif
+
+    subseg_set (saved_seg, saved_subseg);
+  }
+#else /* ! SEPARATE_STAB_SECTIONS */
+#ifdef OBJ_PROCESS_STAB
+  OBJ_PROCESS_STAB (what, string, type, other, desc);
+#else
+  /* Put the stab information in the symbol table.  */
+  {
+    symbolS *symbol;
+
+    symbol = symbol_new (string, undefined_section, 0,
+                        (struct frag *) NULL);
+    if (what == 's' || what == 'n')
+      {
+       /* Pick up the value from the input line.  */
+       symbol->sy_frag = &zero_address_frag;
+       pseudo_set (symbol);
+      }
+    else
+      {
+       /* .stabd sets the name to NULL.  Why?  */
+       S_SET_NAME (symbol, NULL);
+       symbol->sy_frag = frag_now;
+       S_SET_VALUE (symbol, (valueT) frag_now_fix ());
+      }
+
+    S_SET_TYPE (symbol, type);
+    S_SET_OTHER (symbol, other);
+    S_SET_DESC (symbol, desc);
+  }
+#endif /* ! OBJ_PROCESS_STAB */
+#endif /* ! SEPARATE_STAB_SECTIONS */
+
+#ifndef NO_LISTING
+  if (listing)
+    {
+      switch (type)
+       {
+       case N_SLINE:
+         listing_source_line ((unsigned int) desc);
+         break;
+       case N_SO:
+       case N_SOL:
+         listing_source_file (string);
+         break;
+       }
+    }
+#endif /* ! NO_LISTING */
+
+  demand_empty_rest_of_line ();
+}
+
+/* Regular stab directive. */
+
+void
+s_stab (what)
+     int what;
+{
+  s_stab_generic (what, ".stab");
+}
+
+/* "Extended stabs", used in Solaris only now. */
+
+void
+s_xstab (what)
+     int what;
+{
+  int length;
+  char *secname;
+
+  secname = demand_copy_C_string (&length);
+  SKIP_WHITESPACE ();
+  if (*input_line_pointer == ',')
+    input_line_pointer++;
+  else
+    {
+      as_bad ("comma missing in .xstabs");
+      ignore_rest_of_line ();
+      return;
+    }
+  s_stab_generic (what, secname);
+}
+
+#ifdef S_SET_DESC
+
+/* Frob invented at RMS' request. Set the n_desc of a symbol.  */
+
+void 
+s_desc (ignore)
+     int ignore;
+{
+  char *name;
+  char c;
+  char *p;
+  symbolS *symbolP;
+  int temp;
+
+  name = input_line_pointer;
+  c = get_symbol_end ();
+  p = input_line_pointer;
+  *p = c;
+  SKIP_WHITESPACE ();
+  if (*input_line_pointer != ',')
+    {
+      *p = 0;
+      as_bad ("Expected comma after name \"%s\"", name);
+      *p = c;
+      ignore_rest_of_line ();
+    }
+  else
+    {
+      input_line_pointer++;
+      temp = get_absolute_expression ();
+      *p = 0;
+      symbolP = symbol_find_or_make (name);
+      *p = c;
+      S_SET_DESC (symbolP, temp);
+    }
+  demand_empty_rest_of_line ();
+}                              /* s_desc() */
+
+#endif /* defined (S_SET_DESC) */
 
 /* end of read.c */