1 /* { dg-do compile } */
2 /* { dg-options "-O2 -mrdrnd -dp" } */
3 /* { dg-final { scan-assembler-times "rdrandsi_1" 1 } } */
4 /* { dg-final { scan-assembler-times "\\*movsicc_noc" 1 } } */
5 
6 #include <immintrin.h>
7 
8 int
foo(unsigned int * x)9 foo (unsigned int *x)
10 {
11   return _rdrand32_step (x);
12 }
13