gcc/testsuite/gcc.dg/memchr.c

   1 /* PR middle-end/78257 - missing memcmp optimization with constant arrays
   2    { dg-do compile }
   3    { dg-options "-O -Wall -fdump-tree-optimized" } */
   4
   5 typedef __INT8_TYPE__  int8_t;
   6 typedef __INT16_TYPE__ int16_t;
   7 typedef __INT32_TYPE__ int32_t;
   8 typedef __SIZE_TYPE__  size_t;
   9
  10 extern void* memchr (const void*, int, size_t);
  11
  12 /* Verify that initializers for flexible array members are handled
  13    correctly.  */
  14
  15 struct SX
  16 {
  17   /* offset */
  18   /*   0    */ int32_t n;
  19   /*   4    */ int8_t: 1;
  20   /*   6    */ int16_t a[];
  21 };
  22
  23 _Static_assert (__builtin_offsetof (struct SX, a) == 6);
  24
  25 const struct SX sx =
  26   {
  27    0x11121314, { 0x2122, 0x3132, 0x4142, 0x5152 }
  28   };
  29
  30 const char sx_rep[] =
  31   {
  32 #if __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__
  33    0x11, 0x12, 0x13, 0x14, 0, 0, 0x21, 0x22, 0x31, 0x32, 0x41, 0x42, 0x51, 0x52
  34 #else
  35    0x14, 0x13, 0x12, 0x11, 0, 0, 0x22, 0x21, 0x32, 0x31, 0x42, 0x41, 0x52, 0x51
  36 #endif
  37   };
  38
  39
  40 void test_find (void)
  41 {
  42   int n = 0, nb = (const char*)&sx.a[4] - (const char*)&sx;
  43   const char *p = (const char*)&sx, *q = sx_rep;
  44
  45   if (nb != sizeof sx_rep)
  46     __builtin_abort ();
  47
  48   n += p      == memchr (p, q[ 0], nb);
  49   n += p +  1 == memchr (p, q[ 1], nb);
  50   n += p +  2 == memchr (p, q[ 2], nb);
  51   n += p +  3 == memchr (p, q[ 3], nb);
  52   n += p +  4 == memchr (p, q[ 4], nb);
  53   n += p +  4 == memchr (p, q[ 5], nb);
  54   n += p +  6 == memchr (p, q[ 6], nb);
  55   n += p +  7 == memchr (p, q[ 7], nb);
  56   n += p +  8 == memchr (p, q[ 8], nb);
  57   n += p +  9 == memchr (p, q[ 9], nb);
  58   n += p + 10 == memchr (p, q[10], nb);
  59   n += p + 11 == memchr (p, q[11], nb);
  60   n += p + 12 == memchr (p, q[12], nb);
  61   n += p + 13 == memchr (p, q[13], nb);
  62
  63   if (n != 14)
  64     __builtin_abort ();
  65 }
  66
  67 void test_not_find (void)
  68 {
  69   int n = 0, nb = (const char*)&sx.a[4] - (const char*)&sx;
  70   const char *p = (const char*)&sx, *q = sx_rep;
  71
  72   if (nb != sizeof sx_rep)
  73     __builtin_abort ();
  74
  75   n += 0 == memchr (p,      0xff, nb);
  76   n += 0 == memchr (p +  1, q[ 0], nb - 1);
  77   n += 0 == memchr (p +  2, q[ 1], nb - 2);
  78   n += 0 == memchr (p +  3, q[ 2], nb - 3);
  79   n += 0 == memchr (p +  4, q[ 3], nb - 4);
  80   n += 0 == memchr (p +  6, q[ 4], nb - 6);
  81   n += 0 == memchr (p +  7, q[ 6], nb - 7);
  82   n += 0 == memchr (p +  8, q[ 7], nb - 8);
  83   n += 0 == memchr (p +  9, q[ 8], nb - 9);
  84   n += 0 == memchr (p + 10, q[ 9], nb - 10);
  85   n += 0 == memchr (p + 11, q[10], nb - 11);
  86   n += 0 == memchr (p + 12, q[11], nb - 12);
  87   n += 0 == memchr (p + 13, q[12], nb - 13);
  88   n += 0 == memchr (p + 14, q[13], nb - 14);
  89
  90   if (n != 14)
  91     __builtin_abort ();
  92 }
  93
  94 /* { dg-final { scan-tree-dump-not "abort" "optimized" } } */