2 /* { dg-options "-O2 -mrdrnd" } */
6 unsigned int number
= 0;
7 int result0
, result1
, result2
, result3
;
9 result0
= __builtin_ia32_rdrand32_step (&number
);
10 result1
= __builtin_ia32_rdrand32_step (&number
);
11 result2
= __builtin_ia32_rdrand32_step (&number
);
12 result3
= __builtin_ia32_rdrand32_step (&number
);
14 return result0
+ result1
+result2
+ result3
;
17 /* { dg-final { scan-assembler-times "rdrand" 4 } } */