Viewing file:  strlenopt-90.c (2.5 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* PR tree-optimization/92226 - live nul char store to array eliminated
{ dg-do compile }
{ dg-options "-O2 -fdump-tree-strlen" } */
#include "strlenopt.h"
#define NOIPA __attribute__ ((noipa))
#define T(MIN, MAX, SIZE, IDX) \
NOIPA void \
test_ ## MIN ## _ ## MAX ## _ ## SIZE ## _ ## IDX (const char *s) \
{ \
extern char a ## SIZE[SIZE]; \
char *d = a ## SIZE; \
size_t len = strlen (s); \
size_t idx = IDX; \
if (MIN <= len && len <= MAX) \
{ \
strcpy (d, s); \
d[idx] = 0; \
if (strlen (d) != idx) \
abort (); \
} \
} typedef void dummy_type
/* The final nul store must be retained but the second strlen call should
be eliminated because the final length of the destination after the nul
store must be equal to the index of the store. */
T (0, 2, 4, 0);
/* Not handled yet (see below):
T (0, 2, 4, 1); */
/* Not handled yet: in addition to the cases above, the second strlen
call can also be eliminated in those below because in both the final
length of the destination after the nul store must be in the same
range as the length of the source.
T (0, 2, 4, 2);
T (0, 2, 4, 3); */
T (2, 3, 4, 0);
T (2, 3, 4, 1);
/* Not handled yet (see above):
T (2, 3, 4, 2);
T (2, 3, 4, 3); */
T (3, 4, 5, 0);
T (3, 4, 5, 1);
T (3, 4, 5, 2);
/* Not handled yet (see above):
T (3, 4, 5, 3);
T (3, 4, 5, 4); */
T (3, 4, 6, 0);
T (3, 4, 6, 1);
T (3, 4, 6, 2);
/* Not handled yet (see above):
T (3, 4, 6, 3);
T (3, 4, 6, 4);
T (3, 4, 6, 5); */
/* Verify that each function makes just one call to strlen to compute
the length of its argument (and not also to compute the length of
the copy):
{ dg-final { scan-tree-dump-times "strlen \\(s_" 9 "strlen1" } }
{ dg-final { scan-tree-dump-not "strlen \\(\\&a" "strlen1" } }
Verify that nul stores into the destination have not been eliminated:
{ dg-final { scan-tree-dump-times "a4\\\] = 0;" 2 "strlen1" } }
{ dg-final { scan-tree-dump-times "a4 \\\+ 1B\\\] = 0;" 1 "strlen1" } }
{ dg-final { scan-tree-dump-times "a5\\\] = 0;" 1 "strlen1" } }
{ dg-final { scan-tree-dump-times "a5 \\\+ 1B\\\] = 0;" 1 "strlen1" } }
{ dg-final { scan-tree-dump-times "a5 \\\+ 2B\\\] = 0;" 1 "strlen1" } }
{ dg-final { scan-tree-dump-times "a6\\\] = 0;" 1 "strlen1" } }
{ dg-final { scan-tree-dump-times "a6 \\\+ 1B\\\] = 0;" 1 "strlen1" } }
{ dg-final { scan-tree-dump-times "a6 \\\+ 2B\\\] = 0;" 1 "strlen1" } } */
|
