1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
/* { dg-do run } */
/* { dg-options "-O2 -fdump-tree-strlen" } */
#include "strlenopt.h"
struct S { char *p; size_t l; };
__attribute__((noinline, noclone)) struct S
foo (char *x, int n)
{
int i;
char a[64];
char *p = strchr (x, '\0');
struct S s;
/* strcpy here is optimized into memcpy, length computed as p - x + 1. */
strcpy (a, x);
/* strcat here is optimized into memcpy. */
strcat (p, "abcd");
for (i = 0; i < n; i++)
if ((i % 123) == 53)
/* strcat here is optimized into strlen and memcpy. */
strcat (a, "efg");
s.p = strdup (a);
/* The strlen should be optimized here into 4. */
s.l = strlen (p);
return s;
}
int
main ()
{
char buf[32];
struct S s;
buf[0] = 'z';
buf[1] = '\0';
s = foo (buf, 0);
if (s.l != 4 || memcmp (buf, "zabcd", 6) != 0)
abort ();
if (s.p == NULL)
return 0;
if (memcmp (s.p, "z", 2) != 0)
abort ();
s = foo (buf, 60);
if (s.l != 4 || memcmp (buf, "zabcdabcd", 10) != 0)
abort ();
if (s.p == NULL)
return 0;
if (memcmp (s.p, "zabcdefg", 9) != 0)
abort ();
s = foo (buf, 240);
if (s.l != 4 || memcmp (buf, "zabcdabcdabcd", 14) != 0)
abort ();
if (s.p == NULL)
return 0;
if (memcmp (s.p, "zabcdabcdefgefg", 16) != 0)
abort ();
return 0;
}
/* { dg-final { scan-tree-dump-times "strlen \\(" 1 "strlen" } } */
/* { dg-final { scan-tree-dump-times "memcpy \\(" 3 "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 \\(" 1 "strlen" } } */
/* { dg-final { scan-tree-dump-times "stpcpy \\(" 0 "strlen" } } */
/* { dg-final { cleanup-tree-dump "strlen" } } */
|
