2 /* { dg-options "-O2 -fdump-tree-strlen" } */
3 /* { dg-skip-if "" { m32c-*-* } { "*" } { "" } } */
7 __attribute__((noinline, noclone)) void
8 fn1 (char *p, const char *z, size_t *lp)
13 /* The first strlen stays, all the strcpy calls can be optimized
14 into memcpy and most other strlen calls and all strchr calls
15 optimized away. l[6] = strlen (r); and l[9] = strlen (r); need
16 to stay, because we need to invalidate the knowledge about
17 r strlen after strcpy (q, "jklmnopqrst"). */
28 strcpy (q, "jklmnopqrst");
38 memcpy (lp, l, sizeof l);
46 const char *volatile z = "ABCDEFG";
47 memset (buf, '\0', sizeof buf);
49 if (memcmp (buf, "abcdejklmnopqrstABCDEFG", 24) != 0)
53 if (l[1] != 17 || l[2] != 12 || l[3] != 7)
55 if (l[4] != 16 || l[5] != 11 || l[6] != 6)
57 if (l[7] != 23 || l[8] != 18 || l[9] != 13 || l[10] != 7)
62 /* { dg-final { scan-tree-dump-times "strlen \\(" 3 "strlen" } } */
63 /* { dg-final { scan-tree-dump-times "memcpy \\(" 7 "strlen" } } */
64 /* { dg-final { scan-tree-dump-times "strcpy \\(" 0 "strlen" } } */
65 /* { dg-final { scan-tree-dump-times "strcat \\(" 0 "strlen" } } */
66 /* { dg-final { scan-tree-dump-times "strchr \\(" 0 "strlen" } } */
67 /* { dg-final { scan-tree-dump-times "stpcpy \\(" 0 "strlen" } } */
68 /* { dg-final { scan-tree-dump-times " D\.\[0-9_\]* = strlen \\(\[^\n\r\]*;\[\n\r\]* l.0. = " 1 "strlen" } } */
69 /* { dg-final { scan-tree-dump-times " D\.\[0-9_\]* = strlen \\(\[^\n\r\]*;\[\n\r\]* l.6. = " 1 "strlen" } } */
70 /* { dg-final { scan-tree-dump-times " D\.\[0-9_\]* = strlen \\(\[^\n\r\]*;\[\n\r\]* l.9. = " 1 "strlen" } } */
71 /* { dg-final { cleanup-tree-dump "strlen" } } */