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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
|
/* { dg-do run } */
/* { dg-options "-O2 -fdump-tree-strlen" } */
#include "strlenopt.h"
__attribute__((noinline, noclone)) const char *
fn1 (int x, int y)
{
const char *p;
switch (x)
{
case 0:
p = "abcd";
/* Prevent cswitch optimization. */
asm volatile ("" : : : "memory");
break;
case 1:
p = "efgh";
break;
case 2:
p = "ijkl";
break;
default:
p = "mnop";
break;
}
if (y)
/* strchr should be optimized into p + 4 here. */
return strchr (p, '\0');
else
/* and strlen into 3. */
return p + strlen (p + 1);
}
__attribute__((noinline, noclone)) size_t
fn2 (char *p, char *q)
{
size_t l;
/* Both strcpy calls can be optimized into memcpy, strlen needs to stay. */
strcpy (p, "abc");
p[3] = 'd';
l = strlen (p);
strcpy (q, p);
return l;
}
__attribute__((noinline, noclone)) char *
fn3 (char *p)
{
char *c;
/* The strcpy call can be optimized into memcpy, strchr needs to stay,
strcat is optimized into memcpy. */
strcpy (p, "abc");
p[3] = 'd';
c = strchr (p, '\0');
strcat (p, "efgh");
return c;
}
int
main ()
{
int i;
char buf[64], buf2[64];
for (i = 0; i < 5; i++)
{
const char *p = "abcdefghijklmnop" + (i < 3 ? i : 3) * 4;
const char *q;
q = fn1 (i, 1);
if (memcmp (q - 4, p, 4) != 0 || q[0] != '\0')
abort ();
q = fn1 (i, 0);
if (memcmp (q - 3, p, 4) != 0 || q[1] != '\0')
abort ();
}
memset (buf, '\0', sizeof buf);
memset (buf + 4, 'z', 2);
if (fn2 (buf, buf2) != 6
|| memcmp (buf, "abcdzz", 7) != 0
|| memcmp (buf2, "abcdzz", 7) != 0)
abort ();
memset (buf, '\0', sizeof buf);
memset (buf + 4, 'z', 2);
if (fn3 (buf) != buf + 6 || memcmp (buf, "abcdzzefgh", 11) != 0)
abort ();
return 0;
}
/* { dg-final { scan-tree-dump-times "strlen \\(" 1 "strlen" } } */
/* { dg-final { scan-tree-dump-times "memcpy \\(" 4 "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" } } */
|
