1  /* { dg-options "-O2 -fdump-tree-optimized" } */
       2  char a[1000];
       3  char b[1000];
       4  int size=1000;
       5  __attribute__ ((noinline)) void
       6  t(int size)
       7  {
       8    __builtin_memcpy(a,b,size);
       9  }
      10  int
      11  main()
      12  {
      13    int i;
      14    for (i=0; i < size; i++)
      15      t(i);
      16    return 0;
      17  }
      18  /* autofdo does not do value profiling so far */
      19  /* { dg-final-use-not-autofdo { scan-tree-dump "Average value sum:499500" "optimized"} } */
      20  /* { dg-final-use-not-autofdo { scan-tree-dump "IOR value" "optimized"} } */