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