gcc/testsuite/gcc.dg/tree-ssa/builtins-folding-gimple-3.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 more than one valid value are not eliminated (this test complements
   4    builtins-folding-gimple-2.c).
   5    { dg-do compile }
   6    { dg-options "-O2 -Wall -fdump-tree-optimized" } */
   7
   8 #define SHRT_MAX   __SHRT_MAX__
   9 #define SHRT_MIN   (-SHRT_MAX - 1)
  10 #define INT_MAX    __INT_MAX__
  11 #define INT_MIN    (-INT_MAX - 1)
  12
  13 #define UNIQUE_FUNCNAME(func, line) test_ ## func ## _ ## line
  14 #define FUNCNAME(func, line)        UNIQUE_FUNCNAME (func, line)
  15
  16 #define AR(func, type, min, max, val)                                   \
  17   void __attribute__ ((noclone, noinline))                              \
  18   FUNCNAME (func, __LINE__) (char *d, const char *s, type n)            \
  19   {                                                                     \
  20     if ((type)min <= n && n <= (type)max)                               \
  21       n = val;                                                          \
  22     __builtin_ ## func (d, s, n);                                       \
  23   } typedef void DummyType
  24
  25 AR (memcpy, short, SHRT_MIN, 0, 1);
  26 AR (memcpy, short, SHRT_MIN, 1, 2);
  27 AR (memcpy, short, 2, SHRT_MAX, 1);
  28
  29 AR (memcpy, int, INT_MIN, 0, 1);
  30 AR (memcpy, int, INT_MIN, 1, 2);
  31 AR (memcpy, int, INT_MIN, 2, 3);
  32 AR (memcpy, int, 2, INT_MAX, 1);
  33 AR (memcpy, int, 2, INT_MAX, 1);
  34
  35 AR (memmove, short, 2, SHRT_MAX, 1);
  36 AR (memmove, int,   2, INT_MAX, 1);
  37
  38 AR (mempcpy, short, 2, SHRT_MAX, 1);
  39 AR (mempcpy, int,   2, INT_MAX, 1);
  40
  41 /* { dg-final { scan-tree-dump-times "builtin_memcpy" 8 "optimized" } }
  42    { dg-final { scan-tree-dump-times "builtin_memmove" 2 "optimized" } }
  43    { dg-final { scan-tree-dump-times "builtin_mempcpy" 2 "optimized" } }  */