1 /* { dg-do compile { target { ! ia32 } } } */ 2 /* { dg-options "-mrdseed -O2" } */ 3 /* { dg-final { scan-assembler "rdseed\[ \\t\]+" } } */ 4 5 #include <x86intrin.h> 6 7 void extern rdseed_test(unsigned long long * p)8rdseed_test (unsigned long long *p) 9 { 10 volatile int r; 11 r = _rdseed64_step (p); 12 } 13 14