diff options
Diffstat (limited to 'gcc/testsuite/gcc.dg/strlenopt-71.c')
| -rw-r--r-- | gcc/testsuite/gcc.dg/strlenopt-71.c | 212 |
1 files changed, 212 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/strlenopt-71.c b/gcc/testsuite/gcc.dg/strlenopt-71.c new file mode 100644 index 0000000..1905519 --- /dev/null +++ b/gcc/testsuite/gcc.dg/strlenopt-71.c @@ -0,0 +1,212 @@ +/* PR tree-optimization/91183 - strlen of a strcpy result with a conditional + source not folded + Runtime test to verify that multibyte stores are handled correctly. + { dg-do run } + { dg-options "-O2 -Wall" } */ + +#include "strlenopt.h" + +#define CHAR_BIT __CHAR_BIT__ + +typedef __INT16_TYPE__ int16_t; +typedef __INT32_TYPE__ int32_t; + +#define NOIPA __attribute__ ((noclone, noinline, noipa)) + +/* Prevent the optimizer from detemining invariants from prior tests. */ +NOIPA void terminate (void) +{ + __builtin_abort (); +} + +#define VERIFY(expr, str) \ + do { \ + const unsigned expect = strlen (str); \ + const unsigned len = strlen (expr); \ + if (len != expect) \ + { \ + __builtin_printf ("line %i: strlen(%s) == %u failed: " \ + "got %u with a = \"%.*s\"\n", \ + __LINE__, #expr, expect, len, \ + (int)sizeof a, a); \ + terminate (); \ + } \ + if (memcmp (a, str, expect + 1)) \ + { \ + __builtin_printf ("line %i: expected string \"%s\", " \ + "got a = \"%.*s\"\n", \ + __LINE__, str, (int)sizeof a, a); \ + terminate (); \ + } \ + } while (0) + +#if __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__ +# define I16(s) ((s[0] << 8) + s[1]) +# define I32(s) ((s[0] << 24) + (s[1] << 16) + (s[2] << 8) + s[3]) +#elif __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__ +# define I16(s) ((s[1] << 8) + s[0]) +# define I32(s) ((s[3] << 24) + (s[2] << 16) + (s[1] << 8) + s[0]) +#endif + +char a[32]; + +NOIPA void +i16_1 (void) +{ + *(int16_t*)a = I16 ("12"); + *(int16_t*)(a + 2) = I16 ("3"); + VERIFY (a, "123"); + + *(int16_t*)(a + 1) = I16 ("23"); + VERIFY (a, "123"); + + *(int16_t*)(a) = I16 ("12"); + VERIFY (a, "123"); + + *(int16_t*)(a + 1) = I16 ("2"); + VERIFY (a, "12"); + + *(int16_t*)(a + 3) = I16 ("45"); + *(int16_t*)(a + 2) = I16 ("34"); + VERIFY (a, "12345"); +} + +NOIPA void +i16_2 (void) +{ + strcpy (a, "12"); + strcat (a, "34"); + + *(int16_t*)a = I16 ("12"); + VERIFY (a, "1234"); + + *(int16_t*)(a + 1) = I16 ("12"); + VERIFY (a, "1124"); + + *(int16_t*)(a + 2) = I16 ("12"); + VERIFY (a, "1112"); + + *(int16_t*)(a + 3) = I16 ("12"); + VERIFY (a, "11112"); + + *(int16_t*)(a + 4) = I16 ("12"); + VERIFY (a, "111112"); +} + + +NOIPA void +i32_1 (void) +{ + *(int32_t*)a = I32 ("1234"); + VERIFY (a, "1234"); + + *(int32_t*)(a + 1) = I32 ("2345"); + VERIFY (a, "12345"); +} + +NOIPA void +i32_2 (void) +{ + strcpy (a, "12"); + strcat (a, "34"); + + *(int32_t*)a = I32 ("1234"); + VERIFY (a, "1234"); + + *(int32_t*)(a + 4) = I32 ("567"); + VERIFY (a, "1234567"); + + *(int32_t*)(a + 7) = I32 ("89\0"); + VERIFY (a, "123456789"); + + *(int32_t*)(a + 3) = I32 ("4567"); + VERIFY (a, "123456789"); + + *(int32_t*)(a + 2) = I32 ("3456"); + VERIFY (a, "123456789"); + + *(int32_t*)(a + 1) = I32 ("2345"); + VERIFY (a, "123456789"); +} + + +NOIPA void +i32_3 (void) +{ + strcpy (a, "1234"); + strcat (a, "5678"); + + *(int32_t*)a = I32 ("1234"); + VERIFY (a, "12345678"); + + *(int32_t*)(a + 1) = I32 ("234"); + VERIFY (a, "1234"); + + *(int32_t*)(a + 2) = I32 ("3456"); + VERIFY (a, "12345678"); + + *(int32_t*)(a + 3) = I32 ("4567"); + VERIFY (a, "12345678"); + + *(int32_t*)(a + 4) = I32 ("5678"); + VERIFY (a, "12345678"); + + *(int32_t*)(a + 5) = I32 ("6789"); + VERIFY (a, "123456789"); + + *(int32_t*)(a + 6) = I32 ("789A"); + VERIFY (a, "123456789A"); +} + +volatile int vzero = 0; + +NOIPA void +i32_4 (void) +{ + strcpy (a, "1234"); + strcat (a, "5678"); + + *(int32_t*)a = vzero ? I32 ("1\0\0\0") : I32 ("1234"); + VERIFY (a, "12345678"); + + *(int32_t*)a = vzero ? I32 ("12\0\0") : I32 ("1234"); + VERIFY (a, "12345678"); + + *(int32_t*)a = vzero ? I32 ("123\0") : I32 ("1234"); + VERIFY (a, "12345678"); + + *(int32_t*)a = vzero ? I32 ("1234") : I32 ("1234"); + VERIFY (a, "12345678"); + + *(int32_t*)a = vzero ? I32 ("1235") : I32 ("1234"); + VERIFY (a, "12345678"); + + *(int32_t*)a = vzero ? I32 ("1234") : I32 ("123\0"); + VERIFY (a, "123"); + + *(int32_t*)(a + 3) = vzero ? I32 ("456\0") : I32 ("4567"); + VERIFY (a, "12345678"); +} + + +int main () +{ + memset (a, 0, sizeof a); + i16_1 (); + + memset (a, 0, sizeof a); + i16_2 (); + + + memset (a, 0, sizeof a); + i32_1 (); + + memset (a, 0, sizeof a); + i32_2 (); + + memset (a, 0, sizeof a); + i32_3 (); + + memset (a, 0, sizeof a); + i32_4 (); +} |