gcc/testsuite/gcc.dg/tree-ssa/builtins-folding-gimple-2.c

   1 /* PR 81908 - FAIL: gfortran.dg/alloc_comp_auto_array_2.f90 -O3 -g -m32
   2    Test to verify that calls to memcpy et al. where the size is in a range
   3    with just one valid value -- zero -- are eliminated.
   4    { dg-do compile }
   5    { dg-options "-O2 -Wall -fdump-tree-optimized" } */
   6
   7 #define INT_MAX    __INT_MAX__
   8 #define SHRT_MAX   __SHRT_MAX__
   9 #define SIZE_MAX   __SIZE_MAX__
  10 #define SSIZE_MAX  (SIZE_MAX / 2)
  11
  12 typedef __PTRDIFF_TYPE__ ssize_t;
  13 typedef __SIZE_TYPE__    size_t;
  14
  15 #define UNIQUE_FUNCNAME(func, line) test_ ## func ## _ ## line
  16 #define FUNCNAME(func, line)        UNIQUE_FUNCNAME (func, line)
  17
  18 #define AR(func, type, min, max, val)                                   \
  19   void __attribute__ ((noclone, noinline))                              \
  20   FUNCNAME (func, __LINE__) (char *d, const char *s, type n)            \
  21   {                                                                     \
  22     if ((type)min <= n && n <= (type)max)                               \
  23       n = val;                                                          \
  24     __builtin_ ## func (d, s, n);                                       \
  25   } typedef void DummyType
  26
  27 AR (memcpy, short, 1, SHRT_MAX, 0);
  28 AR (memcpy, int,   1, INT_MAX, 0);
  29 AR (memcpy, size_t,  1, SSIZE_MAX, 0);
  30 AR (memcpy, ssize_t, 1, SSIZE_MAX, 0);
  31
  32 AR (memmove, short, 1, SHRT_MAX, 0);
  33 AR (memmove, int,   1, INT_MAX, 0);
  34 AR (memmove, ssize_t, 1, SSIZE_MAX, 0);
  35 AR (memmove, ssize_t, 1, SSIZE_MAX, 0);
  36
  37 AR (mempcpy, short, 1, SHRT_MAX, 0);
  38 AR (mempcpy, int,   1, INT_MAX, 0);
  39 AR (mempcpy, size_t,  1, SSIZE_MAX, 0);
  40 AR (mempcpy, ssize_t, 1, SSIZE_MAX, 0);
  41
  42 /* { dg-final { scan-tree-dump-not "builtin_memcpy" "optimized" } }
  43    { dg-final { scan-tree-dump-not "builtin_memmove" "optimized" } }
  44    { dg-final { scan-tree-dump-not "builtin_mempcpy" "optimized" } }  */