1  /* { dg-options "-O2 -fdump-ipa-profile" } */
       2  
       3  __attribute__ ((noinline))
       4  int foo()
       5  {
       6    return 0;
       7  }
       8  
       9  __attribute__ ((noinline))
      10  int bar()
      11  {
      12    return 1;
      13  }
      14  
      15  int main ()
      16  {
      17    return foo ();
      18  }
      19  /* { dg-final-use-not-autofdo { scan-ipa-dump-times "Read tp_first_run: 0" 1 "profile"} } */
      20  /* { dg-final-use-not-autofdo { scan-ipa-dump-times "Read tp_first_run: 1" 1 "profile"} } */
      21  /* { dg-final-use-not-autofdo { scan-ipa-dump-times "Read tp_first_run: 2" 1 "profile"} } */