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