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