1/* { dg-do compile } */
2/* { dg-options "-mrdseed" } */
3
4extern void bar (int);
5
6void
7foo (unsigned *u)
8{
9  int i = __builtin_ia32_rdseed_si_step (u);
10  bar (i);
11}
12