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