1 /* { dg-do run { target { powerpc*-*-* } } } */
2 
3 /* Test if __builtin_ppc_get_timebase () is compatible with the current
4    processor and if it's changing between reads.  A read failure might indicate
5    a Power ISA or binutils change.  */
6 
7 #include <inttypes.h>
8 
9 int
main(void)10 main (void)
11 {
12   uint64_t t = __builtin_ppc_get_timebase ();
13   int j;
14 
15   for (j = 0; j < 1000000; j++)
16     if (t != __builtin_ppc_get_timebase ())
17       return 0;
18 
19   return 1;
20 }
21