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