libgfortran.h (gfc_char4_t): New type.

2008-05-14  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>

	* libgfortran.h (gfc_char4_t): New type.
	(GFC_SIZE_OF_CHAR_KIND): New macro.
	(compare_string): Adjust prototype.
	(compare_string_char4): New prototype.
	* gfortran.map (GFORTRAN_1.1): Add _gfortran_adjustl_char4,
	_gfortran_adjustr_char4, _gfortran_compare_string_char4,
	_gfortran_concat_string_char4, _gfortran_string_index_char4,
	_gfortran_string_len_trim_char4, _gfortran_string_minmax_char4,
	_gfortran_string_scan_char4, _gfortran_string_trim_char4 and
	_gfortran_string_verify_char4.
	* intrinsics/string_intrinsics_inc.c: New file from content of
	string_intrinsics.c with types replaced by macros.
	* intrinsics/string_intrinsics.c: Move content to
	string_intrinsics_inc.c.

From-SVN: r135313

1 files changed, 31 insertions, 365 deletions

diff --git a/libgfortran/intrinsics/string_intrinsics.c b/libgfortran/intrinsics/string_intrinsics.c
index 1a769451b26..f6d9663f0ba 100644
--- a/libgfortran/intrinsics/string_intrinsics.c
+++ b/libgfortran/intrinsics/string_intrinsics.c
@@ -1,8 +1,7 @@
 /* String intrinsics helper functions.
-   Copyright 2002, 2005, 2007 Free Software Foundation, Inc.
-   Contributed by Paul Brook <paul@nowt.org>
+   Copyright 2008 Free Software Foundation, Inc.
 
-This file is part of the GNU Fortran 95 runtime library (libgfortran).
+This file is part of the GNU Fortran runtime library (libgfortran).
 
 Libgfortran is free software; you can redistribute it and/or
 modify it under the terms of the GNU General Public
@@ -42,378 +41,45 @@ Boston, MA 02110-1301, USA.  */
 #include <string.h>
 
 
-/* String functions.  */
+/* Helper function to set parts of wide strings to a constant (usually
+   spaces).  */
 
-extern void concat_string (GFC_INTEGER_4, char *,
-			   GFC_INTEGER_4, const char *,
-			   GFC_INTEGER_4, const char *);
-export_proto(concat_string);
-
-extern GFC_INTEGER_4 string_len_trim (GFC_INTEGER_4, const char *);
-export_proto(string_len_trim);
-
-extern void adjustl (char *, GFC_INTEGER_4, const char *);
-export_proto(adjustl);
-
-extern void adjustr (char *, GFC_INTEGER_4, const char *);
-export_proto(adjustr);
-
-extern GFC_INTEGER_4 string_index (GFC_INTEGER_4, const char *, GFC_INTEGER_4,
-				   const char *, GFC_LOGICAL_4);
-export_proto(string_index);
-
-extern GFC_INTEGER_4 string_scan (GFC_INTEGER_4, const char *, GFC_INTEGER_4,
-				  const char *, GFC_LOGICAL_4);
-export_proto(string_scan);
-
-extern GFC_INTEGER_4 string_verify (GFC_INTEGER_4, const char *, GFC_INTEGER_4,
-				    const char *, GFC_LOGICAL_4);
-export_proto(string_verify);
-
-extern void string_trim (GFC_INTEGER_4 *, void **, GFC_INTEGER_4, const char *);
-export_proto(string_trim);
-
-extern void string_minmax (GFC_INTEGER_4 *, void **, int, int, ...);
-export_proto(string_minmax);
-
-
-/* Use for functions which can return a zero-length string.  */
-static char zero_length_string = '\0';
-
-
-/* Strings of unequal length are extended with pad characters.  */
-
-int
-compare_string (GFC_INTEGER_4 len1, const char * s1,
-		GFC_INTEGER_4 len2, const char * s2)
-{
-  int res;
-  const unsigned char *s;
-  int len;
-
-  res = memcmp (s1, s2, (len1 < len2) ? len1 : len2);
-  if (res != 0)
-    return res;
-
-  if (len1 == len2)
-    return 0;
-
-  if (len1 < len2)
-    {
-      len = len2 - len1;
-      s = (unsigned char *) &s2[len1];
-      res = -1;
-    }
-  else
-    {
-      len = len1 - len2;
-      s = (unsigned char *) &s1[len2];
-      res = 1;
-    }
-
-  while (len--)
-    {
-      if (*s != ' ')
-        {
-          if (*s > ' ')
-            return res;
-          else
-            return -res;
-        }
-      s++;
-    }
-
-  return 0;
-}
-iexport(compare_string);
-
-
-/* The destination and source should not overlap.  */
-
-void
-concat_string (GFC_INTEGER_4 destlen, char * dest,
-	       GFC_INTEGER_4 len1, const char * s1,
-	       GFC_INTEGER_4 len2, const char * s2)
-{
-  if (len1 >= destlen)
-    {
-      memcpy (dest, s1, destlen);
-      return;
-    }
-  memcpy (dest, s1, len1);
-  dest += len1;
-  destlen -= len1;
-
-  if (len2 >= destlen)
-    {
-      memcpy (dest, s2, destlen);
-      return;
-    }
-
-  memcpy (dest, s2, len2);
-  memset (&dest[len2], ' ', destlen - len2);
-}
-
-
-/* Return string with all trailing blanks removed.  */
-
-void
-string_trim (GFC_INTEGER_4 * len, void ** dest, GFC_INTEGER_4 slen,
-	     const char * src)
-{
-  int i;
-
-  /* Determine length of result string.  */
-  for (i = slen - 1; i >= 0; i--)
-    {
-      if (src[i] != ' ')
-        break;
-    }
-  *len = i + 1;
-
-  if (*len == 0)
-    *dest = &zero_length_string;
-  else
-    {
-      /* Allocate space for result string.  */
-      *dest = internal_malloc_size (*len);
-
-      /* Copy string if necessary.  */
-      memmove (*dest, src, *len);
-    }
-}
-
-
-/* The length of a string not including trailing blanks.  */
-
-GFC_INTEGER_4
-string_len_trim (GFC_INTEGER_4 len, const char * s)
-{
-  int i;
-
-  for (i = len - 1; i >= 0; i--)
-    {
-      if (s[i] != ' ')
-        break;
-    }
-  return i + 1;
-}
-
-
-/* Find a substring within a string.  */
-
-GFC_INTEGER_4
-string_index (GFC_INTEGER_4 slen, const char * str, GFC_INTEGER_4 sslen,
-	      const char * sstr, GFC_LOGICAL_4 back)
-{
-  int start;
-  int last;
-  int i;
-  int delta;
-
-  if (sslen == 0)
-    return 1;
-
-  if (sslen > slen)
-    return 0;
-
-  if (!back)
-    {
-      last = slen + 1 - sslen;
-      start = 0;
-      delta = 1;
-    }
-  else
-    {
-      last = -1;
-      start = slen - sslen;
-      delta = -1;
-    }
-  i = 0;
-  for (; start != last; start+= delta)
-    {
-      for (i = 0; i < sslen; i++)
-        {
-          if (str[start + i] != sstr[i])
-            break;
-        }
-      if (i == sslen)
-        return (start + 1);
-    }
-  return 0;
-}
-
-
-/* Remove leading blanks from a string, padding at end.  The src and dest
-   should not overlap.  */
-
-void
-adjustl (char *dest, GFC_INTEGER_4 len, const char *src)
-{
-  int i;
-
-  i = 0;
-  while (i<len && src[i] == ' ')
-    i++;
-
-  if (i < len)
-    memcpy (dest, &src[i], len - i);
-  if (i > 0)
-    memset (&dest[len - i], ' ', i);
-}
-
-
-/* Remove trailing blanks from a string.  */
-
-void
-adjustr (char *dest, GFC_INTEGER_4 len, const char *src)
-{
-  int i;
-
-  i = len;
-  while (i > 0 && src[i - 1] == ' ')
-    i--;
-
-  if (i < len)
-    memset (dest, ' ', len - i);
-  memcpy (dest + (len - i), src, i );
-}
-
-
-/* Scan a string for any one of the characters in a set of characters.  */
-
-GFC_INTEGER_4
-string_scan (GFC_INTEGER_4 slen, const char * str, GFC_INTEGER_4 setlen,
-             const char * set, GFC_LOGICAL_4 back)
-{
-  int i, j;
-
-  if (slen == 0 || setlen == 0)
-    return 0;
-
-  if (back)
-    {
-      for (i = slen - 1; i >= 0; i--)
-	{
-	  for (j = 0; j < setlen; j++)
-	    {
-	      if (str[i] == set[j])
-		return (i + 1);
-	    }
-	}
-    }
-  else
-    {
-      for (i = 0; i < slen; i++)
-	{
-	  for (j = 0; j < setlen; j++)
-	    {
-	      if (str[i] == set[j])
-		return (i + 1);
-	    }
-	}
-    }
-
-  return 0;
-}
-
-
-/* Verify that a set of characters contains all the characters in a
-   string by identifying the position of the first character in a
-   characters that does not appear in a given set of characters.  */
-
-GFC_INTEGER_4
-string_verify (GFC_INTEGER_4 slen, const char * str, GFC_INTEGER_4 setlen,
-               const char * set, GFC_LOGICAL_4 back)
+static gfc_char4_t *
+memset_char4 (gfc_char4_t *b, gfc_char4_t c, size_t len)
 {
-  int start;
-  int last;
-  int i;
-  int delta;
-
-  if (slen == 0)
-    return 0;
+  size_t i;
 
-  if (back)
-    {
-      last = -1;
-      start = slen - 1;
-      delta = -1;
-    }
-  else
-    {
-      last = slen;
-      start = 0;
-      delta = 1;
-    }
-  for (; start != last; start += delta)
-    {
-      for (i = 0; i < setlen; i++)
-        {
-          if (str[start] == set[i])
-            break;
-        }
-      if (i == setlen)
-        return (start + 1);
-    }
+  for (i = 0; i < len; i++)
+    b[i] = c;
 
-  return 0;
+  return b;
 }
 
 
-/* MIN and MAX intrinsics for strings.  The front-end makes sure that
-   nargs is at least 2.  */
+/* All other functions are defined using a few generic macros in
+   string_intrinsics_inc.c, so we avoid code duplication between the
+   various character type kinds.  */
 
-void
-string_minmax (GFC_INTEGER_4 *rlen, void **dest, int op, int nargs, ...)
-{
-  va_list ap;
-  int i;
-  char * next, * res;
-  GFC_INTEGER_4 nextlen, reslen;
-
-  va_start (ap, nargs);
-  reslen = va_arg (ap, GFC_INTEGER_4);
-  res = va_arg (ap, char *);
-  *rlen = reslen;
-
-  if (res == NULL)
-    runtime_error ("First argument of '%s' intrinsic should be present",
-		   op > 0 ? "MAX" : "MIN");
+#undef  CHARTYPE
+#define CHARTYPE char
+#undef  UCHARTYPE
+#define UCHARTYPE unsigned char
+#undef  SUFFIX
+#define SUFFIX(x) x
+#undef  MEMSET
+#define MEMSET memset
 
-  for (i = 1; i < nargs; i++)
-    {
-      nextlen = va_arg (ap, GFC_INTEGER_4);
-      next = va_arg (ap, char *);
+#include "string_intrinsics_inc.c"
 
 
-      if (next == NULL)
-	{
-	  if (i == 1)
-	    runtime_error ("Second argument of '%s' intrinsic should be "
-			   "present", op > 0 ? "MAX" : "MIN");
-	  else
-	    continue;
-	}
+#undef  CHARTYPE
+#define CHARTYPE gfc_char4_t
+#undef  UCHARTYPE
+#define UCHARTYPE gfc_char4_t
+#undef  SUFFIX
+#define SUFFIX(x) x ## _char4
+#undef  MEMSET
+#define MEMSET memset_char4
 
-      if (nextlen > *rlen)
-	*rlen = nextlen;
+#include "string_intrinsics_inc.c"
 
-      if (op * compare_string (reslen, res, nextlen, next) < 0)
-	{
-	  reslen = nextlen;
-	  res = next;
-	}
-    }
-  va_end (ap);
-
-  if (*rlen == 0)
-    *dest = &zero_length_string;
-  else
-    {
-      char * tmp = internal_malloc_size (*rlen);
-      memcpy (tmp, res, reslen);
-      memset (&tmp[reslen], ' ', *rlen - reslen);
-      *dest = tmp;
-    }
-}