Sign in
gnu
/
gcc
/
4aef14b09557ce072f1269bd8a05fa2b1df0eda2
/
.
/
gcc
/
testsuite
/
gcc.target
/
i386
/
rdpku-1.c
blob: 044301c5f0f2a5965fa568baccccc84037724023 [
file
] [
log
] [
blame
]
/* { dg-do compile } */
/* { dg-options "-mpku -O2" } */
/* { dg-final { scan-assembler "rdpkru\n" } } */
#include
<x86intrin.h>
unsigned
extern
rdpku_test
(
void
)
{
return
_rdpkru_u32
();
}