1  /* PR target/57736 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2" } */
       4  
       5  #include <x86intrin.h>
       6  
       7  unsigned long long
       8  f1 (void)
       9  {
      10    return __rdtsc ();
      11  }
      12  
      13  unsigned long long
      14  f2 (unsigned int *x)
      15  {
      16    return __rdtscp (x);
      17  }
      18  
      19  unsigned long long
      20  f3 (unsigned int x)
      21  {
      22    return __rdpmc (x);
      23  }
      24  
      25  void
      26  f4 (void)
      27  {
      28    __rdtsc ();
      29  }
      30  
      31  void
      32  f5 (unsigned int *x)
      33  {
      34    __rdtscp (x);
      35  }
      36  
      37  void
      38  f6 (unsigned int x)
      39  {
      40    __rdpmc (x);
      41  }