Subversion Repositories openrisc

/* { dg-do run } */

/* { dg-options "-O2 -fdump-tree-strlen" } */

#include "strlenopt.h"

__attribute__((noinline, noclone)) char *

foo (char *x)

{

#ifdef PR50262_FIXED

  /* Once PTA is fixed, we'll need just one strlen here,

     without the memcpy.  */

  char *p = x;

  char *q = malloc (strlen (p) + 64);

#else

  /* This is here just because PTA can't figure that

     *q = '\0' store below can't change p's length.

     In this case we have one strlen and one memcpy here.  */

  char b[64];

  char *q = malloc (strlen (x) + 64);

  char *p = strcpy (b, x);

#endif

  char *r;

  if (q == NULL) return NULL;

  /* This store can be optimized away once strcat is

     replaced with memcpy.  */

  *q = '\0';

  /* These two strcat calls can be optimized into memcpy calls.  */

  strcat (q, p);

  strcat (q, "/");

  /* The strchr can be optimized away, as we know the current

     string length as well as end pointer.  */

  r = strchr (q, '\0');

  /* This store can go, as it is overwriting '\0' with the same

     character.  */

  *r = '\0';

  /* And this strcat can be again optimized into memcpy call.  */

  strcat (q, "abcde");

  return q;

}

__attribute__((noinline, noclone)) char *

bar (char *p)

{

  char buf[26];

  char *r;

  if (strlen (p) + 9 > 26)

    return NULL;

  *buf = '\0';

  strcat (buf, p);

  strcat (buf, "/");

  r = strchr (buf, '\0');

  *r = '\0';

  strcat (buf, "abcde");

  return strdup (buf);

}

int

main ()

{

  char *volatile p = "string1";

  char *volatile r = "string2";

  char *q = foo (p);

  if (q != NULL)

    {

      if (strcmp (q, "string1/abcde"))

        abort ();

      memset (q, '\0', 14);

      free (q);

    }

  q = bar (p);

  if (q != NULL)

    {

      if (strcmp (q, "string1/abcde"))

        abort ();

      free (q);

    }

  return 0;

}

/* { dg-final { scan-tree-dump-times "strlen \\(" 2 "strlen" } } */

/* { dg-final { scan-tree-dump-times "memcpy \\(" 7 "strlen" } } */

/* { dg-final { scan-tree-dump-times "strcpy \\(" 0 "strlen" } } */

/* { dg-final { scan-tree-dump-times "strcat \\(" 0 "strlen" } } */

/* { dg-final { scan-tree-dump-times "strchr \\(" 0 "strlen" } } */

/* { dg-final { scan-tree-dump-times "stpcpy \\(" 0 "strlen" } } */

/* { dg-final { cleanup-tree-dump "strlen" } } */