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