Sign in
gnu
/
gcc
/
4aef14b09557ce072f1269bd8a05fa2b1df0eda2
/
.
/
gcc
/
testsuite
/
gcc.target
/
i386
/
rdpid.c
blob: 7bba98874612588ff578029fac86d93b13e30c38 [
file
] [
log
] [
blame
]
/* { dg-do compile } */
/* { dg-options "-O2 -mrdpid" } */
/* { dg-final { scan-assembler "rdpid" } } */
#include
<x86intrin.h>
unsigned
int
read_rdpid32
(
void
)
{
return
_rdpid_u32
();
}