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