Sign in
gnu
/
gcc
/
4aef14b09557ce072f1269bd8a05fa2b1df0eda2
/
.
/
gcc
/
testsuite
/
gcc.target
/
i386
/
wrpku-1.c
blob: 44a4b720722528bbe50d16199bfbd33f1027ac8d [
file
] [
log
] [
blame
]
/* { dg-do compile } */
/* { dg-options "-mpku -O2" } */
/* { dg-final { scan-assembler "wrpkru\n" } } */
#include
<x86intrin.h>
void
extern
wrpku_test
(
unsigned
int
key
)
{
_wrpkru
(
key
);
}