blob: f06435f6b92d16f977ac49dd5a491f81f3bc1b17 (
plain)
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
|
/* This test needs runtime that provides stpcpy function. */
/* { dg-do run { target *-*-linux* *-*-gnu* } } */
/* { dg-options "-O2 -fdump-tree-strlen" } */
#define USE_GNU
#include "strlenopt.h"
__attribute__((noinline, noclone)) int
foo (const char *p)
{
static int c;
const char *q[] = { "123498765abcde", "123498765..", "129abcde", "129abcde" };
if (strcmp (p, q[c]) != 0)
abort ();
return c++;
}
__attribute__((noinline, noclone)) void
bar (const char *p, const char *q)
{
size_t l;
/* This strlen stays. */
char *a = __builtin_alloca (strlen (p) + 50);
/* strcpy can be optimized into memcpy. */
strcpy (a, p);
/* strcat into stpcpy. */
strcat (a, q);
/* This strlen can be optimized away. */
l = strlen (a);
/* This becomes memcpy. */
strcat (a, "abcde");
if (!foo (a))
/* And this one too. */
strcpy (a + l, "..");
foo (a);
}
int
main ()
{
const char *volatile s1 = "1234";
const char *volatile s2 = "98765";
const char *volatile s3 = "12";
const char *volatile s4 = "9";
bar (s1, s2);
bar (s3, s4);
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 "mempcpy \\(" 0 "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 \\(" 1 "strlen" } } */
/* { dg-final { cleanup-tree-dump "strlen" } } */
|
