1/* PR target/53416 */
2/* { dg-options "-O2 -mrdrnd" } */
3
4int test (void)
5{
6  unsigned int number = 0;
7  int result0, result1, result2, result3;
8
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);
13
14  return result0 + result1 +result2 + result3;
15}
16
17/* { dg-final { scan-assembler-times "rdrand" 4 } } */
18