gcc/testsuite/gcc.dg/memcpy-6.c

   1 /* Test to verify that overlapping memcpy with const sizes that are powers
   2    of two are folded into into the same code as memmove, but that they
   3    are diagnosed nonetheless.  Whether a call is folded depends on
   4    the size of the copy, the alignment, and wheteber else the target
   5    might decide to consider.  The test is only run on a small subset
   6    of targets where it's known to pass (see PR testsuite/83483).
   7    { dg-do compile }
   8    { dg-options "-O0 -Wrestrict -fdump-tree-optimized" }
   9    { dg-skip-if "skip non-x86 targets" { ! { i?86-*-* x86_64-*-* } } }
  10    { dg-additional-options "-msse" { target i?86-*-* x86_64-*-* } } */
  11
  12 char a[32];
  13
  14 void fold_copy_2 (void)
  15 {
  16   __builtin_memcpy (a + 1, a, 2);   /* { dg-warning "\\\[-Wrestrict]" } */
  17 }
  18
  19 void fold_copy_4 (void)
  20 {
  21   __builtin_memcpy (a + 2, a, 4);   /* { dg-warning "\\\[-Wrestrict]" } */
  22 }
  23
  24 void fold_copy_8 (void)
  25 {
  26   __builtin_memcpy (a + 3, a, 8);   /* { dg-warning "\\\[-Wrestrict]" } */
  27 }
  28
  29 void fold_move_2 (void)
  30 {
  31   __builtin_memmove (a + 1, a, 2);
  32 }
  33
  34 void fold_move_4 (void)
  35 {
  36   __builtin_memmove (a + 2, a, 4);
  37 }
  38
  39 void fold_move_8 (void)
  40 {
  41   __builtin_memmove (a + 3, a, 8);
  42 }
  43
  44 /* { dg-final { scan-tree-dump-not "memcpy" "optimized" } }
  45    { dg-final { scan-tree-dump-not "memmove" "optimized" } } */