gcc/testsuite/gcc.dg/tree-ssa/modref-8.c

   1 /* { dg-options "-O2 --param modref-max-adjustments=8 -fdump-tree-modref1 -fno-optimize-sibling-calls"  } */
   2 /* { dg-do compile } */
   3 void
   4 set (char *p)
   5 {
   6    p[1]=1;
   7    p[0]=0;
   8    p[2]=2;
   9    p[4]=4;
  10    p[3]=3;
  11 }
  12
  13 void
  14 recurse (char *p, int n)
  15 {
  16         *p = 0;
  17         if (n)
  18           recurse (p+1,n-1);
  19 }
  20 /* { dg-final { scan-tree-dump-not "--param modref-max-accesses" "modref1" } } */
  21 /* { dg-final { scan-tree-dump "--param modref-max-adjustments" "modref1" } } */
  22 /* In set all accesses should merge together.  */
  23 /* { dg-final { scan-tree-dump "access: Parm 0 param offset:0 offset:0 size:8 max_size:40" "modref1" } } */
  24 /* In recurse we should cap the recrusion after 8 attempts and set max_size to -1.  */
  25 /* { dg-final { scan-tree-dump "access: Parm 0 param offset:0 offset:0 size:8 max_size:-1 adjusted 8 times" "modref1" } } */