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