1 /* { dg-do compile { target { ! ia32 } } } */
2 /* { dg-options "-mrdseed -O2" } */
3 /* { dg-final { scan-assembler "rdseed\[ \\t\]+" } } */
4 
5 #include <x86intrin.h>
6 
7 void extern
rdseed_test(unsigned long long * p)8 rdseed_test (unsigned long long *p)
9 {
10     volatile int r;
11     r = _rdseed64_step (p);
12 }
13 
14