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