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" } }  */