1 /* { dg-do compile } */
2 /* { dg-options "-O0 -mrdrnd" } */
3 
4 int
_rdrand16_step(unsigned short * __P)5 _rdrand16_step (unsigned short *__P)
6 {
7   return __builtin_ia32_rdrand16_step (__P);
8 }
9