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