Mercurial > hg > CbC > CbC_gcc

comparison gcc/testsuite/gcc.dg/strlenopt-6.c @ 111:04ced10e8804

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children 1830386684a0
comparison
equal deleted inserted replaced
68:561a7518be6b 111:04ced10e8804
1 /* { dg-do run } */
2 /* { dg-options "-O2 -fdump-tree-strlen" } */
3
4 #include "strlenopt.h"
5
6 __attribute__((noinline, noclone)) char *
7 foo (char *x)
8 {
9 #ifdef PR50262_FIXED
10 /* Once PTA is fixed, we'll need just one strlen here,
11 without the memcpy. */
12 char *p = x;
13 char *q = malloc (strlen (p) + 64);
14 #else
15 /* This is here just because PTA can't figure that
16 *q = '\0' store below can't change p's length.
17 In this case we have one strlen and one memcpy here. */
18 char b[64];
19 char *q = malloc (strlen (x) + 64);
20 char *p = strcpy (b, x);
21 #endif
22 char *r;
23 if (q == NULL) return NULL;
24 /* This store can be optimized away once strcat is
25 replaced with memcpy. */
26 *q = '\0';
27 /* These two strcat calls can be optimized into memcpy calls. */
28 strcat (q, p);
29 strcat (q, "/");
30 /* The strchr can be optimized away, as we know the current
31 string length as well as end pointer. */
32 r = strchr (q, '\0');
33 /* This store can go, as it is overwriting '\0' with the same
34 character. */
35 *r = '\0';
36 /* And this strcat can be again optimized into memcpy call. */
37 strcat (q, "abcde");
38 return q;
39 }
40
41 __attribute__((noinline, noclone)) char *
42 bar (char *p)
43 {
44 char buf[26];
45 char *r;
46 if (strlen (p) + 9 > 26)
47 return NULL;
48 *buf = '\0';
49 strcat (buf, p);
50 strcat (buf, "/");
51 r = strchr (buf, '\0');
52 *r = '\0';
53 strcat (buf, "abcde");
54 return strdup (buf);
55 }
56
57 int
58 main ()
59 {
60 char *volatile p = "string1";
61 char *volatile r = "string2";
62 char *q = foo (p);
63 if (q != NULL)
64 {
65 if (strcmp (q, "string1/abcde"))
66 abort ();
67 memset (q, '\0', 14);
68 free (q);
69 }
70 q = bar (p);
71 if (q != NULL)
72 {
73 if (strcmp (q, "string1/abcde"))
74 abort ();
75 free (q);
76 }
77 return 0;
78 }
79
80 /* { dg-final { scan-tree-dump-times "strlen \\(" 2 "strlen" } } */
81 /* { dg-final { scan-tree-dump-times "memcpy \\(" 7 "strlen" } } */
82 /* { dg-final { scan-tree-dump-times "strcpy \\(" 0 "strlen" } } */
83 /* { dg-final { scan-tree-dump-times "strcat \\(" 0 "strlen" } } */
84 /* { dg-final { scan-tree-dump-times "strchr \\(" 0 "strlen" } } */
85 /* { dg-final { scan-tree-dump-times "stpcpy \\(" 0 "strlen" } } */