1  /* { dg-options "-O0 -fdump-tree-optimized" } */
       2  
       3  int
       4  main (int argc, char **argv)
       5  {
       6    unsigned u = (argc - 1);
       7    int counter = 0;
       8  
       9    for (unsigned i = 0; i < 100; i++)
      10    {
      11      counter += u % 16;
      12    }
      13  
      14    return counter;
      15  }
      16  
      17  /* autofdo does not do value profiling so far */
      18  /* { dg-final-use-not-autofdo { scan-tree-dump-times "__gcov_pow2_profiler" 0 "optimized" } } */