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 } } */
9 foo (unsigned long long *x
)
11 return _rdrand64_step (x
);