2001-05-24 H.J. Lu <hjl@gnu.org>
[deliverable/binutils-gdb.git] / gas / macro.c
index 9d92ff4f1b15609762a58210e4a0ff35c923896a..8512208da553270382705043f9be8f6942119ad4 100644 (file)
@@ -1,5 +1,6 @@
 /* macro.c - macro support for gas and gasp
-   Copyright (C) 1994, 95, 96, 97, 1998 Free Software Foundation, Inc.
+   Copyright 1994, 1995, 1996, 1997, 1998, 1999, 2000
+   Free Software Foundation, Inc.
 
    Written by Steve and Judy Chamberlain of Cygnus Support,
       sac@cygnus.com
@@ -19,7 +20,7 @@
    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. */
+   02111-1307, USA.  */
 
 #include "config.h"
 
@@ -70,42 +71,6 @@ extern void *alloca ();
 /* The routines in this file handle macro definition and expansion.
    They are called by both gasp and gas.  */
 
-/* Structures used to store macros. 
-
-   Each macro knows its name and included text.  It gets built with a
-   list of formal arguments, and also keeps a hash table which points
-   into the list to speed up formal search.  Each formal knows its
-   name and its default value.  Each time the macro is expanded, the
-   formals get the actual values attatched to them. */
-
-/* describe the formal arguments to a macro */
-
-typedef struct formal_struct
-  {
-    struct formal_struct *next;        /* next formal in list */
-    sb name;                   /* name of the formal */
-    sb def;                    /* the default value */
-    sb actual;                 /* the actual argument (changed on each expansion) */
-    int index;                 /* the index of the formal 0..formal_count-1 */
-  }
-formal_entry;
-
-/* Other values found in the index field of a formal_entry.  */
-#define QUAL_INDEX (-1)
-#define NARG_INDEX (-2)
-#define LOCAL_INDEX (-3)
-
-/* describe the macro. */
-
-typedef struct macro_struct
-  {
-    sb sub;                    /* substitution text. */
-    int formal_count;          /* number of formal args. */
-    formal_entry *formals;     /* pointer to list of formal_structs */
-    struct hash_control *formal_hash; /* hash table of formals. */
-  }
-macro_entry;
-
 /* Internal functions.  */
 
 static int get_token PARAMS ((int, sb *, sb *));
@@ -208,7 +173,7 @@ buffer_and_nest (from, to, ptr, get_line)
 
   while (more)
     {
-      /* Try and find the first pseudo op on the line */
+      /* Try and find the first pseudo op on the line */
       int i = line_start;
 
       if (! macro_alternate && ! macro_mri)
@@ -216,26 +181,26 @@ buffer_and_nest (from, to, ptr, get_line)
          /* With normal syntax we can suck what we want till we get
             to the dot.  With the alternate, labels have to start in
             the first column, since we cant tell what's a label and
-            whats a pseudoop */
+            whats a pseudoop */
 
-         /* Skip leading whitespace */
+         /* Skip leading whitespace */
          while (i < ptr->len && ISWHITE (ptr->ptr[i]))
            i++;
 
-         /* Skip over a label */
+         /* Skip over a label */
          while (i < ptr->len
                 && (isalnum ((unsigned char) ptr->ptr[i])
                     || ptr->ptr[i] == '_'
                     || ptr->ptr[i] == '$'))
            i++;
 
-         /* And a colon */
+         /* And a colon */
          if (i < ptr->len
              && ptr->ptr[i] == ':')
            i++;
 
        }
-      /* Skip trailing whitespace */
+      /* Skip trailing whitespace */
       while (i < ptr->len && ISWHITE (ptr->ptr[i]))
        i++;
 
@@ -244,22 +209,26 @@ buffer_and_nest (from, to, ptr, get_line)
                           || macro_mri))
        {
          if (ptr->ptr[i] == '.')
-             i++;
-         if (strncasecmp (ptr->ptr + i, from, from_len) == 0)
+           i++;
+         if (strncasecmp (ptr->ptr + i, from, from_len) == 0
+             && (ptr->len == (i + from_len)
+                 || ! isalnum (ptr->ptr[i + from_len])))
            depth++;
-         if (strncasecmp (ptr->ptr + i, to, to_len) == 0)
+         if (strncasecmp (ptr->ptr + i, to, to_len) == 0
+             && (ptr->len == (i + to_len)
+                 || ! isalnum (ptr->ptr[i + to_len])))
            {
              depth--;
              if (depth == 0)
                {
-                 /* Reset the string to not include the ending rune */
+                 /* Reset the string to not include the ending rune */
                  ptr->len = line_start;
                  break;
                }
            }
        }
 
-      /* Add a CR to the end and keep running */
+      /* Add a CR to the end and keep running */
       sb_add_char (ptr, '\n');
       line_start = ptr->len;
       more = get_line (ptr);
@@ -291,7 +260,7 @@ get_token (idx, in, name)
          sb_add_char (name, in->ptr[idx++]);
        }
     }
-  /* Ignore trailing & */
+  /* Ignore trailing & */
   if (macro_alternate && idx < in->len && in->ptr[idx] == '&')
     idx++;
   return idx;
@@ -308,7 +277,7 @@ getstring (idx, in, acc)
   idx = sb_skip_white (idx, in);
 
   while (idx < in->len
-        && (in->ptr[idx] == '"' 
+        && (in->ptr[idx] == '"'
             || (in->ptr[idx] == '<' && (macro_alternate || macro_mri))
             || (in->ptr[idx] == '\'' && macro_alternate)))
     {
@@ -321,7 +290,7 @@ getstring (idx, in, acc)
            {
              if (in->ptr[idx] == '!')
                {
-                 idx++  ;
+                 idx++;
                  sb_add_char (acc, in->ptr[idx++]);
                }
              else
@@ -338,29 +307,47 @@ getstring (idx, in, acc)
       else if (in->ptr[idx] == '"' || in->ptr[idx] == '\'')
        {
          char tchar = in->ptr[idx];
+         int escaped = 0;
+
          idx++;
+
          while (idx < in->len)
            {
+             if (in->ptr[idx - 1] == '\\')
+               escaped ^= 1;
+             else
+               escaped = 0;
+
              if (macro_alternate && in->ptr[idx] == '!')
                {
-                 idx++  ;
-                 sb_add_char (acc, in->ptr[idx++]);
+                 idx ++;
+
+                 sb_add_char (acc, in->ptr[idx]);
+
+                 idx ++;
+               }
+             else if (escaped && in->ptr[idx] == tchar)
+               {
+                 sb_add_char (acc, tchar);
+                 idx ++;
                }
              else
                {
                  if (in->ptr[idx] == tchar)
                    {
-                     idx++;
+                     idx ++;
+
                      if (idx >= in->len || in->ptr[idx] != tchar)
                        break;
                    }
+
                  sb_add_char (acc, in->ptr[idx]);
-                 idx++;
+                 idx ++;
                }
            }
        }
     }
-  
+
   return idx;
 }
 
@@ -385,7 +372,7 @@ get_any_string (idx, in, out, expand, pretend_quoted)
 
   if (idx < in->len)
     {
-      if (in->len > 2 && in->ptr[idx+1] == '\'' && ISBASE (in->ptr[idx]))
+      if (in->len > 2 && in->ptr[idx + 1] == '\'' && ISBASE (in->ptr[idx]))
        {
          while (!ISSEP (in->ptr[idx]))
            sb_add_char (out, in->ptr[idx++]);
@@ -396,7 +383,7 @@ get_any_string (idx, in, out, expand, pretend_quoted)
        {
          int val;
          char buf[20];
-         /* Turns the next expression into a string */
+         /* Turns the next expression into a string */
          idx = (*macro_expr) (_("% operator needs absolute expression"),
                               idx + 1,
                               in,
@@ -412,39 +399,39 @@ get_any_string (idx, in, out, expand, pretend_quoted)
              && ! macro_strip_at
              && expand)
            {
-             /* Keep the quotes */
-             sb_add_char (out,  '\"');
+             /* Keep the quotes */
+             sb_add_char (out, '\"');
 
              idx = getstring (idx, in, out);
-             sb_add_char (out,  '\"');
+             sb_add_char (out, '\"');
            }
          else
            {
              idx = getstring (idx, in, out);
            }
        }
-      else 
+      else
        {
-         while (idx < in->len 
+         while (idx < in->len
                 && (in->ptr[idx] == '"'
                     || in->ptr[idx] == '\''
-                    || pretend_quoted 
+                    || pretend_quoted
                     || (in->ptr[idx] != ' '
                         && in->ptr[idx] != '\t'
                         && in->ptr[idx] != ','
                         && (in->ptr[idx] != '<'
                             || (! macro_alternate && ! macro_mri)))))
            {
-             if (in->ptr[idx] == '"' 
+             if (in->ptr[idx] == '"'
                  || in->ptr[idx] == '\'')
                {
                  char tchar = in->ptr[idx];
                  sb_add_char (out, in->ptr[idx++]);
                  while (idx < in->len
                         && in->ptr[idx] != tchar)
-                   sb_add_char (out, in->ptr[idx++]);              
+                   sb_add_char (out, in->ptr[idx++]);
                  if (idx == in->len)
-                   return idx;       
+                   return idx;
                }
              sb_add_char (out, in->ptr[idx++]);
            }
@@ -483,15 +470,15 @@ do_formals (macro, idx, in)
       idx = sb_skip_white (idx, in);
       if (formal->name.len)
        {
-         /* This is a formal */
+         /* This is a formal */
          if (idx < in->len && in->ptr[idx] == '=')
            {
-             /* Got a default */
+             /* Got a default */
              idx = get_any_string (idx + 1, in, &formal->def, 1, 0);
            }
        }
 
-      /* Add to macro's hash table */
+      /* Add to macro's hash table */
       hash_jam (macro->formal_hash, sb_terminate (&formal->name), formal);
 
       formal->index = macro->formal_count;
@@ -524,7 +511,7 @@ do_formals (macro, idx, in)
 
       sb_add_string (&formal->name, name);
 
-      /* Add to macro's hash table */
+      /* Add to macro's hash table */
       hash_jam (macro->formal_hash, name, formal);
 
       formal->index = NARG_INDEX;
@@ -566,14 +553,14 @@ define_macro (idx, in, label, get_line, namep)
       sb_add_sb (&name, label);
       if (idx < in->len && in->ptr[idx] == '(')
        {
-         /* It's the label: MACRO (formals,...)  sort */
+         /* It's the label: MACRO (formals,...)  sort  */
          idx = do_formals (macro, idx + 1, in);
          if (in->ptr[idx] != ')')
            return _("missing ) after formals");
        }
       else
        {
-         /* It's the label: MACRO formals,...  sort */
+         /* It's the label: MACRO formals,...  sort  */
          idx = do_formals (macro, idx, in);
        }
     }
@@ -584,7 +571,7 @@ define_macro (idx, in, label, get_line, namep)
       idx = do_formals (macro, idx, in);
     }
 
-  /* and stick it in the macro hash table */
+  /* And stick it in the macro hash table.  */
   for (idx = 0; idx < name.len; idx++)
     if (isupper ((unsigned char) name.ptr[idx]))
       name.ptr[idx] = tolower (name.ptr[idx]);
@@ -661,7 +648,7 @@ sub_actual (start, in, t, formal_hash, kind, out, copyifnotthere)
     {
       sb_add_sb (out, t);
     }
-  else 
+  else
     {
       sb_add_char (out, '\\');
       sb_add_sb (out, t);
@@ -710,14 +697,14 @@ macro_expand_body (in, out, formals, formal_hash, comment_char, locals)
          src++;
          if (in->ptr[src] == comment_char && comment_char != '\0')
            {
-             /* This is a comment, just drop the rest of the line */
+             /* This is a comment, just drop the rest of the line */
              while (src < in->len
                     && in->ptr[src] != '\n')
                src++;
            }
          else if (in->ptr[src] == '(')
            {
-             /* Sub in till the next ')' literally */
+             /* Sub in till the next ')' literally */
              src++;
              while (src < in->len && in->ptr[src] != ')')
                {
@@ -730,17 +717,17 @@ macro_expand_body (in, out, formals, formal_hash, comment_char, locals)
            }
          else if (in->ptr[src] == '@')
            {
-             /* Sub in the macro invocation number */
+             /* Sub in the macro invocation number */
 
              char buffer[10];
              src++;
-             sprintf (buffer, "%05d", macro_number);
+             sprintf (buffer, "%d", macro_number);
              sb_add_string (out, buffer);
            }
          else if (in->ptr[src] == '&')
            {
              /* This is a preprocessor variable name, we don't do them
-                here */
+                here */
              sb_add_char (out, '\\');
              sb_add_char (out, '&');
              src++;
@@ -902,7 +889,9 @@ macro_expand_body (in, out, formals, formal_hash, comment_char, locals)
       formal_entry *f;
 
       f = loclist->next;
-      hash_delete (formal_hash, sb_terminate (&loclist->name));
+      /* Setting the value to NULL effectively deletes the entry.  We
+         avoid calling hash_delete because it doesn't reclaim memory.  */
+      hash_jam (formal_hash, sb_terminate (&loclist->name), NULL);
       sb_kill (&loclist->name);
       sb_kill (&loclist->def);
       sb_kill (&loclist->actual);
@@ -933,10 +922,10 @@ macro_expand (idx, in, m, out, comment_char)
   const char *err;
 
   sb_new (&t);
-  
-  /* Reset any old value the actuals may have */
+
+  /* Reset any old value the actuals may have */
   for (f = m->formals; f; f = f->next)
-      sb_reset (&f->actual);
+    sb_reset (&f->actual);
   f = m->formals;
   while (f != NULL && f->index < 0)
     f = f->next;
@@ -962,13 +951,13 @@ macro_expand (idx, in, m, out, comment_char)
        }
     }
 
-  /* Peel off the actuals and store them away in the hash tables' actuals */
+  /* Peel off the actuals and store them away in the hash tables' actuals */
   idx = sb_skip_white (idx, in);
   while (idx < in->len && in->ptr[idx] != comment_char)
     {
       int scan;
 
-      /* Look and see if it's a positional or keyword arg */
+      /* Look and see if it's a positional or keyword arg */
       scan = idx;
       while (scan < in->len
             && !ISSEP (in->ptr[scan])
@@ -982,19 +971,19 @@ macro_expand (idx, in, m, out, comment_char)
          /* It's OK to go from positional to keyword.  */
 
          /* This is a keyword arg, fetch the formal name and
-            then the actual stuff */
+            then the actual stuff */
          sb_reset (&t);
          idx = get_token (idx, in, &t);
          if (in->ptr[idx] != '=')
            return _("confusion in formal parameters");
 
-         /* Lookup the formal in the macro's list */
+         /* Lookup the formal in the macro's list */
          ptr = (formal_entry *) hash_find (m->formal_hash, sb_terminate (&t));
          if (!ptr)
            return _("macro formal argument does not exist");
          else
            {
-             /* Insert this value into the right place */
+             /* Insert this value into the right place */
              sb_reset (&ptr->actual);
              idx = get_any_string (idx + 1, in, &ptr->actual, 0, 0);
              if (ptr->actual.len > 0)
@@ -1003,7 +992,7 @@ macro_expand (idx, in, m, out, comment_char)
        }
       else
        {
-         /* This is a positional arg */
+         /* This is a positional arg */
          is_positional = 1;
          if (is_keyword)
            return _("can't mix positional and keyword arguments");
@@ -1104,11 +1093,12 @@ macro_expand (idx, in, m, out, comment_char)
    gasp.  Return 1 if a macro is found, 0 otherwise.  */
 
 int
-check_macro (line, expand, comment_char, error)
+check_macro (line, expand, comment_char, error, info)
      const char *line;
      sb *expand;
      int comment_char;
      const char **error;
+     macro_entry **info;
 {
   const char *s;
   char *copy, *cs;
@@ -1149,6 +1139,10 @@ check_macro (line, expand, comment_char, error)
 
   sb_kill (&line_sb);
 
+  /* Export the macro information if requested.  */
+  if (info)
+    *info = macro;
+
   return 1;
 }
 
@@ -1190,7 +1184,7 @@ expand_irp (irpc, idx, in, out, get_line, comment_char)
   sb_new (&sub);
   if (! buffer_and_nest (mn, "ENDR", &sub, get_line))
     return _("unexpected end of file in irp or irpc");
-  
+
   sb_new (&f.name);
   sb_new (&f.def);
   sb_new (&f.actual);
This page took 0.043399 seconds and 4 git commands to generate.